TFPT — Topological Fixed-Point Theory: Two Axioms, One Compiler, the Standard-Model Skeleton Derived

Hamann, Stefan; Rizzo, Alessandro

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.

Open the introduction (PDF)View in browserby Stefan Hamann & Alessandro Rizzo

The compiler closure (one-line claim)

\{c_3, g_{\mathrm{car}}\} \;\Rightarrow\; D_5 \oplus A_3 \xrightarrow{\;\mu_4\;} E_8 \;\Rightarrow\; (\text{SM},\ \text{constants},\ \text{scale grammar})

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 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; gravity's local field equation is parameter-free (Gₐᵦ + Λgₐᵦ = c₃⁻¹Tₐᵦ, both coefficients fixed).
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 stays the one metrology unit. 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

c_3 = \frac{1}{|\mathbb{Z}_2|\oint_{S^2}K\,dA} = \frac{1}{8\pi}

P2 — five-slot carrier

g_{\mathrm{car}} = 5 = 3 + 2, \quad \dim S^+ = 2^{g-1} = 16

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.

g_{\mathrm{car}} = 5

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.

g_{\mathrm{car}} = 5 \to E_8 \to (N_{\mathrm{fam}}, b_1, R)

c_3 = \tfrac{1}{8\pi}

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.

c_3 \to (u{=}\varphi_0,\ \alpha^{-1},\ \xi,\ \Lambda,\ H_0)

E_8\text{ closure}

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.

E_8 \Rightarrow g_{\mathrm{car}}{=}5,\ 8 = \operatorname{rank}E_8

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), 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 R
Exact identities read off the carrier and the residue matrix
[E]
Docs 1–2
EM fixed point & flavor angles
Numerical fixed points — α⁻¹ = 137.0359992, sin²θ₁₂, sin²θ₁₃
[E]
Docs 1–2
Masses, inflation, baryons
Conditional — the φ₀-ladder, the R² scalaron, Ω_b and η_B
[C]
Docs 2, 4
Frontier items
Honest handles — Koide, m_p/m_e, dark matter, now runnable typed solvers (v371–v375); the local Einstein equation Gₐᵦ+Λgₐᵦ=c₃⁻¹Tₐᵦ is parameter-free [E]; 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], G_net [C], F_transfer [C]
Numbered research contracts — the scale anchor (open), 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]
[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

Download Open in detail

Doc 2Compiler core

The Standard Model from the Compiler

The φ₀-ladder, flavor from parabolic transport, and the worked closures

Download Open in detail

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

Download Open in detail

Doc 4Honest frontier

Frontier Items

η_B, the Higgs quartic, m_p/m_e, Koide, dark matter and quantum gravity — honest status

Download Open in detail

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

Download Open in detail

Doc 6Appendix H — reframe

Appendix H — The Horizon Unit System

One seam constant c₃ = 1/(8π) as the universal horizon thermal code

Download Open in detail

Doc 7Origin synthesis

Origin Theory

The seam as a horizon, the cyclic compiler hull, and the parameter-free attractor

Download Open in detail

Doc 8Open research gates

Research Contracts for the Remaining Interfaces

v_geo · G_net · F_transfer — the live residual as numbered contracts

Download Open in detail

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

Download Open in detail

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

0
Doc 0 — Introduction
Reading guide & status assessment
1
Doc 1 — Architecture & E₈
Two axioms, the glue, α⁻¹
2
Doc 2 — Standard Model
The φ₀-ladder & flavor matrix
3
Doc 3 — E₈ audit & bootstrap
Audit raster, the loop
4
Doc 4 — Frontier
Honest open items
5
Doc 5 — Red Team
The adversarial audit & kill tests
7
Doc 7 — Origin Theory
Why no free number remains
8
Doc 8 — Research contracts
The open interfaces v_geo, G_net, F_transfer

Mathematical dependency order

1
Doc 1 — Architecture: the two axioms, D₅ × A₃ → E₈, α⁻¹
2
Doc 2 — Standard Model: the φ₀-ladder, flavor matrix, θ₁₂
3
Doc 3 — E₈ audit raster, cascade bridge, Möbius bootstrap
4
Doc 4 — Frontier: η_B, m_p/m_e, Koide, dark matter; QG measure discharged [C], graviton unitarity [C]
6
Doc 6 — Appendix H — horizon unit system (reframe)
7
Doc 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 keystone, now closed modulo cited theorems (not solved): the raw reflection-positive seam state IS the holomorphic (E₈)₁ net at τ=i. The target is pinned at every computable level by an explicit lattice model (v367/v368) and the S3 stack (v376–v379, ground-state witnesses v489/v490), Lean-pinned (FORM.SEAM.MMST.01) to the published MMST/Adamo theorems; the residual is the cited continuum scaling-limit existence only (v336; extension leg on the peer-reviewed crossed-product package, realisation at invariant level, v469; stays [O]). The role Einstein’s ‘c = const’ plays — TFPT’s one irreducible structural postulate; its conformal-deck face QGEO.SYM.01 is a corollary.

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.

Open the introduction (PDF)View in browser