2026-06-17 (Infrastructure: the changelog is now a public website page, generated from changelog.tex and audit-gated)
Research changelog · TFPT — Introduction and reading guide
The canonical changelog now also drives a public /changelog website page. A new generator verification/make_changelog_web.py parses this file (dated subsection* entries, itemize items, and the inline markup textbf/ emph/ texttt/ vref, the status markers / / / , inline math and accents) into the typed data file website/ lib/ changelog.ts, rendered server-side (math via KaTeX) by website/ app/ changelog/ page.tsx [form
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/018-source.tex · lines 311 to 328
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation make_changelog_web.py
literal source filename/path in TeX
- explicit file citation audit_sync.py
literal source filename/path in TeX