majordomus evidence show
Každé tvrzení proti zaznamenaným důkazům
majordomus evidence show
Použití
majordomus evidence show [OPTIONS]Argumenty
| argument | hodnota | vý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
|
| --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)
|
| --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)
|
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 jsonCo 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 HEADCo 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.