The published foundations of TFPT

HYP.REWRITE.02Construction/uniqueness [E]/[O] (full spectrum from the unique lazy Z2-pair walk; split selection stays open)

HYP.REWRITE.03Construction/proof [E]/[O] (split forced by clock-ladder faithfulness; arity + clock derivation stay the open inputs)

FLAV.NUSCALE.04Enumeration/decision [E]/[O] (the 3/5 Clebsch door closed; negative result; window candidate stands)

FLAV.NUSCALE.05Candidate [C]/[N] + mechanism [O] (structured point inside the v481 window; scalaron-trace hypothesis typed, not derived; no seesaw closure)

SEAM.CCC.01Lattice [E] (modular-commutator ground-state measurement + controls + exact additivity) + [O] (continuum limit; SEAM.EQUIV.01 unchanged)

SEAM.MU.01Lattice [E] (parity census double-determined + exact 16-fold-way arithmetic + TEE fence) + [C] (KLM condensation step cited) + [O] (continuum; SEAM.EQUIV.01 unchanged)

P2.PARTITION.01Formal [E] (partition lemma + corollaries + negative controls + v53 sharpening, sympy exact, Wolfram-mirrored) + [C] (weight-typing postulate: splitting-type integrality, h^0 = 0 positivity, (U) sum rule; AX.P2.01 stays Axiom)

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

CELEST.WP1.01Formal/Identity [E] (exact Z4-orbifold/character/spin arithmetic, sympy, negative controls) + [C] (the named clock^2 = deck identification, verdict B) + [O] (celestial programme; SEAM.EQUIV.01 unchanged)

CELEST.SEAM.01Open (research contract; WP1-WP5d executed [E]/[C]/[L] via v492/v493/v495/v496/v497/v498/v500/v501/v504 -- WP5d: alpha (mu-index) + beta (split + strong additivity) executed via v501/v504, all three KLM ingredients witnessed on the lattice, continuum uplift stays [O] (Xu's theorem cited); WP5e alpha stage [E] via v502 + beta stage [E] via v505 (equivariant twistor skeleton; kill not fired) + gamma stage [E] via v508 (exchange no-go with certificate (0, 32, 72); negative result, kill not fired) + epsilon-2 stage [E] via v509 (level-from-flux: the one-level statement is now a THEOREM of clock invariance, the sector-counter dial #prim((E8)_k) = 1 <=> k = 1 pins the level; the PT/Z4 back-reaction stays [O]); + delta-2 stage [E] via v511 (the full-tensor ledger: collapse confirmed by innerness, the cubic d-symbol channel opens T3 with the weaker certificate psi = 64, relaxed solution c_d = 1920 = |W(D5)|); + epsilon-1 stage [E] via v514 (epsilon-1 executed via v514: the O(-2) bulk-axion slot is a construction (equivariant Penrose ledger), lambda-tilde = 6 pinned by three exact ledgers (Okubo / measure cancellation excluding 3 and 12 / flux), and the GH/A3 back-reaction step re-derives the v493 family and the Coxeter clock from geometry -- the quantised BCOV coefficient and the twisted channels stay [O] (M1-M3 preregistered)); WP5e-M1 DONE (v515: M1 executed via v515: the back-reacted Omega_N is closed-form on the A3 twistor family, all S3/Z4 periods are (2 pi i)^2-integral with the lockstep flux vector and clock covariance, and the lens geometry FORCES the source charge 4 = |mu4|; honest fence: integrality alone does not discriminate -- the discriminator is the lockstep phase structure (0/24 on the forbidden family)); WP5e-M2+M3 DONE (v516/v517: M2+M3 executed via v516/v517 -- the v514 fence M1-M3 is fully worked off: the twisted KS measure (declared completion reading, ch2-weighted) cancels the 32 T3 residual and delivers the psi = 64 slice without the cubic d-channel, and the a0 uplift couples to the centre count on four scales; what stays [O]: the BCOV measure question -- the delta-1 chain itself is DECIDED by v518 (kill under the derived measure, tension with v516 stated) -- and SEAM.EQUIV.TWISTOR.01); the global BCOV quantisation [O] (single remaining milestone -- the exchange sub-branch closed by v508, the epsilon-2 flux dial executed by v509, the delta-2 tensor ledger executed by v511, the epsilon-1 axion slot executed by v514, the M1-M3 back-reaction milestones executed by v515/v516/v517 (the v514 fence fully worked off); named remaining target: the BCOV MEASURE QUESTION -- the delta-1 chain is DECIDED by v518 (CELEST.WP5E.DELTA1.01: kill under the derived measure, all three testers fail; tension with v516 stated), so what remains is which of the two exact measures (the declared v516 completion reading vs the v518 derived chiral measure) is the true BCOV measure; the cubic GS term stays dissolved (psi = 64 delivered by v516, no branch fires under the derived measure, v518)))

CELEST.WP2.01Formal/Identity [E] (exact deformation geometry/period/algebra arithmetic, sympy, negative controls) + [C] (three named identifications, verdict B; v216 precision typed) + [O] (algebra/contract programme; SEAM.EQUIV.01 and v216 unchanged)

CELEST.WP3.01Formal/Identity [E] (exact Okubo/Killing/lambda arithmetic for all 8 algebras, Fraction/sympy, sl4 negative control, look-elsewhere battery) + [C] (the convention typing of the 8 pi and sqrt 3; the alignment reading with the look-elsewhere caveat, verdict B) + [O] (celestial programme WP5; SEAM.EQUIV.01 unchanged)

CELEST.WP4.01Formal/Identity [E] (exact counting/character/theta arithmetic, integer/Fraction/sympy; mismatch localisation with exact cross-multiplication) + [C] (literature gradings CP Table 1 + Sym^2(248) decomposition; the boundary-limit reading, verdict B(ii)) + [O] (the constructive limit -> WP5; SEAM.EQUIV.01 unchanged)

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

COSMO.MUDIST.01Physical [C] (Chluba-window bridge, data-limited) + Identity [E] (comb-blindness attenuation)

CELEST.WP5A.01Formal/Identity [E] (exact stabilisation/derivation/control arithmetic, integer/Fraction; Freudenthal + Weyl + peeling machinery unit-tested) + [C] (the named identifications: radial decoupling = collar limit; Kac singular vector via counting consequence) + [O] (the operator question WP5b-e; SEAM.EQUIV.01 unchanged)

CELEST.WP5B.01Formal/Identity [E] (exact construction/singularity/control arithmetic, integer/Fraction, deterministic; Chevalley basis + affine PBW engine unit-tested on all 61504 pairs) + [C] (the named identifications: Weyl complete reducibility beyond BFS depth 4; Kac mechanics beyond level 2; per-period quarter dictionary) + [O] (the GNS/limit-state question WP5c-e -- the twisted-slot moding tension is the precise WP5c question; SEAM.EQUIV.01 unchanged)

CELEST.WP5C.01Formal/Identity [E] (exact construction/Gram/control arithmetic, integer/Fraction, deterministic; the compact anti-involution machine-determined; the full 9361-block level-2 Gram exact) + [C] (the named identifications: quasi-free extension; Kac positivity beyond level 2; module identification in the component route) + [O] (local normality, net structure/Haag duality, Costello-Li -- WP5d/e; SEAM.EQUIV.01 unchanged)

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)