Deterministic Mixed-Integer Min-Max simultaneous peak phase partitioning over time-series current vectors + neutral vector sum I_N check engine (.csv, .json, .pdf) built for Shelly Pro 3EM, ABB, Hager, Schneider Electric — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…