Function verify_exit_code 

pub fn verify_exit_code(records: &[VerifyRecord]) -> i32

Exit code for a verify report: 0 unless any record is a mismatch or an error. NotVerifiable is not a failure — it is the honest default.