Characterization Tests Are Not Enough: Add a Diff-Budget Guard

Characterization Tests Are Not Enough: Add a Diff-Budget Guard Two failure modes kill a...