2026-07-20 (VIII) (E8 mass-ladder blind-recovery bed EXECUTED: verdict validated at the detector level — the Cartan–PF ladder pipeline blindly recovers the published Zamolodchikov-E8 spectra of BaCo [formula in source] V [formula in source] O [formula in source] (8/8) and CoNb [formula in source] O [formula in source] (6/8 in-window) and rejects every control class; experiments level only — confirms Zamolodchikov E8, not TFPT; no verification module, no gate closes, no marker moves)
Research changelog · TFPT — Introduction and reading guide
experiments/e8-ladder-bed/ executed (preregistered hypotheses/e8_ladder_bed_v1.yaml). The blind ladder detector (assignment DP [formula in source] scale fit [formula in source] 5000-ladder Monte-Carlo null; the same detector class TFPT uses on search surfaces, e.g.\ hfqpo-ladder) on the only public known-answer mass-ladder dataset: BaCo [formula in source] V [formula in source] O [formula in source] (Zou [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 1 to 30
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 file citation next.txt
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
- explicit file citation README.md
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