2026-06-12 (origin_theory style alignment + box reduction)
Research changelog · TFPT — Introduction and reading guide
Fewer boxes, embedded in text. origin_theory from [formula in source] to [formula in source] boxes: the narrative/interpretation callouts (``Why the interpretation is internally consistent'', ``Dependency chain of the birefringence test'', ``The precise reformulation'', ``The three theses honestly graded'', ``The whole story'', ``One-line summary'') become run-in bold prose; the boxed reformulation becomes a keyeq. T
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/022-source.tex · lines 345 to 357
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- 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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AnchorLadder.lean
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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v105_residual_inventory.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v56_unique_attractor.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 script identifier v101_horizon_anchor.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v113_quasifree_kernel.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 v53_compiler_core.py
literal short identifier uniquely resolves in local script registry