The published foundations of TFPT

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

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

SEAM.CODE.TYPEII.01Exact [E] exhaustive finite equivalence chain at length 8 (all 308,993 subspaces) modulo the cited classical lattice-VOA/theta ingredients, each machine-verified in every instance used; the OPE-linearity scope note typed; R1 -> R1' [C] residual registered; NO P2 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).

GNET.MARTINGALE.LIMIT.01Measured [MEASURED] martingale hypotheses under frozen gates (all met; rate one power better than the dim-law envelope, reported not forced) + typed analytic remainder; the QGEO majorant residues relocated into the normality step, not proven; no marker move (Python-only per GATE.WOLFRAM.02).

E8.RAMIFIED.JETCODE.01Exact [E] ring/module/extension structure theorems (integer/F2/Z[i] arithmetic, exhaustive censuses) behind the interpretation fence; the reconstruction-chain reading typed [H neu]; carries E8.AFFINE.NSR.01

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

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)

CURVE.CODE.DOILY.01Exact [E] incidence-operator identities and spectra (integer/Fraction, annihilator-certified) with the (2/3)^6 identification typed [H neu -> decidable] pending the six-step composition; the inner identification stays dead

CARRIER.CUTCODE.01Exact [E neu] cut-map/shell-grading censuses (F2/integer, exhaustive) + the frozen 210 decision landing PARTIAL (decorative, per the preregistered rule); the 5/20/15 and charpoly readings audit fingerprints [C]; carries CARRIER.MOMENT.INCIDENCE.01

FLAVOR.GRAPH.FILTRATION.01Exact [E] order-exact budget identifications (pure integers, exhaustive false-positive controls) with the entry-level reconstruction NEGATIVE; typed audit fingerprint at budget level

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

TFPT.POSITIVE_DESCENT.MASTER.01Abstract master theorem with kernel-checked Lean core (PositiveDescentMaster.lean: telescoping + tail, positivity closure, sector commutation); both instances measured at finite level; hypotheses (6)/(7) typed per instance; positivity a separate hypothesis (K4)

ANCHOR.AFFINE.01Exact identity-grade compression [Identity]: both parts exact sympy/integer arithmetic; the compression is a normal form of existing corpus surfaces (tfpt_1 anchor power compiler + budget lines, tfpt_2 flavor spectral selector + bilinear table); no marker move (Python-only per GATE.WOLFRAM.02)

GAUSSIAN.RAMLADDER.01Exact identity/lattice-grade compression [Identity/Lattice]: all four rungs re-certified from scratch in exact arithmetic; unifies note_e8_gaussian_code/v689 (census, norm doubling), v803 (non-split jet), v783/v798/v819 (metaplectic zeta8, Clifford coset, RM-CSS phase bit); no marker move (Python-only per GATE.WOLFRAM.02)

PG32.FLAGS.01Exact lattice/identity-grade compression with the kill typed as a split [Identity/Lattice]: 60-sector exact via the symplectic polarity (equivariant incidence dictionary), 45-sector obstructed on the doily (typed negative); compresses v819 S4 / v821 / v822 RM surfaces into the PG(3,2) normal form; no marker move (Python-only per GATE.WOLFRAM.02)

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)

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)

CFIN.UNIQUE.01Exact identity-grade uniqueness theorem [Identity] for the finite compiler object: exhaustive finite verification over F_2^4 (no floats, no RNG, no fit; orbit-stabilizer exact); the strict terminal-object reading FAILS honestly and is typed (unique up to NON-unique isomorphism, a one-object groupoid); P2 stays NARROWED to the v799 residual R1' (why THIS normal form), NOT eliminated; no marker move (Python-only per GATE.WOLFRAM.02)