A registered result in its source context
Original ledger classification: Identity [I]
Recorded statement: Compiler core - the whole integer skeleton from one pair (g_car,N_fam)=(5,3): rank E8=g+n=8 (D5(+)A3 rank split), |Z2|=g-n=2 (carrier-family), |mu4|=(g+n)/2=4; (N_fam,|mu4|,g_car)=(3,4,5) is THE Pythagorean triple. NOT decorative:…
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.CORE.01
Original ledger classification: Identity [I]
Original claim text
Compiler core - the whole integer skeleton from one pair (g_car,N_fam)=(5,3): rank E8=g+n=8 (D5(+)A3 rank split), |Z2|=g-n=2 (carrier-family), |mu4|=(g+n)/2=4; (N_fam,|mu4|,g_car)=(3,4,5) is THE Pythagorean triple. NOT decorative: grand-mass-volume exponent Delta_Y=g_car^2=25 (det M_SM~phi0^25) splits as a DIFFERENCE OF SQUARES Delta_Y=g^2=N_fam^2 + (g-n)(g+n)=N_fam^2+|Z2|*rank(E8)=9+16=dim S+, i.e. down sector=N_fam^2, up+lepton=|Z2|*rank E8=dim S+ (K-row sums (6,9,10)). ANCHOR is the Dirac square root: a=(1,1,2) is the UNIQUE 3-multiset (0..6) with elem-symm (|mu4|,g_car,|Z2|)=(4,5,2); char poly chi_a(t)=(t-1)^2(t-2)=t^3-|mu4|t^2+g_car t-|Z2| => compiler atoms ARE its char-poly coefficients. Only transcendental is pi (c3=1/(8pi), 8=rank E8; seed 1/(6pi), 6=|R+A3|). New READINGS/syntheses of v23/v37/v46/v47 atoms [I]
Original classification detail
Identity [I]
Dependencies as recorded
FLAV.MASSVOL.01; v23; v47; BND.GLUE.01
Open the original ledger source, row 136Location 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
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- 2026-06-21 (capstone: the SM structural sector is [formula in source] Galois [formula in source] , and the complete input is [formula in source] — zero dimensionless free parameters: v318)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-06-14 (overview figures + P1/P2 reduction reflected on the axiom surfaces)Research changelog; TFPT — Introduction and reading guide
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
- -1.2cm TFPT — Origin Theory\\[2mm] The seam as a horizon, the cyclic compiler hull,\\ and the self-reproducing parameter-free fixed point\\[2mm] An \ structural core ( [formula in source] – [formula in source] ) with one honestly-typed \ interpretationorigin theory
- Honest statusinput 4 origin theory
- -1.2cm TFPT — Origin Theory\\[2mm] The seam as a horizon, the cyclic compiler hull,\\ and the self-reproducing parameter-free fixed point\\[2mm] An \ structural core ( [formula in source] – [formula in source] ) with one honestly-typed \ interpretationinput 4 origin theory
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- Sharper still: one anchor [formula in source] , and [formula in source] as a compiler hull ( )TFPT — Introduction and reading guide
- The whole integer skeleton from one pair [formula in source]Origin Theory
- Appendix: computational verificationOrigin Theory
All 25 linked sections
- Theorem 7 — the [formula in source] lift of the [formula in source] atlas
- Honest status
- -1.2cm TFPT — Origin Theory\\[2mm] The seam as a horizon, the cyclic compiler hull,\\ and the self-reproducing parameter-free fixed point\\[2mm] An \ structural core ( [formula in source] – [formula in source] ) with one honestly-typed \ interpretation
- H2: the moduli computation, set up explicitly
- Appendix: computational verification
- Honest status
- 2026-06-12 (origin_theory style alignment + box reduction)
- Front matter / support
- Honest status
- H2: the moduli computation, set up explicitly
- Appendix: computational verification
- Appendix: computational verification
- -1.2cm TFPT — Origin Theory\\[2mm] The seam as a horizon, the cyclic compiler hull,\\ and the self-reproducing parameter-free fixed point\\[2mm] An \ structural core ( [formula in source] – [formula in source] ) with one honestly-typed \ interpretation
- The whole integer skeleton from one pair [formula in source]
- 2026-07-20 (III) ( v491 — [formula in source] as the partition COROLLARY of the four marks: [formula in source] into exactly [formula in source] positive parts is uniquely [formula in source] , sharpening v53; the residual is the weight-typing postulate — AX.P2.01 stays a declared axiom; no gate closes, no marker moves)
- Theorem 7 — the [formula in source] lift of the [formula in source] atlas
- Theorem 7 — the [formula in source] lift of the [formula in source] atlas
Registered verification modules
- v53_compiler_core.pyRegistered verification module · core
Read the description recorded in the module registry
whole integer skeleton from (5,3); Δ_Y = 25 = 9+16
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.