A registered result in its source context
Original ledger classification: Sheet source corner J=M(1,-2) on the Z2 wall [E]/[C]: chi_J=(6,3,2), a.J.a=30=h(E8), det(I+J)=12, det(2I+J)=40; readings audit-typed
Recorded statement: The sheet source corner J (2026-06-24): the determinant surface has two s-independent iso-volume walls (v135) t=-1 (det=4=|mu4|, carries K) and t=-2 (det=2=|Z2|); the operator on the Z2 wall, J:=M(1,-2)=C-2V=((4,1,0),(4,1,2),(5,1,1)), was…
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.SOURCE.J.01
Original ledger classification: Sheet source corner J=M(1,-2) on the Z2 wall [E]/[C]: chi_J=(6,3,2), a.J.a=30=h(E8), det(I+J)=12, det(2I+J)=40; readings audit-typed
Original claim text
The sheet source corner J (2026-06-24): the determinant surface has two s-independent iso-volume walls (v135) t=-1 (det=4=|mu4|, carries K) and t=-2 (det=2=|Z2|); the operator on the Z2 wall, J:=M(1,-2)=C-2V=((4,1,0),(4,1,2),(5,1,1)), was unnamed and completes the sheet axis J,K,C,F=M(1,-2..1). [E] CLEAN CHAR POLY: chi_J=lam^3-6lam^2+3lam-2 => (tr,e2,det)=(6,3,2)=(|R^+(A3)|,N_fam,|Z2|). [E] RESOLVENT/ANCHOR: a.J.a=30=h(E8), det(I+J)=12=dim g_SM=chi_E8(i), det(2I+J)=40=|R(D5)|. [C] the Lie readings are audit-typed like the G2/F4 shadows of v95/v218.
Original classification detail
Identity
Dependencies as recorded
FLAV.KQ.01; v135; v95
Open the original ledger source, row 480Location 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
- v4.10–v4.12: Operator-Discharged Closure and the Planck Pass07 cmb operational closure planck pipeline
- Front matter / support07 cmb operational closure planck pipeline
- Front matter / supportStandard Model and flavor structure
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-06-25 (The Gaussian operator [formula in source] the atom trichotomy: v415, v416)Research changelog; TFPT — Introduction and reading guide
Registered verification modules
- v412_sheet_source_corner_J.pyRegistered verification module · registry
Read the description recorded in the module registry
The sheet source corner J: the determinant surface has two s-independent iso-volume walls (v135) t=-1 (det=4=|mu4|, carries K) and t=-2 (det=2=|Z2|); the operator on the Z2 wall, J=M(1,-2)=C-2V=((4,1,0),(4,1,2),(5,1,1)), was unnamed and completes the sheet axis J,K,C,F=M(1,-2..1). chi_J=lambda^3-6lambda^2+3lambda-2 gives (tr,e2,det)=(6,3,2)=(|R^+(A3)|,N_fam,|Z2|); a.J.a=30=h(E8), det(I+J)=12=dim g_SM=chi_E8(i), det(2I+J)=40=|R(D5)| (Lie readings audit-typed like the G2/F4 shadows of v95/v218).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.