Function severity 

fn severity(outcome: &Outcome) -> u8

A total order on severity, Allow < Reject < Freeze, kept as a plain function rather than a derived Ord on Outcome because Outcome’s reason fields carry no ordering of their own.