The published foundations of TFPT

SEAM.CFIN.MINIMAL.MEDIATOR.01Dead reading registered [Identity/Numerical] (negative result): rank 1 suffices -- the minimal-mediation reading of N_fam = 3 is refuted; purity pins 3 as dimension bookkeeping; no marker move

SEAM.CFIN.TWISTED.RP.01Measured complete census [Numerical] (negative result): 0 of 6 admissible twisted reflections admit strict RP at t > 0; no marker move

SEAM.CFIN.RP.DILATION.01Measured split [Numerical/Identity]: a marginal cone-boundary witness with the exact 1/200 floor; the strict collar route obstructed by an exact linear law; no marker move

SEAM.CFIN.GAP.PENCIL.01Measured exact pencil identity [Identity/Numerical]: t_gap as a generalized eigenvalue with Sturm uniqueness; three surfaces one variety; no marker move

SEAM.CFIN.MARGINAL.STABILITY.01Measured covariant exclusion [Identity/Numerical]: interior empty (exact +-a_J law), floor exchange Pf4 = (eps - 1/200)(eps + 1/200); escape only by symmetry breaking at price 2 eps; no marker move

SEAM.CFIN.NESS.PARENT.01Demand closed NOT-NEEDED [Identity/Numerical]: equilibrium J/Z witnesses carry the full 1/200 mixing at zero entropy production; the deployed wiring is PURE-I (maximally obstructed); wiring-selector contract registered; no marker move

SEAM.STATE.WIRING.SELECTOR.01Contract closed as measured freedom theorem [Identity/Numerical]: one admissible wiring orbit (C_rot), Z/X excluded gauge-invariantly; pure-I = deployment representative; RP exclusion frame-relative (option 2); 'pure-I is compiler-forced' FORBIDDEN; [O] premise of v898/v903 unmoved; no marker move

CCC.SEAM.KINEMATICS.01Certified kinematics dictionary [E] (fine types Identity/Formal (Moebius/D_4 algebra, Stinespring isometry, Hopf equivariance, commutant dimensions, symbolic Einstein/Weyl checks, KMS/detailed-balance identities, Theta-reality censuses -- exact on corpus objects) and Numerical (linking integrals, Obata scans, band arithmetic pinned); the CCC/cyclic READING itself stays [C] and is NOT upgraded; WOIT.OS.TWISTOR.01 stays [O] with all kill tests live)

CCC.SEAM.CROSSOVER.01Open contract [O] (research contract; the kinematic base [E] via v957; the dynamics = WOIT.OS.TWISTOR.01 gamma on the crossover geometry; D4 executed 2026-08-24 with a robust preregistered null -- no kill fired, no type change; the contract stays open via D1-D3)

SEAM.BULK4D.RECON.01Open (research contract)

TRANSFER.HIDDEN.CIRCULATION.01Identity [E] (executed half: fibre line, discriminator, criticality, EB no-go, KKT) + literature [C]; fibre-point selection open

TRANSFER.COHERENT.WILSON.01Identity [E] (executed half: unistochastic lift, Wilson code, center bridge, selectivity census) + literature [C]; branch selection and intertwiner open

QFT4D.OS.RECON.01Open (research contract; binding phrasing rule in force for the perturbative leg)

PRED.JOINTLIKELIHOOD.01Open (statistics-construction contract; v1 executed [N]; promotion conditions typed)

SEAM.INT.ODDSPLIT.01Measured/Exact [E] (toy level; JP sufficient-only; v529 fence inherited); no marker moves

SEAM.INT.OSAVOID.01Measured [E] (toy level; v529 fence inherited); no marker moves

SEAM.STATE.RPMIXING.01Measured census [E] (sector-truncated; float64 exploration grade warded by exact identities) + finite KMS rigidity [E] (v995); type-III/continuum stays [O]; no marker moves

SEAM.EQUIV.SKELETON.01Exact [E] (executable skeleton; fine types Lattice/Numerical for the collar battery, Identity for the S0 mechanism gates)

ALPHA.QUILLEN.FACES.01Exact/computed witnesses [E] + typed conditional [C]; the target row stays [O]

DIMENSION.SELECTOR.4D.01Conditional [C] (exact selector under the named axiom set A1-A4; axiom provenance from the compiler open)