The published foundations of TFPT
Read the original registered statements beside their paper sections, assumptions and verification sources. The later reviewed research stays connected through a separate record.
Start with the published construction
The foundations include the carrier, E₈, flavour, alpha, quantum structure, gravity and cosmology. Open an area to follow its registered statements into the papers and verification sources.
- Seam, origin and declared inputsBoundary inputs, the common anchor and source selection.
- Carrier, families and E8 closureThe particle carrier, lattice matching and E₈ closure.
- Interlocking clocksFinite clock actions, their couplings and dynamics.
- Standard Model and flavorParticle charges, source mass ratios and mixing.
- Fine-structure constantThe response equation, its root and physical interpretation.
- Quantum and boundary structureCodes, finite quantum geometry and field structure.
- GravityEntanglement, geometric flow and gravity interfaces.
- CosmologyInflation, baryon density and vacuum energy readouts.
- Tests and predictionsWhat the formal and numerical checks establish.
- UniversalraumA common process, state and observable source.
- MetrologyHow dimensionless relations meet physical units.
- SpacetimeFrom internal structure to local physical spacetime.
- Process and compilationCompiler operations, responses and their assumptions.
These are authored navigation links. The complete register contains 783 active claims; 723 do not yet have an authored topic assignment and remain searchable.
Search the complete foundation register
783 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Standard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
QFT.FOCK.01Identity/Lattice [I]/[L] (cone count + Witten index + central-charge conservation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
QFT.NETRP.01Formalised/Identity [F]/[I] (all-m functoriality + verified net data) + [O] (the seam realisation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe muon anomalous magnetic moment — a seam vertex readout
Frontier and open physical interfaces
Original identifier and classification
FR.MUONG2.01Physical bridge KILLED: dated kill test [X] fired 2026-08-04 (exact value stays [E]; the [C] vertex identification is excluded in its present form -- bridge dissolved, compiler core untouched)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceFrontier and open physical interfaces
Frontier and open physical interfaces
Original identifier and classification
GRAV.XI.01Identity [E] (tree 3/4 + over-determination) + physical bridge [C] (the kappa^2 ansatz)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceFrontier and open physical interfaces
Frontier and open physical interfaces
Original identifier and classification
GRAV.H0.01Numerical [N] (delta_Sigma, 123-orders) + physical bridge [C] (H0 flatness readout)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceFrontier and open physical interfaces
Frontier and open physical interfaces
Original identifier and classification
GRAV.ASYMP.01Open/plausibility [O] (a [P]-typed second QG route; not load-bearing) + [E] (y^2=16 c3^2)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.BHTHERMO.01Identity [E] (modular 2pi=1/4c3, scalaron Wald factor, area law) + physical bridge [C] (the BH/modular identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.BHCORE.01Open/synthesis [O] (a [P]-typed structural reading; not load-bearing) + [E] (the underlying anchor/attractor atoms)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.MARKLOCAL.01Numerical certification [N] (implication on realistic profiles + state level) + premise [O] (the physical seam being mark-local)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceSharper still: one anchor [formula in source] , and [formula in source] as a compiler hull ( )
TFPT — Introduction and reading guide
Original identifier and classification
FORM.QGEO.01Formal [F] (conditional theorem) + [O] (the seam-deck premise)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceSharper still: one anchor [formula in source] , and [formula in source] as a compiler hull ( )
TFPT — Introduction and reading guide
Original identifier and classification
FORM.QGEO.02Formal [F] (uniformisation normal form) + [O] (the raw-seam marking obligation QGEO.MARKS.01)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
Research contracts
Original identifier and classification
FORM.QGEO.03Formal [F] (COHOM character grading + MODULE reflection parity) + [O] (the raw-seam obligations)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe axion misalignment branch
Frontier and open physical interfaces
Original identifier and classification
DM.AXION.SPINE.01Physical [C] (spine angle = structural rational / NOT observable post-inflationary; relic from f_a + N_DW=1; reframed by FR.DM.02)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceFrontier and open physical interfaces
Frontier and open physical interfaces
Original identifier and classification
DM.AXION.PENTAGON.01Identity [E] (theta_i = regular g_car-gon interior angle; cos = -1/(2 phi); golden character unique to g_car=5) + [C] bridge re-reading (no status change)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceFrontier and open physical interfaces
Frontier and open physical interfaces
Original identifier and classification
FR.ETAB.04Physical [C] (sharper scenario; both Boltzmann inputs share A_Lambda=10, no hidden seesaw scale) + [X] kill test
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe hard reduction: the live residual as typed interfaces
TFPT — Introduction and reading guide
Original identifier and classification
CONTRACT.F.01Contract [C]/[O] (typed functor: discrete kernels [E], external solvers [C]; not a closure)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
DIAMOND.AXIS.01Identity (exact)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
DIAMOND.PLUCKER.01Identity (exact)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
DIAMOND.SPECTRAL.01Identity (exact)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
MCKAY.E8.01Lattice (McKay correspondence, exact)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence