Module error_severity 

The error-severity rule: whether a dead-code result holds a finding whose effective severity is error.

This rule decides the exit code of dead-code and check, the error-severity-findings gate entry, the combined verdict and the audit summary. Every caller reads it from here, so a finding cannot fail one command and pass another.

Functions

has_error_severity_issues

Check whether any issue type with Severity::Error has remaining issues.

promote_policy_finding_warns

Promote per-finding warn policy-violation severities to error for a strict (fail-on-issues) run. Policy findings carry their effective severity baked by the evaluator, so the rule-level promotion in promote_warns_to_errors alone would not flip findings whose rule explicitly opted down to warn; under strict mode every warning fails.

promote_warns_to_errors

Promote all Warn severities to Error for a single run.