The published foundations of TFPT

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)

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)

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)

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)