reggeTTSymbolPreflightStatus
plain-language theorem explainer
Canonical Stage-1 status record for the Regge TT continuum-symbol preflight: five kernel-backed flags are true (flat deficit and action vanish, frozen conformal identification, TT Bloch symbol symmetries, non-vacuous TT constraints), while continuum symbol value/isotropy remains OPEN (false). Gravity/QG campaign readers cite it as the honest progress ledger. It is a pure structure instance; grounding lives in the companion theorem that ties each true flag to a proved kernel statement at N=3.
Claim. The Stage-1 Regge TT symbol preflight status is the record with flat deficit zero, flat action zero, frozen conformal identification, TT Bloch symbol symmetries, and non-vacuous TT constraint set all certified, and with continuum TT symbol value/isotropy left open (not certified).
background
This module is Stage 1 of the QG full-theory campaign on the true nonlinear 3D Regge action and its TT Bloch symbol on the canonical periodic Freudenthal torus. The true action is $S(\ell)=\sum_e\sqrt{\ell_e},(2\pi-\sum_{t}\theta)$ for an arbitrary edge squared-length field $\ell$, with dihedral angles from Cayley–Menger (dihedralAngle3Sq). Deficits and the action are reused from existing machinery rather than re-derived.
The status structure is a protocol record only: each Boolean documents a claim class (flat point, frozen-model identification along conformal fields, well-formedness of the TT Bloch symbol object, non-vacuity of the TT constraint set, and the continuum isotropy target). Mathematics lives in the kernel theorems; the record does not prove them.
Module tier tags separate THEOREM content (no sorry, no new axioms) from NUMERICAL EVIDENCE (C10 probe suggesting isotropic continuum TT symbol $K(0)=-(1/4)I_{TT}$) and the named OPEN target for continuum isotropy and value.
proof idea
No proof: a structure instance that assigns six Booleans. Five fields are set to true and continuum_symbol_value_proved to false. Semantic content is deferred to the companion grounding theorem, which pairs each true flag with the corresponding kernel statement (flat deficits vanish, true action vanishes at the flat edge field, conformal frozen identification via equality of true and frozen actions on conformal fields, symbol symmetries, non-vacuous TT constraints), instantiated at the campaign’s smallest torus $N=3$.
why it matters
Gives the campaign a single, citable ledger of what Stage 1 has closed versus what remains open before any continuum TT-symbol claim. Downstream, status_flags_grounded consumes this record and proves the flags are not bare Booleans: each true is tied to its kernel theorem at $N=3$ (theorems hold for every $N$), and the OPEN flag is pinned false.
That honesty boundary matters for the ReggeTTContinuumSymbol program: numerical C10 evidence for isotropic $K(0)=-(1/4)I_{TT}$ matching linearized Einstein–Hilbert TT is explicitly not promoted to a theorem here. The continuum isotropy/value target stays OPEN. In the broader gravity stack this sits after Freudenthal-stencil and six-tet cubic Dirichlet preflight work, certifying the nonlinear action’s flat point and frozen conformal link before continuum-symbol analysis.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.