2026-06-12 (review pass on list.txt)
Research changelog · TFPT — Introduction and reading guide
Claim hygiene (review section A). The introduction's one-sentence claim is softened from ``derives all constants'' to ``constructs a discrete compiler; physical readouts run through named, status-typed bridges''; the ledger zombie in FLAV.QRATIO.01 is removed (the statement no longer says ``stays [P]'' — ratios are \ closed on the derived stratum, only the absolute scale stays , with an explicit forbidden-wording not
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 356 to 381
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier