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.
Claims without an authored topic assignment
723 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Group-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 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 evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
QGEO.ORBARF.01Exact [E] classification/pin/excision data + [C] typed premise remainder (resolved by v653) (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.BONDDEF.01Lattice theorem [E] (exact unitary equivalence + gauge pin + exclusion census, honest isospectral documentation) + [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.ST31D8.01Exact [E] census/theorem/controls + honest kill ('free => regular' false) (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.LOOKELSEWHERE.01Exact [E] budget census + MC quantification + executed re-types (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.ORBOS.01Machine-exact wiring + Exact [E] convergence/cluster/character slices + [MEASURED] RP-limit extrapolations with must-fail control + [C] honest typing of the formal-limit remainder (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract 2 — [formula in source]
tfpt research contracts
Original identifier and classification
E8.GAUSSIAN.CODE.01Review contract; first slice machine-closed [E] (v689); remaining: theorem writeup.
No authored topic assignment in this snapshot.
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 evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.ORBIT60.01Honest [E, park] five-route adjudication with the involution-witness census and the must-fail numerology control (exact group computations; 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.DECKSECTOR.01Exact [E] deck-sector trace identity (3.4e-16, scalar forced 1, must-fail x82); deterministic (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.CARLIMIT.01[MEASURED] Schatten-norm Cauchy rates (6+1 channels, geometrically summable) + [E] lattice-derived FH renormalization (Barnes G, 8.8e-7) + named (L1)-(L3) majorant lemma; deterministic (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence