I1020 — Zdraví grafu zodpovídá doctor, který už odpovídá na všechno ostatní

✕BLOKOVÁNO vlna 4 · 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

Přidat diagnostiku grafu do stávajícího povrchu health a doctor: graf se sestaví, identity jsou jedinečné, vztahy se řeší, projekce jsou synchronní, požadovaná dokumentace a ověření jsou přítomné a nic nebezpečného není vystaveno.

Proč

Repozitář má jedno místo, které odpovídá, zda je to, co obsluhuje, zdravé, a každá kontrola tam deleguje na engine, který o tom rozhoduje. Druhý diagnostický povrch pro graf by byl druhý názor.

Aktuální stav

Schopnost health agreguje diagnostiku indexu, pokrytí měření výkonu a zastaralost projekcí.

Cílový stav

Verdikty grafu se k nim připojují, vypočtené, ne tvrzené, ve stejném strojově i lidsky čitelném výstupu.

Rozsah

• apps/majordomus-cli/src/capability/builtin/health.rs

Mimo rozsah

• Samostatný diagnostický skript nebo příkaz pro Cockpit
• Kontrola, která přepočítává verdikt, jejž už vyrábí jiný motor

Závislosti

• I1002✓HOTOVO Relace jsou typované, odvozené ze stabilních identit a nikdy nevisí do prázdna
• I1007○PŘIPRAVENO Web vykresluje stejný graf, vygenerovaný jednou

Co na tom čeká

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

Kritéria přijetí

• Kontroly pokrývají platnost grafu, jedinečnost identit, rozlišení vztahů, čerstvost projekcí, požadovanou dokumentaci a přítomnost ověření a nepřítomnost nebezpečných metadat
• Každé uváděné číslo je vypočteno, ne uvedeno
• Výstup je strojově i lidsky čitelný ve stávajících tvarech
• Každá kontrola deleguje na engine, který o tom už rozhoduje

Validace

• bin/majordomus doctor
• cargo test --workspace --all-features

Požadované důkazy

• doctor_integrated
• numbers_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

Sestavení celého grafu uvnitř blokující kontroly zpomalí pre-commit hook natolik, že se bude obcházet, což doktrína výkonu už odmítá. Jeho cena se měří proti tomuto rozpočtu.

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