Coq

Requiring a reproduction path stops a review agent from quadrupling the feature

In one developer's fully automated implement-and-review loop, a 1,000-line feature came back at over 4,000 because reviewer findings needed no evidence. Forcing each finding into a failure scenario cut what the implementer had to fix.