Function merge_commit_policy_severity 

pub fn merge_commit_policy_severity(merge_count: usize) -> Severity

Core predicate for merge commit policy severity (CC8.1). Zero merge commits -> Pass, any merge commits -> Error.

Verified by Creusot in gh-verify-verif crate.