---
description: Verify changes, gates, and outputs with smallest relevant proof
argument-hint: [what to verify]
---

Run the smallest relevant verification, check artifacts and policy expectations, report verified vs unverified clearly, and end with one next step. Prefer installed prompts/extensions before installing new tools.