A registered result in its source context
Original ledger classification: Lattice
Recorded statement: EM budget M=41 is FORCED = 10 b1 = sum L + N_Phi (U(1) index, not a free fit); (4/5)M c3^6 = 8 b1 c3^6
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
EM.BUDGET.01
Original ledger classification: Lattice
Original claim text
EM budget M=41 is FORCED = 10 b1 = sum L + N_Phi (U(1) index, not a free fit); (4/5)M c3^6 = 8 b1 c3^6
Original classification detail
Lattice
Dependencies as recorded
CAR.SM.01 (b1 from g_car)
Open the original ledger source, row 12Location 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
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.
- Closing the audit gates: is [formula in source] , [formula in source] , [formula in source] derived or imported?Standard Model and flavor structure
- 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
Registered verification modules
- v13_open_gates.pyRegistered verification module · frontier
Read the description recorded in the module registry
gate closures: M = 41 = 10 b₁; Q₊ = A₃ exponents
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.