I0010 — Behaviorální testy schématu, stavu, grafu a příkazu
Dokázat každé pravidlo modelu případem, který selže, když se pravidlo odstraní, v jednorázovém repozitáři, tak jako je dokázáno každé jiné pravidlo tady.
HOTOVO vlna 4 · p0 · profil debugging · bezpečné paralelně
Součást M000 — Vývoj řízený milníky a DAG.
Cíl
Dokázat každé pravidlo modelu případem, který selže, když se pravidlo odstraní, v jednorázovém repozitáři, tak jako je dokázáno každé jiné pravidlo tady.
Proč
Repozitář zakazuje větu o schopnosti bez testu za ní. Model činí několik vět o schopnostech.
Aktuální stav
Žádný test se modelu nedotkl.
Cílový stav
Případy pokrývají schéma, odvození stavu, graf, vlny, povrch příkazů a zapojení doktríny.
Rozsah
- test/cases
Mimo rozsah
- Frameworky pro property-based testování
Závislosti
Co na tom čeká
Kritéria přijetí
- Duplicitní id, neznámá závislost, závislost sama na sobě a cyklus mají každé negativní případ
- READY, BLOCKED, ACTIVE, VERIFY a DONE mají každý svůj případ
- Přiřazení vln má případ s diamantovou závislostí
- Každý případ běží v jednorázovém repozitáři, nikdy proti tomuto checkoutu
Validace
- bash test/run.sh
Požadované důkazy
- sada testů
Důkazy
| pokrývá | typ | command | výsledek | u commitu |
|---|---|---|---|---|
| sada testů | test | bash test/run.sh | každý případ v test/cases prošel a žádný neselhal, každý v jednorázovém repozitáři | 05423af |
Riziko
Nízká
Časová osa
- zahájeno
- 2026-09-04T03:33:05Z
- ověřeno
- 2026-09-04T05:14:43Z
- dokončeno
- 2026-09-04T05:14:45Z
Tato tři pole, důkazy výše a stav závislostí jsou vše, z čeho se stav skládá. Neexistuje žádné pole stavu, které by s nimi mohlo být v rozporu.
Kanonický záznam: .ai/repo/project/issues/I0010.yaml. Načtěte jej zpět pomocí majordomus plan show I0010.