Skip to content

Config — mimus.toml ​

Top level ​

fieldtyperequirednotes
sourcesSourcesCfgoptional—
checkCheckCfgoptional—
rulesRulesCfgoptional—
reportReportCfgoptional—

[sources] ​

fieldtyperequirednotes
docslistoptionalDoc glob patterns mined for claims.
commentsbooloptionalExtract claims from code comments too.
cardsstringoptionalGlob for memory cards to audit (empty = skip).

[check] ​

fieldtyperequirednotes
mechanicalbooloptionalMechanical tier — deterministic, CI-gateable.
semanticbooloptionalSemantic tier — advisory only, can never gate.
kuda_indexpathoptionalkuda index path for the symbol checker.
acp_cmdstringoptionalACP agent command for the semantic checker (e.g. "cline --acp"). Semantic tier is advisory only.
base_dirsVec<PathBuf>optionalExtra repo-relative roots path claims resolve against — for docs that reference paths relative to a component root (e.g. "infrastructure/postgres").
kindsVec<ClaimKind>optionalOnly check claims of these kinds (empty = all).
ignore_prefixeslistoptionalSkip claims whose text starts with any of these prefixes.
binarieslistoptionalTool prerequisites the repo declares — commands invoking these skip the PATH probe (docs may legitimately require tools the checker's machine lacks).

[rules] ​

fieldtyperequirednotes
dirpathoptionalDir of *.toml rule files.
strictbooloptionalRule violations also fail check (not just report).

[report] ​

fieldtyperequirednotes
formatstringoptional"human" | "json".
min_confidencestringoptionalSuppress low-evidence findings ("high" | "all").

Constraints ​

  • queue = "all" rejects cancel_running = true at load — killing a run would silently drop a promised commit.
  • runner.kind and trigger.kind/status.kind resolve to impl crates; unknown kinds fail at mimus doctor/startup.
  • deny_unknown_fields: typos in field names fail the load.