A registered result in its source context
Original ledger classification: Gaussian operator [E]/[C]: J=[U,V]/3 is the mu4 quarter-turn (J^2=-I), 3+2i/5+4i are eigenvalues of 3I+2J/5I+4J (norms 13=Delta_Q/41=10 b1), the norms become operator identities, intrinsic order-4 deck D=-I+J-J^2 with chi2=ker[U,V]=a-1; geometric-deck match sharpens (not closes) the v140 Z3 residue [C]
Recorded statement: The square CM-norm dictionary is operator-realised and the mu4 deck is intrinsic (2026-06-25): the Gaussian arithmetic of v222/v230 lifted from numbers to OPERATORS via J=[U,V]/3, the complex structure born from the commutator of the…
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
DIAMOND.GAUSS.01
Original ledger classification: Gaussian operator [E]/[C]: J=[U,V]/3 is the mu4 quarter-turn (J^2=-I), 3+2i/5+4i are eigenvalues of 3I+2J/5I+4J (norms 13=Delta_Q/41=10 b1), the norms become operator identities, intrinsic order-4 deck D=-I+J-J^2 with chi2=ker[U,V]=a-1; geometric-deck match sharpens (not closes) the v140 Z3 residue [C]
Original claim text
The square CM-norm dictionary is operator-realised and the mu4 deck is intrinsic (2026-06-25): the Gaussian arithmetic of v222/v230 lifted from numbers to OPERATORS via J=[U,V]/3, the complex structure born from the commutator of the binary V and ternary U compilers (v410/v95). [E] J=((-1,1,0),(-2,1,0),(-3,1,0)) integer, Spec(J)={i,-i,0}, J^2=-I on the rank-2 image, J^3+J=0 (a mu4 quarter-turn). [E] 3I+2J has spectrum {3+2i,3-2i,3} and 5I+4J has {5+4i,5-4i,5}: the Gaussian integers 3+2i (norm 13=Delta_Q) and 5+4i (norm 41=10 b1) are LITERAL operator eigenvalues. [E] (3I+2J)(3I-2J)=9I-4J^2 has Spec {13,13,9} and (5I+4J)(5I-4J)=25I-16J^2 has Spec {41,41,25} -- the v222/v230 norms as operator identities (kernel slot = real part^2: 9=N_fam^2, 25=g_car^2). [E] the intrinsic deck D=-I+J-J^2=((-1,1,0),(-2,1,0),(-4,3,-1)): D^4=I, chi_D=(x+1)(x^2+1), Spec {i,-1,-i}; the chi2 line is canonically ker[U,V]=(0,0,1)=a-1=the V-fixed line. [C] the geometric-deck identification: D shares chi with the seam deck delta (v146), the diamond fixes chi2=a-1 internally, sharpening the v140 Z3 residue to one concrete identification (NOT closed). An operator lift of v222/v230 + an intrinsic-deck construction; reuses existing data; no new number.
Original classification detail
Identity
Dependencies as recorded
CMNORM.DUAL.01; CENTER.NORM.01; SHEET.GEN.BINARY.01; FORM.QGEO.02; v222; v230; v410; v95; v146; v140
Open the original ledger source, row 483Location 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-25 (The Gaussian operator [formula in source] the atom trichotomy: v415, v416)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
- 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
- 2026-06-25 (The Eisenstein/CP operator [formula in source] the order-30 clock: v417)Research changelog; TFPT — Introduction and reading guide
- Residue-matrix spectral selector — sharpening (H2)tfpt 2 standard model
Registered verification modules
- v415_gaussian_operator.pyRegistered verification module · flavor
Read the description recorded in the module registry
The square CM-norm dictionary is operator-realised and the mu4 deck is intrinsic: the Gaussian arithmetic of v222/v230 lifted from numbers to OPERATORS via J=[U,V]/3, the complex structure born from the commutator of the binary V and ternary U compilers (v410/v95). J=((-1,1,0),(-2,1,0),(-3,1,0)) is integer, Spec(J)={i,-i,0}, J^2=-I on the rank-2 image, J^3+J=0 (a mu4 quarter-turn); 3I+2J has spectrum {3+2i,3-2i,3} and 5I+4J has {5+4i,5-4i,5}, so the Gaussian integers 3+2i (norm 13=Delta_Q) and 5+4i (norm 41=10b1) are LITERAL operator eigenvalues; (3I+2J)(3I-2J) has Spec {13,13,9} and (5I+4J)(5I-4J) has Spec {41,41,25} (kernel slot = real part^2: 9=N_fam^2, 25=g_car^2); the intrinsic deck D=-I+J-J^2 is order 4 (Spec {i,-1,-i}, chi=(x+1)(x^2+1)) with chi2 line ker[U,V]=(0,0,1)=a-1; the geometric-deck identification sharpens (not closes) the v140 Z3 residue.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.