plan-verifying-execution

Guides judging whether completed execution actually did what the plan said, by checking claims against the repository rather than against the checklist.