2026-06-18 (Flat-Away attacked on all three routes, v292– v294)
Research changelog · TFPT — Introduction and reading guide
v292_flataway_heat_reduction.py ( FLATAWAY.HEAT.01): the heat route, made precise. The heat-trace deviation [formula in source] is a positive-definite quadratic form in the off-mark curvature ( [formula in source] for every [formula in source] mode, positive on all combinations), leading invariant [formula in source] — so Flat-Away reduces to the single fact ``the seam fixes the [formula in source] heat coefficient''
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/017-source.tex · lines 250 to 269
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v293_flataway_spectral_hessian.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v292_flataway_heat_reduction.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v294_flataway_rp_energy.py
literal source filename/path in TeX
- cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v294_flataway_rp_energy.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v292_flataway_heat_reduction.py
literal short identifier uniquely resolves in local script registry