Function is_blocking_issue 

pub fn is_blocking_issue(issue: &VerifyIssue) -> bool

Whether a verification issue is exact enough to refuse a whole proposal on.

Blocking findings are state-independent: they are true regardless of what the tools actually do, so they cannot false-reject a plan that would have run.