Deterministic Nonlinear constant-power differential equation C * dV_c/dt = -P / (eta(I) * V_term) with quadratic terminal relation V_term^2 - V_c*V_term + (P*ESR/eta) = 0 engine (.json, .csv) built for Kyocera AVX, Eaton Bussmann, Skeleton Technologies, Analog Devices LTC3350 — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…