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
25 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
The G₃₁ reflection structure
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.ST31.01Exact [E] group/Molien/Springer census + [E, KILL] the numerology kill + honest clock typing (Python-only per GATE.WOLFRAM.02; Lean order identities).
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.ST31DEG.01Exact [E] structural clock relations + [E] parity-theorem kill + [C] typed observations (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe holomorphic restriction of E₈ invariants
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
E8.QUARTICHALF.01Symbolic [PROOF] mu4-orbit vanishing + [E] G31 invariance/independence/mirror census + [E, kill] complex-structure controls + [cited] Chevalley basic-invariant theorem (exact arithmetic; Python-only per GATE.WOLFRAM.02).
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceResearch Contract 2 — [formula in source]
tfpt research contracts
Original identifier and classification
E8.QUARTIC.HALF.01Review contract; first slice machine-closed [E]/[PROOF] with honest typing correction (v690); remaining: Jacobian factorization symbolics + writeup.
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract — WOIT.OS.TWISTOR.01 (the Osterwalder–Schrader twistor bridge)
Research contracts
Original identifier and classification
SEAM.INT.ODDSPLIT.01Measured/Exact [E] (toy level; JP sufficient-only; v529 fence inherited); no marker moves
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence