pub fn diagnostics(report: &Report) -> Vec<String>
Factual notes, the report’s own warnings, then actionable tips, for a frontend’s diagnostic stream.