@ifrankwang/openspec-agents 0.140.0 → 0.141.0

package/.mcp-server/cli.mjs

@@ -21677,6 +21677,19 @@ async function listBranchDriftFiles(worktree, sourceBranch, targetBranch) {
     return null;
   return parseDiffNameOnly(r.stdout);
 }
+async function isVersionOnlyDrift(worktree, sourceBranch, targetBranch, filePath) {
+  const r = await runGitChecked(worktree, ["diff", "--no-renames", `${sourceBranch}...${targetBranch}`, "--", filePath]);
+  if (!r.success)
+    return null;
+  for (const line of r.stdout.split(`
+`)) {
+    if (line.startsWith("+++") || line.startsWith("---"))
+      continue;
+    if ((line.startsWith("+") || line.startsWith("-")) && !/^[+-]\s*"version"\s*:/.test(line))
+      return false;
+  }
+  return true;
+}
 async function isLocalBranch(worktree, branch) {
   const r = await runGitChecked(worktree, ["rev-parse", "--verify", `refs/heads/${branch}`]);
   return r.success;
@@ -29093,10 +29106,27 @@ function renderReviewIssueSummary(item) {
 `);
 }
 var DOCUMENTATION_EXTENSIONS = [".md", ".mdx", ".markdown", ".rst", ".adoc"];
-function isDocumentationOnly(files) {
+var DRIFT_NEUTRAL_PATH_PREFIXES = ["openspec/"];
+async function isHarmlessDrift(worktree, sourceBranch, targetBranch, files) {
   if (files === null)
     return false;
-  return files.every((f) => DOCUMENTATION_EXTENSIONS.some((ext) => f.endsWith(ext)));
+  const versionCandidates = [];
+  for (const f of files) {
+    if (DOCUMENTATION_EXTENSIONS.some((ext) => f.endsWith(ext)))
+      continue;
+    if (DRIFT_NEUTRAL_PATH_PREFIXES.some((p) => f.startsWith(p)))
+      continue;
+    if (f === "package.json" || f.endsWith("/package.json")) {
+      versionCandidates.push(f);
+      continue;
+    }
+    return false;
+  }
+  for (const f of versionCandidates) {
+    if (await isVersionOnlyDrift(worktree, sourceBranch, targetBranch, f) !== true)
+      return false;
+  }
+  return true;
 }
 function rollbackToCleanupStep(item, workflow) {
   if (!workflow.stepMap.has("verify_cleanup"))
@@ -29197,7 +29227,7 @@ ${checkboxWarning}` : doneMessage;
     await ensureChangeBranch(ctx.worktree, branchName, mergeTarget);
     if (!await isAncestor(ctx.worktree, mergeTarget, branchName)) {
       const driftFiles = await listBranchDriftFiles(ctx.worktree, branchName, mergeTarget);
-      if (!isDocumentationOnly(driftFiles)) {
+      if (!await isHarmlessDrift(ctx.worktree, branchName, mergeTarget, driftFiles)) {
         const workflow = loadWorkflowFile(resolveWorkflowPath(state));
         const rolledBack = rollbackToCleanupStep(item, workflow);
         if (rolledBack)
@@ -29210,7 +29240,7 @@ ${checkboxWarning}` : doneMessage;
       }
       const files = driftFiles ?? [];
       const driftList = files.length > 10 ? `${files.slice(0, 10).join(", ")} 等 ${files.length} 个` : files.join(", ");
-      docDriftNote = `- **基准漂移（纯文档）**: 基准分支 \`${mergeTarget}\` 相对变更分支切出点净变化 ${files.length} 个文件` + (files.length > 0 ? `（${driftList}）` : "") + "，均为文档，不影响代码语义，未回退收尾验证直接合并。";
+      docDriftNote = `- **基准漂移（无代码语义）**: 基准分支 \`${mergeTarget}\` 相对变更分支切出点净变化 ${files.length} 个文件` + (files.length > 0 ? `（${driftList}）` : "") + "，均为文档、openspec 规划路径或仅版本号变更，不影响代码语义，未回退收尾验证直接合并。";
     }
     const mergeResult = await mergeBranchToTarget(ctx.worktree, branchName, mergeTarget);
     if (mergeResult.blockedMessage) {
@@ -30384,7 +30414,7 @@ var TOOL_SPECS = {
     execute: (args, ctx) => statusExecute({ change_id: args.change_id }, ctx)
   },
   opx_orch_complete_task_group: {
-    description: "完成任务组收尾。非最后任务组仅做门禁与范围标记（不合并、不销毁）；最后一个任务组收口时把 change 分支（change/{changeId}）一次性合并回 baseBranch（漂移含任一非文档文件或文本冲突时回退到收尾验证 verify_cleanup 并返回 blocked，纯文档漂移直接合并收口），成功后销毁 worktree 并删分支。须在收尾验证（verify_cleanup）通过后调用。主仓库本地改动文件与合并写入文件重合、或存在部分暂存文件时中止并返回 blocked（保留 worktree/分支）；主仓库无关脏文件不阻塞合并。",
+    description: "完成任务组收尾。非最后任务组仅做门禁与范围标记（不合并、不销毁）；最后一个任务组收口时把 change 分支（change/{changeId}）一次性合并回 baseBranch（漂移无害——文档、openspec 规划路径或仅版本号变更的 package.json——时直接合并收口；漂移含任一其他文件或文本冲突时回退到收尾验证 verify_cleanup 并返回 blocked），成功后销毁 worktree 并删分支。须在收尾验证（verify_cleanup）通过后调用。主仓库本地改动文件与合并写入文件重合、或存在部分暂存文件时中止并返回 blocked（保留 worktree/分支）；主仓库无关脏文件不阻塞合并。",
     schema: completeTaskGroupSchema,
     execute: (args, ctx) => completeTaskGroupExecute(args, ctx)
   },
@@ -30429,7 +30459,7 @@ async function ensureDefaultUnattended(args, ctx) {
     }
   } catch {}
 }
-var PKG_VERSION = "0.140.0";
+var PKG_VERSION = "0.141.0";
 function buildMcpServer(worktree, opts = {}) {
   const mcp = new McpServer({ name: "openspec-agents", version: PKG_VERSION });
   for (const [name, spec] of Object.entries(TOOL_SPECS)) {

package/README.md

@@ -92,7 +92,7 @@ npm install -D @ifrankwang/openspec-agents
 1. **输入**：项目中的 OpenSpec 变更规范（变更说明、设计、任务清单、验收规格）。
 2. **分派**：主智能体把任务交给专职智能体——实现者负责写代码，审查者负责检查，质量把关者负责多维验证。
 3. **门禁**：每一步的结论通过检查后才进入下一步；不通过的结论自动回到实现环节修复。
-4. **收尾合并**：任务组完成只做门禁校验并标记变更范围，不合并、不销毁 worktree；最后一个任务组收口时把 change 分支一次性合并回基准分支，随后销毁 worktree 并删除 change 分支。合并前若基准分支已推进，先做基线漂移检查并比对基准侧净变化内容：纯文档变化（md / mdx / markdown / rst / adoc 五类后缀）不影响代码语义，直接合并收口；含任一非文档文件或文本冲突才把该任务组回退到收尾验证环节（合并基准分支最新代码并回归复验）后再收口——验收仅在实质漂移时动态发生，正常路径零额外环节。
+4. **收尾合并**：任务组完成只做门禁校验并标记变更范围，不合并、不销毁 worktree；最后一个任务组收口时把 change 分支一次性合并回基准分支，随后销毁 worktree 并删除 change 分支。合并前若基准分支已推进，先做基线漂移检查并比对基准侧净变化内容：无害漂移不影响代码语义，直接合并收口——无害指三类之一：文档后缀变化（md / mdx / markdown / rst / adoc）、openspec/ 规划路径下的文档（提案/设计/任务/spec，不限后缀）、package.json 且变更内容仅版本号行；含任一其他文件或文本冲突才把该任务组回退到收尾验证环节（合并基准分支最新代码并回归复验）后再收口——验收仅在实质漂移时动态发生，正常路径零额外环节。
 5. **部署注意事项**：change 的全部任务组完成后，主智能体按状态视图指引汇总部署注意事项（规划文档提取 + 开发者实施补充点，含依赖清单/构建配置变更等合并后需在主仓库重装依赖、重新构建的事项）向用户汇报。全程留痕可审计。
 
 ## 独立审查会话

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ifrankwang/openspec-agents",
-  "version": "0.140.0",
+  "version": "0.141.0",
   "description": "OpenSpec change orchestration plugin for AI coding agents (Claude Code, Codex, ZCode, DeepSeek Harness, OpenCode)",
   "author": "ifrankwang",
   "license": "MIT",

package/src/adapters/mcp-common/server.ts

@@ -55,7 +55,7 @@ const TOOL_SPECS: Record<string, ToolSpec> = {
   },
   opx_orch_complete_task_group: {
     description:
-      "完成任务组收尾。非最后任务组仅做门禁与范围标记（不合并、不销毁）；最后一个任务组收口时把 change 分支（change/{changeId}）一次性合并回 baseBranch（漂移含任一非文档文件或文本冲突时回退到收尾验证 verify_cleanup 并返回 blocked，纯文档漂移直接合并收口），成功后销毁 worktree 并删分支。须在收尾验证（verify_cleanup）通过后调用。主仓库本地改动文件与合并写入文件重合、或存在部分暂存文件时中止并返回 blocked（保留 worktree/分支）；主仓库无关脏文件不阻塞合并。",
+      "完成任务组收尾。非最后任务组仅做门禁与范围标记（不合并、不销毁）；最后一个任务组收口时把 change 分支（change/{changeId}）一次性合并回 baseBranch（漂移无害——文档、openspec 规划路径或仅版本号变更的 package.json——时直接合并收口；漂移含任一其他文件或文本冲突时回退到收尾验证 verify_cleanup 并返回 blocked），成功后销毁 worktree 并删分支。须在收尾验证（verify_cleanup）通过后调用。主仓库本地改动文件与合并写入文件重合、或存在部分暂存文件时中止并返回 blocked（保留 worktree/分支）；主仓库无关脏文件不阻塞合并。",
     schema: completeTaskGroupSchema,
     execute: (args, ctx) => completeTaskGroupExecute(args as any, ctx),
   },

package/src/core/git.ts

@@ -172,13 +172,36 @@ export async function isAncestor(worktree: string, a: string, b: string): Promis
 /** 查询基准侧漂移文件清单：`git diff --name-only --no-renames <sourceBranch>...<targetBranch>`
  *  三点区间 = merge-base(source, target) 到 target 的内容差异（基准侧自分支切出点以来的净变化，非 commit 口径）。
  *  参数方向固定：source 传变更分支，target 传基准分支（切出点在 source 一侧）。
- *  返回 null 表示 git 查询失败，调用方须按非文档保守回退。 */
+ *  返回 null 表示 git 查询失败，调用方须按非无害保守回退。 */
 export async function listBranchDriftFiles(worktree: string, sourceBranch: string, targetBranch: string): Promise<string[] | null> {
   const r = await runGitChecked(worktree, ["diff", "--name-only", "--no-renames", `${sourceBranch}...${targetBranch}`])
   if (!r.success) return null
   return parseDiffNameOnly(r.stdout)
 }
 
+/**
+ * 判定单文件在三点区间（merge-base(source, target) → target）内的变更内容是否仅含 `"version"` 字段行：
+ * package.json 的版本号推进属发布元数据，无代码语义，收口漂移直通按无害漂移放行。
+ * 逐行解析 `git diff --no-renames <source>...<target> -- <filePath>` 的变更行（`+`/`-` 开头，跳过
+ * `+++`/`---` 文件头行）：每一行都须匹配 `"version"` 字段行才算 version-only；存在任一其他变更行
+ * （依赖、脚本等，具代码语义）→ false；无任何变更行（空 diff，内容无净变化）→ true。
+ * 返回 null 表示 git 查询失败，调用方须按非无害保守回退。
+ */
+export async function isVersionOnlyDrift(
+  worktree: string,
+  sourceBranch: string,
+  targetBranch: string,
+  filePath: string
+): Promise<boolean | null> {
+  const r = await runGitChecked(worktree, ["diff", "--no-renames", `${sourceBranch}...${targetBranch}`, "--", filePath])
+  if (!r.success) return null
+  for (const line of r.stdout.split("\n")) {
+    if (line.startsWith("+++") || line.startsWith("---")) continue
+    if ((line.startsWith("+") || line.startsWith("-")) && !/^[+-]\s*"version"\s*:/.test(line)) return false
+  }
+  return true
+}
+
 /** 校验本地分支存在（refs/heads/<name> 严格本地命名空间，不含远端跟踪 ref）。 */
 export async function isLocalBranch(worktree: string, branch: string): Promise<boolean> {
   const r = await runGitChecked(worktree, ["rev-parse", "--verify", `refs/heads/${branch}`])

package/src/core/tools/lifecycle.ts

@@ -3,7 +3,7 @@ import { rmdir } from "node:fs/promises"
 import type { OrchestrateState, TaskItem, TaskStatus, WorkflowMode, ReviewScope } from "../types.ts"
 import { BUILD_PHASE_TARGETS, REVIEW_LAYERS, REVIEW_VERIFY_STEPS, SIMPLE_REVIEW_STEPS, REVIEW_TASK_GROUP_ID } from "../types.ts"
 import { agentToReviewLayer } from "../constants.ts"
-import { runGit, runGitChecked, getCurrentBranch, getMergeBase, isAncestor, isWorktreeClean, listBranchDriftFiles, markTaskGroupCheckboxesComplete, mergeBranchToTarget, discoverDiskWorktrees, detectMainRepoPollution, detectChanges, removeTaskGroupWorktree, isLocalBranch, listLocalBranches, pathExists, type DetectChangesResult } from "../git.ts"
+import { runGit, runGitChecked, getCurrentBranch, getMergeBase, isAncestor, isWorktreeClean, listBranchDriftFiles, isVersionOnlyDrift, markTaskGroupCheckboxesComplete, mergeBranchToTarget, discoverDiskWorktrees, detectMainRepoPollution, detectChanges, removeTaskGroupWorktree, isLocalBranch, listLocalBranches, pathExists, type DetectChangesResult } from "../git.ts"
 import { readStateByWorktree, readStateByChangeId, writeState, writeContextToWorktree, getLockPath, acquireLock, releaseLock } from "../state.ts"
 import { generateIsolationNamespace } from "../namespace.ts"
 import { readExemptions } from "../exemptions.ts"
@@ -1193,12 +1193,37 @@ function renderReviewIssueSummary(item: WorkItem): string {
   return lines.join("\n")
 }
 
-/** 漂移内容纯文档判定：null（查询失败）按非文档保守回退；空清单 = 内容无净变化（如基准上改了又回滚）视为纯文档；
- *  全部文件后缀属文档格式才放行。.txt 刻意排除（requirements.txt 等依赖清单具代码语义）。 */
+/** 漂移无害判定之文档后缀白名单：.txt 刻意排除（requirements.txt 等依赖清单具代码语义）。 */
 const DOCUMENTATION_EXTENSIONS = [".md", ".mdx", ".markdown", ".rst", ".adoc"]
-function isDocumentationOnly(files: string[] | null): boolean {
+/** 漂移无害判定之路径前缀白名单：openspec/ 为编排规划文档空间（提案/设计/任务/spec 等），不承载运行时代码。 */
+const DRIFT_NEUTRAL_PATH_PREFIXES = ["openspec/"]
+/**
+ * 漂移内容无害判定，满足其一即无害：文档后缀 / openspec 规划路径前缀 / package.json 且三点区间内容
+ * 仅含 `"version"` 字段行变化（版本号语义，无代码语义）。
+ * null（清单查询失败）按非无害保守回退；空清单 = 内容无净变化（如基准上改了又回滚）视为无害；
+ * version-only 内容查询失败（null）同样按非无害保守回退。
+ */
+async function isHarmlessDrift(
+  worktree: string,
+  sourceBranch: string,
+  targetBranch: string,
+  files: string[] | null
+): Promise<boolean> {
   if (files === null) return false
-  return files.every((f) => DOCUMENTATION_EXTENSIONS.some((ext) => f.endsWith(ext)))
+  const versionCandidates: string[] = []
+  for (const f of files) {
+    if (DOCUMENTATION_EXTENSIONS.some((ext) => f.endsWith(ext))) continue
+    if (DRIFT_NEUTRAL_PATH_PREFIXES.some((p) => f.startsWith(p))) continue
+    if (f === "package.json" || f.endsWith("/package.json")) {
+      versionCandidates.push(f)
+      continue
+    }
+    return false
+  }
+  for (const f of versionCandidates) {
+    if ((await isVersionOnlyDrift(worktree, sourceBranch, targetBranch, f)) !== true) return false
+  }
+  return true
 }
 
 /**
@@ -1330,17 +1355,18 @@ async function completeTaskGroupLocked(params: { change_id: string }, ctx: ToolC
 
   // 最后任务组 → change 级收口：合并 change 分支回基准分支（一次性），成功后销毁 worktree 并删分支
   const mergeTarget = state.baseBranch
-  // 纯文档漂移直通时的事实说明：仅在本次收口实际发生直通时非空；合并 blocked/conflict 分支不带该说明
+  // 无害漂移直通时的事实说明：仅在本次收口实际发生直通时非空；合并 blocked/conflict 分支不带该说明
   let docDriftNote = ""
   if (branchName) {
     // create-or-reuse（合并目标解析前）：在途旧模型会话升级时从当前基准 tip 创建，天然含已合入代码
     await ensureChangeBranch(ctx.worktree, branchName, mergeTarget)
 
     // 前置漂移检查（独立封装）：基准 tip 须为 change 分支祖先；不满足时先比对基准侧净变化内容——
-    // 纯文档漂移（含空清单 = 无净变化）不回退、直接合并收口；含任一非文档文件或清单查询失败 → 回退收尾验证并 blocked
+    // 无害漂移（文档 / openspec 规划路径 / 仅版本号变更的 package.json，含空清单 = 无净变化）不回退、
+    // 直接合并收口；含任一其他文件或清单/内容查询失败 → 回退收尾验证并 blocked
     if (!(await isAncestor(ctx.worktree, mergeTarget, branchName))) {
       const driftFiles = await listBranchDriftFiles(ctx.worktree, branchName, mergeTarget)
-      if (!isDocumentationOnly(driftFiles)) {
+      if (!(await isHarmlessDrift(ctx.worktree, branchName, mergeTarget, driftFiles))) {
         const workflow = loadWorkflowFile(resolveWorkflowPath(state))
         const rolledBack = rollbackToCleanupStep(item, workflow)
         if (rolledBack) await writeState(ctx.worktree, state)
@@ -1359,9 +1385,9 @@ async function completeTaskGroupLocked(params: { change_id: string }, ctx: ToolC
         ? `${files.slice(0, 10).join(", ")} 等 ${files.length} 个`
         : files.join(", ")
       docDriftNote =
-        `- **基准漂移（纯文档）**: 基准分支 \`${mergeTarget}\` 相对变更分支切出点净变化 ${files.length} 个文件` +
+        `- **基准漂移（无代码语义）**: 基准分支 \`${mergeTarget}\` 相对变更分支切出点净变化 ${files.length} 个文件` +
         (files.length > 0 ? `（${driftList}）` : "") +
-        "，均为文档，不影响代码语义，未回退收尾验证直接合并。"
+        "，均为文档、openspec 规划路径或仅版本号变更，不影响代码语义，未回退收尾验证直接合并。"
     }
 
     const mergeResult = await mergeBranchToTarget(ctx.worktree, branchName, mergeTarget)