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)
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 evidenceThe Gaussian code and four bit information space
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
E8.GAUSSCODE.01Exact [E] SNF/census/semantics identities + [E, kill] three must-fail controls (exact arithmetic; Python-only per GATE.WOLFRAM.02).
Topic connection recorded by an authored Atlas relation.
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.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 evidenceThe [formula in source] compiler: [formula in source] as a closure, not an input
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
GNET.RAMIFIED.01Exact [E] integer-arithmetic slice ((1+i)L in the even sublattice on a Z-basis; 15x16 purity census; parity homomorphism) with both controls firing; contract half typed OPEN (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
GNET.PPINDEX.01Exact [E] index results (PP = 1/4 optimal, Watatani = 4 with forced quasi-basis weights; mu4 derived, not inserted) + [E] state-preserving Ramond healing + [M] outerness witnesses (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.ORBITPACKET.01Exact [E] integer/finite-group census; P1/P2 typed as reconstruction behind the circularity fence, NOT derivation (Python-only per GATE.WOLFRAM.02; companion Lean module kernel-checked).
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.SEAM48.01Exact [E] machinery; the preregistered kill fires -- honest structural 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.CARL1.01Proof-near [E] sector lemma (exact geometric sums, derived gamma = 2, 39744+108 inequalities at 0 violations) with the named residues typed (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.PROJHAMMING.01Exact [E] finite lemma (integer/Fraction arithmetic; Lean companion 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.FANODISC7.01Exact [E] machinery; the preregistered break fires -- honest structural negative, correlation typed decorative (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
ARF.SPINORCOMPILER.01Exact [E] finite algebra (integer/Fraction/F2 arithmetic; Lean companion ArfSpinorCompiler.lean, 23 kernel theorems; Python-only per GATE.WOLFRAM.02); the physical code->matter reading FENCED (killed by v775/ARF.ROOTCLASS.01).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence