A registered result in its source context
Original ledger classification: Identity/Lie [I]/[L]
Recorded statement: Integer-lift of Q - residual sharpened to ONE named lattice invariant det Q=N_fam (honest reduction, not closure) [I]/[L]. Continuing v69: (1) DERIVED - in the mu4-puncture homology basis {g1,g2,g3} (g4=-(g1+g2+g3)) the Z4=mu4 rotation is…
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
GATE.QGEOM.02
Original ledger classification: Identity/Lie [I]/[L]
Original claim text
Integer-lift of Q - residual sharpened to ONE named lattice invariant det Q=N_fam (honest reduction, not closure) [I]/[L]. Continuing v69: (1) DERIVED - in the mu4-puncture homology basis {g1,g2,g3} (g4=-(g1+g2+g3)) the Z4=mu4 rotation is the integer matrix R=[[0,0,-1],[1,0,-1],[0,1,-1]], char (t+1)(t^2+1), eigenvalues {-1,i,-i}, R^4=I, R UNIMODULAR (det=-1, SNF=I). (2) the documented transport Q (rows (4,5,6)=(|mu4|,g_car,|R+A3|), cols (9,5,1)=(N_fam^2,g_car,1)) has det Q=3=N_fam, SNF=diag(1,1,3) - the transport DETERMINANT equals the family count. (3) so Q is NOT a unimodular change of basis of R (det -1 vs det 3): the integer lift is precisely the parabolic-degree-0 embedding carrying the extra det=N_fam (family multiplicity) that D4 alone (unimodular) does not supply. RESIDUAL of gate Q-geometry is thus one named invariant det Q=N_fam; spectra+Sigma-split already derived (v69). EHRLICH: D4 alone does NOT close the integer lift - it needs this one lattice datum
Original classification detail
Identity/Lie [I]/[L]
Dependencies as recorded
GATE.QGEOM.01; v69; v50
Open the original ledger source, row 119Location 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
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.
- Quarks: hierarchy from the same word-lengthsStandard Model and flavor structure
- (1) Flavor residual — ratios closed combinatorially; only the absolute scale is the wall-selection [formula in source] /tfpt 2 standard model
- The Sheet Diamond and the Winding Line: masses and transport from one surfacetfpt 2 standard model
- Front matter / supportStandard Model and flavor structure
- Quarks: hierarchy from the same word-lengthstfpt 2 standard model
- (1) Flavor residual — ratios closed combinatorially; only the absolute scale is the wall-selection [formula in source] /Standard Model and flavor structure
- Research Contract 1 — [formula in source]tfpt research contracts
- What this means for the theory-of-everything questionTFPT — Introduction and reading guide
Registered verification modules
- v70_q_integer_lift.pyRegistered verification module · frontier
Read the description recorded in the module registry
Q integer-lift: det Q = 3 = N_fam; SNF diag(1,1,3)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.