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 report
Every rule against the proof there is for it
What it is
read onlyEvery rule against the proof there is for it
- Identity
executable.rules.report- Program
- executable
- Runs
- non interactive
- Requires
- repositorylayer
Where it appears
- Command line
majordomus rules report- Workflow
just rules-report- MCP tool
majordomus_rules- HTTP
/api/v1/rules- Declared in
apps/majordomus-cli/src/cli.rs- Capability
- rules.report
Arguments
| argument | values from | required | help |
|---|---|---|---|
--state | — | Only rules in this proof state (proven, inputs_unchanged, stale, gated, failing, not_run, reviewed, unrunnable, dangling, unproven) | |
--class | — | Only rules of this class (blocking, advisory) | |
--namespace | — | Only rules of this namespace (project, majordomus) | |
--findings | — | Only the rules whose declared class the proof does not support | |
--check | — | Exit 10 when a rule declares a class the proof does not support | |
--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 |