Deterministic Slider-crank kinematics (stroke S = 2 * R_tiller * sin(theta_max)) + cosine thrust efficiency at hard-over & ISO 11592 hard-over time check engine (.json, .dxf, .pdf) built for Raymarine Evolution, B&G NAC-3, Garmin Reactor, Lecomble & Schmitt — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…