The published foundations of TFPT

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

DIAMOND.BIT.SELECT.01Identity [E] (exact integer/symbolic algebra -- Hermite/Smith lattice comparison, the symbolic dominant-mode identity, the uniqueness census on the 28-member class, the split-complement solve, the candidate tests) + [C] (the anchored ladder selector as candidate canonical selection; its physical justification open) + [O] (the selection mechanism; the F3[V]-character question; Stage B); verdict SELECTOR-FOUND; no marker moves

FTR.CRDISC.01Identity [E] + typed boundary [C] (exact symbolic identities on compiler kernels; the continuous-solver half open)

DIAMOND.BIT.RPFORM.01Identity [E] (exact integral/spectral computations; honest negative on the kinematic selection; RP-slot open)

QGEO.WINDING.SELF.01Identity [E] + typed gate [C] (rank theorem symbolic; enumerations at declared bound; the remaining gate named)

FTR.CRCONT.01Identity [E] + typed closure [C] (exports recomputed; degeneracy theorem exact; the closure onto v425 typed)

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

DIAMOND.BIT.EXTSOURCE.01Exact [E] + typed consistency [C] (thresholds closed rational; verified numerically; response level only)

QGEO.INVOL.01Exact [E] + typed relocation [C] (exact sympy; demands declared; continuum derivation open)

QGEO.COVER.01Exact [E] fingerprints + typed candidate [C] (Burau convention validated; Q-identification open)

QGEO.DICT.01Exact [E] entries + quantified negatives (numeric prefilter, symbolic confirmation)

QGEO.REAL.01Exact [E] existence/uniqueness/char identities + [X] quantified joint negative + [C] the TFPT readings (exact sympy; numeric prefilter with symbolic confirmation for the scan)

QGEO.EMBED.01Exact [E] existence realization (integrality, conjugation, saturation index all exact sympy) + typed open canonicity [O]; NO marker moves