Module checks 

Compiled constraint checks: forbid [<edge-kind>] from <sel> to <sel> and forbid dep <pkg> [<ver>], where a selector is <glob over repo/path>[::<glob over name>].

Structs

Finding

A checked constraint and what it found.

Selector

Violation

One place where the code breaks a rule.

Enums

Rule

Functions

markdown

Markdown summary; only limits violations to these repo-relative files (repo/path).

promote

Constraints whose check passes on the current code are enforced (T4).

revivals

Live attempts anchored to a dependency version (dep=<pkg> <version>) whose condition no longer holds: the package is still used, but no manifest matches that version any more.

rule_of

The rule text of a record, if it is a live constraint with a check.

run

Evaluate every live constraint’s check; unparsable rules are reported as one violation.