@fitlab-ai/agent-infra 0.11.3 → 0.11.5

package/lib/task/verification-engine.ts

@@ -23,6 +23,7 @@ import { inspectPlatformPullRequest } from "../platform/pull-requests.ts";
 import { resolveMaterializedReviewedHeadRelation } from "../platform/change-request-git-evidence.ts";
 import { resolveReviewedHeadRelation } from "../platform/merged-pr-equivalence.ts";
 import { resolveLocalReviewedCommitRelation } from "../git/reviewed-commit-equivalence.ts";
+import { resolveBranchWorktree } from "../git/branch-worktree.ts";
 import { parseTypedTaskFrontmatter } from "./frontmatter.ts";
 import { LEDGER_TERMINAL, LEDGER_SECTION_MISSING_CODE, LEDGER_SECTION_MISSING_MESSAGE, parseLedgerDocument, summarizeLedgerStage, validateLedgerRows } from "./ledger.ts";
 import type { LedgerRow } from "./ledger.ts";
@@ -40,7 +41,6 @@ import type { OrchestrationRun } from "./orchestration.ts";
 import { resolveDeliveryTarget } from "./delivery-target.ts";
 import { readPrDeliveryFact } from "./pr-delivery-fact.ts";
 import { validateLocalArtifact } from "./local-artifact-finalization.ts";
-import { validateQualificationAudit } from "./qualification-audit.ts";
 import { getArtifactSchema } from "./artifact-schema.ts";
 import { inspectArtifactContract } from "./artifact-operations.ts";
 import type { VerificationShared } from "./verification-types.ts";
@@ -78,7 +78,6 @@ const BRANCH_SLUG_PATTERN = /^[a-z0-9]+(?:-[a-z0-9]+)*$/;
 
 // Review disagreement ledger (see .agents/rules/review-handshake.md).
 const LEDGER_SECTION_NAMES = ["审查分歧账本", "Review Disagreement Ledger"];
-const DEFAULT_MAX_HANDSHAKE_ROUNDS = 3;
 const POST_REVIEW_COMMIT_STAGE = "post-review-commit";
 const SHA_PATTERN = /^[0-9a-f]{7,40}$/i;
 
@@ -511,19 +510,6 @@ function checkArtifact({ taskDir, config, artifactFile, skillName }: any): any {
   }
 
   const content = fs.readFileSync(artifactPath, "utf8");
-  let taskContent = "";
-  const taskPath = path.join(taskDir, "task.md");
-  if (fs.existsSync(taskPath)) {
-    try {
-      taskContent = fs.readFileSync(taskPath, "utf8");
-    } catch (error) {
-      return failResult("artifact", `Cannot read task qualification contract: ${error instanceof Error ? error.message : String(error)}`);
-    }
-  }
-  if (taskContent && /^review-(?:analysis|plan|code)$/.test(skillName)) {
-    const qualification = validateQualificationAudit(taskContent, content, { artifact: path.basename(artifactPath) });
-    if (!qualification.ok) return failResult("artifact", `${path.basename(artifactPath)} has qualification audit errors: ${qualification.code}: ${qualification.message}`);
-  }
   const schemaFamily = skillName === "analyze-task"
     ? "analysis"
     : skillName === "review-analysis"
@@ -547,9 +533,7 @@ function checkArtifact({ taskDir, config, artifactFile, skillName }: any): any {
   }
   if (localFamily) {
     const local = validateLocalArtifact(content, {
-      family: localFamily,
-      ...(taskContent ? { taskContent } : {}),
-      artifact: path.basename(artifactPath)
+      family: localFamily
     });
     if (!local.ok) {
       return failResult(
@@ -587,6 +571,23 @@ function checkArtifact({ taskDir, config, artifactFile, skillName }: any): any {
     }
   }
 
+  const stateCheckPatterns = config.state_check_patterns || [];
+  if (stateCheckPatterns.length > 0) {
+    const scanned = scanVisibleMarkdown(content);
+    const stateCheckHeading = scanned.headings.find((heading) => (
+      heading.level === 2 && (heading.text === "状态核对" || heading.text === "State Check")
+    ));
+    const nextHeading = stateCheckHeading && scanned.headings.find((heading) => (
+      heading.start > stateCheckHeading.start && heading.level <= 2
+    ));
+    const stateCheckBody = stateCheckHeading ? content.slice(stateCheckHeading.end, nextHeading?.start ?? content.length) : "";
+    for (const pattern of stateCheckPatterns) {
+      if (!new RegExp(pattern, "m").test(stateCheckBody)) {
+        return failResult("artifact", `${path.basename(artifactPath)} state-check section is missing required command: ${pattern}`);
+      }
+    }
+  }
+
   return passResult(
     "artifact",
     `${path.basename(artifactPath)} passed (${requiredSections.length} sections)`
@@ -818,12 +819,11 @@ function checkReviewLedger({ taskDir, config, repositoryRoot }: any): any {
   }
 
   const stageScope = Array.isArray(config.stage_scope) ? config.stage_scope : null;
-  const maxRounds = Number(resolveReviewSetting(config, "maxHandshakeRounds", DEFAULT_MAX_HANDSHAKE_ROUNDS, repositoryRoot));
   const problems = [];
   let inScopeCount = 0;
 
   for (const row of rows) {
-    const { id, stage, round: roundRaw, status, evidence } = row;
+    const { id, stage, status, evidence } = row;
     const stageScoped = stageScope ? stageScope.includes(stage) : true;
     // post-review-commit exemption rows are consumed by the post-review-commit
     // check, not enforced here.
@@ -843,15 +843,6 @@ function checkReviewLedger({ taskDir, config, repositoryRoot }: any): any {
     if (status !== "open" && evidence === "") {
       problems.push(`${id}: status '${status}' requires evidence`);
     }
-    const round = Number.parseInt(roundRaw!, 10);
-    if (
-      Number.isFinite(round) &&
-      round >= maxRounds &&
-      !LEDGER_TERMINAL.has(status!) &&
-      status !== "needs-human-decision"
-    ) {
-      problems.push(`${id}: round ${round} reached limit ${maxRounds} without convergence; escalate to needs-human-decision`);
-    }
     if (!LEDGER_TERMINAL.has(status!)) {
       problems.push(`${id}: unresolved (status '${status}')`);
     }
@@ -1194,7 +1185,8 @@ function checkReviewFact({ taskDir, artifactFile, repositoryRoot }: any): any {
   let targetHead;
   let diffBase;
   try {
-    gitRoot = execFileSync("git", ["-C", taskDir, "rev-parse", "--show-toplevel"], { encoding: "utf8" }).trim();
+    const taskRepositoryRoot = execFileSync("git", ["-C", taskDir, "rev-parse", "--show-toplevel"], { encoding: "utf8" }).trim();
+    gitRoot = reviewWorktreeForTask(taskRepositoryRoot, String(task.metadata.branch || "").trim()) ?? taskRepositoryRoot;
     head = execFileSync("git", ["-C", gitRoot, "rev-parse", "HEAD"], { encoding: "utf8" }).trim();
     const target = resolveDeliveryTarget(gitRoot, { remote: deliveryRemote, baseRef: deliveryBaseRef });
     if (!target.ok) throw new Error(target.message);
@@ -1275,6 +1267,13 @@ function checkReviewFact({ taskDir, artifactFile, repositoryRoot }: any): any {
   );
 }
 
+function reviewWorktreeForTask(repositoryRoot: string, branch: string): string | null {
+  if (!branch) return null;
+  const worktree = resolveBranchWorktree(repositoryRoot, branch);
+  if (worktree) return worktree;
+  throw new Error(`Task branch '${branch}' is not checked out in a registered worktree`);
+}
+
 function resolvePostReviewBaseline({ gitRoot, lastReviewedCommit, reviewArtifact }: any): any {
   if (SHA_PATTERN.test(lastReviewedCommit) && gitCommitExists(gitRoot, lastReviewedCommit)) {
     return { ok: true, sha: lastReviewedCommit };

package/lib/task/verification.ts

@@ -7,15 +7,13 @@ import { parseArtifactName } from './artifact-name.ts';
 import type { ArtifactFamily } from './artifact-lifecycle.ts';
 import { resolveTaskRef } from './resolve-ref.ts';
 import type { TaskWorkspaceState } from './resolve-ref.ts';
-import { allowsManualOverride } from './guard-override.ts';
-import type { ManualOverrideCapability } from './guard-override.ts';
 
 type VerificationEvent =
   | 'analyze.awaiting-input' | 'analyze.completed'
   | 'review-analysis.completed' | 'plan.completed' | 'review-plan.completed'
   | 'code.completed' | 'review-code.completed' | 'manual-validation.completed' | 'validation-run.completed'
   | 'block-task.completed' | 'cancel-task.completed' | 'commit.completed'
-  | 'complete-task.preflight' | 'complete-task.hard-preflight' | 'complete-task.completed'
+  | 'complete-task.preflight' | 'complete-task.hard-preflight' | 'complete-task.prepared' | 'complete-task.completed'
   | 'create-pr.completed' | 'create-task.completed'
   | 'import-codescan.completed' | 'import-dependabot.completed'
   | 'import-issue.completed' | 'watch-pr.completed'
@@ -50,7 +48,6 @@ type TaskVerificationResult = {
 type VerificationOptions = {
   repoRoot?: string;
   engine?: (input: Parameters<typeof verifyInProcess>[0]) => Record<string, unknown> | Promise<Record<string, unknown>>;
-  manualOverride?: ManualOverrideCapability;
 };
 
 const gate = (skill: string, expectedState: VerificationSpec['expectedState'], artifactFamily?: ArtifactFamily): VerificationSpec => ({
@@ -71,6 +68,7 @@ const VERIFICATION_CATALOG: Readonly<Record<VerificationEvent, VerificationSpec>
   'commit.completed': gate('commit', 'active'),
   'complete-task.preflight': { skill: 'complete-task', expectedState: 'active', mode: 'checks', checks: ['required-pr-delivery'] },
   'complete-task.hard-preflight': { skill: 'complete-task', expectedState: 'active', mode: 'checks', checks: ['required-pr-delivery'] },
+  'complete-task.prepared': gate('complete-task', 'active'),
   'complete-task.completed': gate('complete-task', 'completed'),
   'create-pr.completed': gate('create-pr', 'active'),
   'create-task.completed': gate('create-task', 'active'),
@@ -97,7 +95,7 @@ async function verifyTaskEvent(request: { taskRef: string; event: string; artifa
   const resolved = resolveTaskRef(request.taskRef, { repoRoot: options.repoRoot });
   if (!resolved.ok) return failure(request, resolved.code, resolved.message, { taskId: resolved.taskId, skill: spec.skill, mode: spec.mode });
   const identity = { taskId: resolved.taskId, taskDir: resolved.taskDir, taskState: resolved.state, skill: spec.skill, mode: spec.mode } as const;
-  if (resolved.state !== spec.expectedState && !allowsManualOverride(options.manualOverride, 'task-verify', 'VERIFY_TASK_STATE_MISMATCH')) {
+  if (resolved.state !== spec.expectedState) {
     return failure(request, 'VERIFY_TASK_STATE_MISMATCH', `event '${request.event}' requires workspace '${spec.expectedState}', received '${resolved.state}'`, identity);
   }
   if (spec.artifactFamily) {
@@ -115,22 +113,11 @@ async function verifyTaskEvent(request: { taskRef: string; event: string; artifa
   if (spec.mode === 'gate') {
     const payload = await engine({ mode: 'gate', skillName: spec.skill, taskDir: resolved.taskDir, artifactFile: request.artifact, checks: [], repositoryRoot: resolved.repoRoot });
     const status = payload.gate as 'pass' | 'fail' | 'blocked';
-    if (status !== 'pass' && allowsManualOverride(options.manualOverride, 'verification-engine', status === 'blocked' ? 'CHECK_BLOCKED' : 'CHECK_FAILED')) {
-      invocations.push({ status: 'pass', exitCode: 0, payload: { ...payload, gate: 'pass', humanOverride: 'human-approved', originalGate: status } });
-      return {
-        status: 'pass', changed: false, event: request.event, requestRef: request.taskRef,
-        ...identity, artifact: request.artifact ?? null, invocations, error: null
-      };
-    }
     invocations.push({ status, exitCode: ({ pass: 0, fail: 1, blocked: 2 } as const)[status], payload });
   } else {
     for (const check of spec.checks ?? []) {
       const payload = await engine({ mode: 'checks', skillName: spec.skill, taskDir: resolved.taskDir, artifactFile: request.artifact, checks: [check], repositoryRoot: resolved.repoRoot });
       const status = (payload.effectiveStatus ?? payload.status) as 'pass' | 'fail' | 'blocked';
-      if (status !== 'pass' && allowsManualOverride(options.manualOverride, 'verification-engine', status === 'blocked' ? 'CHECK_BLOCKED' : 'CHECK_FAILED')) {
-        invocations.push({ status: 'pass', exitCode: 0, payload: { ...payload, status: 'pass', humanOverride: 'human-approved', originalStatus: status } });
-        break;
-      }
       invocations.push({ status, exitCode: ({ pass: 0, fail: 1, blocked: 2 } as const)[status], payload });
       if (status !== 'pass') break;
     }

package/lib/task/workflow-warning-intents.ts

@@ -1,6 +1,7 @@
 import fs from 'node:fs';
 
 import { resolveTaskRef } from './resolve-ref.ts';
+import { parseTaskFrontmatter } from './frontmatter.ts';
 import {
   WORKFLOW_WARNING_COLUMNS,
   WORKFLOW_WARNING_HEADINGS,
@@ -11,7 +12,6 @@ import {
 import type { WorkflowWarning } from './workflow-warnings.ts';
 import { captureTaskWriteMetadata, writeTask } from './write.ts';
 import type { TaskMutation, TaskOperationSummary, TaskWriteOptions } from './write.ts';
-import { allowsManualOverride } from './guard-override.ts';
 import { retryHintForWarning, type OperationWarning } from './operation-outcome.ts';
 
 type WarningSeverity = 'IMPORTANT' | 'ACTION_REQUIRED';
@@ -76,8 +76,7 @@ function rowMutation(row: WorkflowWarning): TaskMutation {
 function applyWorkflowWarningIntent(intent: WorkflowWarningIntent, options: TaskWriteOptions = {}): WorkflowWarningIntentResult {
   const resolved = resolveTaskRef(intent.taskRef, { repoRoot: options.repoRoot });
   if (!resolved.ok) return failed(intent, resolved.code, resolved.message, resolved.taskId);
-  const stateOverride = allowsManualOverride(options.manualOverride, 'workflow-warning', 'TASK_STATE_MISMATCH');
-  if (resolved.state !== 'active' && !stateOverride) return failed(intent, 'TASK_STATE_MISMATCH', `task ${resolved.taskId} is ${resolved.state}, expected active`, resolved.taskId);
+  if (resolved.state !== 'active') return failed(intent, 'TASK_STATE_MISMATCH', `task ${resolved.taskId} is ${resolved.state}, expected active`, resolved.taskId);
   let content: string;
   let rows: WorkflowWarning[];
   try {
@@ -121,7 +120,7 @@ function applyWorkflowWarningIntent(intent: WorkflowWarningIntent, options: Task
   }
 
   const writeResult = writeTask({
-    taskRef: intent.taskRef, expectedState: stateOverride ? resolved.state : 'active', mutations: [...sectionMutation(content), rowMutation(after)], dryRun: intent.dryRun
+    taskRef: intent.taskRef, expectedState: 'active', mutations: [...sectionMutation(content), rowMutation(after)], dryRun: intent.dryRun
   }, {
     ...options,
     taskLocation: { repoRoot: resolved.repoRoot, taskId: resolved.taskId, taskMdPath: resolved.taskMdPath, state: resolved.state },
@@ -137,11 +136,18 @@ function applyWorkflowWarningIntent(intent: WorkflowWarningIntent, options: Task
 function projectFinalizationWarning(
   taskRef: string,
   warning: OperationWarning & { status: 'open' | 'resolved'; resolvedAt: string | null },
-  options: TaskWriteOptions = {}
+  options: TaskWriteOptions & { resolution?: 'passed' | 'superseded' } = {}
 ): FinalizationWarningProjectionResult {
   const resolved = resolveTaskRef(taskRef, { repoRoot: options.repoRoot });
   if (!resolved.ok) return { status: 'failed', changed: false, error: { code: resolved.code, message: resolved.message } };
-  if (resolved.state !== 'completed') return { status: 'failed', changed: false, error: { code: 'TASK_STATE_MISMATCH', message: `task ${resolved.taskId} is ${resolved.state}, expected completed` } };
+  let prepared = resolved.state === 'completed';
+  if (!prepared && resolved.state === 'active') {
+    try { prepared = parseTaskFrontmatter(fs.readFileSync(resolved.taskMdPath, 'utf8')).status === 'completed'; }
+    catch { prepared = false; }
+  }
+  if (!prepared) {
+    return { status: 'failed', changed: false, error: { code: 'TASK_STATE_MISMATCH', message: `task ${resolved.taskId} is ${resolved.state}, expected a prepared or completed task` } };
+  }
   let content: string;
   let rows: WorkflowWarning[];
   try {
@@ -160,22 +166,26 @@ function projectFinalizationWarning(
       message: warning.message,
       action: retryHintForWarning(warning),
       resolvedAt: warning.resolvedAt || (warning.status === 'resolved' ? metadata.timestamp : ''),
-      resolution: warning.status === 'resolved' ? 'Resolved by a successful finalization retry' : ''
+      resolution: warning.status === 'resolved'
+        ? options.resolution === 'superseded' ? 'Superseded by a later verification observation' : 'Resolved by a successful finalization retry'
+        : ''
     }
     : {
       id: nextWarningId(rows), time: metadata.timestamp, step: warning.step,
       severity: warning.severity, code: warning.code, status: warning.status,
       target: warning.target, message: warning.message, action: retryHintForWarning(warning),
-      resolvedAt: warning.resolvedAt || '', resolution: warning.status === 'resolved' ? 'Resolved by a successful finalization retry' : ''
+      resolvedAt: warning.resolvedAt || '', resolution: warning.status === 'resolved'
+        ? options.resolution === 'superseded' ? 'Superseded by a later verification observation' : 'Resolved by a successful finalization retry'
+        : ''
     };
   if (existing && JSON.stringify(existing) === JSON.stringify(after)) return { status: 'no-op', changed: false, error: null };
   const written = writeTask({
     taskRef: resolved.taskId,
-    expectedState: 'completed',
+    expectedState: resolved.state,
     mutations: [...sectionMutation(content), rowMutation(after)]
   }, {
     ...options,
-    taskLocation: { repoRoot: resolved.repoRoot, taskId: resolved.taskId, taskMdPath: resolved.taskMdPath, state: 'completed' },
+    taskLocation: { repoRoot: resolved.repoRoot, taskId: resolved.taskId, taskMdPath: resolved.taskMdPath, state: resolved.state },
     metadataProvider: () => metadata
   });
   if (written.status === 'failed') return { status: 'failed', changed: false, error: { code: written.error.code, message: written.error.message } };

package/lib/task/workspace-snapshot.ts

@@ -42,7 +42,8 @@ function captureWorktreeTree(repoRoot: string, forcedPath: string | null): strin
   const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'agent-infra-orchestration-index-'));
   const indexFile = path.join(tempDir, 'index');
   try {
-    git(repoRoot, indexFile, ['read-tree', 'HEAD']);
+    try { git(repoRoot, indexFile, ['read-tree', 'HEAD']); }
+    catch { git(repoRoot, indexFile, ['read-tree', '--empty']); }
     git(repoRoot, indexFile, ['add', '-A', '--', ':/']);
     if (forcedPath && fs.existsSync(path.join(repoRoot, forcedPath))) {
       git(repoRoot, indexFile, ['add', '-f', '--', forcedPath]);
@@ -138,5 +139,5 @@ function diffWorkspaceSnapshots(repoRoot: string, before: string, after: string)
   return [...changed].sort();
 }
 
-export { captureRepositorySnapshot, captureWorkspaceSnapshot, diffWorkspaceSnapshots };
+export { captureRepositorySnapshot, captureWorkspaceSnapshot, captureWorktreeTree, diffWorkspaceSnapshots };
 export type { OrchestrationWorkspaceFingerprint, RepositorySnapshot, WorkspaceSnapshotContext };

package/lib/task/write.ts

@@ -12,8 +12,6 @@ import type {
   ResolveTaskRefErrorCode,
   TaskWorkspaceState
 } from './resolve-ref.ts';
-import { allowsManualOverride } from './guard-override.ts';
-import type { ManualOverrideCapability } from './guard-override.ts';
 import { mutateTableRow, upsertSection } from './sections.ts';
 import { validateCurrentTaskContract } from './current-contract.ts';
 import { invalidationBlocks, parseInvalidationDocument } from './invalidation.ts';
@@ -163,7 +161,6 @@ type TaskWriteOptions = {
   metadataProvider?: () => TaskWriteMetadata;
   randomSuffix?: () => string;
   fileSystem?: Partial<TaskFileSystem>;
-  manualOverride?: ManualOverrideCapability;
   invalidationContext?: 'standard' | 'source-completion' | 'reconcile';
 };
 
@@ -250,7 +247,7 @@ function writeTask(request: TaskWriteRequest, options: TaskWriteOptions = {}): T
     taskMdPath: resolved.taskMdPath,
     actualState: resolved.state
   };
-  if (resolved.state !== request.expectedState && !allowsManualOverride(options.manualOverride, 'task.write', 'TASK_STATE_MISMATCH')) {
+  if (resolved.state !== request.expectedState) {
     return failure(
       request,
       identity,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fitlab-ai/agent-infra",
-  "version": "0.11.3",
+  "version": "0.11.5",
   "description": "Bootstrap tool for AI multi-tool collaboration infrastructure — works with Claude Code, Codex, Antigravity CLI, and OpenCode",
   "license": "MIT",
   "type": "module",

package/templates/.agents/rules/review-handshake.en.md

@@ -29,11 +29,11 @@ After the executor gives `adjusted` / `refuted` / `cannot-judge`, the reviewer m
 - **Hold with new evidence** → set back to `open` (with new evidence, returned to the executor).
 - **Escalate to human** → set to `needs-human-decision`.
 
-## Convergence termination (loop guard)
+## Evidence-driven rework convergence
 
-- The per-finding handshake round limit is `MAX_HANDSHAKE_ROUNDS`, default **3**, overridable via `review.maxHandshakeRounds` in `.agents/.airc.json`.
-- When a finding's `round` reaches the limit without entering a terminal state, it must be forced to `needs-human-decision`; the gate rejects rows that hit the limit without escalating.
-- `needs-human-decision` keeps blocking completion until a human records a ruling in the task.md `## 人工裁决` section and flips the row to `human-decided`.
+- The first Changes Requested verdict permits an ordinary revision. After one revision-review cycle, another Changes Requested verdict must classify the problem as scope or requirements, design, implementation, human decision, or insufficient evidence before another executor artifact is created.
+- Classification binds the finding, source review SHA, and stable task-fact digest. Artifact names, rounds, and retry counts are not evidence by themselves.
+- Human choice and insufficient evidence pause stably; implementation can continue when new decisive evidence exists. Retry count alone never forces a human escalation.
 
 ## Same-model convergence-bias mitigation (documentation-level discipline)
 

package/templates/.agents/rules/review-handshake.zh-CN.md

@@ -29,11 +29,11 @@
 - **补充新证据后坚持** → 账本置回 `open`（带新证据，回到执行方）。
 - **升级人工裁决** → 账本置 `needs-human-decision`。
 
-## 收敛终止语义（防死循环）
+## 证据驱动的返工收敛
 
-- 单条 finding 的握手轮次上限 `MAX_HANDSHAKE_ROUNDS`，默认 **3**，可在 `.agents/.airc.json` 的 `review.maxHandshakeRounds` 覆盖。
-- 某条 finding 的 `round` 达到上限仍未进入终态，必须强制置 `needs-human-decision`；gate 会拦截"达限却未升级"的行。
-- `needs-human-decision` 持续阻塞完成，直到人工在 task.md `## 人工裁决` 段记录裁定并把该行翻为 `human-decided`。
+- 首次 Changes Requested 允许正常修订。完成一次修订—复审后再次收到 Changes Requested 时，必须在下一执行产物前把问题分类为范围或需求、方案、实现、人工裁决或证据不足。
+- 分类必须绑定 finding、来源审查 SHA 和稳定任务事实摘要。文件名、artifact round 或返工次数本身不构成新证据。
+- 人工选择或证据不足进入稳定暂停；具有新决定性证据的实现缺陷可以继续修订。不得仅因次数达到阈值强制升级人工裁决。
 
 ## 同源模型收敛偏差缓解（文档级纪律）
 

package/templates/.agents/skills/analyze-task/SKILL.en.md

@@ -13,6 +13,10 @@ If the entry operands contain `--orchestrated`, bind `{execution-flag}` to `--or
 
 ## Boundary / Critical Rules
 
+### Flow decision
+
+The analysis artifact must record `Path`, `Basis`, `Unmet Higher-path Conditions`, and `Upgrade Triggers` exactly once each, with non-empty values, in `## Flow Decision`. The path is streamlined, standard, or full; file count, module count, and speculative risk cannot upgrade it by themselves. The analysis `finalize-local` reuses the lifecycle-path parser to validate this decision; directly repair the formal artifact and rerun it for missing, duplicate, or invalid values.
+
 ### Persisted Report Evidence
 
 Before generating the analysis report, read `.agents/rules/evidence-reporting.md`. Record the command, target scope, status or structured result, actual result, and uncovered parts for state checks and successful checks; include decisive raw excerpts only for failures, blocking conditions, or disputes.
@@ -61,7 +65,7 @@ If `task.md` is missing, tell the user to create or import the task first.
 
 ### 2. Resolve the Analysis Context
 
-Run `agent-infra-internal task-artifact {task-id} inspect --family analysis`. Continue only for `ready`; take `{analysis-round}` / `{analysis-artifact}` from `next.round` / `next.name` and revision inputs from `inputs`. Do not scan rounds or construct names in the skill.
+Run `agent-infra-internal task-artifact {task-id} inspect --family analysis`. Continue only for `ready`. When `selection.disposition` is `reuse`, reuse `selection.artifact`, do not run started/init or write a new artifact, and continue directly to completion verification and next-step guidance. Otherwise take `{analysis-round}` / `{analysis-artifact}` from `next.round` / `next.name` and revision inputs from `inputs`. Do not scan rounds or construct names in the skill.
 
 ### 3. Read Task Context
 
@@ -156,7 +160,7 @@ Create `.agents/workspace/active/{task-id}/{analysis-artifact}`.
 
 ## State Check
 
-> Record the Step 0 state-check command, task/artifact scope, key result, and uncovered parts; each command starts with `$ `. Do not paste complete directory listings or task tails on normal success; retain decisive raw lines only for failures, blocking conditions, identity mismatches, or disputes.
+> Record the Step 0 state-check command, task/artifact scope, key result, and uncovered parts. Do not paste complete directory listings or task tails on normal success; retain decisive raw lines only for failures, blocking conditions, identity mismatches, or disputes.
 
 ## Requirement Source
 
@@ -183,6 +187,15 @@ Create `.agents/workspace/active/{task-id}/{analysis-artifact}`.
 ## Dependencies
 - {Required dependencies and coordination with other modules}
 
+<!-- lifecycle-path-decision-template:start -->
+## Flow Decision
+
+- **Path**: {lifecycle-path}
+- **Basis**: {Factual basis for selecting the current path}
+- **Unmet Higher-path Conditions**: {Factual conditions for the higher path that are not met; for full, state that no higher path exists}
+- **Upgrade Triggers**: {Factual triggers that require reassessing the path}
+<!-- lifecycle-path-decision-template:end -->
+
 ## Assumptions
 
 > If this analysis depends on assumptions, list them here; omit this section if there are none.
@@ -261,7 +274,10 @@ Keep the gate output in your reply as fresh evidence. Do not claim completion wi
 > Before rendering next steps, read `.agents/rules/next-step-output.md`, invoke the shared helper only for the selected scenario, and insert its stdout at `{next-step-commands}`.
 
 Output format:
-Populate `{next-step-commands}` for this scenario by running `agent-infra-internal agent-client next-steps --skill review-analysis --task-ref {task-ref}`.
+Select one command from the canonical path to populate `{next-step-commands}`:
+- Streamlined: `agent-infra-internal agent-client next-steps --skill code-task --task-ref {task-ref}`
+- Standard: `agent-infra-internal agent-client next-steps --skill plan-task --task-ref {task-ref}`
+- Full: `agent-infra-internal agent-client next-steps --skill review-analysis --task-ref {task-ref}`
 
 ```
 Analysis complete for task {task-id}.
@@ -274,7 +290,7 @@ Summary:
 Output file:
 - Analysis report: .agents/workspace/active/{task-id}/{analysis-artifact}
 
-Next step - review the analysis:
+Next step - continue on the selected path:
 {next-step-commands}
 ```
 
@@ -292,7 +308,7 @@ Next step - review the analysis:
 
 ## STOP
 
-After completing the checklist, **stop immediately**. Wait for the user to review the analysis result and manually invoke the `plan-task` skill.
+After completing the checklist, **stop immediately**. Wait for the user to invoke the next stage selected above.
 
 ## Notes
 

package/templates/.agents/skills/analyze-task/SKILL.zh-CN.md

@@ -13,6 +13,10 @@ description: >
 
 ## 行为边界 / 关键规则
 
+### 流程裁定
+
+分析产物必须在 `## 流程裁定` 中记录 `本任务路径`、`判定依据`、`未满足的更高路径条件` 和 `升级触发条件` 四个字段，每个字段恰好一次且非空。路径仅可为精简、标准或完整；文件数、模块数和推测性风险不能单独升级路径。analysis 的 `finalize-local` 会复用生命周期路径解析器校验该决定；缺失、重复或无效值必须直接修复正式产物后重跑。
+
 ### 持久化报告证据
 
 生成分析报告时，先读取 `.agents/rules/evidence-reporting.md`。状态核对和成功检查记录命令、目标范围、状态/结构化结果、实际结果和未覆盖部分；失败、阻塞或争议才附决定性原文摘录。
@@ -64,7 +68,7 @@ agent-infra-internal task-event {task-id} analyze.started --agent {standard-agen
 
 ### 2. 解析分析上下文
 
-运行 `agent-infra-internal task-artifact {task-id} inspect --family analysis`。仅当结果为 `ready` 时继续；从 `next.round` / `next.name` 记录 `{analysis-round}` / `{analysis-artifact}`，从 `inputs` 读取修订上下文。不得自行扫描轮次或拼装文件名。随后执行 started 事件，并以事件返回的 `artifactContext` 复核同一身份。
+运行 `agent-infra-internal task-artifact {task-id} inspect --family analysis`。仅当结果为 `ready` 时继续。若 `selection.disposition` 为 `reuse`，复用 `selection.artifact`，不得执行 started、init 或写入新产物，并直接进入完成校验与下一步提示。其他状态从 `next.round` / `next.name` 记录 `{analysis-round}` / `{analysis-artifact}`，从 `inputs` 读取修订上下文；不得自行扫描轮次或拼装文件名。随后执行 started 事件，并以事件返回的 `artifactContext` 复核同一身份。
 
 ### 3. 阅读任务上下文
 
@@ -159,7 +163,7 @@ agent-infra-internal task-artifact {task-id} init --family analysis --artifact {
 
 ## 状态核对
 
-> 记录第 0 步状态核对命令、任务/产物范围、关键结果和未覆盖部分；每条命令以 `$ ` 开头。正常成功不粘贴完整目录清单或 `task.md` 尾部，失败、阻塞、身份不一致或争议时附决定性原文行。
+> 记录第 0 步状态核对命令、任务/产物范围、关键结果和未覆盖部分。正常成功不粘贴完整目录清单或 `task.md` 尾部，失败、阻塞、身份不一致或争议时附决定性原文行。
 
 ## 需求来源
 
@@ -186,6 +190,15 @@ agent-infra-internal task-artifact {task-id} init --family analysis --artifact {
 ## 依赖关系
 - {需要的依赖和与其他模块的协调}
 
+<!-- lifecycle-path-decision-template:start -->
+## 流程裁定
+
+- **本任务路径**：{lifecycle-path}
+- **判定依据**：{选择当前路径的事实依据}
+- **未满足的更高路径条件**：{当前未满足的更高路径条件；完整路径写不存在更高路径的事实}
+- **升级触发条件**：{未来需要重新评估路径的事实触发条件}
+<!-- lifecycle-path-decision-template:end -->
+
 ## 资格审计
 
 > 按 `.agents/rules/decision-qualification.md` 填写约束依赖、候选资格、分类结果、上游关系、依赖快照五张表；没有 artifact 上游时保留空表头，不虚构关系。
@@ -261,7 +274,10 @@ agent-infra-internal task-verify {task-id} analyze.completed --artifact {analysi
 > 渲染下一步前先读取 `.agents/rules/next-step-output.md`，仅为已选场景调用统一 helper，并将 stdout 填入 `{next-step-commands}`。
 
 输出格式：
-使用 `agent-infra-internal agent-client next-steps --skill review-analysis --task-ref {task-ref}` 生成本场景的 `{next-step-commands}`。
+按分析中的规范路径选择一条命令生成 `{next-step-commands}`：
+- 精简路径：`agent-infra-internal agent-client next-steps --skill code-task --task-ref {task-ref}`
+- 标准路径：`agent-infra-internal agent-client next-steps --skill plan-task --task-ref {task-ref}`
+- 完整路径：`agent-infra-internal agent-client next-steps --skill review-analysis --task-ref {task-ref}`
 
 ```
 任务 {task-id} 分析完成。
@@ -274,7 +290,7 @@ agent-infra-internal task-verify {task-id} analyze.completed --artifact {analysi
 产出文件：
 - 分析报告：.agents/workspace/active/{task-id}/{analysis-artifact}
 
-下一步 - 审查需求分析：
+下一步 - 按所选路径继续：
 {next-step-commands}
 ```
 
@@ -292,7 +308,7 @@ agent-infra-internal task-verify {task-id} analyze.completed --artifact {analysi
 
 ## 停止
 
-完成检查清单后，**立即停止**。等待用户审查分析结果并手动调用 `plan-task` 技能。
+完成检查清单后，**立即停止**。等待用户调用上述所选路径的下一阶段。
 
 ## 注意事项
 

package/templates/.agents/skills/code-task/SKILL.en.md

@@ -1,8 +1,8 @@
 ---
 name: code-task
 description: >
-  Implement code from the technical plan and output a report.
-  Use when an approved technical plan needs implementing, or code review found issues to fix.
+  Implement code from the selected lifecycle input and output a report.
+  Use when analysis or a technical plan is ready for the selected path, or code review found issues to fix.
   Only invoke this skill automatically when the conversation includes a resolvable task reference.
 ---
 
@@ -11,16 +11,20 @@ description: >
 
 If the entry operands contain `--orchestrated`, bind `{execution-flag}` to `--orchestrated` and forward it unchanged to the completed event; otherwise bind it to an empty value. Never infer it from `orchestration.json`, environment variables, or prior artifacts. Lifecycle events also require explicit trigger data: use `{trigger-initiator}=orchestrator` for orchestration and `model` otherwise; `{request-id}` is a stable single-line identifier for this task and artifact round, and `{reason-code}` is `user-request` for initial work and `review-finding` for fixes or decisions. Reuse the same values for started and completed.
 
-Implement the approved plan and produce `code.md` or `code-r{N}.md`. This skill supports initial implementation, fix mode based on `review-code` feedback, and human-decision-driven implementation.
+Implement from the input selected by the lifecycle path and produce `code.md` or `code-r{N}.md`. This skill supports initial implementation, fix mode based on `review-code` feedback, and human-decision-driven implementation.
 
 ## Boundary / Critical Rules
 
+### Path and rework
+
+This stage consumes only the canonical path fact parsed by core from the latest valid analysis artifact; a stage omitted by that path must not create an artifact. When another Changes Requested verdict follows one completed revision-review cycle in the same stage, classify the rework before the next executor artifact and bind it to the finding, source SHA, and stable task-fact digest. A round or filename change is not new evidence.
+
 ### Persisted Report Evidence
 
 Before generating the implementation report, read `.agents/rules/evidence-reporting.md`. Successful tests record the command, target scope, status or structured result, actual result, and uncovered parts; failures, blocking conditions, or disputes retain a reproducible entry point, exact location, and decisive excerpt instead of complete successful stdout.
 
 - When evaluating candidate qualification or `HD-N`, read `.agents/rules/decision-qualification.md`, audit normalized task constraints/candidates, and record the five qualification-audit tables in the implementation report; unknown or unconfirmed constraints must not automatically exclude a candidate
-- Follow the latest plan artifact: `plan.md` or `plan-r{N}.md`
+- Follow the lifecycle input selected by core: `analysis.md` / `analysis-r{N}.md` for the streamlined path, and `plan.md` / `plan-r{N}.md` for the standard or full path
 - Before generating task or lifecycle Markdown that will be synchronized to an Issue, read `.agents/rules/sync-content-generation.md` and apply its producer-side constraints; the sync path does not parse or rewrite the body
 - Read `.agents/rules/compatibility-policy.md` before implementation. Implement only the compatibility budget explicitly approved by the plan; never retain old branches, result contracts, or migration shims merely to be “safe”
 - Fix mode verifies each finding of the latest `review-code` one by one: fix it if it holds, or rebut it and record it under unresolved if it is unfounded/hallucinated; do not expand to issues the review did not list; manual-validation items are out of scope
@@ -56,7 +60,7 @@ After prerequisites and mode are confirmed and before this round's first artifac
 
 ### 1. Verify Prerequisites
 
-Require `task.md` and at least one plan artifact: `plan.md` or `plan-r{N}.md`.
+Require `task.md`. Step 4 validates the lifecycle input selected by the chosen path; the skill must not require a plan artifact unconditionally.
 
 ### 2. Ensure the Task Branch
 
@@ -78,6 +82,8 @@ status=$?
 echo "$result"
 ```
 
+When `selection.disposition` is `reuse`, reuse `selection.artifact`, do not run started/init, modify code, or write a new artifact, and continue directly to completion verification and next-step guidance. Otherwise continue with the table below.
+
 Dispatch by `$status` and `result.mode`:
 
 - `0` + `"init"`: initial implementation; record `{code-artifact}` and `{code-round}`
@@ -90,11 +96,11 @@ Dispatch by `$status` and `result.mode`:
 
 ### 5. Read Structured Inputs
 
-Use only the structured result from step 4: read the selected plan artifact and, in fix mode, the selected review artifact. Use `next.name` as `{code-artifact}` and `next.round` as `{code-round}`. In decision mode, take the unified identity from `implementation_input`, `decision_id`, and `decision_evidence`; do not rescan or construct identities in the skill.
+Use only the structured result from step 4: read `{lifecycle-input-artifact}` from `inputs` (analysis for the streamlined path, plan otherwise) and, in fix mode, the selected review artifact. Use `next.name` as `{code-artifact}` and `next.round` as `{code-round}`. In decision mode, take the unified identity from `implementation_input`, `decision_id`, and `decision_evidence`; do not rescan or construct identities in the skill.
 
-### 6. Read the Technical Plan
+### 6. Read the Lifecycle Input
 
-Extract implementation steps, files, test strategy, constraints, risks, and approved tradeoffs. In decision mode, also read the `{input-id}` row and its `{decision-evidence}` record in task.md, and implement only that ruling's requested behavior change.
+Extract implementation steps, files, test strategy, constraints, risks, and approved tradeoffs from `{lifecycle-input-artifact}`. In decision mode, also read the `{input-id}` row and its `{decision-evidence}` record in task.md, and implement only that ruling's requested behavior change.
 
 ### 7. Implement the Code