verify
Manifest verification runner. Spawns parallel verifiers for Global Invariants and Acceptance Criteria. Called by /do, not directly by users.
Installation
Suivez les instructions du dépôt pour votre agent. Consultez les fichiers et dépendances avant l’installation.
Voir la source ↗GuidesInstructions
/verify - Manifest Verification Runner
Orchestrate verification of all criteria from a Manifest by spawning parallel verifiers. Report results grouped by type.
User request: $ARGUMENTS
Format: <manifest-file-path> <execution-log-path> [--scope=files]
If paths missing: Return error "Usage: /verify "
Principles
| Principle | Rule |
|---|---|
| Orchestrate, don't verify | Spawn agents to verify. You coordinate results, never run checks yourself. |
| ALL criteria, no exceptions | Every INV-G* and AC-. criterion MUST be verified. Skipping any criterion is a critical failure. |
| Maximize parallelism | Launch all verifiers in a SINGLE message with multiple Task tool calls. Never launch one at a time. |
| Globals are critical | Global Invariant failures mean task failure. Highlight prominently. |
| Actionable feedback | Pass through file:line, expected vs actual, fix hints. |
Verification Methods
| Type | What | Handler |
|---|---|---|
bash |
Shell commands (tests, lint, typecheck) | criteria-checker |
codebase |
Code pattern checks | criteria-checker |
subagent |
Specialized reviewer agents | Named agent (e.g., code-bugs-reviewer) |
research |
External info (API docs, dependencies) | criteria-checker |
manual |
Set aside for human verification | /escalate |
Note: criteria-checker handles any automated verification requiring commands, file analysis, reasoning, or web research.
Criterion Types
| Type | Pattern | Failure Impact |
|---|---|---|
| Global Invariant | INV-G{N} | Task fails |
| Acceptance Criteria | AC-{D}.{N} | Deliverable incomplete |
| Process Guidance | PG-{N} | Not verified (guidance only) |
Note: PG-* items guide HOW to work. Followed during /do, not checked by /verify.
Never Do
- Skip criteria (even "obvious" ones)
- Launch verifiers sequentially across multiple messages
- Verify criteria yourself instead of spawning agents
Outcome Handling
| Condition | Action |
|---|---|
| Any Global Invariant failed | Return all failures, globals highlighted |
| Any AC failed | Return failures grouped by deliverable |
| All automated pass, manual exists | Return manual criteria, hint to call /escalate |
| All pass | Call /done |
Output Format
Report verification results grouped by Global Invariants first, then by Deliverable.
On failure - Show for each failed criterion:
- Criterion ID and description
- Verification method
- Failure details: location, expected vs actual, fix hint
On success with manual - List manual criteria with how-to-verify from manifest, suggest /escalate.
On full success - Call /done.
Exemples
Consultez les exemples du dépôt source.
Voir la source ↗Historique source
- Date d’indexation
- 2026-01-20
- Mise à jour de l’index
- 2026-02-05
- Branch
- main
Les dates concernent ce répertoire. Consultez le dépôt pour l’historique du code.
GitHub ↗chat Comments (0)
Sign in to join the discussion and leave a comment.
No comments yet. Be the first to share your thoughts!