A registered result in its source context
Original ledger classification: Identity/Lattice [I]/[L]
Recorded statement: Four validated review identities (passed arithmetic AND the anti-numerology/admissible-invariant discipline) + one disciplined rejection: (1) HYPERCHARGE LUCAS-BINET: carrier charges (q+,q-)=(3,-2) [X^2-X-6=(X-3)(X+2), Lean…
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
ARCH.REVIEW.01
Original ledger classification: Identity/Lattice [I]/[L]
Original claim text
Four validated review identities (passed arithmetic AND the anti-numerology/admissible-invariant discipline) + one disciplined rejection: (1) HYPERCHARGE LUCAS-BINET: carrier charges (q+,q-)=(3,-2) [X^2-X-6=(X-3)(X+2), Lean unique_carrier_pair] generate D_n=(3^n-(-2)^n)/5=1,1,7,13,55,133 = (N_Phi, -, scalaron exp 7, Delta_Q 13, quark numerator 55, dim E7 133) in order; c_u/c_d=D_5/(N_fam^2 D_4)=55/117 (cleaner than Plucker 11). (2) INVERSE ANCHOR THEOREM: 1^T M^-1 1 = 1/atom (Q->1/3=1/N_fam, R=K->1/4=1/|mu4|, L->1/10=1/A_Lambda); anchor self-dual a^T R^-1 a=a^T K^-1 a=a^T L^-1 a=1 (a^T Q^-1 a=7/3, so self-duality is exactly residue/mass/transport, not the pure difference Q). (3) MACWILLIAMS: C^+=even-weight code [5,4,2], dual=repetition [5,1,5], weight enum (1,10,5)=Lambda^even(5) (makes the existing Hamming-scheme duality the named MacWilliams/UV-IR transform). (4) 6Y^2-Y-1=(2Y-1)(3Y+1)=(sY-1)(bY+1), roots 1/2 (SU2) and -1/3 (SU3). FIREWALL (recorded): m_p/m_e=1920-84+3lamC^2 (SU(9)=A_8 not in carrier; m_p is QCD confinement, no mechanism) and eta_B=(2/13)c3^6 (model-dependent leptogenesis output) are arithmetically close but REJECTED -> stay [A]/[P] frontier, NOT promoted to [I]
Original classification detail
Identity/Lattice [I]/[L] (4 accepted; m_p/m_e + eta_B firewalled)
Dependencies as recorded
CAR.UNIQ.01; FLAV.KQ.01; FLAV.SOLAR.01; v44; FR.MPME.01; FR.ETAB.01
Open the original ledger source, row 146Location 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
- Standard Model and flavor structure
- Frontier and open physical interfaces
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.
- Proton/electron ratio [formula in source] — a cross-sector ratioFrontier and open physical interfaces
- Theorem 1 — the even carrier codetfpt 1 architecture e8
- Theorem 2 — Exterior–Action DualityArchitecture, E8 and the electromagnetic fixed point
- Theorem 2 — Exterior–Action Dualitytfpt 1 architecture e8
- Closing the audit gates: is [formula in source] , [formula in source] , [formula in source] derived or imported?Standard Model and flavor structure
- Theorem 2 — Exterior–Action Dualitytfpt 1 architecture e8
- Closing the audit gates: is [formula in source] , [formula in source] , [formula in source] derived or imported?tfpt 2 standard model
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
All 10 linked sections
Registered verification modules
- v79_review_identities.pyRegistered verification module · frontier
Read the description recorded in the module registry
hypercharge Lucas–Binet (1,1,7,13,55,133); Inverse Anchor Theorem (a^T M⁻¹ a=1); MacWilliams (1,10,5); + firewall on m_p/m_e, η_B
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.