2026-06-18 (Route-B red-team: the smooth [formula in source] adversary + Flat-Away as a mini-theorem, v290– v291)
Research changelog · TFPT — Introduction and reading guide
v290_z4_smooth_curvature_adversary.py ( SEAM.ADVERSARY.01) is the honest red-team that [formula in source] block-diagonality is not mark-locality: a smooth [formula in source] off-mark curvature [formula in source] \ passes the v288 commutator ( [formula in source] , same as mark-local) yet \ shifts the DtN spectrum ( [formula in source] ) and the heat trace ( [formula in source] ). So the commutator is necessary, no
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 270 to 285
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v291_flataway_contract.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v290_z4_smooth_curvature_adversary.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v288_full_l2_subprincipal_z4.py
literal short identifier uniquely resolves in local script registry
- 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 v290_z4_smooth_curvature_adversary.py
literal source filename/path in TeX
- explicit file citation v291_flataway_contract.py
literal source filename/path in TeX