verifiable-goal-looplisted
Install: claude install-skill fagemx/edda
# Verifiable Goal Loop
Turn an ambiguous or long-running objective into an operating loop with external state and objective stop conditions. This skill is domain-agnostic: learning is one profile, not the whole method.
## Core Contract
Create or maintain these files:
1. `goal.md` - stable objective, scope, constraints, and definition of done.
2. `state.md` - current cycle, next action, decisions, blockers, and latest verification result.
3. `index.md` - durable progress ledger, cycle metrics, and change history.
4. `backlog.md` - prioritized work items with deliverables and status.
5. `oracles.md` - verification strategy, adversarial checks, and human judgment points.
6. `verifier.md` - objective checks for stopping, advancing, or asking for help.
7. `active-goal.md` - the current `active goal run` prompt to run, generated from project state.
8. `control.md` - autonomy mode, command router, skill/tool routing, and stop policy.
9. `evidence/` - concrete artifacts proving progress.
For large or ambiguous work, also maintain:
- `questions.md` - open questions, assumptions, challenges, and user decisions.
- `requirement-coverage.md` - P0/P1 requirement matrix with answer, assumption, blocker, owner, and evidence status.
- `stage-plan.md` - staged delivery plan and stage gates.
- `reviews/` - stage reviews and drift audits.
- `reviews/adversarial-review-YYYY-MM-DD.md` - independent questioning by at least three named reviewers before stage completion.
- `verifier-change-requ