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.

majordomus evidence show

Každé tvrzení proti zaznamenaným důkazům

majordomus evidence show

Použití

majordomus evidence show [OPTIONS]

Argumenty

argumenthodnotavýchozípopis
--state <STATE> — Pouze tvrzení v tomto stavu důkazu (proven, inputs_unchanged, stale, failing, not_run, unrunnable, no_test)
--status <STATUS> — Pouze tvrzení deklarující tento stav (guaranteed, advisory, planned, rejected)
--findings flag — Jen tvrzení, jejichž deklarovaný status důkazy nepodporují
--check flag — Exit 10, když tvrzení deklaruje záruku, kterou důkazy nepodporují
--presented <REV> — Posoudit na vybraném commitu tak, jak je commitnut (HEAD nebo jakékoli jeho jméno), z knihy, kterou ten commit drží, místo pracovního stromu
--presented-tree clean | dirty | unknown — Co víte o stromu předloženého commitu (čistý, špinavý, neznámý); může jen zeslabit změřený stav
  • clean — Nic, co znáte: platí změřený stav
  • dirty — Build nepochází z commitu tak, jak byl commitnut; nic se nečte jako dokázané
  • unknown — Nemůžete říct, zda to udělalo; nic se nečte jako dokázané
--repo <PATH> — Zde začne hledání kořene repozitáře (výchozí: aktuální adresář) (přijímá každý podpříkaz)
--discovery vcs | filesystem vcs Jak se vyhledávají deklarativní soubory (přijímá každý podpříkaz)
  • vcs — Sledované soubory přes index správy verzí (kontrakt vrstvy); vrstva, z níž není nic sledováno, se čte z pracovního stromu
  • filesystem — Průchod pracovním stromem se stejnou sémantikou glob; zahrnuje nesledované soubory
--strict flag — Odmítne pokračovat, pokud kterýkoli soubor vrstvy nese diagnostiku typu chyba (přijímá každý podpříkaz)
--share <DIR> — Adresář share distribuce nástroje (kinds.yaml, schemas/); výchozí: $MAJORDOMUS_SHARE, poté vlastní share/ repozitáře, poté ten vedle spustitelného souboru (přijímá každý podpříkaz)
--format text | json text Tvar výstupu (přijímá každý podpříkaz)
  • text — Řádky pro člověka
  • json — Jeden dokument JSON, deterministický

Příklady

  • Celé spojení jako jeden dokument

    Stejná odpověď, jakou vrací `GET /api/v1/evidence` a nástroj MCP `majordomus_evidence`: každé tvrzení se stavem důkazu, větou, která vysvětluje, jak byl tento stav odvozen, provedením za ním, soubory, které se od té doby změnily, a příkazem, který důkaz vyrobí znovu. Součty počítají celou matici i při filtrovaných tvrzeních, takže zúžená odpověď nikdy nezkreslí, kolik z ní bylo prozkoumáno.

    $ majordomus evidence show --format json

    Co tvrdí: skončí s kódem 0; vypíše jeden dokument JSON obsahující /claims, /totals, /ledger/path, /findings.

    Testuje apps/majordomus-cli/tests/cli_examples.rs, který spouští příkaz nad sestaveným programem a ověřuje, co stránka uvádí.

  • Checkoutnutý commit, posuzovaný tak, jak je commitnutý

    Čtení, které potřebuje web sestavený z tohoto commitu: každé tvrzení posouzené podle knihy, kterou drží commit, a ne pracovní strom, vůči vlastnímu stromu commitu a změřené bez pracovní kopie knihy. První řádek uvádí, co bylo posuzováno. Běh, který pracovní kniha drží a kniha commitu ne, může jen odepřít `proven` a je pojmenován, pokud existuje; revize jiná než checkoutnutý commit se odmítne.

    $ majordomus evidence show --presented HEAD

    Co tvrdí: skončí s kódem 0; vypíše judged at, as committed.

    Testuje apps/majordomus-cli/tests/cli_examples.rs, který spouští příkaz nad sestaveným programem a ověřuje, co stránka uvádí.

Odkud to pochází

Deklarováno jednou v apps/majordomus-cli/src/cli.rs: clap pro strukturu, typovaná metadata v Rustu vedle něj pro příklady. Tato stránka, majordomus evidence show --help, docs/generated/cli.md a docs/generated/cli.json jsou projekce této jediné deklarace.

Celá příkazová řádka na jedné stránce: stránka příkazové řádky registru. Životní cyklus úlohy (init, start, finish, doctor, ...) patří nástroji shell, jinému programu: Příkazy a jeho specifikace.

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