A registered result in its source context
Original ledger classification: Sheet axis = characteristic-difference calculator [E]/[C]: Delta e1=3, Delta^2 e2=4, Delta^2 e3=8; anchor energy 52+11t (30->41->52->63); readings audit-typed
Recorded statement: The sheet axis is a discrete characteristic-difference calculator (2026-06-24): on M_t=C+tV (v95/v218) the elementary-symmetric coefficients encode atoms as DIFFERENCE ORDERS. [E] e1(t)=3t+12, e2(t)=2t^2+15t+25, e3(t)=det M_t=4t^2+14t+14…
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.SHEET.CALCULUS.01
Original ledger classification: Sheet axis = characteristic-difference calculator [E]/[C]: Delta e1=3, Delta^2 e2=4, Delta^2 e3=8; anchor energy 52+11t (30->41->52->63); readings audit-typed
Original claim text
The sheet axis is a discrete characteristic-difference calculator (2026-06-24): on M_t=C+tV (v95/v218) the elementary-symmetric coefficients encode atoms as DIFFERENCE ORDERS. [E] e1(t)=3t+12, e2(t)=2t^2+15t+25, e3(t)=det M_t=4t^2+14t+14 => Delta e1=3=N_fam, Delta^2 e2=4=|mu4|, Delta^2 e3=8=rank E8 (the e3 curvature cross-cited to v218/v224; the full (e1,e2,e3) ladder is new). [E] ANCHOR-ENERGY LADDER: a.M_t.a=52+11t (step 11=a.V.a, v410); 30->41->52->63=(h(E8),10 b1,dim F4,7 N_fam^2). [E] FOUR-ROW AXIS J,K,C,F: (tr,e2,det)/a.M.a=(6,3,2)/30,(9,12,4)/41,(12,25,14)/52,(15,42,32)/63. [C] atom/Lie readings audit-typed.
Original classification detail
Identity
Dependencies as recorded
FLAV.KQ.01; v218; v224; v410
Open the original ledger source, row 481Location 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-24 (The sheet generator [formula in source] as a binary internal compiler: v410– v414)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
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v413_sheet_characteristic_calculus.pyRegistered verification module · registry
Read the description recorded in the module registry
The sheet axis is a discrete characteristic-difference calculator: on M_t=C+tV (v95/v218) the elementary-symmetric coefficients encode atoms as DIFFERENCE ORDERS -- e1(t)=3t+12, e2(t)=2t^2+15t+25, e3(t)=det M_t=4t^2+14t+14 give Delta e1=3=N_fam, Delta^2 e2=4=|mu4|, Delta^2 e3=8=rank E8 (the e3 curvature cross-cited to v218/v224; the full (e1,e2,e3) ladder is new); the anchor energy a.M_t.a=52+11t (step 11=a.V.a, v410) reads 30->41->52->63=(h(E8),10 b1,dim F4,7 N_fam^2); four-row axis J,K,C,F (tr,e2,det)/a.M.a = (6,3,2)/30,(9,12,4)/41,(12,25,14)/52,(15,42,32)/63.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.