A registered result in its source context
Original ledger classification: Identity (exact finite projected counts and conditional symmetry obstructions)
Recorded statement: Full 192-mode site exterior character and exact mod5 Frobenius reduction give Gauss dimension3 mod5 for one site and0 mod5 for the open 2x2x2 cube with the specified nine-irrep link truncation; parity sectors4 mod5 at one site. Abstract…
Statement, assumptions and sources
Paper context: Research contracts
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
PARENT.GAUSS.D4.ROUND4.01
Original ledger classification: Identity (exact finite projected counts and conditional symmetry obstructions)
Original claim text
Full 192-mode site exterior character and exact mod5 Frobenius reduction give Gauss dimension3 mod5 for one site and0 mod5 for the open 2x2x2 cube with the specified nine-irrep link truncation; parity sectors4 mod5 at one site. Abstract Weyl divisibility obstruction is not universal after Gauss projection. Symmetric 12D D4 cap has unique selected-sector ground and gap1, but the invariant-vector space has dimension2; no canonical full-state selector. Actual symmetric one-fermion lift forbids all Majorana bilinears.
Original classification detail
[E] finite counts and selected-subspace cap; T6/T8 remain [O]
Dependencies as recorded
FLAV.NU.TEXTURE.MECHANISM.01; FTRANSFER.SK.RHO0.01
Open the original ledger source, row 782Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Research contracts
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- T6/T8: full Gauss counts, internal cap and selection rules.tfpt research contracts; Research contracts
- T6/T8: full Gauss counts, internal cap and selection rules.tfpt research contracts
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- 2026-09-05 (CLVIII): non-RH round 4 — uniform TEL-B norm and explicit T1–T8 boundariesResearch changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Full quantum gravity — induced from the boundary kernelFrontier and open physical interfaces
Registered verification modules
- v1028_gauss_d4_cap.pyRegistered verification module · frontier
Read the description recorded in the module registry
Gauss residues with full 192-mode site characters and specified nine-irrep cube links; symmetric selected-pair-space D4 cap; no canonical clock family, mass texture or global state
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.