Function verifyTouchedFiles

src/agent/verification.ts:140–196

(opts: {
  cwd: string;
  touched: string[];
  signal?: AbortSignal;
  timeoutMs?: number;
  /** Pre-edit diagnostics (whole-project). When given, only NEW errors are reported. */
  baseline?: Diagnostic[];
})

 * treats that as "skip silently, let the model finish".
 */
export async function verifyTouchedFiles(opts: {
  cwd: string;
  touched: string[];
  signal?: AbortSignal;
  timeoutMs?: number;
  /** Pre-edit diagnostics (whole-project). When given, only NEW errors are reported. */
  baseline?: Diagnostic[];
}): Promise<VerifyResult> {
  const { cwd, touched } = opts;
  if (touched.length === 0) return { ran: false, diagnostics: [], errorCount: 0 };

  const rootFiles = await detectProjectFiles(cwd);
  // One checker per language present in the project. Each runs ONLY if the model
  // touched a file in a language it owns, so a Python edit in a TS+Py repo is checked
  // by ruff, not silently skipped because tsc happened to be first.
  const specs = pickCheckers(rootFiles);
  if (specs.length === 0) return { ran: false, diagnostics: [], errorCount: 0 };
  const timeoutMs = opts.timeoutMs ?? 120_000;

  let anyRan = false;
  let anyUnavailable = false;
  const ids: string[] = [];
  const allRelevant: string[] = [];
  const collected: Diagnostic[] = [];

  for (const spec of specs) {
    const relevant = relevantTouchedFiles(touched, spec);
    if (relevant.length === 0) continue; // model didn't touch this language
    const { diags, unavailable } = await runCheckerCollect(spec, cwd, relevant, timeoutMs, opts.signal);
    if (unavailable) { anyUnavailable = true; continue; } // tool missing for this language — skip, don't block
    anyRan = true;
    ids.push(spec.id);
    allRelevant.push(...relevant);
    collected.push(...filterToTouched(diags, relevant, cwd));
  }

  if (!anyRan) {
    // No language's checker produced a result: either nothing touched is in a covered
    // language, or the only relevant checkers' binaries were missing.
    return { ran: false, diagnostics: [], errorCount: 0, ...(anyUnavailable ? { unavailable: true } : {}) };
  }

  let scoped = collected;
  // Baseline subtraction: if we captured the pre-edit state, only hold the model
  // accountable for errors it actually introduced — not the project's prior debt.
  // Signatures are checker-specific, so a flat union baseline subtracts correctly per language.
  if (opts.baseline) {
    const baseScoped = filterToTouched(opts.baseline, allRelevant, cwd);
    scoped = diffDiagnostics(baseScoped, scoped);
  }
  return {
    ran: true,
    checker: ids.join('+'),
    diagnostics: scoped,
    errorCount: scoped.filter(d => d.severity === 'error').length,
  };
}