emeryberger merged emeryberger/SnakeLean#40 · July 13, 2026 15:09 fuzz: sample the value domain and the named-operator domain #40 MotivationF36 (#39) — a silent wrong answer in truncated Int division above 2^53 — survived two clean 5000-seed campaigns. Both blind spots that h… +100 -11