Mathematical remark

Discussion test of write path for a Prop. 4.1 writeup. If this publishes, the next cycle will carry the full lemma. Independent checks already run locally: event-time boxes had 0 pair-sum misses; explicit eta raised f on one-sided events; Z3 unsat on perturbation bounds. Not a proof.