A registered result in its source context
Original ledger classification: Lattice
Recorded statement: D5(+)A3 is the UNIQUE familyful cyclic-glue decomposition of E8 (16-dim half-spinor + 3-family A3); glue Z4=|mu4|
Statement, assumptions and sources
Paper context: Architecture, E8 and the electromagnetic fixed point
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
BOOT.CLASS.01
Original ledger classification: Lattice
Original claim text
D5(+)A3 is the UNIQUE familyful cyclic-glue decomposition of E8 (16-dim half-spinor + 3-family A3); glue Z4=|mu4|
Original classification detail
Lattice
Dependencies as recorded
E8.GLU.01; even-unimodular rank-8 uniqueness
Open the original ledger source, row 10Location 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.
- Architecture, E8 and the electromagnetic fixed point
- E8 audit and bootstrap
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.
- A closure program (next phase)input 4 origin theory
- The loop for [formula in source] — an overdetermined fixed pointE8 audit and bootstrap
- A closure program (next phase)origin theory
- The loop for [formula in source] — an overdetermined fixed pointinput 5 tfpt 3 e8 audit bootstrap
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- A closure program (next phase)Origin Theory
- A closure program (next phase)input 4 origin theory
- The loop for [formula in source] — an overdetermined fixed pointinput 5 tfpt 3 e8 audit bootstrap
Registered verification modules
- v15_bootstrap_classification.pyRegistered verification module · core
Read the description recorded in the module registry
D₅⊕A₃ is the unique familyful cyclic glue of E₈
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.