Engine 1 — discrete closure
From the five-slot carrier: the D₅ half-spinor, the family geometry A₃ = ℙ¹∖μ₄, the μ₄ glue to E₈, and the Standard-Model packet — N_fam = 3, Ω_adm = 48, b₁ = 41/10, and the residue matrix R with det 8.
Introduction · Reading guide
TFPT in one map.
Two axioms, one discrete compiler, the Standard Model.
The entry document for the TFPT 5.4 set. It does not introduce new physics — it is the reading guide. Its purpose is to state what TFPT claims, what it does not claim, how the compiler closure is organized, and where each load-bearing argument is isolated in the document set — every claim graded and resolving to a single machine-checked ledger.
The compiler closure (one-line claim)
Front-box: inputs, contribution, exclusions, falsification surface
Inputs
The two axioms {c₃ = 1/(8π), g_car = 5}. Everything else — the gauge group, the constants, the scale grammar — is a consequence.
Contribution
The compiler closure, the two-engine picture, the dependency DAG, the proof ledger, and the live experimental tests — stated in one place.
Not introduced here
No new physics. The load-bearing derivations — the E₈ glue, the SM packet, the masses, the gravity sector — live in the companion documents.
Falsification or audit surface
Fails as a guide if it misstates the dependency order, if a status marker disagrees with the ledger, or if a claim is promoted past the grade its companion document carries.
What TFPT claims
One compiler, not a list of fits
The introduction makes two things explicit: what TFPT does claim at the compiler level, and what it explicitly does not promote past its grade. The split is what makes the falsification surface auditable.
Claimed at the primitive level
- TFPT is a discrete compiler with two inputs: the seam constant c₃ = 1/(8π) and the five-slot carrier g_car = 5. Nothing else is inserted by hand. (The value of c₃ is now explained — not derived — by the exact index-KMS identity I·β·c₃ = 4·2π·1/(8π) = 1 with a c₃-free Jones index; c₃ stays the axiom, v813.)
- The carrier gives D₅, the family geometry gives A₃, and the μ₄ glue closes E₈ = (D₅ ⊕ A₃) + μ₄ as a lattice theorem — 240 = 16·5·3, 248 = 240 + 8 are carrier traces.
- α⁻¹ = 137.0359992168 is the unique root of a parameter-free cubic (existence + uniqueness proved), and the flavor matrix, masses and θ₁₂ = 1/3 − φ₀/2 follow from one φ₀-ladder.
- The bootstrap loop re-derives the inputs: g_car = 5 is forced three ways and the 8 in c₃ equals rank E₈ — the discrete core is overdetermined, with only π irreducible.
Not claimed at this level
- E₈ is the unimodular audit/compiler hull, not an unbroken physical gauge group — so the no-go results against literal E₈ world-formulas do not apply.
- The dimensionful EW/QCD masses (m_W, m_Z, m_H, sin²θ_W, α_s) sit on the RG scheme layer; the absolute quark amplitude scale reduces to the U_point anchor.
- The frontier items — η_B, m_p/m_e, Koide, dark matter — are honest handles, not forced compiler powers, now runnable typed solvers (F_transfer = F_pole ⊕ F_Boltzmann ⊕ F_relic ⊕ F_QCD, v371–v374) with kill tests; the classical covariant field equation carries no free dimensionless Newton coupling under the named QFT/entanglement premises [C] (Gₐᵦ + Λgₐᵦ = c₃⁻¹Tₐᵦ, both coefficients fixed under those premises).
- No strict physical TOE is certified end-to-end: the keystone SEAM.EQUIV.01 is closed only on its MMST route SEAM.EQUIV.MMST.01, modulo a cited published theorem (the cited continuum scaling-limit existence, v336; twistor route SEAM.EQUIV.TWISTOR.01 and the unconditional parent stay [O]; its 128-spinor extension leg is certified at net level by the peer-reviewed crossed-product package v469, with AGT/AMT an independent second witness — stays [O]), and v_geo is a CLOSED METROLOGY STRUCTURE (R₊ unit torsor; one dimensionful calibration necessary by dimensional analysis — No-Unit v153/v725; display stays [O], no physical [E]). The master contract TFPT.TOE.COMPLETE.01 [O] NAMES the AND of eight gates (T1–T8); TOE_Complete := AND(T1..T8) vs TOE_Validated := Complete AND independent holdouts passed — it does not close a TOE. Rest_TOE is the 2026-08-27/28 contract accounting (ten named [O] summands) sitting beside that AND. The ambient quantum-gravity measure (G6 / QG.AMB.01) is NOT the open completion target — it is discharged as a redundancy [C] (v369 + v379), a certification object, not missing dynamics.
The two axioms
Everything is generated from the seam constant and the five-slot carrier. They are not even independent: both are elementary symmetric polynomials of the single anchor a = (1,1,2), so the inputs collapse to the anchor plus the lone continuous primitive π.
P1 — seam constant
P2 — five-slot carrier
The two engines
Discrete closure, boundary dressing, bootstrap
Read from the two axioms, the theory factorises into exactly two engines — a discrete closure from g_car and a boundary dressing from c₃ — and the bootstrap loop that feeds the E₈ closure back to fix the inputs.
Engine 2 — boundary dressing
From the seam constant: the seed u = φ₀, the electromagnetic fixed point α⁻¹, the Einstein normaliser ξ, and the exponential scale grammar 1 : 5 : 10 that gives v_EW, H₀ and Λ. Gravity is this engine's geometry channel.
The bootstrap loop
The E₈ closure feeds back as an internal consistency check: g_car = 5 is forced three ways (rank-fill, Coxeter-match, integer-glue), and the 8 in c₃ equals rank E₈ = h(D₅) = φ(30) — recovered independently. The bootstrap overdetermines the discrete core; only π stays irreducible.
Status discipline
The status matrix
Every layer of the dependency DAG carries its own grade — exact identity, lattice theorem, numerical fixed point, conditional, or open. The single source of truth is the machine-checked status ledger; if the text and the ledger ever disagree, the ledger wins.
LayerStatus languageToneWhere handled
- Two axioms {c₃, g_car}Declared inputs — c₃ Gauss–Bonnet-hardenable (temperature since measured as its third leg, T_seam = 4c₃, v526; the closed index-KMS identity I·β·c₃ = 4·2π·1/(8π) = 1 now EXPLAINS the value — Jones index c₃-free, β = 2π independently measured — without deriving it: c₃ stays the axiom, the open bridge is the even modular-response normalization, P1.INDEX.KMS.01 [O], v813), P2 algebra Lean-formalised; reduction state: four marks + one discrete symmetry-lift bit — the twist-class choice (flag transitivity ⟺ τ = i; 10 side-blind tests survived, gauge-robust order parameter, in principle interferometrically readable, since RP-selected dynamically at toy level: the unique surviving interacting member δ = π/2, v534 — stays input) + π (v491/v499/v510/v512/v528/v529/v534)[O]Doc 1
- E₈ glue D₅ ⊕ A₃ + μ₄Lattice theorem — common discriminant ℤ₄, glue norms 5/4 + 3/4 = 2[E]Doc 1
- Carrier traces 240, 248, b₁, det RExact identities read off the carrier and the residue matrix[E]Docs 1–2
- EM fixed point & flavor anglesNumerical fixed points — α⁻¹ = 137.0359992, sin²θ₁₂, sin²θ₁₃[E]Docs 1–2
- Masses, inflation, baryonsConditional — the φ₀-ladder, the R² scalaron, Ω_b and η_B[C]Docs 2, 4
- Frontier itemsHonest handles — Koide, m_p/m_e, dark matter, now runnable typed solvers (v371–v375); the classical covariant field equation carries no free dimensionless Newton coupling under the named QFT/entanglement premises [C]; the ambient nonperturbative QG measure QG.AMB.01 is discharged as a redundancy [C] (v369+v379) and perturbative graviton unitarity is established [C] (v304/v370/v380)[C]Doc 4
- Residual interfaces v_geo [O] closed metrology (R₊ torsor), G_net [C], F_transfer [C] — compiler rest; Rest_TOE / TFPT.TOE.COMPLETE.01 is the named [O] AND of eight gates, not a closureNumbered research contracts — the scale anchor (CLOSED METROLOGY STRUCTURE: R₊ unit torsor; one dimensionful calibration necessary by dimensional analysis — No-Unit v153/v725; unit choice closed; dimensionless hierarchies (M_Pl/v_EW, M_R/M_scal, Λ_QCD/v_EW, T_reh/M_scal) remain predictive obligations; display stays [O], no physical [E]; interface structurally closed as an R₊ scale torsor in calibration form, v725), the metric inclusion (route split: MMST route SEAM.EQUIV.MMST.01 closed modulo cited theorems, twistor route SEAM.EQUIV.TWISTOR.01 open with its measure chain now DERIVED at probe level (v520/v523: single-valuedness from F-independence + Quillen, 1/det_j the Atiyah–Bott fixed-point factor, ψ = 64), parent SEAM.EQUIV.01 [O] as an unconditional claim; extension leg on peer-reviewed crossed-product theorems, v469; OS twistor bridge WOIT.OS.TWISTOR.01 with α/β₁/β₂ executed, β₃ next under the straddle-law constraint — the straddle filter since executed as a selector: RP keeps exactly one member alive, δ = π/2, the alignment bit (v534, toy-fenced) — v519/v522/v524/v529/v534, stays [O]) and the transfer functor [C] (both thermal-time internalization routes machine-killed, v723/v724 — the external clock contract confirmed; first exact G_net index witnesses v722/v726)[O]Doc 8
Document map
Five core papers plus four companions
The reviewer path is the architecture, the two axioms, the E₈ glue and the α fixed point (Doc 1), the Standard Model (Doc 2), the E₈ audit and bootstrap (Doc 3), the honest frontier (Doc 4), and the adversarial Red Team audit (Doc 5). Appendix H (horizon), the Origin Theory synthesis, the research contracts, and the safeguards discipline sit alongside.
Doc 1Compiler core
Architecture and the E₈ Compiler
The two axioms, the derivation map, and the D₅ × A₃ → E₈ construction
Doc 2Compiler core
The Standard Model from the Compiler
The φ₀-ladder, flavor from parabolic transport, and the worked closures
Doc 3E8 audit & bootstrap
E₈ Audit, Cascade Bridge and Bootstrap
The seven E₈ slices as an audit raster, the cascade spine, the Möbius loop — and the thirty-one-step celestial/twistor route with the measure chain derived
Doc 4Honest frontier
Frontier Items
η_B, the Higgs quartic, m_p/m_e, Koide, dark matter and quantum gravity — honest status
Doc 5Adversarial audit
Red Team — The Adversarial Audit
Targets A–E, the QFT round (F) and the seam round (G): attacking the load-bearing reductions at their weakest transitions
Doc 6Appendix H — reframe
Appendix H — The Horizon Unit System
One seam constant c₃ = 1/(8π) as the universal horizon thermal code
Doc 7Origin synthesis
Origin Theory
The seam as a horizon, the cyclic compiler hull, and the parameter-free attractor
Doc 8Open research gates
Research Contracts for the Remaining Interfaces
v_geo · G_net · F_transfer — compiler rest; Rest_TOE — the strict-physical-TOE contract accounting
Doc 9Verification discipline
Safeguards against Coincidence and Numerology
The verification discipline — every mechanism that defends a load-bearing claim against chance, fitting and over-reading
Doc 10Working note
The Gaussian Code Bridge: E₈ over ℤ[i], the Extended Hamming Code, and a Four-Bit Information Layer
Construction A, the μ₄ complex structure, and the code that builds the lattice returning as its message space — exact algebra, machine-certified
Doc 11Working note
A Computable, Zeta-Free Truncation Family for the Weil Measure: Measurements on a Hilbert–Pólya Candidate
Finite operators from the Gaussian-E₈ Hecke tower that measurably reproduce the Weil measure — with a prediction freeze and an explicit no-proof fence
Reading order
Two paths through the same set
The dependency order of the four core documents is rigid (1 → 2 → 3 → 4), with the Red Team audit (Doc 5) on top. The recommended reading order starts from the introduction and adds the four companions — Appendix H, the Origin Theory synthesis, the research contracts, and the safeguards discipline — without breaking the chain.
Recommended public order
- 0Doc 0 — IntroductionReading guide & status assessment
- 1Doc 1 — Architecture & E₈Two axioms, the glue, α⁻¹
- 2Doc 2 — Standard ModelThe φ₀-ladder & flavor matrix
- 3Doc 3 — E₈ audit & bootstrapAudit raster, the loop
- 4Doc 4 — FrontierHonest open items
- 5Doc 5 — Red TeamThe adversarial audit & kill tests
- 7Doc 7 — Origin TheoryWhy no free number remains
- 8Doc 8 — Research contractsThe open interfaces v_geo, G_net, F_transfer
Mathematical dependency order
- 1Doc 1 — Architecture: the two axioms, D₅ × A₃ → E₈, α⁻¹
- 2Doc 2 — Standard Model: the φ₀-ladder, flavor matrix, θ₁₂
- 3Doc 3 — E₈ audit raster, cascade bridge, Möbius bootstrap
- 4Doc 4 — Frontier: η_B, m_p/m_e, Koide, dark matter; QG measure discharged [C], graviton unitarity [C]
- 6Doc 6 — Appendix H — horizon unit system (reframe)
- 7Doc 7 — Origin Theory — the gapped unique attractor
A translation key
Compiler-speak → standard physics
TFPT’s vocabulary comes from discrete mathematics and computer science; a phenomenologist looks for Lagrangians and RG flows. This Rosetta maps each TFPT term onto the orthodox concept it plays the role of — a reading aid, not a new claim.
| TFPT term | Standard QFT / mathematical reading |
|---|---|
| Compiler | A deterministic boundary → IR map (a fixed renormalization-group endpoint read off by projection), not a parameter fit. ‘Compiles’ = evaluates the unique fixed point. |
| Seam | The reflection-positive boundary / holographic screen — a Wilsonian UV boundary CFT (chiral conformal net) whose data the bulk reads off. |
| Carrier (D₅ ⊕ A₃) | The boundary field content / chiral algebra: 16 free Majorana fermions, c = 8 = 5 + 3 (a free-fermion conformal net). |
| μ₄ glue / deck | An orbifold deck transformation / simple-current (ℤ₄) extension — the standard ‘gauge a discrete symmetry’ / extension operation on a CFT. |
| Clock | The Coxeter monodromy element of W(A₃) = S₄ (order h(A₃) = 4) — the orbifold rotation generating the ℤ₄. |
| Audit hull (E₈) | An anomaly / consistency lattice — the even unimodular ‘checksum’ that the carrier must embed into. NOT a 4D gauge group (so Coleman–Mandula / Distler–Garibaldi do not apply). |
| Readout / projection | An observable extracted as an index or intersection number — the value of an operator after projecting onto the physical sector (a Wilson-line/operator VEV). |
| Microcode | The integer charge / index labels (hypercharges, Dynkin indices, Plücker coordinates) — the discrete, RG-invariant quantum numbers. |
| Plücker readout | A topological intersection / Schubert index on a Grassmannian — a discrete, scheme-independent number (e.g. cᵤ/c_d = 55/117). |
| Gap (2/3)⁶ | The spectral gap of the boundary transfer operator = the RG-irrelevance rate of the leading deformation (a Perron–Frobenius subleading eigenvalue). |
| Anchor a = (1,1,2) | The minimal generating datum — the role a renormalization scheme’s defining numbers play; its symmetric functions are (|μ₄|, g_car, |ℤ₂|) = (4,5,2). |
| F_transfer | The typed RG / threshold-matching functor: compiler source data → physical pole observable, now a runnable solver suite (Koide source→pole v371, η_B Boltzmann v372, axion relic v373, m_p/m_e via QCD/EW v374), each a typed [C] bridge with a kill test, folded into a prediction-observatory CI (v375). |
| v_geo | The one dimensionful renormalization condition — a unit choice. After setting ℏ = c = 1 a single scale must still be fixed by hand; the No-Unit Theorem proves a dimensionless compiler cannot produce it. |
| SEAM.EQUIV.01 (keystone) | The historical seam/metric keystone: the raw reflection-positive seam state is identified with the holomorphic (E₈)₁ net at τ=i. Its MMST route is [C], closed modulo cited theorems but not solved; the unconditional parent and twistor route remain [O]. The ‘one irreducible postulate’ analogy is scoped to this finite seam/MMST lane, not T1–T8 or a shared 3+1D parent. |
| Rest_TOE / T1–T8 | The strict physical-completeness matrix, not another name for the finite seam/compiler residual. Round 4 (v1026–v1030) closes only the fixed-M=1, Ny=8 relaxed TEL-B norm below 2.995906 and adds narrow T3/T4/T6–T8 identities/counterbounds. FE-GEN/ALG-EXH, all T1–T8 gates and TFPT.TOE.COMPLETE.01 remain [O], and no shared 3+1D parent exists; v1029 is not a TFPT embedding. The ‘one irreducible postulate’ analogy above is scoped to the historical finite seam/MMST lane. |
The one honest layer a physicist will scrutinise is F_transfer: the discrete kernel and the dimensionless readouts are exact, while the continuous transport that drives the source data to the physical pole is the external transfer layer — now a typed, runnable solver suite (v371–v375), explicitly [C], never sold as a derivation.
Read the full reading guide.
The introduction is the entry document of the TFPT 5.4 set. It states the compiler closure, the two-engine picture, the dependency DAG, the proof ledger, and the live experimental tests — with every claim graded and resolving to the ledger.
- · Stefan Hamann
- · Alessandro Rizzo
- · TFPT 5.4 document set