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.
Research Contract — WOIT.OS.TWISTOR.01 (the Osterwalder–Schrader twistor bridge)
Research contracts
Original identifier and classification
SEAM.INT.OSAVOID.01Measured [E] (toy level; v529 fence inherited); no marker moves
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 1 — [formula in source]
tfpt research contracts
Original identifier and classification
SEAM.EQUIV.SKELETON.01Exact [E] (executable skeleton; fine types Lattice/Numerical for the collar battery, Identity for the S0 mechanism gates)
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
SEAM.MILNOR.LOCALRING.01Open (research contract; canonical geometric identification of the raw seam collar with F2[y,z]/(y^2,z^4) unproven; Milnor algebra + exponents classical)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence