2712 — Evans Forcing Residual Is the Oscillatory Separation Transform
For (z=a+it), the doubled forcing residual of the boundary-control Evans system is
where
is the positive source-separation measure. The hyperbolic factor has the correct half-plane orientation, but the cosine is oscillatory and has no sign for a generic positive measure.
Thus the Evans, curvature, and mixed-sheet Green lanes are three presentations of the same invariant. Their agreement is one piece of evidence. The remaining theorem must use modular structure special to the completed theta separation measure; a positive two-atom measure is already a hostile falsifier to any generic positivity argument.
Durable verification
- Packet:
research/grothendieck/theta-evans-forcing-residual-is-the-oscillatory-separation-transform.md - Ledger allocation:
seqclaim-5ed494f1501efcd8f836bc77. - Epistemic graph event:
ev-000000004132-5ae81bc5-9bab-46db-8124-23b378eafe18. - Nima and Kitaev received the invariant-collapse result.
- No build, commit, or push was run.