A registered result in its source context
Original ledger classification: Lattice [L] + selection [P]
Recorded statement: Boundary Carrier Selection Theorem (Theorem A): admissible boundary-carrier data SELECT (D5+A3)+mu4=E8 uniquely. Boundary mu4->H1=Z^3->A3,N_fam=3; minimal 16-spinor->D5 (only n=5); disc(D5)=disc(A3)=Z4 cyclic anti-isometric,…
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
SEL.THM.01
Original ledger classification: Lattice [L] + selection [P]
Original claim text
Boundary Carrier Selection Theorem (Theorem A): admissible boundary-carrier data SELECT (D5+A3)+mu4=E8 uniquely. Boundary mu4->H1=Z^3->A3,N_fam=3; minimal 16-spinor->D5 (only n=5); disc(D5)=disc(A3)=Z4 cyclic anti-isometric, q(D5)+q(A3)=5/4+3/4=2=E8 root norm, glue index 4=|mu4|, E8 unique even unimodular rank 8. Four simultaneous conditions (16-spinor, N_fam=3, cyclic Z4, q-sum 2) met ONLY by D5+A3; D8 (non-cyclic, no family), E7+A1 (1 fam), E6+A2 (2 fam, Z3), A4+A4 (Z5), A8 (single) excluded. Lattice facts [L]; physical selection (P1 seam + P2 carrier => these inputs) is [P]/[A] selection axiom, not zero-input derivation
Original classification detail
Lattice [L] + selection [P]
Dependencies as recorded
E8.GLU.01; BOOT.CLASS.01; v1; v15
Open the original ledger source, row 69Location 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
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.
- Theorem 7 — the [formula in source] lift of the [formula in source] atlasArchitecture, E8 and the electromagnetic fixed point
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Theorem 7 — the [formula in source] lift of the [formula in source] atlastfpt 1 architecture e8
- Theorem 7 — the [formula in source] lift of the [formula in source] atlastfpt 1 architecture e8
Registered verification modules
- v47_selection_theorem.pyRegistered verification module · core
Read the description recorded in the module registry
Boundary Carrier Selection (Thm A): only D₅⊕A₃ qualifies
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.