2026-06-13 (terminal residual inventory: (A) no longer a structural class; one hinge + F_transfer + irreducible core, v167)
Research changelog · TFPT — Introduction and reading guide
New module v167_inventory_post_closure.py / . The terminal residual inventory (line v105 [formula in source] v123 [formula in source] v167), re-pinned after the (A)-chain. With (A) discharged ( GATE.METRIC.16–19) the v123 five structural classes collapse: the seam clock (R1), the index- [formula in source] net (R2) and the [formula in source] -realisation (R5) all merge into one Tier-1 hinge — the seam [formula in so
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 72 to 90
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v105_residual_inventory.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v152_norm_is_anchor.py
literal short identifier uniquely resolves in local script registry
- explicit file citation next.txt
literal source filename/path in TeX
- explicit script identifier v167_inventory_post_closure.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v167_inventory_post_closure.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v123_inventory_update.py
literal short identifier uniquely resolves in local script registry