2026-07-21 (XIX) ( e8-ladder-bed v2 — the 2DCS extension executed with an honest preregistered kill_2d verdict at the DETECTOR level: the known-answer map recovers [formula in source] rungs incl.\ [formula in source] via F3 difference coordinates (MC [formula in source] ), but the 2D control battery breaks (scramble [formula in source] , jitter [formula in source] at the destructive [formula in source] level) — the v1 1D results (BCVO [formula in source] , CoNb [formula in source] O [formula in source] [formula in source] ) are untouched; scorecard row updated, status/stage unchanged; experiments level only — no verification module, no gate closes, no marker moves)
Research changelog · TFPT — Introduction and reading guide
experiments/e8-ladder-bed v2 (2DCS): amendment preregistered, run, and killed by its own controls. Trigger: arXiv:2512.16829 (Watanabe, Trebst, Hickey) — a THEORY-only paper (four-kink/ED localized-limit spectra at [formula in source] – [formula in source] \,T, not the E8 point; no measurements); as of 2026-07-21 no experimental 2DCS measurement of CoNb [formula in source] O [formula in source] exists anywhere (web-c
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/005-source.tex · lines 306 to 339
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v1_e8_glue.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v2_carrier_pascal.py
literal short identifier uniquely resolves in local script registry
- explicit file citation next.txt
literal source filename/path in TeX
- cross reference join ArfSpinorCompiler.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v3_em_alpha.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation results2d.json
literal source filename/path in TeX
- cross reference join tfpt_readouts.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 file citation build_evidence_scorecard.py
literal source filename/path in TeX