I0011 — Konzistence napříč povrchy a mutační testy

Dokázat, že CLI, generovaná data webu a projekce na GitHub popisují tentýž graf a že změna jedné kanonické závislosti změní všechny.

HOTOVO vlna 6 · p0 · profil ladění · běží samostatně

Cíl

Dokázat, že CLI, generovaná data webu a projekce na GitHub popisují tentýž graf a že změna jedné kanonické závislosti změní všechny.

Jeden engine je tvrzení. Test, který porovnává povrchy, je jediné, co ho po další změně udrží pravdivým.

Každý povrch byl testován sám o sobě.

Případ porovnává množinu úkolů, množinu READY a množinu hran napříč plochami a druhý případ změní závislost a ověří, že se pohnula každá plocha.

Počet kanonických úkolů se rovná počtu v CLI, rovná se počtu v datech webu a rovná se počtu projekcí
Kanonická množina READY se rovná množině READY v CLI, která se rovná množině READY v datech webu
Kanonické hrany se rovnají hranám Mermaid a rovnají se hranám dat webu
Přidání jedné závislosti změní stav, vlny, Mermaid a data webu společně

pokrývá	typ	command	výsledek	u commitu
cross_surface	test	bash test/run.sh 46_cross_surface	1 prošel — CLI, výstup JSON, diagram Mermaid, projekce GitHub a čerstvě vygenerovaný soubor dat webu se shodují na množině úkolů, množině READY, množině hran a dalším připraveném úkolu, napříč samostatnými procesy	05423af
mutace	test	bash test/run.sh 47_mutation	1 prošel — každá kanonická mutace, kterou případ provádí, pohne každým povrchem: přidaná hrana, dokončená závislost, smazaný záznam důkazu, změna jen v próze a vyvolaný cyklus dosahující plan validate, doctor a watch	05423af

Nízká

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/I0011.yaml. Načtěte ho zpět pomocí majordomus plan show I0011.