Function relevantTouchedFiles

src/agent/verification.ts:53–56

(touched: string[], spec: CheckerSpec)

/** Keep only the touched source files whose extension a checker can handle. Pure. */
export function relevantTouchedFiles(touched: string[], spec: CheckerSpec): string[] {
  const exts = new Set(spec.exts);
  return touched.filter(f => exts.has(path.extname(f).toLowerCase()));
}

/** Filter diagnostics down to the files the model touched this run. Pure. */
export function filterToTouched(diags: Diagnostic[], touched: string[], cwd: string): Diagnostic[] {