I1010 — Přehled je to, co existuje, spočítané, ne tvrzené

○PŘIPRAVENO vlna 3 · p1 · profil implementation · bezpečné paralelně

Součást capability-graph — Jeden graf schopností, dvě projekce a žádný druhý inventář toho, co tento repozitář umí.

Cíl

Generovat přehled Cockpitu a jeho souhrnná čísla z grafu a sekci ukázat jen tehdy, když repozitář takový druh věci skutečně drží.

Proč

Dashboard s nadpisy pro věci, které neexistují, učí čtenáře mu nedůvěřovat a ručně udržovaná čísla jsou do týdne špatně. Oba problémy zmizí, když je přehled dotaz.

Aktuální stav

Cockpit vykresluje stránky odvozené z registru a indexu. Přítomnost sekcí a jakékoli počty se rozhodují v kódu.

Cílový stav

Sekce se objevují, protože jejich druh má členy, počty se počítají a nový druh věci se objeví bez přepisování přehledu.

Rozsah

• apps/majordomus-cli/src/cockpit/pages.rs

Mimo rozsah

• Číslo zadané člověkem kdekoli v rozhraní
• Nadpis vykreslený pro druh bez členů

Závislosti

• I1005✓HOTOVO Graf je generovaný artefakt se schématem a bez nebezpečného pole

Co na tom čeká

• I1030✕ZABLOKOVÁNO Milník se přijímá na základě svých důkazů

Kritéria přijetí

• Sekce jsou přítomny jen tehdy, když příslušný druh má členy
• Každé zobrazené číslo se počítá z grafu při sestavení nebo při požadavku
• Druh přidaný do vrstvy se objeví v přehledu bez změny vlastního kódu přehledu
• Počty na stránce odpovídají artefaktu, což dokazuje test

Validace

• cargo test --workspace --all-features
• bash test/run.sh

Požadované důkazy

• sections_derived
• counts_computed

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

Počty na stránce jsou přesně to, kvůli čemu existuje pravidlo repozitáře proti číslům v próze. Počítají se a vykreslují, nikdy se nepíší.

Č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/I1010.yaml. Přečtěte ho zpět pomocí majordomus plan show I1010.