verify-or-abstain
Prove AI-written code, refute it with the exact failing input, or honestly abstain. Never guesses. Runs locally.