I0703 — Implementovat rozhodnutí a prokázat, že platí
Implementovat, co rozhodl I0702, napříč všemi příkazy, které zapisují trvalý záznam, a charakterizační případ změnit na případ, který ověřuje nové chování.
PŘIPRAVENO vlna 2 · p1 · profil debugging · běží samostatně
Součást M002 — A durable record names the worker that wrote it.
Připraveno. Všechny závislosti jsou hotové, takže majordomus plan start I0703 bude přijato.
Cíl
Implementovat, co rozhodl I0702, napříč všemi příkazy, které zapisují trvalý záznam, a charakterizační případ změnit na případ, který ověřuje nové chování.
Proč
Vada je opravena, když případ, který ji reprodukoval, přejde z popisu mezery na popis záruky. Cokoli méně nechává dalšího pracovníka neschopného poznat, ve kterém z obou je kód.
Aktuální stav
Volba je zaznamenána. decision, checkpoint a question stále řeší aktivní úlohu z checkoutu a případ to stále ověřuje.
Cílový stav
Každý příkaz, který zapisuje trvalý záznam, následuje rozhodnutí, případ tvrdí nové chování a odmítnutí — je-li to, co bylo zvoleno — jmenuje pravidlo, které odmítlo, a co spustit místo toho.
Rozsah
- lib
- podíl
- test/cases
Mimo rozsah
- Jakékoli chování, které rozhodnutí nezvolilo
Závislosti
Co na tom čeká
Kritéria přijetí
- Pokryt je každý příkaz, který zapisuje trvalý záznam, ne jen decision
- Případ z I0701 ověřuje záruku, ne mezeru
- Odmítnutí jmenuje pravidlo a příkaz, který ho řeší
- Pokud je pravidlo vynucováno, je deklarováno v share/doctrines.yaml a doctor dokazuje, že dosáhne svého příkazu
Validace
- bash test/run.sh
- bin/majordomus doctor
Požadované důkazy
- sada testů
- doctor
Důkazy
Nic nezaznamenáno. Za každým tokenem výše musí stát příkaz nebo artefakt, než lze tento úkol dokončit; vyprávění se odmítá.
Riziko
Tři příkazy sdílejí tuto cestu rozlišení; oprava jednoho a ne ostatních nechá vadu, která vypadá opravená, což je horší než ta, která vypadá rozbitá.
Časová osa
- zahájeno
- —
- ověřeno
- —
- dokončeno
- —
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/I0703.yaml. Přečtěte ho zpět pomocí majordomus plan show I0703.