These are opinionated runbooks for common jobs-to-be-done.
make check
./scripts/dp review --jsonSuccess criteria:
make checkpassesreviewreturns"ok": true
Use when:
- You changed code and want local confidence before deeper validation.
make check
./scripts/dp verify --json
./scripts/dp enforce pre-commit --policy dp-policy.json --json
./scripts/dp enforce pre-push --policy dp-policy.json --jsonSuccess criteria:
- All commands return exit
0 - JSON outputs include
"ok": true
Use when:
- You are about to merge or push important changes.
- Capture concise requirements language.
- Run spec-agent workflow in your integration surface.
- Confirm generated artifacts include required level:
- Types
- Invariants
- Contracts
- Full proofs (when needed)
- Run verification gates.
Read more:
docs/spec/SPEC-20-typed-signatures.mddocs/spec/SPEC-22-proof-protocol.mddocs/spec/SPEC-27-fallback-extraction.md
- Re-run the exact failing command.
- Capture full output (no screenshots of terminal corners).
- Classify failure:
- Build/toolchain
- Test regression
- Governance policy failure
- Environment issue
- Apply targeted fix.
- Re-run complete gate sequence.
Then use:
Before handoff:
git statusmake check./scripts/dp verify --json- Commit with clear scope.
- Push.
- Ensure branch is up to date with remote.
Because nothing says "teamwork" like not leaving broken local-only miracles.
make claude-adapter-gateSuccess criteria:
VG-CLAUDE-ADAPTER-E2E-001passes- At least two scenario tests execute (guardrail against zero-test filter drift)
Use when:
- You changed
adapters/claude_code/* - You changed complexity signals, context externalization, or adapter mode logic
- You want evidence for observe/orient/decide/act behavior, not just unit plumbing
Read:
/Users/rand/src/loop/docs/user-guide/claude-code-adapter.md
Command lookup companion:
/Users/rand/src/loop/docs/reference/command-reference.md