The published foundations of TFPT

COSMO.RUNNING.01Identity [E] (LO relations + exact slow roll) + Physical [C] (data confrontation; N_star input)

CELEST.WP5D.01Formal [E] (the exact arithmetic: Cartan dets, KLM/Longo-Rehren quotients, Sigma d^2, theta_v at nu = 16, machine identities) + Lattice/Numerical [L]/[N] (the Gaussian lattice witnesses, ED-validated to 1e-15: extensivity, the ln 2 plateau, the duality-asymmetry witness) + [C] (the continuum dictionary offset = ln index -- KLM/Longo-Xu/CHMP -- and the interacting condensation step) + [O] (continuum Haag duality / local normality / split of the quotient net = WP5d-beta; Costello-Li = WP5e; SEAM.EQUIV.01 unchanged)

CELEST.WP5E.ALPHA.01Formal/Identity [E] (exact prefactor/level arithmetic: Hurwitz-zeta vacuum energies, inner/shift twist distribution, discriminant-form = Casimir two-route identity, current/embedding/central-charge k-fixing, singular-vector dial -- sympy/Fraction exact, Wolfram-mirrored) + [C] (Kac generation for k >= 3) + [O] (the BCOV/Costello-Li twistor inflow = WP5e proper; SEAM.EQUIV.01 unchanged)

CELEST.WP5DB.01Formal [E] (the exact algebra spans/indices, the PP identities with integer attainment, the Lambda^2-compound and parity machine identities, the index consistency) + Lattice/Numerical [L]/[N] (the deficit tables, the nome ladder, the power laws, the Klich-Levitov slope; Gaussian-exact, ED-validated) + [C] (the KLM dictionary: Longo-Xu bounded-deficit dichotomy, Longo split heredity, CHMP order parameters) + [O] (the continuum proof for the seam quotient net and the condensed (E8)_1 net -- Xu's orbifold theorem cited, not claimed; WP5e/Costello-Li; SEAM.EQUIV.01 unchanged)

CELEST.WP5E.BETA.01Formal/Identity [E] (exact equivariant arithmetic: Atiyah-Bott denominators/characters, per-sector Okubo decomposition with the rigid 32 T3 residual, index bridge f(m) = ch2(T_m) with the -78 defect, geometric level dials, axion-slot weight arithmetic -- sympy/Fraction exact, Wolfram-mirrored) + [C] (the dictionaries above) + [O] (the global BCOV quantisation = WP5e proper; SEAM.EQUIV.01 unchanged)

CELEST.WP5E.GAMMA.01Formal/Identity [E] (exact vertex-space/selection/certificate arithmetic: invariant quadratics dim 2 and quartics dim 5 by Weyl nullspace, product theorem, rank-3 certificate (0, 32, 72), naturalness resolution, SO(16)/D8 controls -- sympy/Fraction exact, Wolfram-mirrored) + [C] (the number fences 32 = 20 + 12, 72 = 2 lambda~^2_e8) + [O] (the twisted BCOV contact terms delta-1 (binary) + the full-tensor ledger delta-2; SEAM.EQUIV.01 unchanged; CELEST.SEAM.01 stays Open)

CELEST.DTERM.NONDERIV.01Formal/Identity [E] (exact convention/enumeration/lattice/index arithmetic -- sympy/Fraction, no floats, Wolfram-mirrored); the v511 [C] fence '1920 = |W(D5)|' TEXT-SHARPENED to look-elsewhere-loaded and convention-contingent (fence stays [C]); [O] the physical justification of the cubic GS term and the generation of the 32

WOIT.OS.TWISTOR.01Open (research contract)

WOIT.THETA.FREE.01Identity/Lattice (exact sympy + exact Cl(16); 40-digit gap-certified RP inertia certificates)

WOIT.BETA1.GSO.01UNDECIDED per the frozen preregistration ([E] exact Hermiticity witness + censuses, time-like reflection census, GSO 2-torsion identification, 40-digit gap-certified GSO-fixed RP certificates, exact Cl(16) Kramers restriction, Ramond/wrong-projection/site-cut/family-A controls; [C] contract precision (iii) -- prose only; [O] beta1 proper via beta2, kill tests live on A_hol); NO marker moves

WOIT.BETA2.OS.01SUCCESS per the frozen preregistration, [C]-typed per contract precision (iii) ([E] exact Hermiticity/semigroup/square identities, exact clock spectrum {1, sqrt(2)-1}, exact wrap-artifact resolution and censuses, 40-digit gap-certified inertia/spectral certificates; [C] the precision-(iii) operationalisation of 'the clock acting unitarily'; [O] beta3 next, all seven kill tests live on A_hol); NO marker moves

FTR.DISC7.NORM.01Identity [E] (exact norm/integrality/translation/discriminant arithmetic + negative controls -- sympy exact, Wolfram-mirrored) + [E, audit] (split prime 2, Heegner class number) + [C]/[O] (the arithmetic F_transfer frame: common Moebius action of the four solvers = preregistered next test; GATE.FTRANSFER unchanged)

WOIT.BETA3.DUALITY.01Identity [E] (exact sympy algebra on generic block parameters -- block theorem, branch dichotomy, signature-mirror theorem, kill emptiness, unique induced member, exact rational-pi placement arithmetic, exact lattice regressions) + two 40-digit inertia certificates + [C] (the declared conventions: seam line, seam preservation, RP-side placement, torsor relabeling; contract-level identification, not a derivation); verdict SUCCESS, kill branch empty by algebra, no marker moves

DIAMOND.PARA.SELFCODE.01Identity [E] (exact integer/symbolic algebra with mutation controls -- parabolic closure, double self-code, uniqueness enumeration + divisor argument, saturated Smith form, A2 quiver, trace code, cross-ratio identities, Lorentz/pencil identities) + [C] (the TFPT readings of the invariants; the bit-carrier and CR-test interpretations) + [O] (the No-Carrier-Reconstruction audit, the mark-local 81 mechanism, the CR-test execution); NO marker moves

FTR.JETS.01Identity [E] + typed closure [C] (exact trajectories and Schwarzians; the joint test external)

WOIT.GAMMA.FREE.01Exact [E] sector/spectrum/incidence statements on the explicit v524 net + [C] the gamma reading (free slice; A_hol untouched)

WOIT.GAMMA.TOY.01Float-track certificates (tolerances declared) + exact combinatorics + [C] toy fence (numpy/sympy)

WOIT.GAMMA.SEMI.01Float-track certificates (declared tolerances) + exact Clifford combinatorics + [C] toy fence

QGEO.SEAMID.01Exact [E] mode-sum/dictionary identities (sympy) + must-fail control + [C] the covering residue typing

FTR.PGL2.01Exact [E] PGL2/intertwining identities + [C] typed reading (sympy exact; Python-only per GATE.WOLFRAM.02).