Deterministic Colligative Raoult/Leighton freezing-point depression curve (sucrose MW 342 vs dextrose MW 180 vs ethanol MW 46 molar weights) -> frozen-water fraction at -18C engine (.json, .pdf, .csv) built for Pacojet, Ninja Creami, Musso, Atago — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…