The published foundations of TFPT

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

CELEST.WP5E.WM.01Formal/Identity [E] (exact Q(i)/Q(sqrt2)/cyclotomic mode ledgers, Abel values, tensor-trace splitting, reflection-formula zeta determinants, Quillen arithmetic, delta-1f block constant terms, the full v516 chain, all controls -- sympy/Fraction exact, Wolfram-mirrored; numeric documented: Hurwitz/Lerch and stripped block limits at 40 digits) + [C] (the typed premises TP-REG/TP-Q/TP-NUM/TP-CH) + [O] (the global BCOV integral beyond the fibre zero-mode factor)

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

SEAM.BIT.TWISTBLIND.01Formal/Identity [E] (Pfaffian-exact insertion machinery cross-validated three ways, exact integer incidence frame, exact congruence mechanisms, 40-digit gap-certified inertia/spectrum/energy/parity certificates) + [C] (each lifting is a construction choice, all tested) + [O] (the genuinely interacting A_hol with non-Pfaffian-reducible OS data); the bit stays the one [C] carrier input; NO marker moves

SEAM.THERMAL.KMS.01SUCCESS ([E] exact sympy/cyclotomic + 40-digit Tomita certificates; [C] bridge reading typed; [C-5] non-gating clock-vs-modular findings); NO marker moves

SEAM.CLOCK.SILVER.01STRUCTURE SUCCESS + CONNECTION KILL ([E] exact sympy Hankel/trig + 40-digit census); NO marker moves

SEAM.BIT.TWISTCLASS.01SUCCESS ([E] exact integer/symbolic + 40-digit certificates; [C] measurement sketch principle-only); the bit remains formal input; NO marker moves

SEAM.INT.FKTOY.01F1=KILL / F2=KILL / F3=ERFOLG ([E] exact Fraction/Clifford + float-track certificates; [C] flat-band parent / one interaction class fence); WOIT.OS.TWISTOR.01 stays Open; NO marker moves

SEAM.STRADDLE.CONE.01V1=KILL / V2=ERFOLG ([E] exact integer/Fraction census + float-track certificates; [C] flat-band parent / one interaction class fence); WOIT.OS.TWISTOR.01 stays Open; NO marker moves

DIAMOND.CENTER.QUOTIENT.01Identity [E] (exact integer linear algebra: fixed line, unimodular quotient, self-coding row sums, resolvent factorisation, honest uniqueness controls -- sympy exact, Wolfram-mirrored) + [C] (the Lie-dimension readings of the quotient ladder, audit-typed like v414) + [O] (full selector-stratum ablation)

COX.STAGEA.TENSOR.01Identity [E] (exact order/charpoly/trace arithmetic + honest kill-scope + coprimality controls -- sympy exact, Wolfram-mirrored) + [C] (the identification with the E8 Coxeter clock, as v223/v314) + [O] (the flip-atlas intertwiner COX.FLIP.INTERTWINER; Stage B metrization)

E8.DEGREE.MODULAR.01Identity [E, audit-only] (exact integer/q-series arithmetic incl. the j-series recomputation and all controls -- sympy exact, Wolfram-mirrored); explicitly NON-exclusive (D16 control passes); the fingerprint feeds no derivation (no-free-pattern rule honoured)

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)

CP.CHANNEL.IDENT.01Identity [E] (exact identities and certified numerics with mutation controls -- the hexagonal channel identity sum rho^{d_k} = 4 rho / sum rho^{m_k} = 4 sympy-exact with the sheet-even/odd parity typing, arg(prod c) = 0 exactly on both magnitude sectors with the branch-order law, Tier-1 emptiness by the conjugation-commutation theorem, the frame removal Im(rho det)/det = Im rho exact with the degree +1 account, the two inequivalent Tier-2 characters as verified homomorphisms, and the Jarlskog anchor J = 3.327021e-5 = v88 at unitarity 1.1e-41) -- NARROWINGS of four existing ledger readings only; no marker moves; R1/R2 typed OPEN

CP.FIBER.PIN.01Identity [E] (exact theorems and certified character accounts with mutation controls -- Euler factorisation on fully generic homogeneous blocks, the one-generator bracket enumeration, the character split and the q_t continuum, the single-sine lemma with the crystallographic equivalence, the anchor tuple at 40 dps) + [C] (the Weyl 1946 FFT class boundary; the selection conditional on the Jarlskog anchor; the deck column a declared model); R1 decided, R2 selected, no marker moves

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

QGEO.QRECON.01Identity/enumeration [E] (exact admissible-set census 52/28/2 with integer prefilters verified by sympy on survivors; one anchor code class on all 28; separator dissection exact; ablations quantified) + [C] (the seam-line demand as declared geometric input; the bit-resonance observation) + [O] (Stage B = GATE.QGEO.01 relocation; the binary selector); verdict RECONSTRUCTS-TO-FAMILY; no marker moves