Function render_annotations 

pub fn render_annotations(
    kind: EnvelopeKind,
    envelope: &Value,
    options: &RenderOptions,
) -> String

Pure renderer: collect per-kind annotations, sort most-severe-first (severity, then path, then line), rebase paths onto the repo root, and append the trailing budget notice.