pub fn render_json(diagnostics: &[Diagnostic]) -> String
One JSON object per line, for editors and agents.