@sebastianandreasson/pi-autonomous-agents 0.2.0 → 0.4.0

package/src/pi-supervisor.mjs

@@ -13,6 +13,7 @@ import {
 import { appendTelemetry, ensureTelemetryFiles } from './pi-telemetry.mjs'
 import {
   appendLog,
+  collectLargeFileWarnings,
   commitStagedFiles,
   didRepoChange,
   ensureFileExists,
@@ -79,6 +80,18 @@ function printTerminalSummary(config, summary) {
     lines.push(`[PI supervisor] notes=${summary.notes}`)
   }
 
+  if (Array.isArray(summary.largeFileWarnings) && summary.largeFileWarnings.length > 0) {
+    lines.push(`[PI supervisor] large_file_warnings=${formatLargeFileWarningsInline(summary.largeFileWarnings)}`)
+  }
+
+  if (summary.terminalReason) {
+    lines.push(`[PI supervisor] terminal_reason=${summary.terminalReason}`)
+  }
+
+  if (summary.commitPlanFound !== undefined) {
+    lines.push(`[PI supervisor] commit_plan_found=${summary.commitPlanFound}`)
+  }
+
   if (summary.sessionId) {
     lines.push(`[PI supervisor] session=${summary.sessionId}`)
   }
@@ -87,6 +100,14 @@ function printTerminalSummary(config, summary) {
     lines.push(`[PI supervisor] last_output=${summary.outputPath}`)
   }
 
+  if (config.lastPromptFile) {
+    lines.push(`[PI supervisor] last_prompt=${toDisplayPath(config, config.lastPromptFile)}`)
+  }
+
+  if (config.lastIterationSummaryFile) {
+    lines.push(`[PI supervisor] iteration_summary=${toDisplayPath(config, config.lastIterationSummaryFile)}`)
+  }
+
   process.stderr.write(`${lines.join('\n')}\n`)
 }
 
@@ -109,6 +130,133 @@ function parseTesterVerdict(output) {
   return match?.[1]?.toUpperCase() ?? 'UNKNOWN'
 }
 
+function buildRetryReason(invocation) {
+  const loopSignature = String(invocation?.result?.loopSignature ?? '')
+  const notes = String(invocation?.result?.notes ?? '')
+
+  if (loopSignature.startsWith('same_path:')) {
+    const target = loopSignature.slice('same_path:'.length)
+    return `The previous turn got stuck repeatedly editing ${target}. Reread ${target} exactly once before any new edit. Switch approach. Do not attempt another exact oldText patch on ${target} unless the file changed since the failed attempt.`
+  }
+
+  if (notes.includes('loop_detected=')) {
+    return `The previous turn got stuck repeating the same tool call (${notes}). Continue from the current repo state without rereading the same file over and over.`
+  }
+
+  return 'The previous turn stalled or timed out. Continue from the current repo state.'
+}
+
+function formatIterationSummary(summary) {
+  return `${JSON.stringify(summary, null, 2)}\n`
+}
+
+async function writeIterationSummary(config, summary) {
+  await writeTextFile(config.lastIterationSummaryFile, formatIterationSummary(summary))
+}
+
+function createIterationSummary({
+  iteration,
+  phase,
+  task,
+  repoChanged,
+  developerStatus,
+  testerStatus,
+  testerVerdict,
+  verificationStatus,
+  commitPlanFound,
+  gitFinalizeStatus,
+  visualStatus,
+  terminalReason,
+  largeFileWarnings,
+  sessionId,
+  developerModel,
+  testerModel,
+  visualModel,
+}) {
+  return {
+    iteration,
+    phase,
+    task,
+    repoChanged,
+    developerStatus,
+    testerStatus,
+    testerVerdict,
+    verificationStatus,
+    commitPlanFound,
+    gitFinalizeStatus,
+    visualStatus,
+    terminalReason,
+    largeFileWarnings,
+    sessionId,
+    developerModel,
+    testerModel,
+    visualModel,
+  }
+}
+
+function didInvocationCreateCommit(invocation) {
+  return invocation?.beforeSnapshot?.head !== invocation?.afterSnapshot?.head
+}
+
+function mergeLargeFileWarnings(existing, incoming) {
+  const merged = new Map()
+  for (const warning of [...(existing || []), ...(incoming || [])]) {
+    if (!warning?.file) {
+      continue
+    }
+    const key = `${warning.kind}:${warning.file}`
+    const current = merged.get(key)
+    if (!current || Number(warning.lineCount) > Number(current.lineCount)) {
+      merged.set(key, warning)
+    }
+  }
+  return [...merged.values()].sort((left, right) => right.lineCount - left.lineCount)
+}
+
+function findLargeFileWarnings(config, files) {
+  return collectLargeFileWarnings(config.cwd, files, {
+    largeFileWarningLines: config.largeFileWarningLines,
+    largeSpecWarningLines: config.largeSpecWarningLines,
+  })
+}
+
+function formatLargeFileWarningsInline(warnings) {
+  const list = Array.isArray(warnings) ? warnings : []
+  if (list.length === 0) {
+    return ''
+  }
+  return list
+    .slice(0, 3)
+    .map((warning) => `${warning.file}(${warning.lineCount}${warning.kind === 'large_spec' ? ',spec' : ''})`)
+    .join(', ')
+}
+
+function clampPromptLines(text, maxLines) {
+  const normalized = String(text ?? '').trim()
+  if (normalized === '') {
+    return ''
+  }
+
+  const lines = normalized.split('\n')
+  if (!Number.isFinite(maxLines) || maxLines <= 0 || lines.length <= maxLines) {
+    return normalized
+  }
+
+  const remaining = lines.length - maxLines
+  return `${lines.slice(0, maxLines).join('\n')}\n... (${remaining} more lines omitted)`
+}
+
+function compactNotePartsForPrompt(config, noteParts, fallback = '(none provided)') {
+  const items = Array.isArray(noteParts) ? noteParts.filter(Boolean) : []
+  if (items.length === 0) {
+    return fallback
+  }
+
+  const maxItems = Math.min(6, items.length)
+  const selected = items.slice(-maxItems)
+  return clampPromptLines(selected.join('\n'), Number(config.maxPromptNotesLines) || 16)
+}
+
 function isInfrastructureVerificationFailure(output) {
   const text = String(output ?? '')
   return [
@@ -142,6 +290,16 @@ async function runAgentInvocation({
 }) {
   const beforeSnapshot = getRepoSnapshot(config.cwd)
   const resolvedModel = resolveRoleModel(config, role)
+  const promptSnapshot = [
+    `role=${role}`,
+    `kind=${kind}`,
+    `phase=${phase}`,
+    `reason=${reason}`,
+    `model=${resolvedModel.model || '(PI default)'}`,
+    '',
+    prompt,
+  ].join('\n')
+  await writeTextFile(config.lastPromptFile, `${promptSnapshot}\n`)
   const result = await runAgentTurn({
     config,
     model: resolvedModel.model,
@@ -178,6 +336,17 @@ async function runAgentInvocation({
     changedFilesCount: changedFiles.length,
     verificationStatus,
     retryCount,
+    role,
+    model: resolvedModel.model || '(PI default)',
+    toolCalls: result.toolCalls ?? 0,
+    toolErrors: result.toolErrors ?? 0,
+    messageUpdates: result.messageUpdates ?? 0,
+    stopReason: result.stopReason ?? '',
+    loopDetected: result.loopDetected === true,
+    loopSignature: result.loopSignature ?? '',
+    testerVerdict: '',
+    commitPlanFound: '',
+    terminalReason: result.terminalReason ?? '',
     notes: `${result.notes} role=${role} model=${resolvedModel.model || '(PI default)'}`.trim(),
   })
 
@@ -202,7 +371,7 @@ async function readLatestVisualFeedback(config) {
   if (trimmed === '') {
     return ''
   }
-  return trimmed.split('\n').slice(0, 80).join('\n')
+  return clampPromptLines(trimmed, Number(config.maxVisualFeedbackLines) || 20)
 }
 
 async function readLatestTesterFeedback(config) {
@@ -211,7 +380,7 @@ async function readLatestTesterFeedback(config) {
   if (trimmed === '') {
     return ''
   }
-  return trimmed.split('\n').slice(0, 120).join('\n')
+  return clampPromptLines(trimmed, Number(config.maxTesterFeedbackLines) || 32)
 }
 
 async function writeTesterFeedback(config, { iteration, phase, task, source, status, output }) {
@@ -241,17 +410,43 @@ async function writeTesterFeedback(config, { iteration, phase, task, source, sta
 
 function parseCommitPlan(output) {
   const raw = String(output ?? '')
-  const messageMatch = raw.match(/^COMMIT_MESSAGE:\s*(.+)\s*$/im)
-  const filesBlockMatch = raw.match(/^COMMIT_FILES:\s*\n((?:\s*-\s+.+\n?)+)/im)
-  const files = filesBlockMatch
-    ? filesBlockMatch[1]
-      .split('\n')
-      .map((line) => /^\s*-\s+(.+?)\s*$/.exec(line)?.[1] ?? '')
-      .filter(Boolean)
-    : []
+  const lines = raw.split('\n')
+  const messageLine = lines.find((line) => /^\s*(?:[-*]\s+)?COMMIT_MESSAGE:\s*(.+?)\s*$/i.test(line))
+  const message = messageLine
+    ? messageLine.replace(/^\s*(?:[-*]\s+)?COMMIT_MESSAGE:\s*/i, '').trim()
+    : ''
+
+  const filesStartIndex = lines.findIndex((line) => /^\s*(?:[-*]\s+)?COMMIT_FILES:\s*$/i.test(line))
+  const files = []
+  if (filesStartIndex >= 0) {
+    for (const line of lines.slice(filesStartIndex + 1)) {
+      const trimmed = line.trim()
+      if (trimmed === '') {
+        if (files.length > 0) {
+          break
+        }
+        continue
+      }
+      if (/^VERDICT:/i.test(trimmed)) {
+        break
+      }
+      if (/^(?:[-*]\s+)?[A-Z_]+:\s*/.test(trimmed)) {
+        break
+      }
+
+      const normalized = trimmed
+        .replace(/^[-*]\s+/, '')
+        .replace(/^\d+\.\s+/, '')
+        .trim()
+
+      if (normalized !== '') {
+        files.push(normalized)
+      }
+    }
+  }
 
   return {
-    message: messageMatch?.[1]?.trim() ?? '',
+    message,
     files: [...new Set(files)],
   }
 }
@@ -275,6 +470,7 @@ async function runHarnessGitFinalize({
   const commitMessage = String(commitPlan.message ?? '').trim()
   let status = 'success'
   let notes = ''
+  let terminalReason = 'commit_created'
   const cleanupNewlyStagedFiles = (stagedBefore, stagedNow) => {
     const stagedBeforeSet = new Set(stagedBefore)
     const newlyStagedFiles = stagedNow.filter((file) => !stagedBeforeSet.has(file))
@@ -288,6 +484,7 @@ async function runHarnessGitFinalize({
   if (commitMessage === '' || requestedFiles.length === 0) {
     status = 'stalled'
     notes = 'commit_plan_missing=true'
+    terminalReason = 'awaiting_commit_plan'
   } else {
     const stagedBefore = listStagedFiles(config.cwd)
     const unrelatedStagedBefore = stagedBefore.filter((file) => !requestedFiles.includes(file))
@@ -295,11 +492,13 @@ async function runHarnessGitFinalize({
     if (unrelatedStagedBefore.length > 0) {
       status = 'blocked'
       notes = `commit_blocked_unrelated_staged_files=${unrelatedStagedBefore.join(',')}`
+      terminalReason = 'commit_finalize_blocked_unrelated_staged'
     } else {
       const filesToStage = requestedFiles.filter((file) => dirtyFiles.has(file))
       if (filesToStage.length === 0) {
         status = 'stalled'
         notes = 'commit_plan_no_dirty_files=true'
+        terminalReason = 'commit_plan_no_dirty_files'
       } else {
         try {
           stageFiles(config.cwd, filesToStage)
@@ -310,18 +509,22 @@ async function runHarnessGitFinalize({
             const cleanedFiles = cleanupNewlyStagedFiles(stagedBefore, stagedAfter)
             status = 'blocked'
             notes = `commit_blocked_unexpected_staged_files=${unexpectedStaged.join(',')} unstaged_cleanup=${cleanedFiles.join(',')}`.trim()
+            terminalReason = 'commit_finalize_blocked_unexpected_staged'
           } else if (!stagedAfter.some((file) => requestedFiles.includes(file))) {
             const cleanedFiles = cleanupNewlyStagedFiles(stagedBefore, stagedAfter)
             status = 'stalled'
             notes = `commit_plan_failed_to_stage=true unstaged_cleanup=${cleanedFiles.join(',')}`.trim()
+            terminalReason = 'commit_plan_failed_to_stage'
           } else {
             commitStagedFiles(config.cwd, commitMessage)
             notes = `commit_created=true files=${filesToStage.join(',')} message=${commitMessage}`
+            terminalReason = 'commit_created'
           }
         } catch (error) {
           const cleanedFiles = cleanupNewlyStagedFiles(stagedBefore, listStagedFiles(config.cwd))
           status = 'failed'
           notes = `commit_failed=${formatExecError(error)}${cleanedFiles.length > 0 ? ` unstaged_cleanup=${cleanedFiles.join(',')}` : ''}`
+          terminalReason = 'commit_finalize_failed'
         }
       }
     }
@@ -329,12 +532,16 @@ async function runHarnessGitFinalize({
 
   const afterSnapshot = getRepoSnapshot(config.cwd)
   const changedFiles = listChangedFiles(config.cwd)
+  const finalStatus = status === 'success' && beforeSnapshot.head === afterSnapshot.head ? 'stalled' : status
+  if (status === 'success' && finalStatus === 'stalled') {
+    terminalReason = 'commit_not_created'
+  }
 
   await recordEvent(config, {
     iteration,
     phase,
     kind: 'git_finalize',
-    status,
+    status: finalStatus,
     transport: 'local',
     sessionId: '',
     timedOut: false,
@@ -346,12 +553,24 @@ async function runHarnessGitFinalize({
     changedFilesCount: changedFiles.length,
     verificationStatus: 'not_run',
     retryCount: 0,
+    role: '',
+    model: '',
+    toolCalls: 0,
+    toolErrors: 0,
+    messageUpdates: 0,
+    stopReason: '',
+    loopDetected: false,
+    loopSignature: '',
+    testerVerdict: '',
+    commitPlanFound: requestedFiles.length > 0,
+    terminalReason,
     notes,
   })
 
   return {
-    status: status === 'success' && beforeSnapshot.head === afterSnapshot.head ? 'stalled' : status,
+    status: finalStatus,
     notes,
+    terminalReason,
   }
 }
 
@@ -385,6 +604,17 @@ async function runVerificationStep({ config, iteration, phase, kind }) {
     changedFilesCount: changedFiles.length,
     verificationStatus: verification.status,
     retryCount: 0,
+    role: '',
+    model: '',
+    toolCalls: 0,
+    toolErrors: 0,
+    messageUpdates: 0,
+    stopReason: '',
+    loopDetected: false,
+    loopSignature: '',
+    testerVerdict: '',
+    commitPlanFound: '',
+    terminalReason: `verification_${verification.status}`,
     notes: verificationNotes,
   })
 
@@ -438,6 +668,7 @@ async function runMainTurnWithRetries({ config, iteration, phase, sessionId, ses
         result: {
           ...invocation.result,
           status: 'stalled',
+          terminalReason: 'no_repo_change',
           notes: `${invocation.result.notes} no_repo_change=true`,
         },
       }
@@ -448,13 +679,12 @@ async function runMainTurnWithRetries({ config, iteration, phase, sessionId, ses
     }
 
     reason = shouldRetryForTimeout
-      ? invocation.result.notes.includes('loop_detected=')
-        ? `The previous turn got stuck repeating the same tool call (${invocation.result.notes}). Continue from the current repo state without rereading the same file over and over.`
-        : 'The previous turn stalled or timed out. Continue from the current repo state.'
+      ? buildRetryReason(invocation)
       : 'The previous turn ended without changing the repo. Continue and complete one coherent task.'
     prompt = buildSteeringPrompt(config, reason, {
       visualFeedback: await readLatestVisualFeedback(config),
       testerFeedback: await readLatestTesterFeedback(config),
+      largeFileWarnings: findLargeFileWarnings(config, listChangedFiles(config.cwd)),
     })
 
     if (shouldRetryForTimeout || shouldRetryForNoChange) {
@@ -467,12 +697,14 @@ async function runMainTurnWithRetries({ config, iteration, phase, sessionId, ses
 }
 
 async function runFixTurn({ config, iteration, phase, sessionId, sessionFile, testerOutput }) {
+  const largeFileWarnings = findLargeFileWarnings(config, listChangedFiles(config.cwd))
   const fixPrompt = buildFixPrompt(
     config,
-    testerOutput.trim().split('\n').slice(-120).join('\n'),
+    clampPromptLines(testerOutput, Number(config.maxVerificationExcerptLines) || 40),
     {
       visualFeedback: await readLatestVisualFeedback(config),
       testerFeedback: await readLatestTesterFeedback(config),
+      largeFileWarnings,
     }
   )
   return await runAgentInvocation({
@@ -573,6 +805,7 @@ async function runTesterTurn({
   developerNotes,
   reason,
 }) {
+  const largeFileWarnings = findLargeFileWarnings(config, changedFiles)
   const prompt = buildTesterPrompt(config, {
     phase,
     task,
@@ -581,6 +814,7 @@ async function runTesterTurn({
     reason,
     visualFeedback: await readLatestVisualFeedback(config),
     testerFeedback: await readLatestTesterFeedback(config),
+    largeFileWarnings,
   })
 
   const invocation = await runAgentInvocation({
@@ -600,22 +834,38 @@ async function runTesterTurn({
   const commitPlan = parseCommitPlan(invocation.result.output)
   const notesWithVerdict = `${invocation.result.notes} tester_verdict=${verdict} commit_plan_files=${commitPlan.files.length}`.trim()
   let testerStatus = invocation.result.status
+  let terminalReason = invocation.result.terminalReason || ''
 
   if (testerStatus === 'success' && verdict === 'FAIL') {
     testerStatus = 'failed'
+    terminalReason = 'tester_verdict_fail'
   } else if (testerStatus === 'success' && verdict === 'BLOCKED') {
     testerStatus = 'stalled'
+    terminalReason = 'tester_verdict_blocked'
   } else if (testerStatus === 'success' && verdict === 'UNKNOWN') {
     testerStatus = 'stalled'
+    terminalReason = 'tester_verdict_unknown'
+  } else if (testerStatus === 'success' && config.commitMode === 'plan') {
+    terminalReason = commitPlan.message !== '' && commitPlan.files.length > 0
+      ? 'tester_pass_with_commit_plan'
+      : 'awaiting_commit_plan'
+  } else if (testerStatus === 'success') {
+    terminalReason = didInvocationCreateCommit(invocation)
+      ? 'tester_pass_with_agent_commit'
+      : invocation.repoChanged
+        ? 'tester_left_uncommitted_changes'
+        : 'awaiting_agent_commit'
   }
 
   return {
     ...invocation,
     testerVerdict: verdict,
+    commitPlanFound: commitPlan.message !== '' && commitPlan.files.length > 0,
     commitPlan,
     result: {
       ...invocation.result,
       status: testerStatus,
+      terminalReason,
       notes: notesWithVerdict,
     },
   }
@@ -630,6 +880,7 @@ async function runTesterCommitTurn({
   developerNotes,
   reason,
 }) {
+  const largeFileWarnings = findLargeFileWarnings(config, changedFiles)
   const prompt = buildCommitPrompt(config, {
     phase,
     task,
@@ -638,6 +889,7 @@ async function runTesterCommitTurn({
     reason,
     visualFeedback: await readLatestVisualFeedback(config),
     testerFeedback: await readLatestTesterFeedback(config),
+    largeFileWarnings,
   })
 
   const invocation = await runAgentInvocation({
@@ -657,22 +909,30 @@ async function runTesterCommitTurn({
   const commitPlan = parseCommitPlan(invocation.result.output)
   const notesWithVerdict = `${invocation.result.notes} tester_verdict=${verdict} commit_plan_files=${commitPlan.files.length}`.trim()
   let testerStatus = invocation.result.status
+  let terminalReason = invocation.result.terminalReason || ''
 
   if (testerStatus === 'success' && verdict === 'BLOCKED') {
     testerStatus = 'stalled'
+    terminalReason = 'tester_commit_blocked'
   } else if (testerStatus === 'success' && verdict !== 'PASS') {
     testerStatus = 'stalled'
+    terminalReason = 'tester_commit_missing_pass'
   } else if (testerStatus === 'success' && (commitPlan.message === '' || commitPlan.files.length === 0)) {
     testerStatus = 'stalled'
+    terminalReason = 'awaiting_commit_plan'
+  } else if (testerStatus === 'success') {
+    terminalReason = 'tester_commit_plan_ready'
   }
 
   return {
     ...invocation,
     testerVerdict: verdict,
+    commitPlanFound: commitPlan.message !== '' && commitPlan.files.length > 0,
     commitPlan,
     result: {
       ...invocation.result,
       status: testerStatus,
+      terminalReason,
       notes: notesWithVerdict,
     },
   }
@@ -701,6 +961,17 @@ async function runVisualReview({ config, iteration, phase, task, changedFiles })
     changedFilesCount: changedFiles.length,
     verificationStatus: 'not_run',
     retryCount: 0,
+    role: '',
+    model: '',
+    toolCalls: 0,
+    toolErrors: 0,
+    messageUpdates: 0,
+    stopReason: '',
+    loopDetected: false,
+    loopSignature: '',
+    testerVerdict: '',
+    commitPlanFound: '',
+    terminalReason: `visual_capture_${capture.status}`,
     notes: capture.status === 'passed'
       ? `screenshots=${capture.screenshots.length} manifest=${capture.manifestPath}`
       : capture.output.trim().split('\n').slice(-8).join(' '),
@@ -777,6 +1048,17 @@ async function runVisualReview({ config, iteration, phase, task, changedFiles })
     changedFilesCount: changedFiles.length,
     verificationStatus: 'not_run',
     retryCount: 0,
+    role: 'visualReview',
+    model: visualReviewModel.model || '(unset)',
+    toolCalls: 0,
+    toolErrors: 0,
+    messageUpdates: 0,
+    stopReason: '',
+    loopDetected: false,
+    loopSignature: '',
+    testerVerdict: verdict,
+    commitPlanFound: '',
+    terminalReason: `visual_review_${status}`,
     notes: `verdict=${verdict} feedback=${config.visualFeedbackFile} role=visualReview model=${visualReviewModel.model || '(unset)'}`.trim(),
   })
 
@@ -791,6 +1073,7 @@ async function runIteration({ config, state, iteration }) {
   const testerModelName = resolveRoleModelName(config, 'tester')
   const visualReviewRoleModel = resolveRoleModel(config, 'visualReview')
   const visualModelName = visualReviewRoleModel.model
+  const iterationStartSnapshot = getRepoSnapshot(config.cwd)
   const taskInfo = findFirstUncheckedTaskInfo(config.taskFile)
   if (!taskInfo.hasUncheckedTasks) {
     await appendLog(config.logFile, 'No unchecked tasks remain in TODOS.md')
@@ -808,9 +1091,17 @@ async function runIteration({ config, state, iteration }) {
       summary: {
         iteration,
         phase: taskInfo.phase || 'complete',
+        task: '',
+        repoChanged: false,
         developerStatus: 'complete',
         testerStatus: 'not_needed',
+        testerVerdict: 'NOT_RUN',
         verificationStatus: 'not_needed',
+        commitPlanFound: false,
+        gitFinalizeStatus: 'not_run',
+        visualStatus: 'not_run',
+        terminalReason: 'all_tasks_complete',
+        largeFileWarnings: [],
         notes: 'No unchecked tasks remain in TODOS.md.',
         sessionId: state.sessionId || '',
         outputPath: config.lastAgentOutputFile,
@@ -854,13 +1145,19 @@ async function runIteration({ config, state, iteration }) {
   let sessionFile = mainInvocation.result.sessionFile || startingSessionFile
   let developerStatus = mainInvocation.result.status
   let testerStatus = 'not_run'
+  let testerVerdict = 'NOT_RUN'
   let finalVerificationStatus = 'not_run'
   let visualStatus = 'not_run'
+  let commitPlanFound = false
+  let gitFinalizeStatus = 'not_run'
+  let terminalReason = mainInvocation.result.terminalReason || ''
+  let largeFileWarnings = findLargeFileWarnings(config, mainInvocation.changedFiles)
   const noteParts = [`developer: ${mainInvocation.result.notes}`]
 
   if (mainInvocation.result.status === 'success' && config.transport === 'mock') {
     testerStatus = 'skipped'
     finalVerificationStatus = 'skipped'
+    terminalReason = 'mock_completed'
   } else if (mainInvocation.result.status === 'success') {
     const developerVerification = await runDeveloperVerificationAndFix({
       config,
@@ -875,6 +1172,13 @@ async function runIteration({ config, state, iteration }) {
     sessionFile = developerVerification.sessionFile
     developerStatus = developerVerification.developerStatus
     finalVerificationStatus = developerVerification.verificationStatus
+    if (developerStatus !== 'success') {
+      terminalReason = developerStatus === 'blocked'
+        ? 'verification_infrastructure_failure'
+        : 'developer_fix_incomplete'
+    } else if (finalVerificationStatus !== 'passed' && finalVerificationStatus !== 'not_run') {
+      terminalReason = `verification_${finalVerificationStatus}`
+    }
 
     if (developerVerification.feedbackSource && developerVerification.verificationOutput.trim() !== '') {
       await writeTesterFeedback(config, {
@@ -894,11 +1198,15 @@ async function runIteration({ config, state, iteration }) {
         phase,
         task,
         changedFiles: listChangedFiles(config.cwd),
-        developerNotes: noteParts.join(' | '),
+        developerNotes: compactNotePartsForPrompt(config, noteParts),
         reason: 'tester_review_after_basic_smoke_passed',
       })
 
       testerStatus = testerInvocation.result.status
+      testerVerdict = testerInvocation.testerVerdict
+      commitPlanFound = testerInvocation.commitPlanFound === true
+      terminalReason = testerInvocation.result.terminalReason || terminalReason
+      largeFileWarnings = mergeLargeFileWarnings(largeFileWarnings, findLargeFileWarnings(config, listChangedFiles(config.cwd)))
       noteParts.push(`tester: ${testerInvocation.result.notes}`)
       await writeTesterFeedback(config, {
         iteration,
@@ -911,18 +1219,22 @@ async function runIteration({ config, state, iteration }) {
 
       let commitPlan = testerInvocation.commitPlan
 
-      if (testerStatus === 'success' && (commitPlan.message === '' || commitPlan.files.length === 0)) {
+      if (testerStatus === 'success' && config.commitMode === 'plan' && (commitPlan.message === '' || commitPlan.files.length === 0)) {
         const testerCommitInvocation = await runTesterCommitTurn({
           config,
           iteration,
           phase,
           task,
           changedFiles: listChangedFiles(config.cwd),
-          developerNotes: noteParts.join(' | '),
+          developerNotes: compactNotePartsForPrompt(config, noteParts),
           reason: 'tester_passed_without_commit',
         })
 
         testerStatus = testerCommitInvocation.result.status
+        testerVerdict = testerCommitInvocation.testerVerdict
+        commitPlanFound = testerCommitInvocation.commitPlanFound === true
+        terminalReason = testerCommitInvocation.result.terminalReason || terminalReason
+        largeFileWarnings = mergeLargeFileWarnings(largeFileWarnings, findLargeFileWarnings(config, listChangedFiles(config.cwd)))
         noteParts.push(`tester_commit: ${testerCommitInvocation.result.notes}`)
         await writeTesterFeedback(config, {
           iteration,
@@ -935,7 +1247,7 @@ async function runIteration({ config, state, iteration }) {
         commitPlan = testerCommitInvocation.commitPlan
       }
 
-      if (testerStatus === 'success') {
+      if (testerStatus === 'success' && config.commitMode === 'plan') {
         const gitFinalize = await runHarnessGitFinalize({
           config,
           iteration,
@@ -943,10 +1255,27 @@ async function runIteration({ config, state, iteration }) {
           commitPlan,
         })
         testerStatus = gitFinalize.status
+        gitFinalizeStatus = gitFinalize.status
+        terminalReason = gitFinalize.terminalReason || terminalReason
         noteParts.push(`git_finalize: ${gitFinalize.notes}`)
+      } else if (testerStatus === 'success') {
+        if (didInvocationCreateCommit(testerInvocation)) {
+          gitFinalizeStatus = 'committed_by_agent'
+          terminalReason = 'completed_phase_step'
+        } else {
+          testerStatus = 'stalled'
+          gitFinalizeStatus = 'awaiting_agent_commit'
+          terminalReason = testerInvocation.repoChanged
+            ? 'tester_left_uncommitted_changes'
+            : 'awaiting_agent_commit'
+          noteParts.push('git_finalize: committed_by_agent=false')
+        }
       }
     } else {
       testerStatus = 'skipped'
+      if (terminalReason === '') {
+        terminalReason = 'tester_skipped_after_verification'
+      }
     }
 
     if (testerStatus === 'failed') {
@@ -956,12 +1285,14 @@ async function runIteration({ config, state, iteration }) {
         phase,
         sessionId,
         sessionFile,
-        testerOutput: noteParts.join('\n'),
+        testerOutput: compactNotePartsForPrompt(config, noteParts),
       })
 
       sessionId = fixInvocation.result.sessionId || sessionId
       sessionFile = fixInvocation.result.sessionFile || sessionFile
       developerStatus = fixInvocation.result.status
+      terminalReason = fixInvocation.result.terminalReason || 'developer_fix_incomplete'
+      largeFileWarnings = mergeLargeFileWarnings(largeFileWarnings, findLargeFileWarnings(config, listChangedFiles(config.cwd)))
       noteParts.push(`developer_fix: ${fixInvocation.result.notes}`)
 
       if (fixInvocation.result.status === 'success') {
@@ -976,6 +1307,10 @@ async function runIteration({ config, state, iteration }) {
         })
 
         testerStatus = testerRecheck.result.status
+        testerVerdict = testerRecheck.testerVerdict
+        commitPlanFound = testerRecheck.commitPlanFound === true
+        terminalReason = testerRecheck.result.terminalReason || terminalReason
+        largeFileWarnings = mergeLargeFileWarnings(largeFileWarnings, findLargeFileWarnings(config, listChangedFiles(config.cwd)))
         noteParts.push(`tester_recheck: ${testerRecheck.result.notes}`)
         await writeTesterFeedback(config, {
           iteration,
@@ -988,18 +1323,22 @@ async function runIteration({ config, state, iteration }) {
 
         let commitPlan = testerRecheck.commitPlan
 
-        if (testerStatus === 'success' && (commitPlan.message === '' || commitPlan.files.length === 0)) {
+        if (testerStatus === 'success' && config.commitMode === 'plan' && (commitPlan.message === '' || commitPlan.files.length === 0)) {
           const testerCommitInvocation = await runTesterCommitTurn({
             config,
             iteration,
             phase,
             task,
             changedFiles: listChangedFiles(config.cwd),
-            developerNotes: noteParts.join(' | '),
+            developerNotes: compactNotePartsForPrompt(config, noteParts),
             reason: 'tester_recheck_passed_without_commit',
           })
 
           testerStatus = testerCommitInvocation.result.status
+          testerVerdict = testerCommitInvocation.testerVerdict
+          commitPlanFound = testerCommitInvocation.commitPlanFound === true
+          terminalReason = testerCommitInvocation.result.terminalReason || terminalReason
+          largeFileWarnings = mergeLargeFileWarnings(largeFileWarnings, findLargeFileWarnings(config, listChangedFiles(config.cwd)))
           noteParts.push(`tester_commit: ${testerCommitInvocation.result.notes}`)
           await writeTesterFeedback(config, {
             iteration,
@@ -1012,7 +1351,7 @@ async function runIteration({ config, state, iteration }) {
           commitPlan = testerCommitInvocation.commitPlan
         }
 
-        if (testerStatus === 'success') {
+        if (testerStatus === 'success' && config.commitMode === 'plan') {
           const gitFinalize = await runHarnessGitFinalize({
             config,
             iteration,
@@ -1020,7 +1359,21 @@ async function runIteration({ config, state, iteration }) {
             commitPlan,
           })
           testerStatus = gitFinalize.status
+          gitFinalizeStatus = gitFinalize.status
+          terminalReason = gitFinalize.terminalReason || terminalReason
           noteParts.push(`git_finalize: ${gitFinalize.notes}`)
+        } else if (testerStatus === 'success') {
+          if (didInvocationCreateCommit(testerRecheck)) {
+            gitFinalizeStatus = 'committed_by_agent'
+            terminalReason = 'completed_phase_step'
+          } else {
+            testerStatus = 'stalled'
+            gitFinalizeStatus = 'awaiting_agent_commit'
+            terminalReason = testerRecheck.repoChanged
+              ? 'tester_left_uncommitted_changes'
+              : 'awaiting_agent_commit'
+            noteParts.push('git_finalize: committed_by_agent=false')
+          }
         }
 
         if (testerStatus === 'success') {
@@ -1032,12 +1385,18 @@ async function runIteration({ config, state, iteration }) {
           })
 
           finalVerificationStatus = reverify.status
+          if (finalVerificationStatus !== 'passed') {
+            terminalReason = `verification_${finalVerificationStatus}`
+          }
         }
       }
     }
   } else {
     testerStatus = 'not_run'
     finalVerificationStatus = 'not_run'
+    if (terminalReason === '') {
+      terminalReason = 'developer_turn_incomplete'
+    }
   }
 
   const workflowStatus = deriveWorkflowStatus({
@@ -1070,6 +1429,9 @@ async function runIteration({ config, state, iteration }) {
       changedFiles: listChangedFiles(config.cwd),
     })
     visualStatus = visualReview.status
+    terminalReason = visualReview.status === 'passed'
+      ? terminalReason
+      : `visual_review_${visualReview.status}`
     noteParts.push(`visual: ${visualReview.notes}`)
   } else if (config.visualReviewEnabled) {
     visualStatus = 'skipped'
@@ -1080,6 +1442,22 @@ async function runIteration({ config, state, iteration }) {
     visualStatus,
   })
 
+  if (finalStatus === 'success') {
+    terminalReason = 'completed_phase_step'
+  } else if (terminalReason === '') {
+    terminalReason = testerStatus === 'failed'
+      ? 'tester_verdict_fail'
+      : testerStatus === 'stalled'
+        ? 'iteration_stalled'
+        : developerStatus === 'blocked'
+          ? 'developer_blocked'
+          : developerStatus === 'failed'
+            ? 'developer_failed'
+            : finalVerificationStatus !== 'not_run'
+              ? `verification_${finalVerificationStatus}`
+              : 'workflow_incomplete'
+  }
+
   const successfulIterations = (
     finalStatus === 'success'
       ? candidateSuccessfulIterations
@@ -1112,18 +1490,77 @@ async function runIteration({ config, state, iteration }) {
 
   await appendLog(
     config.logFile,
-    `Finished iteration ${iteration} with status=${finalStatus} verification=${finalVerificationStatus}`
+    `Finished iteration ${iteration} with status=${finalStatus} verification=${finalVerificationStatus} tester_verdict=${testerVerdict} commit_plan_found=${commitPlanFound} terminal_reason=${terminalReason}${largeFileWarnings.length > 0 ? ` large_file_warnings=${formatLargeFileWarningsInline(largeFileWarnings)}` : ''}`
   )
 
+  const iterationEndSnapshot = getRepoSnapshot(config.cwd)
+  const iterationSummary = createIterationSummary({
+    iteration,
+    phase,
+    task,
+    repoChanged: didRepoChange(iterationStartSnapshot, iterationEndSnapshot),
+    developerStatus,
+    testerStatus,
+    testerVerdict,
+    verificationStatus: finalVerificationStatus,
+    commitPlanFound,
+    gitFinalizeStatus,
+    visualStatus,
+    terminalReason,
+    largeFileWarnings,
+    sessionId,
+    developerModel: developerModelName,
+    testerModel: testerModelName,
+    visualModel: visualModelName,
+  })
+
+  await recordEvent(config, {
+    iteration,
+    phase,
+    kind: 'iteration_summary',
+    status: finalStatus,
+    transport: config.transport,
+    sessionId,
+    timedOut: false,
+    exitCode: finalStatus === 'success' ? 0 : 1,
+    durationSeconds: 0,
+    commitBefore: iterationStartSnapshot.head,
+    commitAfter: iterationEndSnapshot.head,
+    repoChanged: iterationSummary.repoChanged,
+    changedFilesCount: listChangedFiles(config.cwd).length,
+    verificationStatus: finalVerificationStatus,
+    retryCount: 0,
+    role: '',
+    model: '',
+    toolCalls: 0,
+    toolErrors: 0,
+    messageUpdates: 0,
+    stopReason: '',
+    loopDetected: false,
+    loopSignature: '',
+    testerVerdict,
+    commitPlanFound,
+    terminalReason,
+    riskWarnings: formatLargeFileWarningsInline(largeFileWarnings),
+    notes: noteParts.join(' | '),
+  })
+
   return {
     stateUpdate: nextState,
     summary: {
       iteration,
       phase,
+      task,
+      repoChanged: iterationSummary.repoChanged,
       developerStatus,
       testerStatus,
+      testerVerdict,
       verificationStatus: finalVerificationStatus,
+      commitPlanFound,
+      gitFinalizeStatus,
       visualStatus,
+      terminalReason,
+      largeFileWarnings,
       notes: noteParts.join(' | '),
       sessionId,
       outputPath: config.lastAgentOutputFile,
@@ -1134,6 +1571,7 @@ async function runIteration({ config, state, iteration }) {
       testerModel: testerModelName,
       visualModel: visualModelName,
     },
+    iterationSummary,
     shouldStop: false,
   }
 }
@@ -1153,6 +1591,7 @@ async function main() {
   while (!stopRequested) {
     const iteration = state.iteration + 1
     const result = await runIteration({ config, state, iteration })
+    await writeIterationSummary(config, result.iterationSummary ?? result.summary)
     state = result.stateUpdate
     await writeState(config.stateFile, state)
     printTerminalSummary(config, result.summary)