@fitlab-ai/agent-infra 0.11.3 → 0.11.5

package/lib/task/artifact-schema.ts

@@ -13,6 +13,7 @@ type ArtifactSchema = Readonly<{
   family: ArtifactSchemaFamily;
   title: Readonly<{ zh: string; en: string }>;
   sections: readonly ArtifactSection[];
+  stateCheckPatterns: readonly string[];
   requiredPatterns: readonly string[];
 }>;
 type ArtifactSkeletonInput = Readonly<{
@@ -30,6 +31,7 @@ const LOCAL_SECTIONS = {
     ['impact', '影响评估', 'Impact Assessment'],
     ['risks', '技术风险', 'Technical Risks'],
     ['effort', '工作量和复杂度评估', 'Effort and Complexity Assessment'],
+    ['flow-decision', '流程裁定', 'Flow Decision'],
     ['state-check', '状态核对', 'State Check']
   ],
   plan: [
@@ -105,21 +107,22 @@ function buildSections(family: ArtifactSchemaFamily): readonly ArtifactSection[]
   }));
 }
 
+const TASK_SNAPSHOT_PATTERN = 'agent-infra-internal[ \\t]+task-snapshot\\b';
+
 const ARTIFACT_SCHEMAS: readonly ArtifactSchema[] = [
-  { family: 'analysis', title: { zh: '需求分析报告', en: 'Requirements Analysis' }, sections: buildSections('analysis'), requiredPatterns: ['^\\$ '] },
-  { family: 'review-analysis', title: { zh: '需求分析审查报告', en: 'Analysis Review Report' }, sections: buildSections('review-analysis'), requiredPatterns: ['^### (?:审查决定|Approval Decision)$', '^\\$ '] },
-  { family: 'plan', title: { zh: '技术方案', en: 'Technical Plan' }, sections: buildSections('plan'), requiredPatterns: ['^\\$ '] },
-  { family: 'review-plan', title: { zh: '技术方案审查报告', en: 'Plan Review Report' }, sections: buildSections('review-plan'), requiredPatterns: ['^### (?:审查决定|Approval Decision)$', '^\\$ '] },
-  { family: 'code', title: { zh: '实现报告', en: 'Implementation Report' }, sections: buildSections('code'), requiredPatterns: ['^\\$ '] },
+  { family: 'analysis', title: { zh: '需求分析报告', en: 'Requirements Analysis' }, sections: buildSections('analysis'), stateCheckPatterns: [TASK_SNAPSHOT_PATTERN], requiredPatterns: [] },
+  { family: 'review-analysis', title: { zh: '需求分析审查报告', en: 'Analysis Review Report' }, sections: buildSections('review-analysis'), stateCheckPatterns: [TASK_SNAPSHOT_PATTERN], requiredPatterns: ['^### (?:审查决定|Approval Decision)$'] },
+  { family: 'plan', title: { zh: '技术方案', en: 'Technical Plan' }, sections: buildSections('plan'), stateCheckPatterns: [TASK_SNAPSHOT_PATTERN], requiredPatterns: [] },
+  { family: 'review-plan', title: { zh: '技术方案审查报告', en: 'Plan Review Report' }, sections: buildSections('review-plan'), stateCheckPatterns: [TASK_SNAPSHOT_PATTERN], requiredPatterns: ['^### (?:审查决定|Approval Decision)$'] },
+  { family: 'code', title: { zh: '实现报告', en: 'Implementation Report' }, sections: buildSections('code'), stateCheckPatterns: [TASK_SNAPSHOT_PATTERN], requiredPatterns: [] },
   { family: 'review-code', title: { zh: '代码审查报告', en: 'Code Review Report' }, sections: buildSections('review-code'), requiredPatterns: [
     '^### (?:审查决定|Approval Decision)$',
-    '^\\$ ',
     '^- \\*\\*(?:总体结论|Overall Verdict)\\*\\*[:：]\\s*(?:通过|需要修改|拒绝|Approved|Changes Requested|Rejected)\\s*$',
     '^- \\*\\*(?:审查基线提交|Review Baseline Commit)\\*\\*[:：]\\s*\\S',
     '^- \\*\\*(?:审查差异基线|Reviewed Diff Base)\\*\\*[:：]\\s*[0-9a-f]{40,64}\\s*$',
     '^- \\*\\*(?:审查差异指纹|Reviewed Diff Fingerprint)\\*\\*[:：]\\s*sha256:[0-9a-f]{64}\\s*$',
     '^- \\*\\*(?:审查快照树|Reviewed Snapshot Tree)\\*\\*[:：]\\s*[0-9a-f]{40,64}\\s*$'
-  ] }
+  ], stateCheckPatterns: [TASK_SNAPSHOT_PATTERN] }
 ];
 
 function getArtifactSchema(family: string): ArtifactSchema | null {

package/lib/task/artifact-selection.ts

@@ -0,0 +1,53 @@
+import type { ArtifactFamily } from './artifact-name.ts';
+
+type SelectionArtifact = Readonly<{
+  family: ArtifactFamily;
+  round: number;
+  name: string;
+}>;
+
+type ArtifactDisposition = 'create' | 'resume' | 'reuse';
+
+type ArtifactSelection = Readonly<{
+  disposition: ArtifactDisposition;
+  reasonCode: string;
+  artifact: SelectionArtifact;
+  writeRequired: boolean;
+}>;
+
+type ArtifactSelectionRequest = Readonly<{
+  next: SelectionArtifact;
+  latest: SelectionArtifact | null;
+  open: boolean;
+  hasChangeEvidence: boolean;
+}>;
+
+function selectArtifactDisposition(request: ArtifactSelectionRequest): ArtifactSelection {
+  if (request.open) {
+    return {
+      disposition: 'resume', reasonCode: 'open-round', artifact: request.next,
+      writeRequired: true
+    };
+  }
+  if (!request.latest) {
+    return {
+      disposition: 'create',
+      reasonCode: request.next.round === 1 ? 'no-history' : 'invalidated-history',
+      artifact: request.next, writeRequired: true
+    };
+  }
+  const reasonCode = request.hasChangeEvidence ? 'change-evidence' : 'history-matched';
+  const reuse = reasonCode === 'history-matched';
+  return {
+    disposition: reuse ? 'reuse' : 'create',
+    reasonCode,
+    artifact: reuse ? request.latest : request.next,
+    writeRequired: !reuse
+  };
+}
+
+export { selectArtifactDisposition };
+export type {
+  ArtifactDisposition,
+  ArtifactSelection,
+};

package/lib/task/capabilities.ts

@@ -4,16 +4,19 @@ import path from 'node:path';
 import { parseArtifactName } from './artifact-name.ts';
 import type { InvalidationDocument } from './invalidation.ts';
 import { invalidationBlocks, isArtifactInvalidated, parseInvalidationDocument } from './invalidation.ts';
-import { receiptForOutput } from './artifact-receipts.ts';
+import { parseArtifactReceipts, receiptForOutput } from './artifact-receipts.ts';
 import { parseTypedTaskFrontmatter } from './frontmatter.ts';
 import { parseLedgerDocument, summarizeLedgerStage, validateLedgerRows } from './ledger.ts';
 import { parseReviewSummary, resolveCanonicalVerdict } from './review-artifacts.ts';
 import { parseReworkIntentDocument } from './rework-intent.ts';
-import type { ReworkIntent } from './rework-intent.ts';
+import type { ReworkIntent, ReworkTarget } from './rework-intent.ts';
 import { sha256File } from './artifact-receipts.ts';
 import { hasOpenLifecycleExecution } from './activity-log.ts';
 import { parseQualificationAudit, parseTaskQualification } from './qualification-audit.ts';
 import type { QualificationAudit, TaskQualification } from './qualification-audit.ts';
+import { parseLifecyclePathDecision, pathIncludes } from './lifecycle-path.ts';
+import type { LifecyclePathState } from './lifecycle-path.ts';
+import { parseImplementationInputs } from './implementation-inputs.ts';
 
 const ARTIFACT_AUDIT_FAMILIES = new Set(['analysis', 'review-analysis', 'plan', 'review-plan', 'code', 'review-code']);
 
@@ -49,6 +52,9 @@ type LifecycleFacts = {
   recommendedAction?: LifecycleAction | null;
   qualificationStale?: boolean;
   qualificationStaleArtifacts?: readonly string[];
+  pathState?: LifecyclePathState;
+  reworkClassificationRequired?: readonly ('analysis' | 'plan' | 'code')[];
+  resolvedHumanDecisions?: Partial<Record<'analysis' | 'plan' | 'code', 'review' | 'implementation'>>;
 };
 type CapabilityResult = {
   allowed: boolean;
@@ -80,6 +86,11 @@ function hasArtifact(facts: LifecycleFacts, action: LifecycleAction): boolean {
   return (facts.artifacts[action]?.length ?? 0) > 0;
 }
 
+function effectiveReworkTarget(target: ReworkTarget, pathState: LifecyclePathState | undefined): ReworkTarget {
+  if (target === 'plan' && pathState?.status === 'valid' && !pathIncludes(pathState, 'plan')) return 'analysis';
+  return target;
+}
+
 function canStart(action: LifecycleAction, facts: LifecycleFacts, trigger: ExplicitTrigger): CapabilityResult {
   if (!trigger || trigger.requestedAction !== action) return deny('TRIGGER_ACTION_MISMATCH', `requested=${trigger?.requestedAction ?? 'missing'}`);
   if (!trigger.requestId || !trigger.requestId.trim()) return deny('TRIGGER_REQUEST_ID_REQUIRED');
@@ -93,11 +104,32 @@ function canStart(action: LifecycleAction, facts: LifecycleFacts, trigger: Expli
   }
   if (facts.taskState !== 'active') return deny('TASK_NOT_ACTIVE', `state=${facts.taskState}`);
   if (invalidationBlocks(facts.invalidation)) return deny('INVALIDATION_INCOMPLETE');
-  if (facts.qualificationStale && facts.recommendedAction !== action) {
-    return deny('QUALIFICATION_STALE', ...(facts.qualificationStaleArtifacts ?? ['qualification audit is stale']));
-  }
   if (facts.executionBusy) return deny('EXECUTION_BUSY');
 
+  const pendingIntent = (facts.reworkIntents ?? []).find((intent) => intent.status === 'pending');
+  if (pendingIntent) {
+    const target = effectiveReworkTarget(pendingIntent.target, facts.pathState);
+    const requirementRestart = action === 'analysis' && trigger.reasonCode === 'new-requirement';
+    if (!requirementRestart && (target === 'pause' || target !== action)) {
+      return deny(target === 'pause' ? 'REWORK_PAUSED' : 'REWORK_INTENT_TARGET_MISMATCH', pendingIntent.intentId);
+    }
+  }
+
+  if (facts.pathState && facts.pathState.status !== 'valid') {
+    return action === 'analysis'
+      ? allow(`lifecycle-path-${facts.pathState.status}`)
+      : deny('LIFECYCLE_PATH_INVALID', facts.pathState.message);
+  }
+  if (facts.pathState?.status === 'valid'
+    && ['analysis', 'review-analysis', 'plan', 'review-plan', 'code', 'review-code'].includes(action)
+    && !pathIncludes(facts.pathState, action as never)) {
+    return deny('ARTIFACT_STAGE_NOT_SELECTED', `path=${facts.pathState.decision.path}`, `stage=${action}`);
+  }
+  if (facts.reworkClassificationRequired?.includes(action as 'analysis' | 'plan' | 'code')
+    && !(facts.reworkIntents ?? []).some((intent) => intent.status === 'pending')) {
+    return deny('REWORK_CLASSIFICATION_REQUIRED', `stage=${action}`);
+  }
+
   const implicit = trigger.explicitRequest === false;
   if (action === 'analysis') {
     if (!implicit || hasArtifact(facts, 'analysis') || facts.recommendedAction === 'analysis') return allow('analysis-capability');
@@ -107,6 +139,9 @@ function canStart(action: LifecycleAction, facts: LifecycleFacts, trigger: Expli
     return hasArtifact(facts, 'analysis') ? allow('analysis-artifact') : deny('ANALYSIS_ARTIFACT_REQUIRED');
   }
   if (action === 'plan') {
+    if (facts.pathState?.status === 'valid' && facts.pathState.decision.path === 'standard') {
+      return hasArtifact(facts, 'analysis') ? allow('analysis-artifact') : deny('ANALYSIS_ARTIFACT_REQUIRED');
+    }
     if (!hasArtifact(facts, 'review-analysis')) return deny('ANALYSIS_REVIEW_REQUIRED');
     if (!reviewMatchesLatest(facts, 'analysis', 'review-analysis')) return deny('ANALYSIS_REVIEW_NOT_LATEST');
     if (facts.reviews['review-analysis'] !== 'approved') return deny('ANALYSIS_REVIEW_NOT_APPROVED');
@@ -118,11 +153,22 @@ function canStart(action: LifecycleAction, facts: LifecycleFacts, trigger: Expli
   }
   if (action === 'code') {
     if (trigger.implementationInput) {
+      if (facts.resolvedHumanDecisions?.code === 'implementation') return allow('human-decision-implementation-input');
       if (!hasArtifact(facts, 'review-code')) return deny('CODE_REVIEW_REQUIRED');
       if (!reviewMatchesLatest(facts, 'code', 'review-code')) return deny('CODE_REVIEW_NOT_LATEST');
       if (facts.reviews['review-code'] !== 'approved') return deny('CODE_REVIEW_NOT_APPROVED');
       return allow('implementation-input');
     }
+    if (facts.pathState?.status === 'valid' && facts.pathState.decision.path === 'streamlined') {
+      if (!hasArtifact(facts, 'analysis')) return deny('ANALYSIS_ARTIFACT_REQUIRED');
+      if (facts.unresolvedLedger.analysis > 0) return deny('ANALYSIS_LEDGER_BLOCKED', `unresolved=${facts.unresolvedLedger.analysis}`);
+      return allow('analysis-path-approved');
+    }
+    if (facts.pathState?.status === 'valid' && facts.pathState.decision.path === 'standard') {
+      if (!hasArtifact(facts, 'plan')) return deny('PLAN_ARTIFACT_REQUIRED');
+      if (facts.unresolvedLedger.plan > 0) return deny('PLAN_LEDGER_BLOCKED', `unresolved=${facts.unresolvedLedger.plan}`);
+      return allow('plan-path-approved');
+    }
     if (!hasArtifact(facts, 'review-plan')) return deny('PLAN_REVIEW_REQUIRED');
     if (!reviewMatchesLatest(facts, 'plan', 'review-plan')) return deny('PLAN_REVIEW_NOT_LATEST');
     if (facts.reviews['review-plan'] !== 'approved') return deny('PLAN_REVIEW_NOT_APPROVED');
@@ -147,14 +193,6 @@ function latestArtifact(names: readonly string[]): string | null {
     .sort((left, right) => right.round - left.round || left.name.localeCompare(right.name))[0]?.name ?? null;
 }
 
-function reviewedInputName(content: string, expectedFamily: 'analysis' | 'plan' | 'code'): string | null {
-  const header = content.split(/\r?\n/).findIndex((line) => /\*\*(?:审查输入|Review Input)\*\*[:：]/.test(line));
-  if (header < 0) return null;
-  const referenceBlock = content.split(/\r?\n/).slice(header, header + 12).join('\n');
-  const expected = new RegExp('`' + expectedFamily + '(?:-r[2-9]|-r[1-9]\\d+)?\\.md`');
-  return expected.exec(referenceBlock)?.[0].slice(1, -1) ?? null;
-}
-
 function reviewMatchesLatest(facts: LifecycleFacts, source: 'analysis' | 'plan' | 'code', review: 'review-analysis' | 'review-plan' | 'review-code'): boolean {
   const latestSource = latestArtifact(facts.artifacts[source] ?? []);
   return Boolean(latestSource && facts.reviewedInputs?.[review] === latestSource);
@@ -172,31 +210,53 @@ function qualificationCandidateSnapshotMatches(
   });
 }
 
-const QUALIFICATION_RECOVERY_ORDER: ReadonlyArray<{ action: LifecycleAction; pattern: RegExp }> = [
-  { action: 'analysis', pattern: /^analysis(?:-r\d+)?\.md$/ },
-  { action: 'review-analysis', pattern: /^review-analysis(?:-r\d+)?\.md$/ },
-  { action: 'plan', pattern: /^plan(?:-r\d+)?\.md$/ },
-  { action: 'review-plan', pattern: /^review-plan(?:-r\d+)?\.md$/ },
-  { action: 'code', pattern: /^code(?:-r\d+)?\.md$/ },
-  { action: 'review-code', pattern: /^review-code(?:-r\d+)?\.md$/ }
-];
-
-function qualificationRecoveryAction(facts: LifecycleFacts): LifecycleAction | null {
-  const stale = facts.qualificationStaleArtifacts ?? [];
-  return QUALIFICATION_RECOVERY_ORDER.find(({ pattern }) => stale.some((name) => pattern.test(name)))?.action ?? null;
-}
-
 function recommendNext(facts: LifecycleFacts): LifecycleRecommendation {
-  if (facts.qualificationStale) {
-    const action = qualificationRecoveryAction(facts);
-    return {
-      action,
-      reasonCode: 'QUALIFICATION_RECOVERY_REQUIRED',
-      evidence: facts.qualificationStaleArtifacts ?? ['qualification audit is stale']
-    };
+  if ((facts.reworkClassificationRequired?.length ?? 0) > 0
+    && !(facts.reworkIntents ?? []).some((intent) => intent.status === 'pending')) {
+    return { action: null, reasonCode: 'REWORK_CLASSIFICATION_REQUIRED', evidence: facts.reworkClassificationRequired ?? [] };
   }
   const pendingIntent = (facts.reworkIntents ?? []).find((intent) => intent.status === 'pending');
-  if (pendingIntent) return { action: pendingIntent.target, reasonCode: 'REWORK_INTENT_PENDING', evidence: [pendingIntent.intentId, pendingIntent.findingId] };
+  if (pendingIntent) {
+    const target = effectiveReworkTarget(pendingIntent.target, facts.pathState);
+    return { action: target === 'pause' ? null : target, reasonCode: target === 'pause' ? 'REWORK_PAUSED' : 'REWORK_INTENT_PENDING', evidence: [pendingIntent.intentId, pendingIntent.findingId] };
+  }
+  if (facts.pathState && facts.pathState.status !== 'valid') {
+    return { action: 'analysis', reasonCode: facts.pathState.status === 'missing' ? 'LIFECYCLE_PATH_MISSING' : 'LIFECYCLE_PATH_INVALID', evidence: [facts.pathState.message] };
+  }
+  if (facts.pathState?.status === 'valid') {
+    for (const stage of facts.pathState.decision.stages) {
+      if (stage === 'analysis' && !hasArtifact(facts, stage)) return { action: stage, reasonCode: 'ANALYSIS_ARTIFACT_MISSING', evidence: ['analysis artifact is absent'] };
+      if (stage === 'review-analysis' && (!reviewMatchesLatest(facts, 'analysis', stage) || facts.reviews[stage] !== 'approved')) {
+        if (facts.reviews[stage] === 'changes-requested' && facts.resolvedHumanDecisions?.analysis === 'review') {
+          return { action: stage, reasonCode: 'HUMAN_DECISION_REVIEW_REQUIRED', evidence: ['analysis decision was resolved'] };
+        }
+        return facts.reviews[stage] === 'changes-requested'
+          ? { action: 'analysis', reasonCode: 'ANALYSIS_REWORK_REQUIRED', evidence: ['analysis review is not approved'] }
+          : { action: stage, reasonCode: 'ANALYSIS_REVIEW_MISSING', evidence: ['analysis review does not bind the latest analysis artifact'] };
+      }
+      if (stage === 'plan' && !hasArtifact(facts, stage)) return { action: stage, reasonCode: 'PLAN_ARTIFACT_MISSING', evidence: ['plan artifact is absent'] };
+      if (stage === 'review-plan' && (!reviewMatchesLatest(facts, 'plan', stage) || facts.reviews[stage] !== 'approved')) {
+        if (facts.reviews[stage] === 'changes-requested' && facts.resolvedHumanDecisions?.plan === 'review') {
+          return { action: stage, reasonCode: 'HUMAN_DECISION_REVIEW_REQUIRED', evidence: ['plan decision was resolved'] };
+        }
+        return facts.reviews[stage] === 'changes-requested'
+          ? { action: 'plan', reasonCode: 'PLAN_REWORK_REQUIRED', evidence: ['plan review is not approved'] }
+          : { action: stage, reasonCode: 'PLAN_REVIEW_MISSING', evidence: ['plan review does not bind the latest plan artifact'] };
+      }
+      if (stage === 'code' && !hasArtifact(facts, stage)) return { action: stage, reasonCode: 'CODE_ARTIFACT_MISSING', evidence: ['code artifact is absent'] };
+      if (stage === 'review-code' && (!reviewMatchesLatest(facts, 'code', stage) || facts.reviews[stage] !== 'approved')) {
+        if (facts.reviews[stage] === 'changes-requested' && facts.resolvedHumanDecisions?.code) {
+          return facts.resolvedHumanDecisions.code === 'implementation'
+            ? { action: 'code', reasonCode: 'HUMAN_DECISION_IMPLEMENTATION_REQUIRED', evidence: ['code decision requires implementation'] }
+            : { action: stage, reasonCode: 'HUMAN_DECISION_REVIEW_REQUIRED', evidence: ['code decision requires no implementation'] };
+        }
+        return facts.reviews[stage] === 'changes-requested'
+          ? { action: 'code', reasonCode: 'CODE_REWORK_REQUIRED', evidence: ['code review is not approved'] }
+          : { action: stage, reasonCode: 'CODE_REVIEW_MISSING', evidence: ['code review does not bind the latest code artifact'] };
+      }
+    }
+    return { action: null, reasonCode: 'LIFECYCLE_REVIEWED', evidence: ['selected lifecycle path is complete'] };
+  }
   if (!hasArtifact(facts, 'analysis')) return { action: 'analysis', reasonCode: 'ANALYSIS_ARTIFACT_MISSING', evidence: ['analysis artifact is absent'] };
   if (!hasArtifact(facts, 'review-analysis') || !reviewMatchesLatest(facts, 'analysis', 'review-analysis')) {
     return { action: 'review-analysis', reasonCode: 'ANALYSIS_REVIEW_MISSING', evidence: ['analysis review does not bind the latest analysis artifact'] };
@@ -247,8 +307,10 @@ function buildLifecycleFacts(taskDir: string, content: string, taskState = 'acti
       const family = familyFor(name);
       return !family || !isArtifactInvalidated(invalidation.document, family, name);
     });
+    const allArtifactHashes: Record<string, string> = {};
+    for (const name of files) allArtifactHashes[name] = sha256File(path.join(taskDir, name));
     const artifactHashes: Record<string, string> = {};
-    for (const name of activeFiles) artifactHashes[name] = sha256File(path.join(taskDir, name));
+    for (const name of activeFiles) artifactHashes[name] = allArtifactHashes[name]!;
     const artifacts: Partial<Record<LifecycleAction, readonly string[]>> = Object.fromEntries(
       artifactFamilies.map((family) => [
         family, activeFiles.filter((name) => familyFor(name) === family)
@@ -288,18 +350,67 @@ function buildLifecycleFacts(taskDir: string, content: string, taskState = 'acti
       if (!latest) continue;
       const reviewContent = fs.readFileSync(path.join(taskDir, latest), 'utf8');
       const expectedFamily = family === 'review-analysis' ? 'analysis' : family === 'review-plan' ? 'plan' : 'code';
-      const input = reviewedInputName(reviewContent, expectedFamily);
-      const receipt = input ? receiptForOutput(content, latest) : null;
-      if (input && receipt?.input === input && artifactHashes[input] === receipt.inputSha256) reviewedInputs[family] = input;
+      const receipt = receiptForOutput(content, latest);
+      const input = receipt?.input;
+      if (
+        input
+        && parseArtifactName(input)?.family === expectedFamily
+        && (artifacts[expectedFamily] ?? []).includes(input)
+        && artifactHashes[input] === receipt.inputSha256
+      ) reviewedInputs[family] = input;
       const parsed = parseReviewSummary(reviewContent);
       if (!parsed.ok) continue;
       const verdict = resolveCanonicalVerdict(parsed.summary);
       if (verdict.ok) reviews[family] = verdict.verdict === 'Approved' ? 'approved' : verdict.verdict === 'Changes Requested' ? 'changes-requested' : 'rejected';
     }
+    const reworkClassificationRequired: Array<'analysis' | 'plan' | 'code'> = [];
+    const receipts = parseArtifactReceipts(content).rows;
+    for (const [reviewFamily, stage] of [['review-analysis', 'analysis'], ['review-plan', 'plan'], ['review-code', 'code']] as const) {
+      const cycles = receipts.filter((receipt) => receipt.event === `${reviewFamily}.completed` && files.includes(receipt.output)
+        && allArtifactHashes[receipt.input] === receipt.inputSha256).map((receipt) => {
+        const parsed = parseReviewSummary(fs.readFileSync(path.join(taskDir, receipt.output), 'utf8'));
+        const verdict = parsed.ok ? resolveCanonicalVerdict(parsed.summary) : null;
+        return {
+          input: receipt.input,
+          output: receipt.output,
+          outputRound: parseArtifactName(receipt.output)?.round ?? 0,
+          inputRound: parseArtifactName(receipt.input)?.round ?? 0,
+          verdict: verdict?.ok ? verdict.verdict : null
+        };
+      }).sort((left, right) => left.inputRound - right.inputRound || left.outputRound - right.outputRound || left.output.localeCompare(right.output));
+      const latest = cycles.at(-1);
+      const trailingInputRounds = new Set<number>();
+      for (let index = cycles.length - 1; index >= 0 && cycles[index]!.verdict === 'Changes Requested'; index -= 1) {
+        trailingInputRounds.add(cycles[index]!.inputRound);
+      }
+      const handled = latest && (rework.intents ?? []).some((intent) => intent.sourceArtifact === latest.output
+        && intent.sourceSha256 === allArtifactHashes[latest.output]);
+      const latestActiveReview = latestArtifact(artifacts[reviewFamily] ?? []);
+      const latestActiveInput = latestArtifact(artifacts[stage] ?? []);
+      const latestCycleIsActive = latest?.output === latestActiveReview && latest.input === latestActiveInput;
+      if (latestCycleIsActive && latest.verdict === 'Changes Requested' && trailingInputRounds.size >= 2 && !handled) reworkClassificationRequired.push(stage);
+    }
     const unresolvedLedger = { analysis: 0, plan: 0, code: 0 };
     if (ledger.present) {
       for (const stage of ['analysis', 'plan', 'code'] as const) unresolvedLedger[stage] = summarizeLedgerStage(ledger.rows, stage).unresolved.length;
     }
+    const latestAnalysis = latestArtifact(artifacts.analysis ?? []);
+    const pathState = latestAnalysis
+      ? parseLifecyclePathDecision(fs.readFileSync(path.join(taskDir, latestAnalysis), 'utf8'), latestAnalysis, artifactHashes[latestAnalysis] ?? '')
+      : { status: 'missing' as const, decision: null, message: 'analysis artifact is missing' };
+    const resolvedHumanDecisions: NonNullable<LifecycleFacts['resolvedHumanDecisions']> = {};
+    const implementationInputs = parseImplementationInputs(content).rows;
+    for (const stage of ['analysis', 'plan', 'code'] as const) {
+      const reviewFamily = `review-${stage}` as 'review-analysis' | 'review-plan' | 'review-code';
+      const latestReview = latestArtifact(artifacts[reviewFamily] ?? []);
+      if (!latestReview || reviews[reviewFamily] !== 'changes-requested') continue;
+      const latestHash = artifactHashes[latestReview];
+      const decision = rework.intents.find((intent) => intent.status === 'consumed'
+        && intent.classification === 'human-decision' && intent.sourceArtifact === latestReview && intent.sourceSha256 === latestHash);
+      if (!decision) continue;
+      const implementationInput = implementationInputs.find((input) => input.ledgerId === decision.findingId);
+      resolvedHumanDecisions[stage] = stage === 'code' && implementationInput?.status === 'pending' ? 'implementation' : 'review';
+    }
     const facts: LifecycleFacts = {
       taskState, currentStep: String(metadata.current_step ?? ''), artifacts, reviews,
       staleArtifacts, reviewedInputs, artifactHashes,
@@ -309,6 +420,9 @@ function buildLifecycleFacts(taskDir: string, content: string, taskState = 'acti
       recommendedAction: null,
       qualificationStale: qualificationStaleArtifacts.length > 0,
       qualificationStaleArtifacts
+      , pathState
+      , reworkClassificationRequired
+      , resolvedHumanDecisions
     };
     facts.recommendedAction = recommendNext(facts).action;
     return { ok: true, facts };
@@ -317,5 +431,5 @@ function buildLifecycleFacts(taskDir: string, content: string, taskState = 'acti
   }
 }
 
-export { buildLifecycleFacts, canStart, recommendNext };
+export { buildLifecycleFacts, canStart, effectiveReworkTarget, recommendNext };
 export type { CapabilityResult, ExplicitTrigger, LifecycleAction, LifecycleFacts, LifecycleFactsResult, LifecycleRecommendation, TriggerInitiator, TriggerReason };

package/lib/task/commands/status.ts

@@ -386,6 +386,8 @@ type StatusModel = {
   orchestration: OrchestrationInfo;
   invalidation?: { status: string; processed: number; total: number; pendingIntents: number };
   recommendation?: string;
+  recommendationReason?: string;
+  lifecyclePath?: string;
   git: GitInfo;
 };
 
@@ -444,7 +446,11 @@ function renderStatus(model: StatusModel): string[] {
     ])
   );
 
-  lines.push('', 'Recommendation', ...renderPairs([['action', model.recommendation ?? DASH]]));
+  lines.push('', 'Recommendation', ...renderPairs([
+    ['path', model.lifecyclePath ?? DASH],
+    ['action', model.recommendation ?? DASH],
+    ['reason', model.recommendationReason ?? DASH]
+  ]));
 
   lines.push(
     '',
@@ -546,7 +552,8 @@ function buildFromResolved(input: BuildStatusModelInput): StatusModel {
         pendingIntents
       };
   const facts = buildLifecycleFacts(input.taskDir, content, fm.status ?? 'active');
-  const recommendation = facts.ok ? (recommendNext(facts.facts).action ?? DASH) : DASH;
+  const next = facts.ok ? recommendNext(facts.facts) : null;
+  const recommendation = next?.action ?? DASH;
 
   return {
     taskId: input.taskId,
@@ -560,6 +567,8 @@ function buildFromResolved(input: BuildStatusModelInput): StatusModel {
     orchestration: collectOrchestration(input.taskDir),
     invalidation: invalidationInfo,
     recommendation,
+    recommendationReason: next?.reasonCode ?? 'TASK_CAPABILITY_FACTS_INVALID',
+    lifecyclePath: facts.ok && facts.facts.pathState?.status === 'valid' ? facts.facts.pathState.decision.path : facts.ok ? facts.facts.pathState?.status ?? DASH : DASH,
     git: collectGit(fm.branch ?? '', run)
   };
 }