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.
Layer 5 — frozen predictions, the null model, and the [formula in source] uniqueness scan
Verification safeguards
Original identifier and classification
FLAV.TH13.PRESSURE.01Numerical/data [N]/[X] (theta13 pressure point)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHonest status
Origin Theory
Original identifier and classification
FORM.QGEO.BW.01Formal
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
QGEO.OSGAP.01Reduction [E]/[O] (OS gap = transfer gap + single premise)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
QGAMB.MEASURE.01Construction [E]/[O] (admissible-sector OS measure)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHonest status
Origin Theory
Original identifier and classification
FORM.CARTAN.DET.01Formal
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
QGEO.NECESS.01Reduction [E]/[O] (necessity of H = the order-4 CM selection)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
QGAMB.METRIC.01Characterization [E]/[C]/[O] (metric-sector = the conformal-mode obstruction)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHonest status
Origin Theory
Original identifier and classification
FORM.MU4COMM.01Formal
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
QGEO.CMSELECT.01Reduction [E]/[O] (CM selection = unique order-4 modulus + equilibration attractor)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
QGAMB.CONFORMAL.01Construction [E]/[C]/[O] (conformal-mode GHP+IDG conditional resolution)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceTFPT — Introduction and reading guide
TFPT — Introduction and reading guide
Original identifier and classification
SEAM.EQUIV.UNIFY.01Synthesis/reduction [E]/[O] (one keystone theorem; QGEO.SYM corollary; QG.AMB decoupled)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SEAM.EQUIV.CONTINUUM.01Reduction [C]/[O] (continuum lemma narrowed + literature-anchored)
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
DECOUPLING.THEOREM.01Theorem [E] (factorization through the gap => ambient-measure independence)
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
THETA13.BUDGET.01Data-confrontation [N]/[E]/[X] (mild +1.7-2.0 sigma; within 3 sigma; JUNO decides)
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
FIRSTPRINCIPLES.BOUNDARY.01Boundary audit [E]/[X]/[C] (what is derived / external / tensioned / forbidden)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
AS.RECONCILE.01Reconciliation [E]/[N]/[P]/[X] (A_s predicted+dimensionless; tension = reheating channel; archive comparison)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceArchitecture, E8 and the electromagnetic fixed point
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
ALPHA.QUILLEN.01Reformulation [E]/[O] (alpha = stationarity of a named U(1) determinant line; sharpens the existing [P] EM.WARD.01; no new gate)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence(4) Constructive QFT closure of the admissible physical sector /
Standard Model and flavor structure
Original identifier and classification
QFT4D.EG.ALLORDER.01All-order EG/BRST contract [C] (imported EG causal factorisation + BRST renormalisation on the TFPT finite dim-4 gauge+matter class + the seam gap); prerequisites power-counting/BRST-nilpotency/gap [E]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe physical determinant variation required for alpha
Origin Theory
Original identifier and classification
ALPHA.QUILLEN.EXACT.01Named target [E]/[O] (the Quillen determinant-line variation-exactness; a face of SEAM.EQUIV.01, elevates EM.WARD.01's residual to a citable target; no new gate; 2026-08-28: the v974 CHANNEL-SWAP face resolved at the finite level by mu4-character grading, v985; completeness wave: finite KMS rigidity-premise [E] v995, ln-2-rate detline shadow v996 -- continuum Bismut-Freed stays [O])
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceThe unique attractor: a gapped transport selects ONE fixed point
Origin Theory
Original identifier and classification
DYNAMICS.UNIVERSAL.01Universal synthesis [E]/[C] (every sector = a gapped operator with a unique attractor + spectral gap => parameter-free; extends v303 theory-wide; 3 gaps computed, the cross-sector identification [C])
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence