Bound the Diff Before You Spend a Model Call on an Agent Patch

An agent patch is a cost event before it is a correctness event. If the diff is unbounded, a...