Wind isn't a footnote here — it's a dimension of the proof domain. The inductive step is checked against an adversarial ±2 m/s² gust on every axis, every tick. The brake-travel fence inset — 10 m…