physicalReggeEHConcreteRefinementFamilyOneStatementProjectionCount

Track 1.B-PHY packages physical finite-probe Regge-to-Einstein–Hilbert residual theorems from the six-tetrahedron cubic Dirichlet instance as a structural upgrade beyond the flat-substrate witness. Closed material 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 finite-to-continuum bridge under a Riemann-sum identification.

What remains for the unconditional manifold EH theorem is the manifold-integral remaining target: the canonical periodic finite EH/Dirichlet limit-weight integral target on a concrete periodic Freudenthal refinement family. The three one-statement projections counted here (slice, product, certificate inhabitation) are the audit surface for that concrete family.

Pure definitional assignment: the natural number is set equal to 3. No lemmas or tactics; the companion equality theorem discharges by rfl.

Pins the Session 553 audit cardinality so downstream residual bookkeeping cannot silently drop a projection. The immediate parent is the reflexivity theorem asserting the count equals three, which sits on the varying-cardinality product-filter route (Session 586) that builds staged cross-cardinality quadrature plus a global residual envelope for arbitrary index ρ. Inside Track 1.B-PHY this keeps the structural upgrade (zero sorry, no new RS axiom) honest about how many concrete one-statement obligations remain before the manifold-integral remaining target is discharged.