The published foundations of TFPT

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

E8.GAUSSCODE.01Exact [E] SNF/census/semantics identities + [E, kill] three must-fail controls (exact arithmetic; Python-only per GATE.WOLFRAM.02).

E8.GAUSSIAN.CODE.01Review contract; first slice machine-closed [E] (v689); remaining: theorem writeup.

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

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

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

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

CURVE.CODE.OUTERSPIN.01Exact [E] finite census theorem (torsor uniqueness incl. the tau/tau^2 swap; constant Arf resolution; exact transports) behind the structure-label fence; the inner identification stays dead (v784); 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).

E8.TORSOR.FOURIER.01Exact [E] integer/cyclotomic character theory (canonical rays, exact Clebsch spectrum, exact overlap census) with the predeclared P3 failure typed -- the weight and character gradings mutually unbiased; ROOTCLASS-MIXED (v775) intact and re-confirmed; no marker move (Python-only per GATE.WOLFRAM.02).

E8.SYNDROME.ALGEBRA.01DEAD as frozen [E kill, preregistered adjudication fired]: the twisted V-graded basis reading of E8 killed at rank level; the surviving structures typed exactly; successor criterion named

NORMALFORM.CFIN.01Exact identity-grade normal form [Identity] with the built-in checked NEGATIVE (v775 ROOTCLASS-MIXED re-anchored via the 128-spinor counting bound + the saturated 8 + 7 census) and the typed P2 bridge: C_fin does NOT derive A1-A3 / the linearity scope / the v776 uniqueness selection -- P2 NARROWED to the v799 residual R1' ([C]), NOT eliminated; SPEC v2 declared (v836 precedent, no numeric result changed); 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)

CFIN.QSTAR.NORMALFORM.01Exact identity-grade theorem [Identity]: closed boolean normal form, census-free derivation; no marker move (Python-only per GATE.WOLFRAM.02)

CFIN.AUT.FLAVOR.C6.01Closed finite theorem [E] (the intertwiner exists and is exact; the exponent reading is typed as consistent, not as the unique derivation); no marker move

SEAM.CFIN.WICKFUNCTOR.01Open contract [O] (structure exact, obstruction proved, block candidate constructed; the physical mixing mechanism is the demand)

SEAM.CFIN.KMSMIX.01Constructed candidate + exact generation identity [Numerical/Identity]: the mixing demand answered at candidate level; RP-THETA-OPEN measured exclusionary at family level (v903); the [O] premise unmoved

SEAM.STATE.DERIVATION.01Measured carving [Numerical/Identity]: RP and mixing mutually exclusive; u >= t forced; the modular locus is one point; no marker move

SEAM.CFIN.MIXING.NORMALIZATION.01Dead reading registered [Numerical] (negative result): the t = 1/8 reading is a decoration -- allowed set unbounded and pin absent; no marker move

SEAM.CFIN.RP.DILATION.01Measured split [Numerical/Identity]: a marginal cone-boundary witness with the exact 1/200 floor; the strict collar route obstructed by an exact linear law; no marker move