Deterministic Radial cylindrical conduction R = ln(r2/r1)/(2*pi*k) + sensible cooling to 0°C + Stefan phase-change latent fusion plateau (333.5 kJ/kg) engine (.pdf, .json, .csv) built for nVent Raychem, DEVI, Armaflex, Thermaflex — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…