A registered result in its source context
Original ledger classification: Center C resolvent portal [E]/[C]: det C=14=dim G2, det(I+C)=52=dim F4, det(2I+C)=120=|R^+(E8)| (G2->F4->E8^+); reading audit-typed
Recorded statement: The center C is a resolvent portal G2 -> F4 -> E8 (2026-06-24): the center C=M(1,0) (v95) is the t=0 evaluation of V; its shifted determinants climb the exceptional ladder. [E] CENTER INVARIANTS (v95): tr C=12=dim g_SM=chi_E8(i), det…
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.CENTER.RESOLVENT.01
Original ledger classification: Center C resolvent portal [E]/[C]: det C=14=dim G2, det(I+C)=52=dim F4, det(2I+C)=120=|R^+(E8)| (G2->F4->E8^+); reading audit-typed
Original claim text
The center C is a resolvent portal G2 -> F4 -> E8 (2026-06-24): the center C=M(1,0) (v95) is the t=0 evaluation of V; its shifted determinants climb the exceptional ladder. [E] CENTER INVARIANTS (v95): tr C=12=dim g_SM=chi_E8(i), det C=14=dim G2, sum C=31=2^g_car-1=248/8. [E] RESOLVENT LADDER: det(C)=14=dim G2, det(I+C)=52=dim F4, det(2I+C)=120=|R^+(E8)| -- the exceptional shell ladder G2->F4->E8^+ as det(C+kI), k=0,1,2 (the resolvent ladder is the new content; reading [C], audit-typed).
Original classification detail
Identity
Dependencies as recorded
FLAV.KQ.01; v95; v230
Open the original ledger source, row 482Location 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
- =150 2026-07-23 (X) ( v530– v533 — the external review round promoted: center quotient compiler, Coxeter Stage A tensor clock, dual-degree modular checksum [formula in source] , sheet-transfer disc [formula in source] norm line; every identity machine-confirmed exactly before promotion (probe [formula in source] ); NO marker moves)Research changelog; TFPT — Introduction and reading guide
Registered verification modules
- v414_center_resolvent_portal.pyRegistered verification module · registry
Read the description recorded in the module registry
The center C is a resolvent portal G2 -> F4 -> E8: the center C=M(1,0) (v95) is the t=0 evaluation of V; tr C=12=dim g_SM=chi_E8(i), det C=14=dim G2, sum C=31=2^g_car-1=248/8; the shifted determinants climb the exceptional ladder det(C)=14=dim G2, det(I+C)=52=dim F4, det(2I+C)=120=|R^+(E8)| -- the shell ladder G2->F4->E8^+ as det(C+kI), k=0,1,2 (the resolvent ladder is the new content; reading audit-typed).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.