What TFPT claims — and how to check it
A distill-style walkthrough for curious non-specialists and skeptical physicists. Plain English first; technical depth on demand. Not a “proven TOE” pitch — an honest map of axioms, machine checks, open gates, and kill tests. Facts as of 2026-07-23.
Tip: ← / → keys move between steps · deep links look like #step-seam
01 · Two numbers
What if two numbers were enough?
Everything here starts from two axioms: c₃ = 1/(8π) and g_car = 5. No secret knobs behind the curtain.
seam constant
c₃ = 1/(8π)
carrier grade
g_car = 5
02 · The compiler
Axioms in → machine → readouts out
Think of TFPT as a discrete compiler: feed the two axioms, run the carrier algebra, audit against E₈, read off Standard-Model structure.
03 · What comes out
Concrete numbers you can argue with
Among the outputs: α⁻¹, mass and mixing structure, and 27 frozen predictions — three examples below with the actual figures.
Fine-structure constant
α⁻¹ = 137.03599921.9σ vs CODATA — one line among many, not a fit target
Solar mixing angle
sin²θ₁₂ = 0.3067frozen; decisive confrontation at JUNO
Tensor-to-scalar ratio
r ≈ 0.004frozen band; CMB-S4 / next-gen B-modes
- Plus 24 further frozen predictions in the registry — 27 total, blind-committed.
04 · Not numerology
Why this is not AI slop or curve-fitting
Predictions were frozen before decisive data; null Monte Carlos and look-elsewhere discipline are enforced; every claim carries an honest [E]/[C]/[O]/[X] grade.
- [E]exact / machine-proven
- [C]conditional under named hypotheses
- [O]open / declared input
- [X]falsifiable kill test
Empirics that returned nulls (e.g. RXTE — search target (null); NICER 0.75% / 0.93% rms — search targets, never upgraded to claims) stay search targets — never quietly promoted to theory claims.
05 · The seam
A circle, four marks, a built-in temperature
The seam is the heart of the story: a quarter-beat clock on four marks — and it carries Hawking's temperature normalisation as a measured third leg of c₃.
06 · Check it
You do not have to trust us
One command runs the suite. Or open the in-browser Pyodide DAG on /verification and re-derive a node yourself.
python run_all.pyExpected terminus: ALL CHECKS PASSED (523 modules).
07 · How it dies
Committed kill tests — including one that already fired
JUNO, CMB-S4 and friends can kill published predictions. Separately, a toy-level kill (v529, straddle law) already fired — and we published it.
Toy kill · banked
v529 · straddle law
The first interacting toy model fails a preregistered kill test (straddle law). Banked openly — anti-numerology style. Status: published, not buried.
08 · Still open
What we do not pretend to have closed
SEAM.EQUIV stays [O] unconditionally. One input bit survives ten failed derivations — that failure is the point. The interacting seam is still open.
- SEAM.EQUIV[O]
Unconditional seam equivalence remains open; ledger is source of truth.
- the one input bit[O]
10side-blind derivation attempts failed — that's the point. Now defined as the twist-class choice, in principle interferometrically readable. It remains an input.
Woit bridge: α / β₁ / β₂ executed at the free level; the interacting seam stays open.
09 · Two bridges
Celestial measure chain · Woit free bridge
Two research bridges toward physics: a thirty-step celestial/twistor story with a derived measure chain, and a Woit OS route with α→β₂ executed (interacting still open).
Celestial / twistor route
30 stepsthirty-step story; measure chain derived. Measure chain: derived at probe level.
Progress cue only — not a ledger upgrade.
The OS twistor bridge — WOIT.OS.TWISTOR.01
research contract · [O]The actual bridge from compiler to physics: a global real structure Θ plus interacting reflection positivity plus OS reconstruction on the twistorial algebra. Three of its preregistered stages are executed; the contract itself stays open.
Θ exists at the free level; free RP selects the same family
the μ₄ clock is the euclidean rotation; gaugeable datum = the GSO ℤ₂; gauge-fixed RP holds
OS quotient explicit: H_phys positive definite, the clock a positive transfer operator with spectral calculus
next — under the straddle-law constraint
10 · Join in
Reproduce, review, falsify
Zero external replications yet. The invitation is concrete: clone the repo, run the suite, file a kill, or write a review.
Step 1 of 10