2026-06-12 (visual pass: box reduction B1)
Research changelog · TFPT — Introduction and reading guide
Box reduction (B1). The [formula in source] non-load-bearing aside boxes (audit / recorded / interpretation: auditbox/ audbox/ intbox/ resbox/ roadbox) across tfpt_1, tfpt_2, tfpt_3 and origin_theory are converted to inline bold run-in paragraphs — the reviewer's prescription that an audit fingerprint must not carry the same visual volume as a theorem. The loud box families are now only keybox (claim), winbox (result
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 331 to 340
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.