=150 2026-07-23 (IX) (website entry redesign: narrative home, honesty band, proof strip, guided-tour route — editorial only, NO new modules, NO marker moves)
Research changelog · TFPT — Introduction and reading guide
Website home. Slim one-viewport hero (proof strip: 523 machine-checked modules [formula in source] Wolfram mirror [formula in source] Lean carrier [formula in source] 0 external replications yet; copyable python run_all.py [formula in source] ALL CHECKS PASSED; CTA trio film / browser check / kill board). Narrative order: Hero [formula in source] IntroVideo ( \#intro-video kept) [formula in source] In one breath [for
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 202 to 208
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v529_seam_interacting_toy_fk.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