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.
Search the complete foundation register
183 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Horizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.03Identity [I] (exact spectral reading + series) + Physical [P] (semiclassical derivation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe [formula in source] compiler: [formula in source] as a closure, not an input
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
GATE.METRIC.08Identity [I] (exact finite Frobenius/Q-system axioms + isotropy) + Physical [P] (identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.04Identity [I] (exact spectral bridge + coefficient identities) + Physical [P] (re-target)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.05Identity [I] (log-det + ring ladder + coupling arithmetic) + Physical [P] (derivation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
E8.GRADE.01Identity [I] (explicit construction + exact grading + arithmetic) + Physical [P] (anchors)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.06Identity [I] (entropy-level + power-law + triple-coupling identities) + Physical [P] (derivation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.07Identity [I] (exponent bookkeeping + mode-count identities) + Physical [P] (measure normalisation)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.08Identity [I] (exact sphere integrals + bookkeeping) + Physical [P] (det-ratio)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.09Identity [I] (heat-kernel arithmetic + numerical continuation) + Physical [P] (full budget)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.10Identity [I] (exact heat-kernel arithmetic both routes + numerics) + Physical [P] (route reading + remaining shares)
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.DUAL.01Identity [I] (exact dual-vector + Sherman-Morrison + controls) + Physical [P] (bridge reading)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.11Identity [I] (exact arithmetic vs external values) + Physical [P] (typing decision) + External (VW hep-th/0003081; arXiv:2506.02142)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.12Identity [I] (exact rigidity + closed-form ratio + audit coefficient) + [P] (finite-weight absorption)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.13Identity [I] (model theorem + det'-clean bend + localisation) + [P] (measure identification)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.METRIC.18Identity [I] (gap forced by mu4-equivariance + spec(A0*); fixed = rank-8 Calderon) + [P]/[A] (A) factors into the already-open A2 (net existence) + R1 (seam clock)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch 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 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 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 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 evidence