2026-06-12 (tfpt_5 / horizon / research-contracts pass + build hardening)
Research changelog · TFPT — Introduction and reading guide
Forked document-set box removed (horizon). tfpt_horizon_readouts carried a hand-written, stale copy of the document-set card (``five short documents'', missing tfpt_5) and the canonical input\tex-artefacts/tfpt_docset\; the fork is deleted so the single-source card (all five papers [formula in source] three companions) appears once. Fewer boxes, embedded in text. Narrative/result callouts converted to run-in bold pro
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 358 to 377
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.