=150 2026-07-23 (VII) ( v529 — the interacting Fidkowski–Kitaev seam toy promoted as the ledger row SEAM.INT.FKTOY.01: the FIRST firing Kill-Test-2 shadow — triple verdict F1 [formula in source] KILL / F2 [formula in source] KILL / F3 [formula in source] ERFOLG; the celestial/twistor story in tfpt_3 gains Step 30 and the header goes twenty-six [formula in source] thirty steps — (1) F1 [formula in source] KILL : [formula in source] exists exactly on the interacting model ( [formula in source] , [formula in source] , clock-tower inversion, [formula in source] ) so Kill-Test 1 does not fire; but Kill-Test 2 fires at toy level: RP breaks for every [formula in source] — inertia ladder [formula in source] ; Gibbs [formula in source] same ladder; mechanism [formula in source] interference; STRADDLE LAW ( [formula in source] ); \ fence one toy / one interaction class / flat-band parent — narrows the Woit route, does not close it; WOIT.OS.TWISTOR.01 stays Open with the toy shadow documented as a named Kill-Test-2 threat; (2) F2 [formula in source] KILL : the TENTH side-blind test ( [formula in source] ) — [formula in source] maps [formula in source] EXACTLY despite [formula in source] -seeing spectra; (3) F3 [formula in source] ERFOLG : grading [formula in source] [formula in source] tower [formula in source] FK anchor [formula in source] constructive OS quotient at [formula in source] ; Wolfram extension [formula in source] (verified engine run); suite [formula in source] ; NO marker moves)
Research changelog · TFPT — Introduction and reading guide
Suite. New module v529_seam_interacting_toy_fk.py ( [formula in source] checks, [formula in source] s); registered in run_all.py [formula in source] script_registry.csv; suite [formula in source] modules green. Ledger. New row SEAM.INT.FKTOY.01; WOIT.OS.TWISTOR.01 text-precised (Kill-Test-2 toy shadow [formula in source] straddle law); scoreboard rows text-precised ( [formula in source] ); no status moves. Papers. tf
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 231 to 244
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation next.txt
literal source filename/path in TeX
- explicit file citation v529_seam_interacting_toy_fk.py
literal source filename/path in TeX
- explicit file citation README.md
literal source filename/path in TeX
- explicit file citation script_registry.csv
literal source filename/path in TeX
- explicit file citation run_all.py
literal source filename/path in TeX
- explicit script identifier v529_seam_interacting_toy_fk.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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