The published foundations of TFPT

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

QGEO.EMERGE.LIGHT.01Formal [E] (exact structure: pillowcase = half torus pair structure, permutation identities R^2 = Z2, clock-forcing a3 = a2 = a1 = 0 with j = 1728 identically, Coxeter charpoly) + Numerical [N] (eta/E2*/j at 40 digits; v280-style lattice DtN curves) + [C] (clock = carrier input) + [O] (the dynamical realisation of the clock); NO marker moves -- QGEO.REALIZE.01 stays [C]/[O]

SEAM.BIT.ORIGIN.01Formal/Identity [E] (origin theorem: half-period fixed points, rational descent identity, free-involution census in all three stabiliser types; core solve lambda in {-1, 2, 1/2}; CM dictionary; equivalence tetrad + circularity audit; fermion dichotomy: Utilde^2 = 256 gamma-monomial vs +2^7 scalar in exact Cl(16) Fractions, root counts 2 vs 0, arrangement census 28/21 -- sympy exact, Wolfram-mirrored) + [C] (the one alignment bit: which half-period, i.e. the deck position); SEAM.CLOCK.RIGIDITY.01 and QGEO.REALIZE.01 stay as they are, P2.TYPING.01 R1 unchanged

SEAM.BIT.FREEDOM.01Formal/Identity [E] (dihedral theorem: unique free involution = antipode, Aut(C_16) = D_16 complete census, quotient topology chi 0 vs 1; complete Cl(16) Fock census NONSPLIT <=> FREE over all 17 involutions; real-structure classification: two deck-commuting families, per-configuration uniqueness table; harmonic + free => b = +-i exactly; counterwitnesses -- sympy exact / exact Cl(16) Fractions, Wolfram-mirrored) + [C] (the square-modulus datum tau = i); SEAM.CLOCK.RIGIDITY.01, SEAM.BIT.ORIGIN.01 and QGEO.REALIZE.01 stay as they are (text precised only), P2.TYPING.01 R1 halved

CELEST.WP5E.EPS2.01Formal/Identity [E] (exact CPS-skeleton/pairing/lockstep/sector arithmetic: S^3 period (2 pi i)^2 N, exceptional flux 2 pi N, contraction 2N, pairing enumeration 48 -> 2, fluxes (64, 60, 64), current count (240, 0, 0, 0), #primaries (1, 3, 5, 10, 15, 27), lockstep theorem det(A-1) = -4 with the 0/24 negative probe, k = 2 / SO(16) / A2 controls -- sympy/Fraction exact, Wolfram-mirrored) + [C] (the CPS dictionary itself on PT/Z4: their geometry is the C^2 blow-up with one (-1)-sphere and so(8) at negative level, not the A3 ALE -- typed as an analogy until the backreaction is computed) + [O] (the type-I B-model backreaction on PT/Z4 -- twisted Kodaira-Spencer measure, the A3 Omega_N; the same fence as v502 S5.7/v505)

SEAM.TAU.FLAG.01Formal/Identity [E] (complete V4/D4 symmetry census, flag/arc orbit arithmetic, odd-split and K3-indicator closed forms, twist mode identity, H4 Schur rigidity, negative controls -- sympy exact + mpmath 30 digits, Wolfram-mirrored) + [C] (the symmetry-lift bit itself: flag transitivity stays a postulate; the gain is the FORM, not a derivation)

CELEST.WP5E.EPS1.01Formal/Identity [E] (exact slot/residue/GH arithmetic: equivariant Penrose ledger block by block d <= 6, character series P_m, Molien hypersurface relation degree 8, Okubo perfect square (6<x,x>)^2, measure chain mu-exact excluding 3 and 12, flux single-channel iff k = 1, GH centre dichotomy, period lockstep 4 pi t0 (i-1)(1, i, i^2), Coxeter clock from geometry, EH log ledger with asymptotic coefficient exactly 0, multipole selection rule m = 0 mod 4 -- sympy/Fraction exact, Wolfram-mirrored) + [C] (Costello's flat-PT matching lambda_g^2 E = A: the measure chain is CLASSICAL bookkeeping) + [O] (the quantised BCOV one-loop coefficient on PT/Z4; the twisted channels 32 T3 not covered by the bulk axion -- M1-M3 preregistered with success + kill criteria)

CELEST.WP5E.M1.01Formal/Identity [E] (exact residue/family/period/kernel arithmetic: Poincare residue three routes, cover factor 4 = |mu4|, closed twistor family XY = Z^4 + 4 t0^2 la^2 Z^2 - t0^4(1 - la^4)^2, CY-compatible clock lift Omega -> +Omega, period lockstep 2 pi i t0 (i-1)(1, i, i^2) with covariance Pi -> i Pi, BM kernel (2 pi i)^2 anchor + dK = 0 + scale degree 0, lens forcing N in 4Z, 12 conifold nodes on Z8 -- sympy exact, no floats, Wolfram-mirrored) + [C] (global patching of the local BM kernels on the resolved 3-fold; Hitchin small resolution; the CPS 'exceptional-curve branes = glue currents' dictionary) + [O] (M2: the twisted KS measure per sector; M3: the a0 uplift; the quantised BCOV coefficient on PT/Z4)

CELEST.WP5E.M3.01Formal/Identity [E] (exact kernel/expansion/period/monodromy arithmetic: null-coordinate harmonicity for arbitrary kernels, residue V-ledger identity 1/(2r), kernel log coefficient 4 = |mu4| with first correction a0/eta^4 and exact m-grading, GLT tower p_{4k} = 4(-a0)^k with the n = 0 mod 4 selection rule, exceptional-locus log 4 log t0 + clock phase 4i, period response 1/4 integrating to monodromy i, a0-rigid node support and (2 pi i)^2 fluxes, all four controls -- sympy exact, Wolfram-mirrored) + [C] (the GLT dictionary eta_p log eta_p = the GH Kahler-potential kernel; Lindstrom-Rocek / Ivanov-Rocek) + [O] (the full nonlinear Kahler potential of the resolved A3 ALE; SEAM.EQUIV.TWISTOR.01 unchanged)

CELEST.WP5E.DELTA1.01DECIDED: kill under the derived measure, tension with v516 stated ([E] exact Weil/Q(zeta_8) algebra, loop words + koboundary defects + 1/960 phase arithmetic, ledgers, G = f1 f3, the decision table; [C] the f1f3/KS-weight identification + kernel-family convention + chi_k choice; [O] the BCOV-integral derivation that decides between the declared (v516) and derived (v518) measures -- since decided at probe level by v520 for the declared reading, residual [O] = the constructive w_m derivation; NO marker moves)

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

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

CELEST.WP5E.MEASURE.01DECIDED at probe level for the declared reading ([E] exact Weil/Q(zeta_8) algebra, exact invariant subspace, characters + 1/960 grid, ledgers, levelwise 4-design, Z2 anchor arithmetic, change-of-variables corollary, controls; numeric documented: transports 28+ digits, SVD memberships 1e-8/1e-3, certificates fresh tau, HM kernels 30+ digits; [C] the typed premises TP-1..TP-4; [O] the constructive BCOV derivation of w_m -- since DERIVED at probe level by v523, narrowing the [O] to the global BCOV integral beyond the fibre zero-mode factor; NO marker moves)

SEAM.BIT.RPBLIND.01Formal/Identity [E] (exact solveset censuses, exact Gram entries, exact Cl(16) implementers, 40-digit gap-certified inertia spectra, continuum axis elimination, precondition controls) + [C] (face #13 = a reformulation of the bit) + [O] (mark-decorated states / interacting A_hol); the bit stays the one [C] carrier input; NO marker moves

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