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.
Research contracts
Research contracts
Original identifier and classification
GATE.METRIC.19Identity/assembly [C] (A2 net existence by established AQFT; R1 reduced to GATE.QGEO via A0* uniqueness) + [O] (the irreducible {pi,v_geo} geometric core, a theorem by v153)
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
EM.BUDGET.02Identity [I] (one-loop coefficients exact) + [P] (F_transfer gauge inputs)
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
FLAV.RGSTAB.01Identity [I] (y^2-suppression bound) + [P] (F_transfer typing)
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
QCD.LAMBDA.01Identity [I] (parameter-free confinement scale) + [P] (lattice O(1)) + [A] (ratio stays non-claim)
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
HIGGS.FREESEAM.01Identity [I] (freeness signature + scale selection) + [P] (the m_H prediction band)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
Research contracts
Original identifier and classification
QGEO.RIGID.01Identity/Lattice [I]/[L] (the finite rigidity theorem exact)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRealizing the seam as a physical boundary
Origin Theory
Original identifier and classification
QGEO.REALIZE.01Physical [C] (seam-side identification) + [O] (open realisation)
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.REALIZE.02Reduction certificate [E] (five steps established) + [O] (the one realisation premise)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.TREE.01Proof tree [E] (four nodes closed constructively) + [O] (two named obligations)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
Research contracts
Original identifier and classification
QGEO.MARKS.01Physical/geometric [O] (open constructive obligation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
Research contracts
Original identifier and classification
QGEO.KERNEL.01Physical/operator [O] (open constructive obligation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QGEO.REDUCE.01Deeper reduction [E] (finite cores) + [O] (the two sharper irreducible premises)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
Research contracts
Original identifier and classification
QGEO.CONF.01Geometric realisation premise [O] (the single residual; component reductions [I] established)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHonest status
Origin Theory
Original identifier and classification
QGEO.ISO.01Geometric isometry premise [O] (milder residual; the conformal-class identification is now implied) + [E] (the three cited reductions)
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
QGEO.SYM.01Conformal-symmetry/deck face of SEAM.EQUIV.01 [O] (downstream per v323) + [E] (equivariant uniformisation + the weakening)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
ARCH.RRCAR.01Identity [E] (RR arithmetic) + Physical [C] (carrier identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
ARCH.RRCAR.02Identity [I] (Clifford dim chain) + Physical [C] (carrier = mode-space spinor)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.NARIAI.02Identity [E] (exact variation-free entropy bound)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.BRANCHLINE.01Physical/structural [C] (exact affine relabeling, not a theorem)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
Research contracts
Original identifier and classification
QGEO.ENERGY.01Geometric premise [O] (operator-identity restatement of QGEO.SYM.01; relocates, not eliminates)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence