I1510 — Mezera, kterou audit nazývá plánovanou, jmenuje objekt plánu, který existuje
Zkontrolovat matici mezer v docs/COCKPIT_IDE_AUDIT.md proti plánu, aby řádek se stavem `planned` musel jmenovat existující úkol a řádek nemohl potichu tvrdit, že je naplánován, když ho nic neplánuje.
HOTOVO vlna 0 · p1 · profil implementation · bezpečné souběžně
Součást development-runtime — The runtime has a development surface.
Cíl
Zkontrolovat matici mezer v docs/COCKPIT_IDE_AUDIT.md proti plánu, aby řádek se stavem `planned` musel jmenovat existující úkol a řádek nemohl potichu tvrdit, že je naplánován, když ho nic neplánuje.
Proč
Matice auditu používá pevný slovník stavů, v němž `planned` vyžaduje objekt plánu, a jeho vlastní hledání klíčových slov IDE napříč úkoly a milníky nevrátilo nic — takže žádný řádek nebyl planned a práce v plánu nebyla vůbec. Tento negativní nález byl pravdivý, když byl napsán, a zůstal pravdivý, nepovšimnutý, celý den, protože dokument nic nečte. Znovu spuštěno na dnešním masteru před napsáním tohoto milníku, totéž hledání stále nevrátilo nic pro paletu, diff view, stav CI ani zvýraznění syntaxe. Dokument, který uvádí slovník stavů a nemá čtenáře, je dokument, jehož stavy driftují ve chvíli, kdy ho kdokoli upraví, což je třída jednostranné kontroly, kterou tento repozitář už několikrát zaplatil: vztah tvrzený jedním směrem s opačným směrem, který nikdo nevlastní.
Aktuální stav
Matice je próza. Její řádky `planned`, kterých nebylo žádných, na nic neodkazují. Nic si nevšimne, když stav řádku přestane odpovídat repozitáři, a nic si nevšimne, když je plánový objekt, na kterém řádek závisí, dokončen nebo zrušen.
Cílový stav
Kontrola čte matici a plán společně. Řádek označený `planned` jmenuje existující id úkolu; řádek, který jmenuje neexistující úkol, je selhání s oběma jmenovanými. O řádcích v jiných stavech se nic netvrdí, protože jsou tvrzeními o důkazech, ne o plánu.
Rozsah
- test/cases
- skripty
- docs/COCKPIT_IDE_AUDIT.md
Mimo rozsah
- Kontrola ostatních stavů. Zda je řádek skutečně canonical+implemented+verified, je otázka důkazů, na kterou odpovídá jeho jmenovaný test, ne něco, o čem může rozhodnout textová kontrola.
- Generování matice. Je to lidský argument o okamžiku a generovaná tabulka by ztratila úvahu, kvůli které stojí za čtení.
Závislosti
Žádné. Tento úkol je kořenem grafu.
Kritéria přijetí
- Řádek, jehož stav je planned a který nejmenuje žádný existující úkol, je hlášené selhání s uvedením řádku a chybějícího id
- Řádek jmenující existující úkol projde
- Kontrola běží ve vlastní sadě repozitáře jako testovací případ 194
Validace
- bash test/run.sh 194_audit_rows_are_planned
- bin/majordomus doctor
Požadované důkazy
- unplanned_row_is_refused
- check_is_in_the_suite
Důkazy
| pokrývá | typ | command | výsledek | u commitu |
|---|---|---|---|---|
| unplanned_row_is_refused | test | bash test/run.sh 194_audit_rows_are_planned 94_ci_plan | testy: 2 prošly, 0 selhalo; případ 194 pouští scripts/ci/audit-plan-check nad maticemi fixtur: plánovaný řádek pojmenovávající existující úkol projde, řádek pojmenovávající chybějící id selže jako MISSING s řádkem a id, řádek bez id selže jako UNPLANNED, neplánovaný řádek pojmenovávající chybějící id je ignorován (běh 2026-10-14 17:4xZ na master ff3829709616e638596315d6ca42be64b570b74f plus tato změna) | ff38297 |
| check_is_in_the_suite | test | scripts/ci/audit-plan-check; scripts/ci-plan --check | audit-plan je gate structure v .ai/repo/ci/gates.yaml, vybraný třídou audit-plan (audit, úkoly, skript, případ); na skutečném docs/COCKPIT_IDE_AUDIT.md: 0 plánovaných řádků z 66, rc 0; případ 194 je v sadě | ff38297 |
Riziko
Nízké. Past, kterou stojí za to pojmenovat, je kontrola, která čte prózu příliš horlivě a začne selhávat při redakční změně věty; musí se opírat o slovník stavů a id úkolu a ignorovat vše ostatní v řádku.
Časová osa
- zahájeno
- 2026-10-14T17:42:28Z
- ověřeno
- —
- dokončeno
- 2026-10-14T17:42: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/I1510.yaml. Přečtěte jej zpět pomocí majordomus plan show I1510.