TFPT scientific source excerpt
Original repository path: verification/status_ledger.csv
Original file SHA-256: 8723b921bdc50a6157acc6bee4342b40586eb89bec6d7dcc0abc3309562c78b4
Inclusive original lines: 752-754
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000752 | SEAM.STATE.RPMIXING.01,"THE RP MIXING CENSUS (measured 2026-08-27; promoted in v972): the v903 exclusivity is RAY- and REFLECTION-relative, NOT slice-wide.  The full 33-dim C6-covariant mixing slice censused under BOTH deployable reflections: (1) theta_abT sees exactly ONE coordinate -- a_J, killed 1st order odd / 2nd order even, kernel value -1/(1+c^2) = -0.8240271368 at c = tanh(1/2) -- and 32/33 directions are identically invisible => a 32-dim MARGINAL RP hyperplane {a_J = 0}; (2) the theta_S Hermiticity-defect map has rank 16 => a 17-dim first-order-neutral subspace, NO second-order kill, with STRICT finite-s witnesses (W_S: pure a_J at s = 1/8, lambda_min 0.1558 -- the very direction theta_abT kills); (3) the v903 anchor reproduced (odd Gram eigenvalues == +-|a_J|, defect 1.7e-16, a_J = +0.04068013).  ANSWER TO THE ROUND QUESTION: RP + C6-covariance do NOT force the channel-diagonal point; each reflection carves only the coordinates its half-side Gram can SEE, and the two reflections see complementary windows -- the v903 statement is about the v898 RAY, not the slice.  TYPED: sector-truncated census (deg <= 2 Grams + deg <= 4 spots, not the full 256-monomial algebra); theta_abT invisibility = RP-SILENT, not certified positivity; the v898/v903 [O] premise UNMOVED.  EXECUTED UPDATE (2026-08-28, completeness wave, v995): ALL 33 v972 mixing directions are killed by KMS ALONE on the finite CAR algebra (CAR_8 = M_256); covariance is provably redundant under full KMS (COVARIANCE_DROP_REDUNDANT_UNDER_FULL_KMS); unique E-invariant crossed-product state extension (196608 -> 0). Type-III/continuum KMS uniqueness stays [O]. Display of the census stays [E]; no marker move on the open continuum residual. Python-only / Wolfram mirror deferred.",Measured census [E] (sector-truncated; float64 exploration grade warded by exact identities) + finite KMS rigidity [E] (v995); type-III/continuum stays [O]; no marker moves,tfpt_1;tfpt_research_contracts,SEAM.STATE.DERIVATION.01; SEAM.CFIN.KMSMIX.01; v903; v898,v972_seam_interaction_front.py; v995_kms_subnet_rigidity.py,-,-,"[E] census: theta_abT kills exactly one coordinate (32-dim marginal hyperplane {a_J = 0}); theta_S leaves a 17-dim neutral subspace with strict witnesses; the v903 exclusivity typed ray-/reflection-relative; premise unmoved  EXECUTED UPDATE (2026-08-28, v995): finite KMS rigidity [E] -- all 33 mixing directions killed; covariance redundant; 196608 -> 0. Type-III/continuum stays [O].  WAVE-5 (2026-08-29): continuum leg listed as a child of SEAM.MMST.TYPEIII.CHARGED.01 [O]; finite KMS rigidity unmoved.  Display unmoved.",true
000753 | SEAM.EQUIV.SKELETON.01,"THE CROSS-ROUTE OS SKELETON (2026-08-27, v973): the two continuum routes of the seam equivalence target -- the MMST scaling-limit route (the p+ip collar edge) and the twistor route's Z4 lattice object -- share the EXECUTABLE OS skeleton: all FIVE WOIT kill-test main invariants (alpha: forced eta = +i, Theta^2 = +1, bond RP; beta1: GSO 2-torsion; beta2: OS quotient exists + KMS expansion lambda_max > 1; beta3: perp descent Theta^2 = +1; gamma: mirror flip, multiplicity-free clock, mark incidence) hold VERBATIM on the collar edge, 5/5; ALL divergences between the two route objects are control-typed and trace to ONE mechanism -- the twistor lattice's exact chiral checkerboard C(even) = 0 (a bipartiteness consequence, re-derived exactly in v973 S0c: S H S = -H forces every odd function of H to vanish on even distances) vs the collar kernel's K(even) up to 0.1736 -- independently confirming v519-R4's typing of the site-cut RP failure as a lattice-placement artifact, now from the second route; FIRST_DIVERGENCE = ALPHA.SITECUT.CHECKERBOARD (control-typed). BONUS: the collar's top edge realizes the anti-chiral state EXACTLY (max |K_top + K_bot| = 7.5e-16; v973 S0c re-derives K_top = -K_bot as an exact symmetry consequence P H P = -H on a strip); the M = 3 trivial collar loses the skeleton FIRST at GAMMA.MARK.INCIDENCE (mark Grams lose rank (13,0,3) vs (16,0,0)) -- the skeleton tracks the topological phase, not the lattice bookkeeping. HONEST BOUNDARY: an executable-level statement about the two lattice route OBJECTS, typed FULL/PARTIAL per test -- NOT an equivalence of the routes and NOT a continuum statement; it narrows the seam question (both routes carry the same OS/RP/GSO/mark structure wherever it is computable) but closes neither SEAM.EQUIV.MMST.01 nor SEAM.EQUIV.TWISTOR.01, which stay [O].","Exact [E] (executable skeleton; fine types Lattice/Numerical for the collar battery, Identity for the S0 mechanism gates)",tfpt_research_contracts,SEAM.EQUIV.01; SEAM.EQUIV.MMST.01; SEAM.EQUIV.TWISTOR.01; WOIT.OS.TWISTOR.01,v973_seam_route_narrowing.py,-,-,[E] the executable OS skeleton is shared 5/5 with all divergences control-typed to the checkerboard mechanism; an executable-level narrowing -- does NOT close either route or the parent,true
000754 | ALPHA.QUILLEN.FACES.01,"THE TWO NAMED FACES OF ALPHA.QUILLEN.EXACT.01 CARRY COMPUTED WITNESSES (2026-08-27, seam/alpha promotion wave; probes seam_bfk_conical_det_probe 21/21 SPEC d06b3bbec70e7efc / laughlin_pump_em1_probe 20/20 SPEC f9b5cb0bf20d0293 / quillen_rigidity_chain_probe 18/18 SPEC b4ee0dd0141da6ab, embedded byte-exact in v974). [E] BFK FACE EXECUTED: the Mayer-Vietoris determinant gluing on the seam circle at the four mu4 marks -- C_glue = 2^-N EXACT (N = 1..4 symbolic, general lengths), det'_zeta(Delta_S1) = l^2 reassembled, R(m) = (G_m|_marks)^-1; at KMS R_0 = 16 c3 circ(2,-1,0,-1), det'R_0 = 2^16 c3^3, glued product (2 pi)^2; vs v484 channel-wise EXACT (same mu4 eigenbasis, |spec| {0,2,2,4}, doublet ratio 4/ln2 with c3 cancelling, Tr B^k = 4^k + 2 2^k vs Tr C^k = 4^k + 2(-2)^k) but NOT globally proportional -- the kernel swap (gauge zero mode vs sign rep) is the sharpened diagonal-zeta face. [E] EM1 FACE COMPUTED: pumped charge == edge spectral flow == Streda == Chern == 1 on the v367 collar, single complex copy, sign-coherent conjugation mutant; 16-copy bookkeeping exact (c_- = 8, kY = 5/3, (1/kY) 41/6 = 41/10 = b1). [E] QUILLEN IDENTITY AT THE FINITE SHADOW: Berry integral == Poincare-Lelong divisor integral == +1 two-sided, difference an exact form, transition winding == Chern; anchor re-derived (alpha^-1 = 137.03599921684071, split residual 6.4e-58 at 50 digits, 8 b1 = 164/5 exact). [C] TYPED CONDITIONAL: IF the seam state is quasi-free (the rigidity premise, measured not forced in the strong form by SEAM.STATE.RPMIXING.01) THEN the identity applies literally to the seam det line. HONEST SCOPE: closes NOTHING on ALPHA.QUILLEN.EXACT.01 -- remaining content {rigidity premise} + {channel-swap question} + {continuum Bismut-Freed identification}; the BFK face is Delta = |D|^2, not a |D|-level operator identity; the pump is a single-copy statement.",Exact/computed witnesses [E] + typed conditional [C]; the target row stays [O],tfpt_1;origin_theory;tfpt_research_contracts,ALPHA.QUILLEN.EXACT.01; SEAM.CONTACT.UNIT.01; SEAM.CONTACT.UNIT.02; EM.WARD.01; ALPHA.QUILLEN.INFLOW.01; SEAM.STATE.RPMIXING.01,v974_alpha_faces_computed.py,-,-,Exact witnesses for both faces; target stays open,true