Module check 

check: compare the current graph against the lock and report findings.

Structs

Finding

Enums

FindingKind

Functions

check

Findings are sorted by (kind, target_kind, target, reason).

diff_findings

current - base, keyed by (kind, target_kind, target, reason).

exit_code

Returns 2 if gate and findings is non-empty, else 0.