A registered result in its source context
Original ledger classification: Identity [I]
Recorded statement: delta=1/2 glue-norm origin + (g_car,N_fam)/|mu4| unification: the two E8-glue discriminant norms ARE the carrier rank and family count over the glue index, q(D5)=g_car/|mu4|=5/4 (rank D5=g_car=5), q(A3)=N_fam/|mu4|=3/4 (rank A3=N_fam=3,…
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
FLAV.DELTA.01
Original ledger classification: Identity [I]
Original claim text
delta=1/2 glue-norm origin + (g_car,N_fam)/|mu4| unification: the two E8-glue discriminant norms ARE the carrier rank and family count over the glue index, q(D5)=g_car/|mu4|=5/4 (rank D5=g_car=5), q(A3)=N_fam/|mu4|=3/4 (rank A3=N_fam=3, n+1=4=|mu4|). Then all FOUR arithmetic ops are forced compiler atoms: sum=(g+n)/|mu4|=rank(E8)/|mu4|=2 (E8 root norm), diff=(g-n)/|mu4|=|Z2|/|mu4|=1/2=delta (lepton transport, used in v20 for c_e=16/7,c_mu=4/3,c_tau=7/6), prod=g*n/|mu4|^2=dim su(4)/dim S+=15/16, ratio=g/n=5/3. (sum,ratio) invert uniquely to (5/4,3/4). So delta=1/2 is the carrier-minus-family count over the glue index, not a chosen rational; it also equals the harmonic-frame holonomy diagonal modulus 1/2 (v41). Hardens v20's chosen delta into a fully atomic readout [I]
Original classification detail
Identity [I]
Dependencies as recorded
BND.GLUE.01; v20; v41
Open the original ledger source, row 117Location 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.
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- Charged leptons: completely closed in [formula in source]tfpt 2 standard model
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- The whole integer skeleton from one pair [formula in source]Origin Theory
- Theorem 7 — the [formula in source] lift of the [formula in source] atlasArchitecture, E8 and the electromagnetic fixed point
- The muon anomalous magnetic moment — a seam vertex readoutFrontier and open physical interfaces
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Charged leptons: completely closed in [formula in source]Standard Model and flavor structure
Registered verification modules
- v51_boundary_half_step.pyRegistered verification module · core
Read the description recorded in the module registry
glue norms (g_car,N_fam)/|μ₄|; δ=½; root norm 2
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.