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.
The [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 evidenceCertifiability and recommended order
Research contracts
Original identifier and classification
FTRANSFER.STT.01Exact [E] symbolic kill (parabolic + no-diagonalizable-log lemma) + [E] internal-pair confirmation ((2/3)^6 exact); the external clock contract confirmed and sharpened (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceCertifiability and recommended order
Research contracts
Original identifier and classification
FTRANSFER.COCYCLE.01[E] exact cocycle composition + [X] honest class-gate kill (0/4 matches, Lindblad escape refused); the second thermal-time route closed (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch Contract — CCC.SEAM.CROSSOVER.01 (the conformal-cyclic crossover on the seam geometry)
Research contracts
Original identifier and classification
VGEO.TORSOR.01Structural [E] torsor audit (export table, rank 1, lambda-homogeneity, leave-one-anchor-out 0.11%) with conditionalities named; closure in calibration form, NO scale derivation (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 evidenceThe explicit mass gap closes dynamics and clustering
Standard Model and flavor structure
Original identifier and classification
GNET.LOCALNET.01Exact [E] finite net axioms + exact local index 4 + [C] the named continuum theorems (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceCertifiability and recommended order
Research contracts
Original identifier and classification
FTRANSFER.CLOCKS.01Executed preregistered search target (frozen 2026-08-04 [X]; executed + promoted 2026-08-05, v777): the K1 kill fired exactly as the frozen prior expected (NO-COMMON-CONNECTION); the fibered-groupoid refinement carries; the four observables stay [C]/[O]; no marker move (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 evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
ARF.ROOTCLASS.01Exact [E] finite census kill -- the fired preregistered physical kill; the fence is binding on all main claims (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
ARF.BOUNDARY.CODE.01Exact [E] finite selection chain (census / Construction A / Arf selector, all exact arithmetic) + OPEN research contract [O]: derive the doubly-even self-dual universe premise from the seam axioms; NO P2-removal claim (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.GRIDSUP.01Theorem-level [E] closure of residue (a) in the corrected (1 + ln M) form (exact twisted-circulant + summation-by-parts + census, zero violations); the v715 literal clause corrected; residues (b)/(c) open; GATE.QGEO does not move (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.GNSLIMIT.01Exact [E] finite coherence data + exact [E] dim law + measured [MEASURED] precursors and the honest negative, all typed finite evidence for the named continuum theorems -- never the theorems (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 evidenceGroup-theoretic audits (optional)
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.TRANSITIONBUS.01Exact [E] finite structure theorem (torsor + predicate + obstruction census) behind the interpretation fence ('transition bus / instruction set' language stays interpretation); no marker move (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceArchitecture, E8 and the electromagnetic fixed point
Architecture, E8 and the electromagnetic fixed point
Original identifier and classification
CURVE.CODE.2TORSION.01Exact [E] finite algebra + certified-recognition CM layer; the correspondence honestly PARTIAL with both breaking layers named exactly (syntheme-vs-duad and Arf 0-vs-1); no marker move (Python-only per GATE.WOLFRAM.02).
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence