The published foundations of TFPT

ARF.VACUUM.SYNDROME.01Exact identity-grade compression [Identity]: both parts exhaustive finite algebra (F_2 / Z / Q; SNF, Penrose axioms, S6 class characters exact; SET equalities, not counts); the corpus surfaces v819/v820/v821/v834/v535/v785 compressed into ONE two-bit syndrome table and the v774/v814 doily channel into ONE integral decoder; controls fire (dot form, Arf-0 labeling break, frozen-LCG permutation/pairing); no marker move (Python-only per GATE.WOLFRAM.02)

ARF.BENT.CSS.01Exact identity-grade compression [Identity] with the operator-level relation bridge typed HONESTLY as classical incidence algebra (mu*log = Lambda in matrix clothes -- the value is the packaging + the four-comb discipline transport at operator level, NOT new mathematics); the -4 triple point is ONE machine-checked integer (Hecke = Gauss = Walsh = a_3); the bent/character MUB partner of v800 REPORTED with no upgrade; controls fire; no marker move (Python-only per GATE.WOLFRAM.02)

E8.SIMPLEX.FOURIER.01Exact corpus compression [typed evidence line: 26/26 + 20/20 checks, zero fails, exact integer/Fraction/sympy arithmetic throughout; the identification typed SPECTRAL-only (the packet and code gradings do not refine each other); the spinor halving stays numerical fiat; q_wind(6) = 8 = det R typed a measured coincidence; the integer-window 2xsquare census measured, not narrated]; audits of DEPLOYED claims (v817/v833/v844, tfpt_2 I.5 keyboxes) -- normal forms and identities, no new physical claim; NO RH claim; no marker move (Python-only per GATE.WOLFRAM.02)

FLAVOR.FEEDBACK.NORMALFORM.01Honest promotion of an exact integer theorem [typed evidence line: 14/14 checks, zero fails, verdict FEEDBACK-NORMALFORM-EXACT; all decisions exact sympy; frozen spec SHA f5f40996...]

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

FORM.FLAVOR.FEEDBACK.01Formal [F] (Lean kernel; the action identities, the inverse-free conjugation, charpoly in Z[X], the SNF determinantal divisors -- with the Z2^2-not-mu4 typing doc-level)

E8.SHELL.GLOBAL.01Honest promotion of a proved shell law [typed evidence line: 15/15 checks, zero fails, verdict SHELL-GLOBAL-THEOREM; frozen spec SHA a4b2f6d9...]

FORM.E8.SHELL.GLOBAL.01Formal [F] (Lean kernel; the consequence chain from the named ShellSystem hypotheses -- every statement an exact integer identity)

GATE.LEDGER.01Identity [I] (CSV integrity sentinel; frozen baselines remove-only)

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

DOILY.ANCHOR.CLASSIFY.01Exact identity-grade theorem [Identity]: the anchor law characterizes the doily among ALL 35 lines (exclusivity census 15 + 10 + 10); no marker move

DOILY.HODGE.FACTOR.01Exact identity-grade theorem [Identity]: the incidence geometry IS the Clifford multiplication; no marker move

P2.QUADRATIC.EXHAUSTION.01Exact algebraic theorem [Identity] with the [O]/[C] physical premise EXPLICITLY typed and NOT claimed: P2 unchanged

DOILY.PLUCKER.GR25.01Closed finite theorems [E]: four exact statements; the physical vacuum-selection mechanism stays [O]; no marker move

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

DOILY.PFAFFIAN.WICK.01Closed finite theorems [E] + one honest kill (the operative-30 reading); the Wick-compiler premise stays [O]; 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