physicalReggeEHD2MasterWitnessOneStatementProjectionCount
plain-language theorem explainer
Audit constant fixing at three the number of one-statement projections of the physical D2 master witness: witness inhabitation, Regge/EH residual, and Bianchi. Gravity Track 1.B-PHY bookkeeping from session 554. Anyone citing the physical residual upgrade package uses it as a named count. The body is the literal natural number three.
Claim. The session-554 audit count of physical D2 master-witness one-statement projections equals $3$. The three projections are witness inhabitation, the Regge-to-Einstein-Hilbert residual statement, and the Bianchi interface.
background
Track 1.B-PHY packages physical finite-probe Regge-to-EH residual theorems from the six-tet cubic Dirichlet instance as a named upgrade beyond the flat-substrate structural witness. Status is structural theorem: zero sorry, no new RS-specific axioms.
Closed content includes normalized full nonlinear Regge finite aggregates converging to the canonical finite EH/Dirichlet action with residual tending to zero once edge-stencil local correspondence holds, and the same correspondence feeding the finite-to-continuum bridge under a Riemann-sum identification. What remains open is the unconditional manifold integral target on a concrete periodic Freudenthal refinement family.
This declaration is pure audit metadata: it names how many one-statement projections the physical D2 master witness is split into for session-554 review.
proof idea
Definitional assignment of the natural number three. No lemmas, no tactics. Downstream equality to three is rfl against this def.
why it matters
Gives a stable named count for the three physical D2 master-witness projections (witness inhabitation, Regge/EH, Bianchi) so session-554 audits and downstream equality checks do not hard-code a magic numeral. The sole consumer is the reflexivity theorem asserting the count equals three. It does not advance the residual or continuum bridge itself; it only labels the projection bundle inside the Track 1.B-PHY residual upgrade. The open manifold-integral remaining target is untouched.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.