@fitlab-ai/agent-infra 0.11.1 → 0.11.3

package/lib/task/finalization.ts

@@ -1,9 +1,13 @@
 import fs from 'node:fs';
 import path from 'node:path';
-import { randomUUID } from 'node:crypto';
+import { createHash, randomUUID } from 'node:crypto';
 
 import { syncPlatformComment } from '../platform/issue-comments.ts';
+import { canonicalizeSummaryBody } from '../platform/comment-safety.ts';
+import { backfillCompletionComments } from '../platform/completion-backfill.ts';
 import type { PlatformResult } from '../platform/types.ts';
+import { taskIssueIdentity } from '../platform/task-identities.ts';
+import { parseTaskFrontmatter } from './frontmatter.ts';
 import {
   applyTaskLifecycle,
   type TaskLifecycleOptions,
@@ -22,8 +26,8 @@ import {
   type OperationWarningSeverity
 } from './operation-outcome.ts';
 
-const RECEIPT_VERSION = 2 as const;
-const FINALIZATION_STEPS = ['lifecycle', 'task-comment', 'verification'] as const;
+const RECEIPT_VERSION = 4 as const;
+const FINALIZATION_STEPS = ['lifecycle', 'task-comment', 'verification', 'summary'] as const;
 type FinalizationStep = typeof FINALIZATION_STEPS[number];
 type FinalizationStepState = 'pending' | 'done' | 'skipped';
 type FinalizationError = { code: string; message: string; retryable: boolean };
@@ -58,6 +62,7 @@ type TaskFinalizationOptions = Readonly<{
   controlBinding?: Readonly<{ generation: string; requestId: string }>;
   metadataProvider?: TaskLifecycleOptions['metadataProvider'];
   lifecycle?: typeof applyTaskLifecycle;
+  backfill?: typeof backfillCompletionComments;
   commentSync?: typeof syncPlatformComment;
   verify?: typeof verifyTaskEvent;
   preflight?: typeof verifyTaskEvent;
@@ -72,6 +77,7 @@ type TaskFinalizationReceipt = Readonly<{
   lifecycle: FinalizationStepState;
   taskComment: FinalizationStepState;
   verification: FinalizationStepState;
+  summary: FinalizationStepState;
   warningProjection: WarningProjectionState;
   warnings: readonly FinalizationWarning[];
   controlBinding?: Readonly<{ generation: string; requestId: string }>;
@@ -98,9 +104,11 @@ type TaskFinalizationResult = Readonly<{
   status: 'completed' | 'failed' | 'blocked';
   changed: boolean;
   taskId: string | null;
+  backfill: TaskFinalizationStep | null;
   lifecycle: TaskFinalizationStep | null;
   taskComment: TaskFinalizationStep | null;
   verification: TaskFinalizationStep | null;
+  summary: TaskFinalizationStep | null;
   completedSteps: readonly FinalizationStep[];
   pendingSteps: readonly FinalizationStep[];
   result: 'completed' | 'completed_with_warnings' | 'failed' | 'blocked';
@@ -136,9 +144,11 @@ function failed(
     status: error.retryable ? 'blocked' : 'failed',
     changed: false,
     taskId,
+    backfill: null,
     lifecycle: null,
     taskComment: null,
     verification: null,
+    summary: null,
     completedSteps: [],
     pendingSteps: [...FINALIZATION_STEPS],
     result: error.retryable ? 'blocked' : 'failed',
@@ -158,6 +168,7 @@ function emptyReceipt(taskId: string, controlBinding?: Readonly<{ generation: st
     lifecycle: 'pending',
     taskComment: 'pending',
     verification: 'pending',
+    summary: 'pending',
     warningProjection: 'done',
     warnings: [],
     ...(controlBinding ? { controlBinding } : {}),
@@ -194,6 +205,7 @@ function validateReceipt(value: unknown, taskId: string): TaskFinalizationReceip
     || !states.includes(String(receipt.lifecycle))
     || !states.includes(String(receipt.taskComment))
     || !states.includes(String(receipt.verification))
+    || !states.includes(String(receipt.summary))
     || !['pending', 'done'].includes(String(receipt.warningProjection))
     || !Array.isArray(receipt.warnings) || receipt.warnings.some((warning) => !validWarning(warning))
     || typeof receipt.updatedAt !== 'string'
@@ -217,14 +229,6 @@ function readTaskFinalizationReceipt(repoRoot: string, taskId: string): TaskFina
   return readReceipt(path.resolve(repoRoot), taskId);
 }
 
-function controlBindingMatches(
-  receipt: TaskFinalizationReceipt,
-  binding: Readonly<{ generation: string; requestId: string }>
-): boolean {
-  return receipt.controlBinding?.generation === binding.generation
-    && receipt.controlBinding.requestId === binding.requestId;
-}
-
 function writeReceipt(repoRoot: string, receipt: TaskFinalizationReceipt): void {
   const directory = finalizationRoot(repoRoot);
   fs.mkdirSync(directory, { recursive: true, mode: 0o700 });
@@ -242,25 +246,29 @@ function writeReceipt(repoRoot: string, receipt: TaskFinalizationReceipt): void
 function updateReceipt(
   repoRoot: string,
   receipt: TaskFinalizationReceipt,
-  patch: Partial<Pick<TaskFinalizationReceipt, 'lifecycle' | 'taskComment' | 'verification' | 'warningProjection' | 'warnings' | 'lastError'>>
+  patch: Partial<Pick<TaskFinalizationReceipt, 'lifecycle' | 'taskComment' | 'verification' | 'summary' | 'warningProjection' | 'warnings' | 'controlBinding' | 'lastError'>>
 ): TaskFinalizationReceipt {
   const current = readReceipt(repoRoot, receipt.taskId);
-  if (!current || current.receiptId !== receipt.receiptId || current.revision !== receipt.revision) {
-    const error = new Error('finalization receipt revision is stale');
-    Object.assign(error, { code: 'FINALIZATION_CAPABILITY_STALE' });
-    throw error;
-  }
+  if (!current || current.receiptId !== receipt.receiptId) throw capabilityError(
+    'FINALIZATION_SCOPE_INVALID',
+    'finalization receipt does not belong to the current task'
+  );
   const next = { ...current, ...patch, revision: current.revision + 1, updatedAt: now() };
   writeReceipt(repoRoot, next);
   return next;
 }
 
 function completedSteps(receipt: TaskFinalizationReceipt): FinalizationStep[] {
-  return FINALIZATION_STEPS.filter((step) => receipt[step === 'task-comment' ? 'taskComment' : step] !== 'pending');
+  return FINALIZATION_STEPS.filter((step) => stepState(receipt, step) !== 'pending');
 }
 
 function pendingSteps(receipt: TaskFinalizationReceipt): FinalizationStep[] {
-  return FINALIZATION_STEPS.filter((step) => receipt[step === 'task-comment' ? 'taskComment' : step] === 'pending');
+  return FINALIZATION_STEPS.filter((step) => stepState(receipt, step) === 'pending');
+}
+
+function stepState(receipt: TaskFinalizationReceipt, step: FinalizationStep): FinalizationStepState {
+  if (step === 'task-comment') return receipt.taskComment;
+  return receipt[step];
 }
 
 function lifecycleStep(result: TaskLifecycleResult): TaskFinalizationStep {
@@ -376,9 +384,10 @@ function validateCapabilityMutation(
   mutation: FinalizationMutation,
   consumed: Set<string>
 ): void {
-  if (capability.receiptId !== current.receiptId || capability.baseRevision !== current.revision || consumed.has(capability.nonce)) {
-    throw capabilityError('FINALIZATION_CAPABILITY_STALE', 'finalization capability is stale or outside its scope');
-  }
+  if (capability.receiptId !== current.receiptId) throw capabilityError(
+    'FINALIZATION_SCOPE_INVALID',
+    'finalization mutation belongs to a different task receipt'
+  );
   if (capability.scope !== mutation.scope) {
     throw capabilityError('FINALIZATION_SCOPE_INVALID', 'finalization capability mutation scope does not match its capability');
   }
@@ -556,15 +565,89 @@ async function syncPendingTaskComment(input: {
   }
 }
 
+function readDeliverySummary(taskDir: string, taskId: string): { body: string; sha256: string } {
+  const file = path.join(taskDir, '.delivery-summary.json');
+  let value: Record<string, unknown>;
+  try {
+    value = JSON.parse(fs.readFileSync(file, 'utf8')) as Record<string, unknown>;
+  } catch {
+    throw Object.assign(new Error('delivery summary staging record is unavailable'), { code: 'SUMMARY_STAGING_INVALID' });
+  }
+  if (value.taskId !== taskId || typeof value.body !== 'string' || typeof value.sha256 !== 'string') {
+    throw Object.assign(new Error('delivery summary staging record is invalid'), { code: 'SUMMARY_STAGING_INVALID' });
+  }
+  const canonical = canonicalizeSummaryBody(value.body);
+  if (!canonical.ok || canonical.value !== value.body) {
+    throw Object.assign(new Error('delivery summary staging body is not canonical'), { code: 'SUMMARY_STAGING_INVALID' });
+  }
+  const digest = createHash('sha256').update(canonical.value).digest('hex');
+  if (digest !== value.sha256) throw Object.assign(new Error('delivery summary staging digest does not match body'), { code: 'SUMMARY_STAGING_INVALID' });
+  return { body: canonical.value, sha256: value.sha256 };
+}
+
+async function syncPendingSummary(input: {
+  repoRoot: string;
+  taskId: string;
+  agent: string;
+  receipt: TaskFinalizationReceipt;
+  commentSync: typeof syncPlatformComment;
+}): Promise<{ receipt: TaskFinalizationReceipt; step: TaskFinalizationStep; changed: boolean; error: FinalizationError | null }> {
+  let { receipt } = input;
+  try {
+    const resolved = resolveTaskRef(input.taskId, { repoRoot: input.repoRoot });
+    if (!resolved.ok || resolved.state !== 'completed') throw Object.assign(new Error('completed task is unavailable for summary sync'), { code: 'SUMMARY_STAGING_INVALID' });
+    if (!taskIssueIdentity(parseTaskFrontmatter(fs.readFileSync(resolved.taskMdPath, 'utf8')))) {
+      receipt = updateReceipt(input.repoRoot, receipt, {
+        summary: 'skipped', lastError: null
+      });
+      return { receipt, step: { status: 'skipped', changed: false, error: null }, changed: false, error: null };
+    }
+    const summary = readDeliverySummary(resolved.taskDir, input.taskId);
+    const result = await input.commentSync(input.taskId, {
+      kind: 'summary', agent: input.agent, body: summary.body, cwd: input.repoRoot,
+      summaryAuthorization: { sha256: summary.sha256 }
+    });
+    const step = commentStep(result);
+    if (result.status === 'applied' || result.status === 'no-op') {
+      const skipped = result.error?.code === 'ISSUE_NOT_LINKED';
+      const resolvedWarning = receipt.warnings.some((warning) => warning.step === 'summary' && warning.status === 'open');
+      const warnings = resolveStepWarnings(receipt, 'summary');
+      receipt = updateReceipt(input.repoRoot, receipt, {
+        summary: skipped ? 'skipped' : 'done',
+        taskComment: resolvedWarning ? 'pending' : receipt.taskComment,
+        warningProjection: warnings.some((warning) => warning.status === 'open') ? 'pending' : 'done',
+        warnings,
+        lastError: null
+      });
+      return { receipt, step: skipped ? { ...step, status: 'skipped' } : step, changed: result.changed, error: null };
+    }
+    const error = step.error ?? { code: 'SUMMARY_SYNC_FAILED', message: 'delivery summary synchronization failed', retryable: true };
+    const warning = warningFromError('summary', error);
+    const alreadyOpen = receipt.warnings.some((item) => item.step === warning.step && item.code === warning.code && item.target === warning.target && item.status === 'open');
+    const warnings = replaceWarning(receipt, warning, 'open');
+    receipt = updateReceipt(input.repoRoot, receipt, { summary: 'pending', taskComment: alreadyOpen ? receipt.taskComment : 'pending', warningProjection: 'pending', warnings, lastError: error });
+    return { receipt, step, changed: result.changed, error };
+  } catch (cause) {
+    const error = errorOf(cause, 'SUMMARY_SYNC_FAILED', true);
+    try {
+      const warning = warningFromError('summary', error);
+      const alreadyOpen = receipt.warnings.some((item) => item.step === warning.step && item.code === warning.code && item.target === warning.target && item.status === 'open');
+      const warnings = replaceWarning(receipt, warning, 'open');
+      receipt = updateReceipt(input.repoRoot, receipt, { summary: 'pending', taskComment: alreadyOpen ? receipt.taskComment : 'pending', warningProjection: 'pending', warnings, lastError: error });
+    } catch { /* preserve primary error */ }
+    return { receipt, step: { status: 'blocked', changed: false, error }, changed: false, error };
+  }
+}
+
 function terminalResult(
   taskId: string,
   receipt: TaskFinalizationReceipt,
-  steps: Pick<TaskFinalizationResult, 'lifecycle' | 'taskComment' | 'verification'>,
+  steps: Partial<Pick<TaskFinalizationResult, 'backfill' | 'lifecycle' | 'taskComment' | 'verification' | 'summary'>>,
   changed: boolean,
   error: FinalizationError | null = null
 ): TaskFinalizationResult {
   const pending = pendingSteps(receipt);
-  const blocked = [steps.lifecycle, steps.taskComment, steps.verification].some((step) => step?.status === 'blocked');
+  const blocked = [steps.backfill, steps.lifecycle, steps.taskComment, steps.verification, steps.summary].some((step) => step?.status === 'blocked');
   const warnings = openWarnings(receipt);
   const postLifecyclePending = receipt.lifecycle === 'done' && (pending.some((step) => step !== 'lifecycle') || receipt.warningProjection === 'pending');
   const hardError = error?.code.startsWith('FINALIZATION_') || error?.code === 'TASK_FINALIZATION_RECEIPT_INVALID';
@@ -572,14 +655,18 @@ function terminalResult(
     status: hardError ? (error?.retryable ? 'blocked' : 'failed') : pending.length === 0 ? 'completed' : postLifecyclePending ? 'completed' : blocked ? 'blocked' : 'failed',
     changed,
     taskId,
-    ...steps,
+    backfill: steps.backfill ?? null,
+    lifecycle: steps.lifecycle ?? null,
+    taskComment: steps.taskComment ?? null,
+    verification: steps.verification ?? null,
+    summary: steps.summary ?? null,
     completedSteps: completedSteps(receipt),
     pendingSteps: pending,
-    result: postLifecyclePending && (warnings.length > 0 || receipt.warningProjection === 'pending')
-      ? 'completed_with_warnings'
-      : hardError
-        ? (error?.retryable ? 'blocked' : 'failed')
-        : pending.length === 0 || postLifecyclePending
+    result: hardError
+      ? (error?.retryable ? 'blocked' : 'failed')
+      : postLifecyclePending
+        ? 'completed_with_warnings'
+        : pending.length === 0
           ? 'completed'
           : blocked
             ? 'blocked'
@@ -596,6 +683,7 @@ async function applyUnderLock(
 ): Promise<TaskFinalizationResult> {
   const repoRoot = path.resolve(options.repoRoot);
   const lifecycle = options.lifecycle ?? applyTaskLifecycle;
+  const backfill = options.backfill ?? backfillCompletionComments;
   const commentSync = options.commentSync ?? syncPlatformComment;
   const verify = options.verify ?? verifyTaskEvent;
   const consumedCapabilities = new Set<string>();
@@ -608,17 +696,10 @@ async function applyUnderLock(
   } catch (error) {
     return failed(taskId, errorOf(error, 'TASK_FINALIZATION_RECEIPT_INVALID'));
   }
-  if (options.controlBinding && !controlBindingMatches(receipt, options.controlBinding)) {
-    const error: FinalizationError = {
-      code: 'TASK_FINALIZATION_CONTROL_BINDING_CONFLICT',
-      message: 'finalization receipt belongs to a different sandbox request or generation',
-      retryable: false
-    };
-    return failed(taskId, error, {
-      completedSteps: completedSteps(receipt),
-      pendingSteps: pendingSteps(receipt)
-    });
-  }
+  if (options.controlBinding && (
+    receipt.controlBinding?.generation !== options.controlBinding.generation
+    || receipt.controlBinding.requestId !== options.controlBinding.requestId
+  )) receipt = updateReceipt(repoRoot, receipt, { controlBinding: options.controlBinding });
 
   const preflightState = resolveTaskRef(taskId, { repoRoot });
   if (options.preflight && preflightState.ok && preflightState.state === 'active') {
@@ -642,8 +723,36 @@ async function applyUnderLock(
     }
   }
 
-  let lifecycleResult: TaskFinalizationStep | null = null;
   let changed = false;
+  let backfillResult: TaskFinalizationStep | null = null;
+  try {
+    const result = await backfill(taskId, { agent: request.agent, cwd: repoRoot });
+    backfillResult = commentStep(result);
+    const issueNotLinked = result.status === 'no-op' && result.error?.code === 'ISSUE_NOT_LINKED';
+    if (!issueNotLinked && (result.status !== 'applied' && result.status !== 'no-op' || result.error)) {
+      const detail = backfillResult.error ?? {
+        code: 'COMPLETION_BACKFILL_FAILED', message: 'completion artifact backfill did not reach a successful terminal result', retryable: true
+      };
+      return failed(taskId, detail, {
+        backfill: backfillResult,
+        completedSteps: completedSteps(receipt),
+        pendingSteps: pendingSteps(receipt)
+      });
+    }
+    changed = result.changed;
+    if (result.changed && receipt.taskComment !== 'pending') {
+      receipt = updateReceipt(repoRoot, receipt, { taskComment: 'pending' });
+    }
+  } catch (error) {
+    const detail = errorOf(error, 'COMPLETION_BACKFILL_FAILED', true);
+    return failed(taskId, detail, {
+      backfill: { status: detail.retryable ? 'blocked' : 'failed', changed: false, error: detail },
+      completedSteps: completedSteps(receipt),
+      pendingSteps: pendingSteps(receipt)
+    });
+  }
+
+  let lifecycleResult: TaskFinalizationStep | null = null;
   try {
     const resolved = resolveTaskRef(taskId, { repoRoot });
     const registry = resolved.ok && resolved.state === 'completed' ? inspectShortIdRegistry(repoRoot) : null;
@@ -655,6 +764,7 @@ async function applyUnderLock(
       };
       receipt = updateReceipt(repoRoot, receipt, { lifecycle: 'pending', lastError: detail });
       return terminalResult(taskId, receipt, {
+        backfill: backfillResult,
         lifecycle: { status: 'failed', changed: false, error: detail },
         taskComment: null,
         verification: null
@@ -669,6 +779,7 @@ async function applyUnderLock(
       };
       receipt = updateReceipt(repoRoot, receipt, { lifecycle: 'pending', lastError: detail });
       return terminalResult(taskId, receipt, {
+        backfill: backfillResult,
         lifecycle: { status: 'failed', changed: false, error: detail },
         taskComment: null,
         verification: null
@@ -686,15 +797,15 @@ async function applyUnderLock(
       lifecycleResult = lifecycleStep(result);
       if (result.status !== 'applied' && result.status !== 'no-op') {
         receipt = updateReceipt(repoRoot, receipt, { lifecycle: 'pending', lastError: lifecycleResult.error });
-        return terminalResult(taskId, receipt, { lifecycle: lifecycleResult, taskComment: null, verification: null }, result.changed, lifecycleResult.error);
+        return terminalResult(taskId, receipt, { backfill: backfillResult, lifecycle: lifecycleResult, taskComment: null, verification: null }, result.changed, lifecycleResult.error);
       }
-      changed = result.changed;
+      changed = changed || result.changed;
       receipt = updateReceipt(repoRoot, receipt, { lifecycle: 'done', lastError: null });
     }
   } catch (error) {
     const detail = errorOf(error, 'TASK_FINALIZATION_LIFECYCLE_FAILED');
     try { receipt = updateReceipt(repoRoot, receipt, { lifecycle: 'pending', lastError: detail }); } catch { /* preserve the primary error */ }
-    return failed(taskId, detail, { lifecycle: lifecycleResult });
+    return failed(taskId, detail, { backfill: backfillResult, lifecycle: lifecycleResult });
   }
 
   let taskComment: TaskFinalizationStep | null = null;
@@ -706,21 +817,20 @@ async function applyUnderLock(
   taskComment = initialComment.step;
   changed = changed || initialComment.changed;
   if (initialComment.error) {
-    return terminalResult(taskId, receipt, { lifecycle: lifecycleResult, taskComment, verification: null }, changed, initialComment.error);
+    return terminalResult(taskId, receipt, { backfill: backfillResult, lifecycle: lifecycleResult, taskComment, verification: null }, changed, initialComment.error);
   }
 
   let verification: TaskFinalizationStep | null = null;
   try {
     receipt = reconcileWarningProjection(repoRoot, taskId, receipt, consumedCapabilities);
-    if (receipt.verification !== 'pending') {
-      verification = { status: 'no-op', changed: false, error: null };
-    } else {
-      const result = await verify(
-        { taskRef: taskId, event: 'complete-task.completed' },
-        { repoRoot }
-      );
-      verification = verificationStep(result);
-      if (result.status === 'pass') {
+    const verificationPending = receipt.verification === 'pending';
+    const result = await verify(
+      { taskRef: taskId, event: 'complete-task.completed' },
+      { repoRoot }
+    );
+    verification = verificationStep(result);
+    if (result.status === 'pass') {
+      if (verificationPending) {
         const capability = issueCapability(receipt, 'verification');
         receipt = applyFinalizationReceiptMutationUnderLock(repoRoot, receipt, capability, {
           scope: 'verification', operation: 'succeeded'
@@ -733,31 +843,76 @@ async function applyUnderLock(
         if (finalComment.step.status !== 'no-op') taskComment = finalComment.step;
         changed = changed || finalComment.changed;
         if (finalComment.error) {
-          return terminalResult(taskId, receipt, { lifecycle: lifecycleResult, taskComment, verification }, changed, finalComment.error);
+          return terminalResult(taskId, receipt, { backfill: backfillResult, lifecycle: lifecycleResult, taskComment, verification }, changed, finalComment.error);
         }
       } else {
-        const detail = verification.error ?? { code: 'VERIFY_FAILED', message: 'verification failed', retryable: true };
+        receipt = updateReceipt(repoRoot, receipt, { lastError: null });
+      }
+    } else {
+      const detail = verification.error ?? { code: 'VERIFY_FAILED', message: 'verification failed', retryable: true };
+      if (verificationPending) {
         const capability = issueCapability(receipt, 'verification');
         receipt = applyFinalizationReceiptMutationUnderLock(repoRoot, receipt, capability, {
           scope: 'verification', operation: 'failed', error: detail
         }, consumedCapabilities);
         receipt = reconcileWarningProjection(repoRoot, taskId, receipt, consumedCapabilities);
-        return terminalResult(taskId, receipt, { lifecycle: lifecycleResult, taskComment, verification }, changed, verification.error);
+      } else {
+        const warnings = replaceWarning(receipt, warningFromError('verification', detail), 'open');
+        receipt = updateReceipt(repoRoot, receipt, {
+          verification: 'pending', taskComment: 'pending', warningProjection: 'pending', warnings, lastError: detail
+        });
+        receipt = reconcileWarningProjection(repoRoot, taskId, receipt, consumedCapabilities);
+        const warningComment = await syncPendingTaskComment({ repoRoot, taskId, agent: request.agent, receipt, commentSync, consumedCapabilities });
+        receipt = warningComment.receipt;
+        if (warningComment.step.status !== 'no-op') taskComment = warningComment.step;
+        changed = changed || warningComment.changed;
       }
+      return terminalResult(taskId, receipt, { backfill: backfillResult, lifecycle: lifecycleResult, taskComment, verification }, changed, detail);
     }
   } catch (error) {
     const detail = errorOf(error, 'VERIFY_FAILED', true);
     try {
-      const capability = issueCapability(receipt, 'verification');
-      receipt = applyFinalizationReceiptMutationUnderLock(repoRoot, receipt, capability, {
-        scope: 'verification', operation: 'failed', error: detail
-      }, consumedCapabilities);
+      if (receipt.verification === 'pending') {
+        const capability = issueCapability(receipt, 'verification');
+        receipt = applyFinalizationReceiptMutationUnderLock(repoRoot, receipt, capability, {
+          scope: 'verification', operation: 'failed', error: detail
+        }, consumedCapabilities);
+      } else {
+        const warnings = replaceWarning(receipt, warningFromError('verification', detail), 'open');
+        receipt = updateReceipt(repoRoot, receipt, {
+          verification: 'pending', taskComment: 'pending', warningProjection: 'pending', warnings, lastError: detail
+        });
+      }
       receipt = reconcileWarningProjection(repoRoot, taskId, receipt, consumedCapabilities);
+    } catch (writeError) {
+      const persistence = errorOf(writeError, 'FINALIZATION_RECEIPT_WRITE_FAILED', true);
+      const hardError: FinalizationError = {
+        code: 'FINALIZATION_RECEIPT_WRITE_FAILED',
+        message: `Unable to persist verification failure (${detail.code}: ${detail.message}): ${persistence.message}`,
+        retryable: true
+      };
+      return terminalResult(taskId, receipt, {
+        backfill: backfillResult, lifecycle: lifecycleResult, taskComment, verification: { status: 'blocked', changed: false, error: detail }
+      }, changed, hardError);
+    }
+    try {
+      const warningComment = await syncPendingTaskComment({ repoRoot, taskId, agent: request.agent, receipt, commentSync, consumedCapabilities });
+      receipt = warningComment.receipt;
+      if (warningComment.step.status !== 'no-op') taskComment = warningComment.step;
+      changed = changed || warningComment.changed;
     } catch { /* preserve the primary error */ }
-    return terminalResult(taskId, receipt, { lifecycle: lifecycleResult, taskComment, verification: { status: 'blocked', changed: false, error: detail } }, changed, detail);
+    return terminalResult(taskId, receipt, { backfill: backfillResult, lifecycle: lifecycleResult, taskComment, verification: { status: 'blocked', changed: false, error: detail } }, changed, detail);
+  }
+
+  let summary = await syncPendingSummary({ repoRoot, taskId, agent: request.agent, receipt, commentSync });
+  receipt = summary.receipt;
+  changed = changed || summary.changed;
+  if (summary.error) {
+    receipt = reconcileWarningProjection(repoRoot, taskId, receipt, consumedCapabilities);
+    return terminalResult(taskId, receipt, { backfill: backfillResult, lifecycle: lifecycleResult, taskComment, verification, summary: summary.step }, changed, summary.error);
   }
   receipt = reconcileWarningProjection(repoRoot, taskId, receipt, consumedCapabilities);
-  return terminalResult(taskId, receipt, { lifecycle: lifecycleResult, taskComment, verification }, changed);
+  return terminalResult(taskId, receipt, { backfill: backfillResult, lifecycle: lifecycleResult, taskComment, verification, summary: summary.step }, changed);
 }
 
 async function applyTaskFinalization(request: TaskFinalizationRequest, options: TaskFinalizationOptions): Promise<TaskFinalizationResult> {
@@ -781,7 +936,8 @@ export {
   applyFinalizationReceiptMutation,
   applyTaskFinalization,
   issueCapability as createFinalizationCapability,
-  readTaskFinalizationReceipt
+  readTaskFinalizationReceipt,
+  terminalResult
 };
 export type {
   FinalizationError,

package/lib/task/lifecycle-execution.ts

@@ -1,8 +1,7 @@
 import {
   inspectOrchestrationStage,
   pauseOrchestration,
-  planOrchestrationStageCompletion,
-  readRun
+  planOrchestrationStageCompletion
 } from './orchestration.ts';
 import type {
   OrchestrationStageCompletion,
@@ -31,28 +30,15 @@ function failure(mode: LifecycleExecutionMode, code: string, message: string): L
 function inspectLifecycleExecution(
   taskRef: string,
   request: LifecycleExecutionRequest,
-  options: Readonly<{ repoRoot?: string }> = {}
+  options: Readonly<{
+    repoRoot?: string;
+    now?: () => string;
+  }> = {}
 ): LifecycleExecutionResult {
   const resolved = resolveTaskRef(taskRef, { repoRoot: options.repoRoot });
   if (!resolved.ok) return failure(request.mode, resolved.code, resolved.message);
   if (request.mode === 'standalone') {
-    try {
-      const run = readRun(resolved.taskDir);
-      if (run?.pendingDelegation) {
-        return failure(
-          request.mode,
-          'ORCHESTRATION_STANDALONE_BUSY',
-          'standalone lifecycle execution is blocked by a pending orchestration delegation'
-        );
-      }
-      return { ok: true, mode: request.mode, completionPlan: null, error: null };
-    } catch (error) {
-      return failure(
-        request.mode,
-        'ORCHESTRATION_STATE_INVALID',
-        error instanceof Error ? error.message : String(error)
-      );
-    }
+    return { ok: true, mode: request.mode, completionPlan: null, error: null };
   }
 
   if (request.agent) {
@@ -84,7 +70,10 @@ function inspectLifecycleExecution(
 function validateLifecycleExecution(
   taskRef: string,
   request: LifecycleExecutionRequest,
-  options: Readonly<{ repoRoot?: string }> = {}
+  options: Readonly<{
+    repoRoot?: string;
+    now?: () => string;
+  }> = {}
 ): LifecycleExecutionResult {
   const inspected = inspectLifecycleExecution(taskRef, request, options);
   if (inspected.ok || request.mode === 'standalone' || request.dryRun) return inspected;

package/lib/task/lifecycle.ts

@@ -58,7 +58,7 @@ type TaskLifecycleRequest =
   | { taskRef: string; intent: 'close-codescan'; agent: string; alertNumber: number; reason: string; dryRun?: boolean }
   | { taskRef: string; intent: 'close-dependabot'; agent: string; alertNumber: number; reason: string; dryRun?: boolean }
   | { taskRef: string; intent: 'restore'; agent: string; stagingDir: string; issueNumber: number; dryRun?: boolean }
-  | { taskRef: string; intent: 'recover-started'; agent: string; stage: 'analysis' | 'review-analysis' | 'plan' | 'review-plan' | 'code' | 'review-code'; round: number; artifact: string; reason: string; dryRun?: boolean };
+  | { taskRef: string; intent: 'recover-started'; agent: string; auto: true; dryRun?: boolean };
 
 type HotState = 'active' | 'blocked' | 'completed';
 type SourceState = HotState | 'staging';
@@ -209,7 +209,7 @@ function actionAndNote(request: TaskLifecycleRequest, restoredFiles = 0): { acti
   if (request.intent === 'complete') return { action: 'Complete Task', note: 'Task moved to completed/' };
   if (request.intent === 'close-codescan') return { action: 'Close Codescan', note: `Code Scanning alert #${request.alertNumber} dismissed: ${request.reason}` };
   if (request.intent === 'close-dependabot') return { action: 'Close Dependabot', note: `Dependabot alert #${request.alertNumber} dismissed: ${request.reason}` };
-  if (request.intent === 'recover-started') return { action: 'Recover Started', note: request.reason };
+  if (request.intent === 'recover-started') return { action: 'Recover Started', note: 'automatic recovery' };
   return { action: 'Restore Task', note: `Restored ${restoredFiles} files from Issue #${request.issueNumber}` };
 }