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.
Frontier and open physical interfaces
Frontier and open physical interfaces
Original identifier and classification
SCALE.OVERDET.01Identity [E] + over-determination [N] + re-typing [A]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceFull quantum gravity — induced from the boundary kernel
Frontier and open physical interfaces
Original identifier and classification
QGAMB.ROADMAP.01Roadmap [E]/[C] + [O] open core + [X] promotion/kill
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
REDTEAM.F.01Red-team [P] (survives, narrowed)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
QGEO.SYM.03Reduction [E] (flat => commutator all orders) + [C] (tau=i forced) + [O] (one geometric postulate)
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
QGAMB.TIERB.01Reduction [E] (full (E8)_1 match + discriminator) + [C] (seam-side) + [O] (one holomorphy bit)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
QFT4D.SPERT.04Bridge [E] (LSZ structure + one-loop optical theorem) + [C] (gap/Z) + [O] (gravity ghost)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
QGEO.OBLIG.01Obligation lemma [E] (proof-tree complete) + [C] (routes) + [O] (one residual)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
E8 audit and bootstrap
Original identifier and classification
FORM.QGEO.04Formal [F] (Lean theorem, all-orders closure)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.STEKLOV.01Numerical experiment [E] (geometric chain) + [C] (RP-state) + [O] (premise)
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
QGAMB.MODULAR.01Reduction [E] (modular data + condensation tower + Gauss-Milgram) + [O] (one bit)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
QGAMB.UNIFY.01Unification [E] (chi_E8=j^{1/3}, tau=i shared) + [C] (count 2->1) + [O] (one premise)
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
PRED.LIVE.01Data confrontation [N]/[C] + [X] (two near-term kill tests)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
QGEO.ROUTEI.01Lemma decomposition [E] (5/6 discharged) + [C] (Troyanov) + [O] (one open lemma)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
QGAMB.ROUTEII.01Lemma decomposition [E] (3/4 discharged + route coincidence) + [O] (unified lemma)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe seam realization contract
TFPT — Introduction and reading guide
Original identifier and classification
SEAM.EQUIV.01Contract [E] (typing + firewall + taxonomy) + [O] (the named theorem)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
SEAM.EQUIV.A01Dependency checker [E] (4/5 discharged) + [O] (the one external theorem)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
SEAM.EQUIV.B01Reduction [E] (full-L^2 lift, lifts v201/v284) + [O] (mark-locality residual)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
MARKLOCAL.RAW.01Decomposition [E] (chain + L3/L4/L5) + [C] (L1 literature) + [O] (L2 Flat-Away)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
SEAM.ADVERSARY.01Red-team [E] (adversary passes commutator, shifts spectrum/heat) + [O] (consequence)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
FLATAWAY.RP.01Contract [O] (lemma + verdict) + [E] (spectral/heat uniqueness) + [C] (Troyanov route)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence