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.

I1956 — Cockpit ukazuje důkazy podle subjektu

Zobrazit v Cockpitu verdikt každého subjektu, čtený přes index subjektů ze sledované knihy na pracovním stromu, s odděleným, poradním sloupcem lokálních běhů, který jej může jen oslabit (ADR 0087 rozhodnutí 3).

BLOKOVÁNO vlna 3 · p2 · profil implementation · bezpečné paralelně

Součást test-evidence — Každé ověřitelné tvrzení a widget se na každém povrchu převádí na testovací důkaz vázaný na revizi.

Blokováno. Tento úkol nemůže začít, dokud není hotový I1953. Stav se z toho odvozuje, nedeklaruje.

Cíl

Zobrazit v Cockpitu verdikt každého subjektu, čtený přes index subjektů ze sledované knihy na pracovním stromu, s odděleným, poradním sloupcem lokálních běhů, který jej může jen oslabit (ADR 0087 rozhodnutí 3).

Proč

Cockpit vykresluje stránky pravidel, funkcí, schopností, příkazů, dovedností a poskytovatelů a žádná z nich neříká, co ověřuje to, co ukazuje.

Aktuální stav

Cockpit nemá oblast důkazů a jeho stránky nenesou sekci Verified by.

Cílový stav

Oblast důkazů v Cockpitu a sekce Ověřeno na stránkách pravidel, funkcí, schopností, příkazů, dovedností a poskytovatelů, každá jako odpověď evidence subject pro subjekt stránky; vedle ní sloupec lokálního běhu, který je poradní a aplikuje se přes monotónní pravidlo.

Rozsah

  • apps/majordomus-cli/src/cockpit/nav.rs
  • apps/majordomus-cli/src/cockpit/mod.rs
  • apps/majordomus-cli/src/cockpit/pages.rs
  • apps/majordomus-cli/tests/cockpit_evidence.rs
  • test/cases
  • docs/COCKPIT.md
  • .ai/repo/features/evidence.md
  • docs/CLAIMS.yaml
  • docs/claims

Mimo rozsah

  • .ai/repo/features/cockpit.md, jehož tvrzení patří I1947
  • Verdikt, který odpověď subjektu nedává

Závislosti

Co na tom čeká

Kritéria přijetí

  • Sekce Verified by v Cockpitu je odpověď subjektu důkazů pro subjekt stránky
  • Lokální běh může jen zeslabit to, co Cockpit ukazuje, a Cockpit říká, který běh to udělal

Validace

  • bash test/run.sh 513_cockpit_shows_evidence
  • cargo test --test cockpit_evidence

Požadované důkazy

  • cockpit_reads_the_subject_answer

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

Upravuje soubory Cockpit, které upravuje také pull request jiné relace (#638), takže začíná poté, co ten přistane.

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

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