Proof your code meets the requirements, not more.
Verifies that existing project work meets acceptance conditions and reports the evidence without expanding scope.
When to use it
Use for validation-only tasks, completion checks, focused gate runs, and last-mile proof.
Give it existing project work and acceptance conditions; it returns verification commands, results, and unresolved risks, stopping once proof is complete.
What you provide
No setup requirements listed.
No additional actions listed.