Deterministic Langelier Boiler Saturation Index at 125C steam temp + triprotic citric vs sulfamic acid Ca2+ solubility product K_sp(T) & brass dezincification/lead guard engine (.pdf, .json, .csv) built for La Marzocco, BWT, Urnex Dezcal, Gaggenau — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…