Verification-Gated Risk Transitions