The published foundations of TFPT

P2.TYPING.01Formal/Identity [E] (AG arithmetic: Deligne residue-trace degree, BG dictionary, stability skeleton, Schur-Horn lattice points, Biswas Z3-cover -- sympy exact, Wolfram-mirrored) + [C] (R1 module identification, QGEO.SYM territory; R2 unitarity (U)) + [N] reference (R3 analytic monodromy, v117 check 4); AX.P2.01 stays Axiom

VGEO.TORSOR.01Structural [E] torsor audit (export table, rank 1, lambda-homogeneity, leave-one-anchor-out 0.11%) with conditionalities named; closure in calibration form, NO scale derivation (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).

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)

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

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)

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

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)

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

TRANSFER.HIDDEN.CIRCULATION.01Identity [E] (executed half: fibre line, discriminator, criticality, EB no-go, KKT) + literature [C]; fibre-point selection open

QFT4D.OS.RECON.01Open (research contract; binding phrasing rule in force for the perturbative leg)

PRED.JOINTLIKELIHOOD.01Open (statistics-construction contract; v1 executed [N]; promotion conditions typed)

FLAV.NUSCALE.06Candidate [C]/[N] + mechanism [O] (pentagon-class misalignment; no seesaw closure; FLAV.NUSCALE.05 unmoved)

FLAV.NU.PARENT.INTERTWINER.01Proven finite witness [E/N]; physical neutrino texture and scale remain Open [O].