2026-06-09
Research changelog · TFPT — Introduction and reading guide
Blind registry frozen (v84). Machine-enforced prediction registry ( predictions_frozen.json): exactly one [formula in source] number of record before JUNO; conditional entries carry their hypotheses by name. Research-contracts document added to the set.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/024-source.tex · lines 119 to 126
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
- explicit file citation predictions_frozen.json
literal source filename/path in TeX
- explicit script identifier v84_frozen_registry.py
literal short identifier uniquely resolves in local script registry