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.
Start with the published construction
The foundations include the carrier, E₈, flavour, alpha, quantum structure, gravity and cosmology. Open an area to follow its registered statements into the papers and verification sources.
- Seam, origin and declared inputsBoundary inputs, the common anchor and source selection.
- Carrier, families and E8 closureThe particle carrier, lattice matching and E₈ closure.
- Interlocking clocksFinite clock actions, their couplings and dynamics.
- Standard Model and flavorParticle charges, source mass ratios and mixing.
- Fine-structure constantThe response equation, its root and physical interpretation.
- Quantum and boundary structureCodes, finite quantum geometry and field structure.
- GravityEntanglement, geometric flow and gravity interfaces.
- CosmologyInflation, baryon density and vacuum energy readouts.
- Tests and predictionsWhat the formal and numerical checks establish.
- UniversalraumA common process, state and observable source.
- MetrologyHow dimensionless relations meet physical units.
- SpacetimeFrom internal structure to local physical spacetime.
- Process and compilationCompiler operations, responses and their assumptions.
These are authored navigation links. The complete register contains 783 active claims; 723 do not yet have an authored topic assignment and remain searchable.
Search the complete foundation register
783 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 evidenceThe finite two qubit stabilizer identification
input 5 tfpt 3 e8 audit bootstrap
Original identifier and classification
E8.CLIFFORD2Q.01Exact [E] finite group/lattice identification (H1-H3) with the H4 layer honestly PARTIAL (the index bit identified as the sqrt2/Hadamard Galois bit, not J <-> -J); no marker move (Python-only per GATE.WOLFRAM.02).
Topic connection recorded by an authored Atlas relation.
Read the statement, conditions and evidence