Přeskočit na obsah

Tato stránka byla automaticky přeložena z angličtiny, jediného jazyka, ve kterém se tento web píše. Číst originál.

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átypcommandvýsledeku commitu
unplanned_row_is_refusedtestbash test/run.sh 194_audit_rows_are_planned 94_ci_plantesty: 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_suitetestscripts/ci/audit-plan-check; scripts/ci-plan --checkaudit-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.

Prohledává názvy a popisy všech stránek, které tento web publikuje.