pub fn explain(errs: &[String]) -> String
One-line rendering of a validation failure (for tool errors / logs).