DEFINITION
Proof Loop
Proof Loop Verification Protocol
Definition
A lightweight protocol helper for AI agent tasks that enforces acceptance criteria verification before task completion. It maintains separation between builder and verifier roles, tests each criterion with explicit PASS/FAIL/UNKNOWN results, attaches evidence of completion, and persists proof bundles in repositories for inspection by subsequent agent runs.
Examples in the Wild
- Example 1:Setting acceptance criteria before Claude Code implementation
- Example 2:Testing each criterion and recording PASS/FAIL/UNKNOWN
- Example 3:Attaching evidence files to proof bundle
- Example 4:Inspecting prior proof bundles to avoid redundant work