majordomus rules proves
Jeden test: každé pravidlo, které dokazuje, a pravidla, která by zůstala bez něj
majordomus rules proves
Použití
majordomus rules proves [OPTIONS] <ID>Argumenty
| argument | hodnota | výchozí | popis |
|---|---|---|---|
| <ID> | <ID> | povinné | `suite:<case>`, `crate:<binary>` nebo cesta, kterou ji pojmenovává pravidlo |
| --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
-
Co případ dokazuje a co by přišlo o svůj jediný důkaz
Opak `rules show`, čte totéž odvození, takže se oba směry nemohou rozcházet. Jmenuje každé pravidlo, které jmenuje tento test, a zvlášť pravidla, která by zůstala bez jakéhokoli důkazu, kdyby byl smazán — otázka, kterou položit před přejmenováním případu, a taková, kterou nešlo položit, dokud relace šla jen jedním směrem.
$ majordomus rules proves test/cases/125_rule_proof.sh --format jsonCo tvrdí: skončí s kódem 0; vypíše jeden JSON dokument obsahující /proves, /sole_proof_of, /path.
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 rules proves --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.