Function format_github_annotations 

pub fn format_github_annotations(findings: &[Finding]) -> String

Render every finding as a GitHub Actions annotation. One line per finding: ::error file=PATH,line=N::[check_id] kind — claim. Advisory findings use ::warning so PRs don’t turn red on them.