Verification-Gated Value Decisions