Function hosted_build_severity 

pub fn hosted_build_severity(non_hosted_count: usize) -> Severity

Core predicate for hosted build platform severity (Build L2). Zero non-hosted builds -> Pass, any non-hosted -> Error.

Verified by Creusot in gh-verify-verif crate.