A registered result in its source context
Original ledger classification: Identity (exact) [E]/[C]
Recorded statement: CENTER BUDGET NORMS (2026-06-16): the Sheet-Diamond center budget (7,11,13) is the three LOCAL NORMS of the theory. C=R+Q diag(1,0,0), row sums (7,11,13): 7=N_Z[omega](3+2 omega) (Eisenstein/hexagonal CM norm = scalaron exponent),…
Statement, assumptions and sources
Paper context: Standard Model and flavor structure
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
CENTER.NORM.01
Original ledger classification: Identity (exact) [E]/[C]
Original claim text
CENTER BUDGET NORMS (2026-06-16): the Sheet-Diamond center budget (7,11,13) is the three LOCAL NORMS of the theory. C=R+Q diag(1,0,0), row sums (7,11,13): 7=N_Z[omega](3+2 omega) (Eisenstein/hexagonal CM norm = scalaron exponent), 13=N_Z[i](3+2 i) (Gaussian/square CM norm = Delta_Q), 11=C(4,0)+C(4,1)+C(4,2)=1+4+6 (QBL boundary Fock count on the |mu4|=4 corners = dim S^+ - g_car = 16-5). So C = (hex norm, boundary Fock count, square norm): the two CM rings (CMNORM.DUAL.01) and the seam boundary count meet in one operator center; the ring assignment is rigid.
Original classification detail
[E] C row sums (7,11,13)=(hex norm, QBL Fock count, square norm)=(N_omega(3,2), 1+4+6, N_i(3,2)); the center collects the three local norms [C]
Dependencies as recorded
CMNORM.DUAL.01; DIAMOND.AXIS.01; ARCH.QBL.01
Open the original ledger source, row 316Location 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.
- Standard Model and flavor structure
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.
- 2026-06-16 (the icosahedral bedrock, CM-norm duality, and a structural-finds round)Research changelog; TFPT — Introduction and reading guide
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 Sheet Diamond and the Winding Line: masses and transport from one surfacetfpt 2 standard model
- Front matter / supportStandard Model and flavor structure
- Residue-matrix spectral selector — sharpening (H2)Standard Model and flavor structure
- Front matter / supportStandard Model and flavor structure
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Residue-matrix spectral selector — sharpening (H2)tfpt 2 standard model
- 2026-06-25 (The Gaussian operator [formula in source] the atom trichotomy: v415, v416)Research changelog; TFPT — Introduction and reading guide
Registered verification modules
- v230_center_budget_norms.pyRegistered verification module · flavor
Read the description recorded in the module registry
The Sheet-Diamond center budget (7,11,13) is the three LOCAL NORMS of the theory. C=R+Q diag(1,0,0), row sums (7,11,13): 7=N_ℤ[ω](3+2ω) (Eisenstein/hex = scalaron), 13=N_ℤ[i](3+2i) (Gauss/square = Δ_Q), 11=C(4,0)+C(4,1)+C(4,2)=1+4+6 (QBL boundary Fock count on 4 μ₄ corners=dim S⁺−g_car=16−5). The two CM rings (v222) and the seam boundary count meet in one operator center; the ring assignment is rigid.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.