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
334 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Group-theoretic audits (optional)
E8 audit and bootstrap
Original identifier and classification
QGEO.EQORDER.01Exact [E] anti-isometry/order/localization identities + [C] typed localization reading + [X] quantified translator negatives (exact sympy; Smith normal forms over Z)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
WOIT.SU2.KIN.01Exact [E] operator identities (sympy) + [C] the kinematic fence
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceWhat the conformal marked seam axioms fix
TFPT — Introduction and reading guide
Original identifier and classification
QGEO.SEAMFORCE.01Exact [E] rigidity/census/genus identities (sympy) + [C] the residue typing
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidenceWhich 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
WOIT.GAMMA.SEMI.01Float-track certificates (declared tolerances) + exact Clifford combinatorics + [C] toy fence
No authored topic assignment in this snapshot.
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 evidenceE₈ from the extended Hamming code
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.CODE.01Exact [E] code/lattice identities + [C] typed compiler ties (integer combinatorics; Python-only per GATE.WOLFRAM.02).
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.ORBCAS.01Exact [E] closed forms and expansions (sympy exact; Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.INCIDENCE.01Exact [E] census (Fraction combinatorics) + honest kill + [C] typed observations (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
FTR.PGL2.01Exact [E] PGL2/intertwining identities + [C] typed reading (sympy exact; Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.ZIQUOTIENT.01Exact [E] quotient/lattice identities + [E, KILL] typed cascade negative (Python-only per GATE.WOLFRAM.02).
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 evidenceWhat the code interpretation preserves and loses
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.CODESEM.01Exact [E] code/dictionary identities + [E, kill] the 30-census control (exact arithmetic; Python-only per GATE.WOLFRAM.02).
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.TWISTOPE.01Exact [E] weights/crossing + [E-float] two-/four-point and OPE + [O] typed open items + [X-slice] honest RP negative (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
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 evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.RM13REV.01Exact [E] anchor identity + honest [E] generic/specific split + honest negative (no code reading of the p-sequence) + selective kill control (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
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 evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
META.DISCIPLINE.01Exact [E] machine census + deterministic replay + external anchor recomputes + [C] typed limit (read-only meta-module; Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
QGEO.ORBMOD.01Exact [E] sectors/characters/spin structure + [E-float] measured S-covariance (N^{-4}) + [C] typed continuum remainder (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
QGEO.ORBASM.01Machine [E] cohomology/census + [E-float] S rates and exact T + data-backed [C] B-vs-C3 pick (hardened by v652) (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence