Deterministic Lumped-element brass grouphead + thermosiphon loop transient enthalpy balance during idle stagnation, cooling flush & consecutive 9-bar extraction draws engine (.json, .csv, .pdf) built for La Marzocco, Lelit, ECM, Decent Espresso — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…