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
75 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Origin Theory
Origin Theory
Original identifier and classification
HOR.NARIAI.01Identity [I] (exact GR arithmetic on compiler atoms) + Physical [P] (bulk reading)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
HOR.ORIENT.01Identity [I] (variational structure both sides) + Physical [P] (common-principle reading)
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 evidenceTFPT — Introduction and reading guide
TFPT — Introduction and reading guide
Original identifier and classification
SYNTH.INVENTORY.01Identity [I] (inventory + relocation arithmetic) + typing contract (gap completeness)
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 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 evidenceResearch contracts
Research contracts
Original identifier and classification
FLAV.H2.03Identity [I] (exact arithmetic on frozen integers) + Physical [P] (per-fermion derivation)
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
SYNTH.INVENTORY.02Identity [I] (machine bookkeeping + typing contract)
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 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 evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
FLAV.SURF.01Identity [I] (exact surface/wall/budget identities) + Physical [P] (reading)
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.04Identity [I] (cohomology basis + characters + residues + spectrum match) + Physical [P] (naturality residue)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)
Research contracts
Original identifier and classification
ANCHOR.VGEO.02Identity [I] (scaling bookkeeping) + [A]/[O] (closed metrology: R_+ unit torsor; one calibration)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
GATE.METRIC.16Identity [I] (signed cumulant inversion + Wick functoriality + PF dichotomy) + [P] (the scope premise: v56 acts on the full cone)
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 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 evidenceStandard Model and flavor structure
Standard Model and flavor structure
Original identifier and classification
FR.RAREKAON.01Physical bridge [C] (CKM point [I], branching ratios external-SD [C], dated kill test [X])
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.ETAB.04Physical [C] (sharper scenario; both Boltzmann inputs share A_Lambda=10, no hidden seesaw scale) + [X] kill test
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe hard reduction: the live residual as typed interfaces
TFPT — Introduction and reading guide
Original identifier and classification
CONTRACT.F.01Contract [C]/[O] (typed functor: discrete kernels [E], external solvers [C]; not a closure)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence