Deterministic Balanced-rigging buoyancy audit at 3m stop with 30-bar empty cylinders: B_suit_loft + B_tank_empty + B_backplate + W_gas_consumed + W_lead = 0 engine (.json, .pdf, .csv) built for Santi Diving, DUI Drysuits, Fourth Element Halo, Halcyon Dive Systems — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…