{"ok":true,"type":"DETERMINISM","plan":"plan_pump_sizing","runs":20,"variance":0.0,"identical_bits":true,"sample_result":0,"verdict":"IEEE-754 exact: all runs produce identical bit patterns"}