| name | verify |
| description | Phase 4 verification — lint check then full dual-backend build verification |
| user-invocable | true |
| allowed-tools | ["Read","Bash"] |
| context | ["!cat VERSION 2>/dev/null"] |
Phase 4: Verify
Run the full verification pipeline and report results.
- Run
make lint first for a fast warning check.
- Run
make verify to build both backends and check all expected binaries.
- If any step fails, follow the Error Recovery Loop from AGENTS.md:
- Observe: Read the full error output. Identify the error type
(compiler, linker, binary missing, runtime crash, timeout).
- Diagnose: Find the single root cause. Fix the first error; later
errors often cascade from it.
- Repair: Make the minimal fix for the root cause.
- Re-verify: Run
make lint, then re-run the failed command.
- Document: Note any non-obvious constraint discovered.
- Report the final status clearly.
Do NOT declare success until make verify passes cleanly.