Deterministic Multi-harmonic notch transfer-function cascade H_notch(j*omega) + open-loop attitude controller phase/gain margin Bode verifier engine (.bin, .log, .param) built for ArduPilot, CubePilot Cube Orange, Holybro Pixhawk, Hobbywing X-Rotor — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…