Appendix: changelog
Research changelog · TFPT — Introduction and reading guide
tocsectionAppendix: changelog The dated record of every change (canonical source: changelog.tex, also compiled standalone). Module numbers vN refer to verification/vN_*.py.
Opening source excerpt. Formulas and the full argument remain in the original document.
Read the original sectionRead the paper: Research changelogRead the paper: TFPT — Introduction and reading guide
Source location and explicit evidence links
documents/changelog/preamble.tex · lines 58 to 63
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
No explicit verification citation is attached to this section in the registry.