Deterministic Nonlinear least-squares circle fit on 2D GPS velocity vector (V_g - W = V_TAS * u_heading) + Bernoulli dynamic pressure q = 0.5*rho_alt*V_TAS^2 ratio engine (.bin, .ulg, .csv, .gpx) built for Matek Systems, Sensirion SDP3X, Holybro, ArduPlane — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…