How the pieces lock
The dependency chain from two axioms to the Standard-Model skeleton, the seam=horizon identification, and the parameter-free Einstein equation — archived here so the homepage stays a narrative, not a museum.
From two axioms to the observables
TFPT is a directed acyclic graph: two axioms at the source, the E₈ compiler in the middle, the observables as sinks. The compiler factorises into two engines — a discrete closure (from g_car) and a boundary dressing (from c₃) — that branch into three readouts, and the bootstrap loop feeds the output back to fix the inputs. On top, the boundary QFT assembles into one relative object — the Modular Spectral Closure — reduced to a single seam premise.
Two axioms
Axiom — declared input- Input
- Declared (P1 Gauss–Bonnet-hardenable, P2 Lean-formalised)
- What is fixed
- The seam constant and the five-slot carrier — the only structural inputs
- Not claimed here
- No SM gauge group, no families, no α inserted by hand
- How it can fail
- No reflection-positive seam, or the wrong family/charge lattice
The two atoms
Lattice / identity- Input
- The carrier g_car = 5 and the four-puncture family geometry
- What is fixed
- The D₅ half-spinor (dim 16, hypercharge Y) and the A₃ family geometry (N_fam = 3)
- Not claimed here
- Not yet E₈ — the atoms are intermediate products of the inputs
- How it can fail
- Group/matter mismatch, or the wrong family multiplicity
The μ₄ glue ⇒ E₈
Lattice / identity- Input
- D₅, A₃ with the common discriminant ℤ₄
- What is fixed
- 240 = 16·5·3 roots, 248 = 240 + 8; q(D₅)+q(A₃) = 5/4+3/4 = 2
- Not claimed here
- E₈ is the unimodular audit hull, not a physical gauge group
- How it can fail
- Not even-unimodular, or the glue norms do not sum to the root norm 2
Standard Model — Engine 1
Readout- Input
- E₈ projection + carrier traces
- What is fixed
- The gauge group, 3 families, hypercharge, b₁ = 41/10, and the residue matrix R (det 8)
- Not claimed here
- No absolute quark amplitude scale (the v_geo anchor)
- How it can fail
- Hierarchy mismatch, or a robust fourth generation
Constants — Engine 2
Readout- Input
- The seed u = φ₀ and the abelian coefficient 41 = 10 b₁
- What is fixed
- α⁻¹, the Cabibbo angle λ_C, sin²θ₁₃, β_rad, and the strong-CP null
- Not claimed here
- Not the dimensionful EW/QCD masses (those sit on the RG scheme layer)
- How it can fail
- No root or a second root of F_U(1)(α), or a robust nonzero neutron EDM
Gravity & cosmos — Engine 2
Geometry channel- Input
- The seam constant via the geometry channel (entanglement first law + R + R²)
- What is fixed
- Parameter-free Einstein equation Gₐᵦ+Λgₐᵦ=c₃⁻¹Tₐᵦ, both coefficients fixed (v358/v359); scalaron mass 3.06×10¹³ GeV, n_s = 0.965, r ≈ 0.004, Λ ∼ e⁻²ᵅ⁻¹, H₀ ∼ √Λ
- Not claimed here
- The absolute dark-energy density is a typed cosmology interface
- How it can fail
- A robust r ≳ 0.01, or a robust w ≠ −1
The φ₀-ladder & flavor matrix
Bridge readout- Input
- The residue matrix R and the seed φ₀
- What is fixed
- All nine masses, CKM, the PMNS skeleton; the solar angle sin²θ₁₂ = 1/3 − φ₀/2
- Not claimed here
- Quark ratios closed; the absolute quark scale is the U_point anchor
- How it can fail
- The lepton φ₀-ladder mismatches the observed charged-lepton hierarchy
The bootstrap loop
Lattice / identity- Input
- The E₈ closure fed back to the inputs
- What is fixed
- The two inputs are re-derived — the discrete core is overdetermined, not fitted; only π stays free
- Not claimed here
- Not creation from nothing — two inputs remain
- How it can fail
- g_car = 5 not forced three ways, or the reverse glue μ² − 5μ + 4 = 0 does not pick μ = 4
Boundary QFT — the Modular Spectral Closure
Bridge readout- Input
- The seam KMS state + the 96-dim carrier finite spectral triple
- What is fixed
- One relative object: D_F = covariance induction of the seam state (v258), cutoff = the KMS weight ⇒ f₂/f₀ = 1 (v259), seam + carrier-16 + E₈ on one Kummer/K3 (v260); cross-checked 4 = [B:A] = |μ₄| = 2χ = |(ℤ/2)²| (v261)
- Not claimed here
- Closed modulo cited theorems via the keystone SEAM.EQUIV.01 (QGEO.SYM.01 is its corollary, v335; extension leg on the peer-reviewed crossed-product package, realisation at invariant level, v469; stays [O]); the ambient QG measure is discharged as a redundancy [C] (v369+v379)
- How it can fail
- An invariant disagrees across the round (index ≠ marks, two carrier-16s, or two different gaps)
The residual: two gates + interfaces
Open / frontier- Input
- The compiler closure
- What is fixed
- One flavor wall-selection (v_geo, [O]); the ambient quantum-gravity measure now discharged as a redundancy [C] (v369+v379; the local field equation is itself parameter-free, v358/v359); and a set of typed runnable frontier solvers (F_transfer, v371–v375) — the whole boundary-QFT layer collapses onto the G_metric keystone (step 7), closed modulo cited theorems, adding no new open item
- Not claimed here
- No strict physical TOE 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, v336 — extension leg crossed-product certified, v469; stays [O] — and v_geo stays the one unit). The ambient measure G6 is not an open hole — it is discharged as a redundancy [C]
- How it can fail
- A gate's closing theorem asserted before its lemma chain completes
A black hole in the bulk: every coefficient lands on a compiler atom
A structure test with zero free parameters: write classical black-hole mechanics inside the de Sitter bulk in seam units, and every coefficient lands on a compiler atom that is already load-bearing elsewhere. Machine-checked in v101/v102; the carrier-in-the-bulk reading is typed [C].
The maximal black hole in the de Sitter bulk
One orientation: away from the anchor, toward the democratic endpoint
Nariai = the anchor
[E]At the maximal mass the horizon equation becomes with roots — exactly the traceless form of the anchor that generates the whole compiler grammar.
The Koide 2/3 is the entropy bound
[E]The maximal black hole carries exactly of the de Sitter entropy — the same constant that sits at the Koide branch point of the flavor sector. Zero adjustable parameters on either side.
One orientation in both sectors
[E] + [C]Flavor relaxation and black-hole evaporation both flow away from the anchor configuration — a stationary repeller with grammar-constant curvature ( in flavor, in gravity). Reading it as one variational principle stays [C].
The Einstein equation falls out — with no free dial
The entanglement first law, run with TFPT's atoms, gives the full covariant Einstein equation Gₐᵦ + Λgₐᵦ = c₃⁻¹Tₐᵦ; the seam constant c₃ arrives by three independent routes that all agree — and its temperature leg is now measured on the seam itself (T_seam = 4c₃, v526).
Gravity is parameter-free — three origins of c₃ converge
v358 / v359 · [E]The entanglement first law (Jacobson; Faulkner et al.), run with TFPT’s atoms, gives the full covariant Einstein equation (fixed-volume stationarity → the Einstein tensor, v359) with both coefficients fixed — no free dimensionless dial. The seam constant c₃ = 1/(8π) arrives by three independent routes that all agree.
The seam is thermal — three legs of c₃
v526 · [E]/[C]The Hawking normalisation is no longer only postulated into the horizon sector: the reconstructed free seam OS quotient admits exactly one detailed-balance thermal representation, and its temperature comes out T_seam = 4c₃ — the same Bisognano–Wichmann/Hawking normalisation the geometry and anomaly legs carry. Temperature is the third leg of c₃ = 1/(8π).