OptionalassumptionsOptionalexampleA minimal triggering example (IDS XML fragment) for the docs.
OptionalfixWhat the quick fix does, when the rule offers one.
static rules need no model; model rules are run by the model loop (P-05).
OptionaloptOff by default (noisy on real documents). The rule runs only when the
linter config enables it: LintOptions.rules names it, or
LintOptions.severity gives it a severity other than 'off'.
Long-form rationale, shown as Diagnostic.why and on the docs page.
OptionalreferencesUpstream references (IDS issues, documentation).
One-line title for tables and the docs index.
RAID assumptions the rule depends on, with how they were verified.