Deterministic Coupled battery Wh cubic-drag depletion vs worst-case mechanical-failure swim-back time (D_max / v_swim) * RMV_stress * P_amb <= V_usable_gas constraint engine (.json, .csv, .pdf) built for SUEX DPV, Seacraft, Gavin Scooters, GUE / TDI Tech — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…