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
155 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
FLAV.SHEET.02Identity/Lattice [I]/[L] (uniqueness, D4, index 2) + [P] (the one lattice dictionary)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe Koide relation — near [formula in source] , computed exactly
Frontier and open physical interfaces
Original identifier and classification
FR.KOIDE.06Identity [I] (generator) + Numerical [N] (fragility) + Physical [P] (conditional steps)
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.KOIDE.07Identity [I] (exact operator factor + negative control) + Physical [C] (the transfer mechanism)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.TRISECT.01Identity [I] (uniformization, normal form, curvature, slope) + Physical [P] (clock bridge)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon readouts
Horizon readouts
Original identifier and classification
HOR.CLOCK.01Identity [I] (static pin, tower, clock spectrum, rate) + Physical [P] (quantum clock)
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
CAR.LADDER.01Identity/Lattice [I]/[L] (ladder, equivalence, controls, overdetermination) + [P] (QBL)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceLayer 6 — two independent reproduction paths
Verification safeguards
Original identifier and classification
FORM.LADDER.01Formal [F] (Lean kernel; no extra axioms)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.UWALL.06Identity [I] (symbolic theorems) + Numerical [N] (branch census) + Physical [P] (residue)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.UWALL.09Identity [I] (exact matrix + exact group enumeration) + Numerical [N] (ODE identification) + Physical [P] (status)
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.H2.02Identity [I] (exact spectral + determinant identities + group enumeration) + Physical [P] (address table)
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
ARCH.TRIAD.01Identity [I] (exact arithmetic/matrix identities; audit typing for the 121 lemma)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceHorizon 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 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
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 evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
FLAV.QGEO.05Identity [I] (character algebra + Schur rigidity + grading transport) + Physical [P] (one Z_3 choice)
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.QGEO.06Lattice/Lie [L] (derived selection + explicit conjugacy/obstruction) + [P] (realisation premise unchanged)
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 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.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.ENERGY.02Geometric premise [O] (energy-commutator proof target; sharper, non-circular IFF sub-claim 2)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence