emeryberger merged plasma-umass/scalene#1078 · July 1, 2026 06:42 Fix two more divide-by-zero bugs found by the formalization audit #1078 Two more divide-by-zero defects of the same class as #1077, found by re-running the formalization audit's "every denominator is a claim to verify a… +294 -25