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
89 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Which cyclic orders the marked construction permits
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
QGEO.NCENSUS.01Exact [E] ramification/genus/Chevalley-Weil/pinning identities (sympy) + [C] the conditional typing
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
EXTREV.LATTICE.01Exact [E] closure/bytecode/congruence identities + [X] the ill-posed retype + [C] conditional typing (sympy; citations web-verified)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe 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
QGEO.KLEINRP.01Exact [E] reality/uniqueness/must-fail structure + [E-float] PSD Grams (N-stable) + [C] typed continuum remainder (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceDie gesamte Abschlussklasse ist unendlich – ein globaler Satz
TFPT Gesamtsynthese 2026-09-28
Original identifier and classification
E8.ONEOBJECT.01Exact [E] lattice/discriminant-form census results and an exact [E] group-theoretic kill, both behind explicit fences; the c_3 link stays typed INTERPRETATION (no P1 derivation); no marker move (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 2 — [formula in source]
Research contracts
Original identifier and classification
E8.SHELL.GLOBAL.01Honest promotion of a proved shell law [typed evidence line: 15/15 checks, zero fails, verdict SHELL-GLOBAL-THEOREM; frozen spec SHA a4b2f6d9...]
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceThe EM closure: [formula in source] as an explicit fixed point (made explicit here)
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
ALPHA.QUILLEN.FACES.01Exact/computed witnesses [E] + typed conditional [C]; the target row stays [O]
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
SEAM.SIMPLECURRENT.GENERATOR.01Open [O] + lattice shadow [E] (v983) + quantitative S1/S2 skeleton [E-measured] + reduction-to-cited-class [C conditional] + MMST criteria 5/7 executed [E-measured] (v994) + C6 written-out [C]; open rest = C7 modular invariance + net-level G2/G3/G4; no closure
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
E8.DIRECTED.READOUT.01Proven finite statement [E] (Identity, exact over Z/Q via sympy); C7 Gauss-code transform stays OPEN (rem:c7-audit); NO RH claim
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence