A snapshot: read at commit 707a04c7ce8 on 2026-10-18T00:06:01Z by majordomus 0.29.0. Nothing on this page is read again. See it live
majordomus rules proves
One test: every rule it proves, and the rules that would be left with none
What it is
read onlyOne test: every rule it proves, and the rules that would be left with none
- Identity
executable.rules.proves- Program
- executable
- Runs
- non interactive
- Requires
- repositorylayer
Where it appears
- Command line
majordomus rules proves- Workflow
just rules-proves- MCP tool
majordomus_rule_proves- HTTP
/api/v1/rules/proves- Declared in
apps/majordomus-cli/src/cli.rs- Capability
- rules.proves
Arguments
| argument | values from | required | help |
|---|---|---|---|
<ID> | yes | `suite:<case>`, `crate:<binary>`, or the path a rule names it with | |
--repo | — | Start the search for the repository root here (default: the current directory) | |
--discovery | — | How declarative files are enumerated | |
--strict | — | Refuse to proceed when any file of the layer carries an error diagnostic | |
--share | — | The tool distribution's share directory (kinds.yaml, schemas/); default: $MAJORDOMUS_SHARE, then the repository's own share/, then the one beside the executable | |
--format | — | Output shape |