I0010 — Behavioural tests for schema, status, graph and command
Prove each rule of the model with a case that fails when the rule is removed, in a disposable repository, the way every other rule here is proven.
DONE wave 4 · p0 · debugging profile · parallel safe
Part of M000 — Milestone and DAG driven development.
Objective
Prove each rule of the model with a case that fails when the rule is removed, in a disposable repository, the way every other rule here is proven.
Why
The repository forbids a capability sentence without a test behind it. The model makes several capability sentences.
Current state
No test touched the model.
Desired state
Cases cover the schema, status derivation, the graph, the waves, the command surface and the doctrine wiring.
Scope
- test/cases
Out of scope
- Property-based testing frameworks
Dependencies
What waits on this
Acceptance criteria
- A duplicate id, an unknown dependency, a self-dependency and a cycle each have a negative case
- READY, BLOCKED, ACTIVE, VERIFY and DONE each have a case
- Wave assignment has a case with a diamond dependency
- Every case runs in a disposable repository, never against this checkout
Validation
- bash test/run.sh
Evidence required
- suite
Evidence
| covers | type | command | result | at commit |
|---|---|---|---|---|
| suite | test | bash test/run.sh | every case in test/cases passed and none failed, each in a disposable repository | 05423af |
Risk
Low
Timeline
- started
- 2026-09-04T03:33:05Z
- verified
- 2026-09-04T05:14:43Z
- completed
- 2026-09-04T05:14:45Z
Those three fields, the evidence above and the state of the dependencies are all the status is made of. There is no status field to disagree with them.
Canonical record: .ai/repo/project/issues/I0010.yaml. Read it back with majordomus plan show I0010.