Function buildVerifyRepairMessage

src/agent/verification.ts:97–123

(
  diags: Diagnostic[],
  checker: string,
  attempt: number,
  max: number,
  cwd: string,
)

/** Build the corrective message fed back to the model when touched files don't compile.
 *  Pure. `attempt`/`max` let the wording escalate. */
export function buildVerifyRepairMessage(
  diags: Diagnostic[],
  checker: string,
  attempt: number,
  max: number,
  cwd: string,
): string {
  const errors = diags.filter(d => d.severity === 'error');
  const shown = errors.slice(0, 15);
  const lines: string[] = [];
  lines.push(
    `[AUTO-VERIFY] You're not done yet. The ${checker} check found ${errors.length} error(s) ` +
    `in the file(s) you just changed. A coding task is NOT complete while the code you touched ` +
    `fails to type-check. Fix these, then continue. (auto-repair ${attempt}/${max})`,
  );
  lines.push('');
  for (const d of shown) {
    const rel = path.isAbsolute(d.file) ? path.relative(cwd, d.file) : d.file;
    const pos = d.col != null ? `${d.line}:${d.col}` : `${d.line}`;
    const code = d.code ? ` [${d.code}]` : '';
    lines.push(`  ${rel}:${pos}${code}  ${d.message}`);
  }
  if (errors.length > shown.length) lines.push(`  …and ${errors.length - shown.length} more.`);
  lines.push('');
  lines.push('Read each reported line, fix the root cause (don\'t suppress with `any`/`# type: ignore` unless truly warranted), and only stop once the changed files are clean.');
  return lines.join('\n');
}

/** Message used when auto-repair is exhausted — surfaced ONCE, then the model proceeds. */
export function buildVerifyGiveupMessage(errorCount: number, checker: string): string {