When Does Verification Quality Determine Whether AI Automation Works?

Verification-quality ladder from Lean/formal proof search through software CI and vulnerability reproduction; autonomy should rise only to the level the verifier can support