Config — mimus.toml
Top level
| field | type | required | notes |
|---|---|---|---|
sources | SourcesCfg | optional | — |
check | CheckCfg | optional | — |
rules | RulesCfg | optional | — |
report | ReportCfg | optional | — |
[sources]
| field | type | required | notes |
|---|---|---|---|
docs | list | optional | Doc glob patterns mined for claims. |
comments | bool | optional | Extract claims from code comments too. |
cards | string | optional | Glob for memory cards to audit (empty = skip). |
[check]
| field | type | required | notes |
|---|---|---|---|
mechanical | bool | optional | Mechanical tier — deterministic, CI-gateable. |
semantic | bool | optional | Semantic tier — advisory only, can never gate. |
kuda_index | path | optional | kuda index path for the symbol checker. |
acp_cmd | string | optional | ACP agent command for the semantic checker (e.g. "cline --acp"). Semantic tier is advisory only. |
base_dirs | Vec<PathBuf> | optional | Extra repo-relative roots path claims resolve against — for docs that reference paths relative to a component root (e.g. "infrastructure/postgres"). |
kinds | Vec<ClaimKind> | optional | Only check claims of these kinds (empty = all). |
ignore_prefixes | list | optional | Skip claims whose text starts with any of these prefixes. |
binaries | list | optional | Tool prerequisites the repo declares — commands invoking these skip the PATH probe (docs may legitimately require tools the checker's machine lacks). |
[rules]
| field | type | required | notes |
|---|---|---|---|
dir | path | optional | Dir of *.toml rule files. |
strict | bool | optional | Rule violations also fail check (not just report). |
[report]
| field | type | required | notes |
|---|---|---|---|
format | string | optional | "human" | "json". |
min_confidence | string | optional | Suppress low-evidence findings ("high" | "all"). |
Constraints
queue = "all"rejectscancel_running = trueat load — killing a run would silently drop a promised commit.runner.kindandtrigger.kind/status.kindresolve to impl crates; unknown kinds fail atmimus doctor/startup.deny_unknown_fields: typos in field names fail the load.