=150 2026-07-23 (III) ( v525 — the twist-state attack on the alignment bit DECIDED and promoted as the ledger row SEAM.BIT.TWISTBLIND.01: ``mark-decorated states do not see [formula in source] '' — an honest, decided NEGATIVE result (v508 style), the NINTH side-blind test on the v512 scoreboard ( [formula in source] ); the free-plus-twist class (everything Wick-computable) is EXHAUSTED; the celestial/twistor story in tfpt_3 gains Step 26 and the header goes twenty-three [formula in source] twenty-six steps — (1) ALL LIFTINGS WELL-DEFINED AND BLIND : (a) the [formula in source] -gauge arc decoration ( [formula in source] ) satisfies [formula in source] on the swap axes [formula in source] the twisted Gram is a diagonal unitary congruence [formula in source] , spectra IDENTICAL to untwisted (dev [formula in source] ); (b) the Kadanoff–Ceva [formula in source] -twist insertion [formula in source] is well-defined on the [formula in source] ladder ( [formula in source] real nonzero; the [formula in source] odd- [formula in source] degeneration is the [formula in source] checkerboard artifact) and its RP SPECTRA are the FIRST free-class data of the programme that depend on [formula in source] (pairwise up to [formula in source] ) — yet the INERTIA is [formula in source] PD with the same [formula in source] for EVERY [formula in source] : the decoration sees [formula in source] , positivity does not; (c) the [formula in source] twist at [formula in source] is pure plane gauge; (c [formula in source] ) the genuine Bogoliubov defect at [formula in source] : [formula in source] -compatibility selects exactly [formula in source] of [formula in source] sign patterns (NS-wrap-forced), the winner genuinely non-monomial — still PD, spectra identical; STRUCTURE THEOREM (mechanism exact): the defect planes never straddle a cut bond, so every [formula in source] -compatible quasi-free mark decoration is RP-spectrally INVISIBLE; (2) SUB-RESULTS : the defect energy [formula in source] for EVERY [formula in source] (spread [formula in source] ) — [formula in source] -blind; the [formula in source] -twist Casimir [formula in source] measures [formula in source] ( [formula in source] ) but exactly mirror-symmetric under [formula in source] — a family gauge, never a side selector; Kramers [formula in source] for every [formula in source] ; (3) the HARVEST : two bit-presupposing [formula in source] structures (the [formula in source] flip [formula in source] on the mark-fixing axes via [formula in source] ; the twist frustration of the mark-fixing mirror, [formula in source] indefinite for both [formula in source] — the lattice shadow of the Ising twist field's mirror-oddness) — both formulable only on the fixing axes existing iff [formula in source] (the v512 facet class); (4) NEGATIVE CONTROLS : the twist-free limit [formula in source] v519/v521 exactly; the site cut keeps failing; the v512 counterwitness is arc-equivalent at [formula in source] to the blind member [formula in source] — no state selector can exclude it; a single twist has [formula in source] identically; : the door narrows to a genuinely INTERACTING [formula in source] whose OS data are NOT Pfaffian-reducible to the chiral vacuum; Wolfram extension (with v523/v524) [formula in source] (verified engine run 2026-07-23, [formula in source] + base [formula in source] ); suite [formula in source] modules; NO marker moves — the alignment bit remains genuine discrete input)
Research changelog · TFPT — Introduction and reading guide
Suite. New module v525_seam_bit_twist_blind.py ( [formula in source] checks, [formula in source] s; Pfaffian-exact insertion machinery cross-validated three ways, [formula in source] -digit certificates); registered in run_all.py [formula in source] script_registry.csv; suite [formula in source] modules green. Ledger. New row SEAM.BIT.TWISTBLIND.01 (KILL, honest negative, preregistered); SEAM.BIT.RPBLIND.01 and SEAM.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/003-source.tex · lines 272 to 293
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v524_woit_beta2_os_quotient.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v519_woit_theta_rp_free.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v512_seam_tau_flag.py
literal short identifier uniquely resolves in local script registry
- explicit file citation script_registry.csv
literal source filename/path in TeX
- explicit script identifier v508_celestial_wp5e_gamma_pairing.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation next.txt
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation run_all.py
literal source filename/path in TeX
- explicit script identifier v523_celestial_wp5e_wm_derived.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v521_seam_bit_rp_blind.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v525_seam_bit_twist_blind.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation README.md
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v525_seam_bit_twist_blind.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred