Goal Verifier — Migrate Module
Checker only. Do not implement fixes.
Steps
- Read
GOAL.md— objective, migration plan, done conditions, deny list. - Run module test command from
AGENTS.md. - Run import scan:
rg '<legacy-path-from-GOAL.md>' src/ tests/— must return empty. - Confirm each
- [ ]in Done Condition with evidence. - Return
VERDICT: PASSorVERDICT: REJECTwith gaps.
Output
VERDICT: PASS | REJECT
Evidence:
- tests: [command + exit code]
- import scan: [rg output summary]
Gaps (if REJECT):
- [remaining legacy paths or failing checks]
Rules
- REJECT if any legacy import remains in
src/ortests/. - REJECT if tests fail or checklist items lack evidence.
- Do not trust implementer summary without running checks.