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
49 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Frontier 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 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 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 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 evidenceResearch contracts
Research contracts
Original identifier and classification
FLAV.H2.04Identity [I] (exact census/uniqueness theorem on frozen operators) + Physical [P] (margins)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
SYNTH.INVENTORY.03Identity [I] (machine bookkeeping + typing contract; ledger-row membership)
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 evidenceRed-team audit
Red-team audit
Original identifier and classification
E8.CHAN.01Identity (exact)
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
LEP.FROB.01Identity (exact algebra) [E]/[C]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
CP.MU6.01Identity (exact) [E]/[C]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
CP.TRIALITY.01Identity (exact) [E]/[C]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
QFT4D.MATTER.01Numerical (exact rep theory) [E]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceKopplungsvereinigung mit dem quelleigenen Pati–Salam-Inhalt
tfpt anschluss zellen seam 2026-09-14
Original identifier and classification
PS.ALGEBRA.01Numerical (exact rep theory) [E]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
PS.DIRAC.02Numerical (NCG axioms) [E]/[C]/[O]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
PS.NCG.FLUCT.01Numerical (NCG inner fluctuations) [E]/[C]
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.PMNS.03Readout [C] (CP strength); [O] phase origin + absolute scale
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
PRED.LIVE.01Data confrontation [N]/[C] + [X] (two near-term kill tests)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceRed-team audit
Red-team audit
Original identifier and classification
SEED.LEPTONMASS.01Numerical [N]/[C] (new-sector seed consistency statistic; source->pole transport-conditional)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GALOIS.CP.PREDICT.01Identity [E] (Galois relation) + [C] (prediction) + [X] (kill test)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceOrigin Theory
Origin Theory
Original identifier and classification
GALOIS.CP.SHARPEN.01Identity [E] (node+multiplier) + [C] (budget) + [N] (tension) + [X] (kill test)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence