Function write_gate_violations_gha 

pub fn write_gate_violations_gha<W: Write>(
    violations: &[GateViolation],
    w: &mut W,
) -> Result<()>

Emit quality-gate violations (codelore check) as GitHub Actions error annotations, so a failing gate shows up inline on the PR rather than only as a red check. File-anchored violations annotate that file; the gate evaluators wrap synthetic, non-file scopes in parens ((repo-wide), (diff-summary)) — those get a file-less ::error that still surfaces in the run’s annotation summary.

Errors

Returns CodeLoreError::Io on writer failure.