The published foundations of TFPT

QGEO.DECKSECTOR.01Exact [E] deck-sector trace identity (3.4e-16, scalar forced 1, must-fail x82); deterministic (Python-only per GATE.WOLFRAM.02).

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).

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).

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).

GNET.LOCALNET.01Exact [E] finite net axioms + exact local index 4 + [C] the named continuum theorems (Python-only per GATE.WOLFRAM.02).

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).

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).

FTRANSFER.KMSCOSET.01Theorem-grade [E] sympy-exact derivation chain + blind classification with the non-circularity of the classifier gated on its own source; completes the fiber classification of the executed clock contract; no marker move (Python-only per GATE.WOLFRAM.02).

SEAM.CLIFFORD.MODULAR_S.01Exact [E] cyclotomic coset/metaplectic identities (BFS certificates; exact tau = i relations) with the strict uniqueness census EMPTY by its own frozen gate -- the Arf defect unavoidable, a sharp typed fact; R2 placed, R3 named; no marker move (Python-only per GATE.WOLFRAM.02).

CARRIER.PETERSEN.RADIAL.01Exact [E neu] finite graph/matrix structure theorems (integer/Fraction; charpolys sympy-gated) behind the carrier-geometry fence; the 10-dim multiplicity prediction typed [H neu]; carries TRANSPORT.SIXTHROOT.01 (spectral-only decider)

P1.INDEX.KMS.01Exact [E] identity chain (formal Fraction x pi^k) + gated independence audit + measured finite evenness precursor; OPEN [O] contract with the one open bridge (even modular-response normalization) and the kill criterion named; c3 stays the P1 axiom

K5.SIXSTEP.TRANSPORT.01Exact [E neu] operator identities and censuses (three spatial routes, sixth-power blindness, corpus census, bit-exact v221 location); [H neu] the walk-vs-clock reading and the T10 deployment proposal; dated BITEXACT correction to TRANSPORT.SIXTHROOT.01 carried

MESSAGE.LADDER.01Exact identity-grade compression [Identity]: both parts exact integer/Fraction/sympy arithmetic certified against the rebuilt lattice objects (h(E8) = 30 derived from the rebuilt root system, not cited); the (1/3)^6 typed gap re-affirmed with NO upgrade (v814 cited); no marker move (Python-only per GATE.WOLFRAM.02)

E8.G31.CLOCK_ALPHABET.01Exact corpus compression + selectivity audit [typed evidence line: 19/19 checks, zero fails; the honesty line kept (degree-only audits cannot separate G31 from the reducible torus Z8 x Z12 x Z20 x Z24 -- frozen scope the irreducible rank-4 Shephard-Todd list); the Molien uniqueness and the full W(D5)-fence structural refutation CITED (v634), not recomputed; X1/X2 controls fire]; a normal form plus an armed kill rule for a deployed object; NO RH claim; no marker move (Python-only per GATE.WOLFRAM.02)

E8.WINDING.DECODER.01Honest promotion of an exact integer theorem [typed evidence line: 11/11 checks, zero fails, verdict WINDING-DECODER-EXACT; frozen spec SHA 6a54768d...]

DOILY.PFAFFIAN.WICK.01Closed finite theorems [E] + one honest kill (the operative-30 reading); the Wick-compiler premise stays [O]; no marker move

CCC.SEAM.KINEMATICS.01Certified kinematics dictionary [E] (fine types Identity/Formal (Moebius/D_4 algebra, Stinespring isometry, Hopf equivariance, commutant dimensions, symbolic Einstein/Weyl checks, KMS/detailed-balance identities, Theta-reality censuses -- exact on corpus objects) and Numerical (linking integrals, Obata scans, band arithmetic pinned); the CCC/cyclic READING itself stays [C] and is NOT upgraded; WOIT.OS.TWISTOR.01 stays [O] with all kill tests live)

CCC.SEAM.CROSSOVER.01Open contract [O] (research contract; the kinematic base [E] via v957; the dynamics = WOIT.OS.TWISTOR.01 gamma on the crossover geometry; D4 executed 2026-08-24 with a robust preregistered null -- no kill fired, no type change; the contract stays open via D1-D3)

DYN.MARKOV.EMBED.01Contract [E] (finite kernel embedding, sympy-exact; v971) + [O] (field level)

TRANSFER.COHERENT.WILSON.01Identity [E] (executed half: unistochastic lift, Wilson code, center bridge, selectivity census) + literature [C]; branch selection and intertwiner open