Deterministic IEC 60079-25 intrinsic-safety entity-parameter inequalities (Uo<=Ui, Io<=Ii, Po<=Pi, Ci+C_c<=Co, Li+L_c<=Lo) + mixed lumped L/C 50% rule & L_c/R_cspark ratio check engine (.json, .csv, .pdf) built for Pepperl+Fuchs, MTL Instruments (Eaton), Turck, Stahl — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…