sillyspec 3.26.14 → 3.27.1

package/src/verify-probes.js

@@ -0,0 +1,264 @@
+/**
+ * verify-probes.js — `sillyspec verify-probes` 的机械探针实现 + verify-result.md 骨架生成
+ * （2026-08-21 agent-手工产出审计第三批 H1/H3/H5/H7/F9）。
+ *
+ * verify-probes.md 模板定义六个探针，agent 此前逐条手跑 grep/递归查找/git 对账再手工拼表格。
+ * 本模块把纯机械的四个探针命令化（语义判断的留 agent，输出里显式标注）：
+ *   探针1 未实现标记扫描：design §6 清单的具体文件逐行 grep TODO/FIXME/尚未实现 等
+ *   探针3 测试覆盖：逐 task 按 allowed_paths 定位模块目录，递归找测试文件（co-located tests/ 陷阱）
+ *   探针5 API 契约对账：复用 contract-matrix.verifyApiParity（endpoints.json × 前端调用）+ 表格渲染
+ *   探针6 删除对账：git diff --name-status HEAD 的 D/R × design 声明操作三态判定
+ * 探针2（关键词提取半语义）/探针3.4 集成盲区/3.5 断言抽查/探针4（决策追踪语义）留 agent。
+ *
+ * verify-result.md 骨架：七章节固定结构 + 探针结果机械预填 + 其余章节 <!--TODO--> 占位。
+ * 结论章节留「待填」——extractVerifyConclusion 找不到 PASS/FAIL 关键词即判不过，骨架不能
+ * 直接过门（与 symbol-impact 骨架同款防偷懒语义）。
+ */
+import { existsSync, readFileSync, readdirSync, writeFileSync } from 'fs'
+import { join, dirname, basename } from 'path'
+import { gitQuiet } from './git-helper.js'
+import { parseFileChangeListDetailed } from './change-list.js'
+import { parseAllowedPaths } from './stages/plan-postcheck.js'
+import { verifyApiParity } from './contract-matrix.js'
+import { resolveSpecDir, resolveRuntimeRoot } from './run/shared.js'
+
+const TODO_MARKER_RE = /尚未实现|TODO|FIXME|HACK|XXX/
+const TEST_FILE_RE = /test|spec/i
+const PROBE1_MAX_MATCHES = 200
+
+function listTaskIds(tasksPath) {
+  if (!existsSync(tasksPath)) return []
+  const ids = []
+  for (const line of readFileSync(tasksPath, 'utf8').split('\n')) {
+    const m = line.match(/^[-*]\s*\[[ xX]\]\s*(task-\d+)\b/)
+    if (m) ids.push(m[1])
+  }
+  return ids
+}
+
+/** 递归找测试文件（排除 node_modules/.git/dist 等；返回 posix 相对 cwd 路径，封顶展示） */
+function findTestFiles(rootDir, cwd, cap = 10) {
+  const found = []
+  const skip = new Set(['node_modules', '.git', '.gradle', '__pycache__', '.venv', 'dist', 'build', 'target', 'out'])
+  const walk = (d) => {
+    let entries
+    try {
+      entries = readdirSync(d, { withFileTypes: true })
+    } catch {
+      return
+    }
+    for (const e of entries) {
+      const full = join(d, e.name)
+      if (e.isDirectory()) {
+        if (!skip.has(e.name)) walk(full)
+      } else if (e.isFile() && TEST_FILE_RE.test(basename(e.name))) {
+        found.push(full.split('\\').join('/').replace(cwd.split('\\').join('/').replace(/\/$/, '') + '/', ''))
+        if (found.length >= cap) return
+      }
+    }
+  }
+  if (existsSync(rootDir)) walk(rootDir)
+  return found
+}
+
+/**
+ * 跑四个机械探针。
+ * @param {{ cwd: string, changeName: string, specDir?: string|null }} opts
+ * @returns {{ probe1: object, probe3: object, probe5: object, probe6: object }}
+ */
+export function runVerifyProbes({ cwd, changeName, specDir = null }) {
+  const specBase = resolveSpecDir(cwd, { specDir })
+  const changeDir = join(specBase, 'changes', changeName)
+  const designPath = join(changeDir, 'design.md')
+  const detailed = existsSync(designPath) ? parseFileChangeListDetailed(designPath) : []
+  const designOps = new Map(detailed.map(e => [e.path, e.operation]))
+
+  // ── 探针 1：未实现标记扫描（design 清单具体文件；glob 项列出让 agent 展开）──
+  const probe1 = { matches: [], globEntries: [], skippedFiles: [] }
+  for (const e of detailed) {
+    if (e.path.startsWith('.sillyspec/')) continue
+    if (/[*?[\]]/.test(e.path)) {
+      probe1.globEntries.push(e.path)
+      continue
+    }
+    const abs = join(cwd, e.path)
+    if (!existsSync(abs)) {
+      probe1.skippedFiles.push(e.path)
+      continue
+    }
+    try {
+      const lines = readFileSync(abs, 'utf8').split('\n')
+      lines.forEach((line, i) => {
+        if (probe1.matches.length >= PROBE1_MAX_MATCHES) return
+        if (TODO_MARKER_RE.test(line)) probe1.matches.push({ file: e.path, line: i + 1, content: line.trim().slice(0, 160) })
+      })
+    } catch {
+      probe1.skippedFiles.push(e.path)
+    }
+  }
+
+  // ── 探针 3：验收标准测试覆盖（task 卡 allowed_paths → 模块目录递归找测试文件）──
+  const tasksPath = join(changeDir, 'tasks.md')
+  const probe3 = { tasks: [], note: '集成盲区（路由/跨模块装配）与断言有效性抽查是语义判断，留给 agent 逐 task 标注 ⚠️' }
+  for (const taskId of listTaskIds(tasksPath)) {
+    const cardPath = join(changeDir, 'tasks', `${taskId}.md`)
+    let allowed = []
+    if (existsSync(cardPath)) allowed = parseAllowedPaths(readFileSync(cardPath, 'utf8'))
+    const moduleDirs = [...new Set(allowed.map(p => dirname(p.split('\\').join('/'))).filter(d => d && d !== '.'))]
+    const testFiles = []
+    for (const d of moduleDirs) {
+      for (const f of findTestFiles(join(cwd, d), cwd)) {
+        if (!testFiles.includes(f)) testFiles.push(f)
+      }
+    }
+    probe3.tasks.push({
+      task: taskId,
+      moduleDirs,
+      testFiles: testFiles.slice(0, 10),
+      testFileCount: testFiles.length,
+      hasTest: testFiles.length > 0,
+      located: moduleDirs.length > 0,
+    })
+  }
+
+  // ── 探针 5：API 契约对账（复用 verifyApiParity：endpoints.json × 前端调用）──
+  const runtimeRoot = resolveRuntimeRoot({ specRoot: specDir }, specBase)
+  const probe5 = verifyApiParity(specBase, cwd, runtimeRoot, changeName)
+
+  // ── 探针 6：代码删除对账（git diff --name-status HEAD 的 D/R × design 声明三态）──
+  const probe6 = { deletions: [], note: '以 git 事实为准（真实 > 声明）；是否 FAIL blocker 由 agent 诚实判定' }
+  const nsOut = gitQuiet(cwd, ['diff', '--name-status', 'HEAD']) || ''
+  for (const row of nsOut.split('\n').filter(Boolean)) {
+    const [status, ...paths] = row.split('\t')
+    const st = (status || '').trim().toUpperCase()
+    if (!/^[DRC]/.test(st)) continue
+    // R/C 的旧路径等价删除（paths[0]）；D 的唯一路径
+    const target = (st.startsWith('D') ? paths[0] : paths[0]) || ''
+    const posix = target.split('\\').join('/')
+    if (!posix || posix.startsWith('.sillyspec/') || posix === 'meta.json' || basename(posix) === 'meta.json') continue
+    const op = designOps.get(posix)
+    let verdict
+    if (op && /删除|delete|del/i.test(op)) verdict = '✅ 合规（design 声明删除）'
+    else if (op) verdict = `❌ 高风险（design 声明「${op}」却整文件删除）`
+    else verdict = '⚠️ 未声明删除（design 清单未列出）'
+    probe6.deletions.push({ path: posix, status: st, designOp: op || null, verdict })
+  }
+
+  return { probe1, probe3, probe5, probe6 }
+}
+
+/**
+ * 渲染探针结果为 markdown（可直接粘进 verify-result.md「探针结果」章节）。
+ */
+export function renderVerifyProbesReport(result) {
+  const L = []
+  const { probe1, probe3, probe5, probe6 } = result
+
+  L.push('#### 探针 1：未实现标记扫描（design 清单文件）')
+  if (probe1.matches.length === 0) {
+    L.push('- ✅ 无 TODO/FIXME/尚未实现 标记命中')
+  } else {
+    for (const m of probe1.matches) L.push(`- ⚠️ \`${m.file}:${m.line}\` ${m.content}`)
+  }
+  if (probe1.globEntries.length > 0) L.push(`- ℹ️ glob 项未展开（agent 手动展开扫描）：${probe1.globEntries.join('、')}`)
+  if (probe1.skippedFiles.length > 0) L.push(`- ℹ️ 清单文件不存在（跳过）：${probe1.skippedFiles.join('、')}`)
+  L.push('')
+
+  L.push('#### 探针 2：设计关键词覆盖')
+  L.push('<!--TODO: 半语义探针——从 design 提取能力关键词逐个 grep 确认实现（agent 执行）-->')
+  L.push('')
+
+  L.push('#### 探针 3：验收标准测试覆盖')
+  if (probe3.tasks.length === 0) {
+    L.push('- ℹ️ tasks.md 无 checkbox 任务')
+  } else {
+    for (const t of probe3.tasks) {
+      if (!t.located) {
+        L.push(`- ⚠️ ${t.task}: 无 task 卡/allowed_paths，无法定位模块目录（agent 手查）`)
+      } else if (t.hasTest) {
+        L.push(`- ✅ ${t.task}: 模块目录（${t.moduleDirs.join('、')}）找到 ${t.testFileCount} 个测试文件（${t.testFiles.slice(0, 5).join('、')}${t.testFileCount > 5 ? ' …' : ''}）`)
+      } else {
+        L.push(`- ⚠️ ${t.task}: 模块目录（${t.moduleDirs.join('、')}）递归未找到测试文件（含 co-located tests/）`)
+      }
+    }
+  }
+  L.push(`- ℹ️ ${probe3.note}`)
+  L.push('')
+
+  L.push('#### 探针 4：决策追踪覆盖')
+  L.push('<!--TODO: 语义探针——D-xxx@vN → FR-xxx → plan/task 引用 → 证据回指闭环（agent 执行）-->')
+  L.push('')
+
+  L.push('#### 探针 5：API Contract Parity')
+  L.push(`- ${probe5.summary || `backend ${probe5.backendCount ?? 0} 端点 / frontend ${probe5.frontendCount ?? 0} 调用`}`)
+  if ((probe5.missingBackend || []).length > 0) {
+    L.push('')
+    L.push('| 状态 | 前端调用 | 后端端点 | 文件 |')
+    L.push('|---|---|---|---|')
+    for (const m of probe5.missingBackend) {
+      L.push(`| ❌ missing | ${m.method} ${m.path} | — | ${m.consumerFile || '?'}${m.consumerLine ? ':' + m.consumerLine : ''} |`)
+    }
+    L.push('')
+    L.push('- ❌ contract gap 是真实集成缺陷——诚实判 FAIL 并回 execute 补端点（CLI 仅 advisory 不硬阻断）')
+  }
+  if ((probe5.unusedBackend || []).length > 0) {
+    L.push(`- ⚠️ ${probe5.unusedBackend.length} 个后端端点前端未调用（warning 不阻断）：${probe5.unusedBackend.slice(0, 5).map(u => `${u.method} ${u.path}`).join('、')}${probe5.unusedBackend.length > 5 ? ' …' : ''}`)
+  }
+  L.push('')
+
+  L.push('#### 探针 6：代码删除对账')
+  if (probe6.deletions.length === 0) {
+    L.push('- ✅ git diff 无整文件删除（D/R/C）记录')
+  } else {
+    for (const d of probe6.deletions) {
+      L.push(`- ${d.verdict} \`${d.path}\`（git 状态 ${d.status}）`)
+    }
+  }
+  L.push(`- ℹ️ ${probe6.note}`)
+  return L.join('\n')
+}
+
+/**
+ * 生成 verify-result.md 骨架（七章节；探针结果机械预填，语义章节 <!--TODO--> 占位）。
+ * 结论章节留「待填」——extractVerifyConclusion 无 PASS/FAIL 关键词即判不过，骨架不能直接过门。
+ * @returns {string|null} 骨架全文；无 design.md/tasks.md（非完整流程变更）→ null
+ */
+export function generateVerifyResultSkeleton(result) {
+  const L = [
+    '# 验证报告（骨架由 `sillyspec verify-probes --change <变更名> --init` 生成）',
+    '',
+    '> 探针结果已机械预填；其余章节把 `<!--TODO-->` 替换为真实内容。**结论必须写明 PASS / FAIL**——',
+    '> 留「待填」会被 gate 判不过（fail-closed）。',
+    '',
+    '## 结论：<待填：PASS 或 FAIL（+一句话理由）>',
+    '',
+    '## 任务完成度',
+    '<!--TODO: 逐 task 对照 tasks.md 勾选与验收标准，完成/未完成/存疑三态-->',
+    '',
+    '## 设计一致性',
+    '<!--TODO: 实现与 design.md 的偏差（无偏差也显式写「一致」）-->',
+    '',
+    '## 探针结果（CLI 机械预填）',
+    renderVerifyProbesReport(result),
+    '',
+    '## 测试结果',
+    '<!--TODO: 测试命令 + 结果（通过数/失败数；known_failures 豁免逐条注明）-->',
+    '',
+    '## 决策追踪矩阵（如存在 decisions.md；无则删本节）',
+    '<!--TODO: | 决策 ID | FR | Task | Evidence | 状态 |（D-xxx@vN → FR-xxx → task → 证据回指闭环）-->',
+    '',
+    '## 技术债务',
+    '<!--TODO: TODO/FIXME/HACK 统计（探针 1 的命中已预填在上方探针结果）-->',
+    '',
+    '## 变更风险等级',
+    '<!--TODO: doc-only / unit-sufficient / contract-required / integration-critical / deployment-critical；若 design.md frontmatter 有 risk_level 显式声明，写明「显式声明 = <等级>」+ 理由（豁免可审计）-->',
+    '',
+    '## Runtime Evidence',
+    '<!--TODO: 关键命令输出/时间戳/commit hash 证据链；integration/deployment-critical 必填，按实际触碰的运行时组件写（启动命令/端点/请求响应/日志片段/生命周期终态断言/失败模式排除），未涉及的行写「不涉及」-->',
+    '',
+    '## 代码审查',
+    '<!--TODO: 问题列表 + 总体评价-->',
+    '',
+  ]
+  return L.join('\n')
+}

package/src/workspace.js

@@ -0,0 +1,125 @@
+/**
+ * workspace.js — `sillyspec workspace add/remove/status` 的多项目工作区管理
+ * （2026-08-21 agent-手工产出审计第四批 C-1）。
+ *
+ * workspace skill 此前纯手写：`.sillyspec/projects/<name>.yaml` 5 字段 YAML 手编、remove 手删
+ * 文件手 commit、status 用 bash for-loop + grep/sed 解析 YAML 逐项目 cd 探测——skill 明言
+ * 「CLI 没有 workspace 命令」。本模块命令化全部机械面：
+ *   - add：YAML 外科写入（name/path/status 必填 + role/repo 可选追加，已有字段保留）、路径校验
+ *   - remove：删 yaml（--commit 时顺带 git add 该删除）
+ *   - status：逐项目探测（yaml 解析 + .sillyspec 产物存在性），输出 skill 原格式的三态表
+ * init 语义对齐（skill L75）：init 只写 name/path/status 三字段，role/repo 是 add 专属追加。
+ */
+import { existsSync, readFileSync, writeFileSync, unlinkSync, readdirSync, mkdirSync } from 'fs'
+import { join, basename, resolve } from 'path'
+import { resolveSpecDir } from './run/shared.js'
+
+function parseSimpleYaml(text) {
+  const out = {}
+  for (const line of String(text || '').split('\n')) {
+    const m = line.match(/^([A-Za-z0-9_]+):\s*(.*)$/)
+    if (m) out[m[1]] = m[2].trim()
+  }
+  return out
+}
+
+function readProjectYaml(specBase, name) {
+  const p = join(specBase, 'projects', `${name}.yaml`)
+  if (!existsSync(p)) return null
+  return parseSimpleYaml(readFileSync(p, 'utf8'))
+}
+
+/**
+ * 新增/更新子项目登记。
+ * @param {{ cwd: string, name: string, path: string, role?: string|null, repo?: string|null, specDir?: string|null }} opts
+ * @returns {{ file: string, created: boolean, fieldsKept: string[] }}
+ * @throws {Error} name 非法 / path 不存在
+ */
+export function workspaceAdd({ cwd, name, path: projPath, role = null, repo = null, specDir = null }) {
+  if (!name || !/^[A-Za-z0-9_.\-]+$/.test(name)) {
+    throw new Error(`子项目名非法: "${name}"（限字母数字 . _ -，作 yaml 文件名）`)
+  }
+  const specBase = resolveSpecDir(cwd, { specDir })
+  const abs = resolve(cwd, projPath)
+  if (!existsSync(abs)) {
+    throw new Error(`路径不存在: ${abs}`)
+  }
+  const yamlPath = join(specBase, 'projects', `${name}.yaml`)
+  const existed = existsSync(yamlPath)
+  const prev = existed ? parseSimpleYaml(readFileSync(yamlPath, 'utf8')) : {}
+  // init 三字段 + add 追加字段；已有值优先保留（幂等重跑不覆盖手调内容）
+  const fields = {
+    name,
+    path: projPath.replace(/\\/g, '/'),
+    status: prev.status || 'active',
+  }
+  if (role) fields.role = role
+  else if (prev.role) fields.role = prev.role
+  if (repo) fields.repo = repo
+  else if (prev.repo) fields.repo = prev.repo
+  const fieldsKept = Object.keys(prev).filter(k => fields[k] === prev[k] && k !== 'name' && k !== 'path')
+  mkdirSync(join(specBase, 'projects'), { recursive: true })
+  // 追加不认识的手写字段（防整文件重序列化丢内容）
+  for (const k of Object.keys(prev)) {
+    if (!(k in fields)) fields[k] = prev[k]
+  }
+  const text = Object.entries(fields).map(([k, v]) => `${k}: ${v}`).join('\n') + '\n'
+  writeFileSync(yamlPath, text)
+  return { file: yamlPath, created: !existed, fieldsKept }
+}
+
+/**
+ * 移除子项目登记（删 yaml；git add 由调用方/CLI 层做）。
+ * @returns {{ file: string }} @throws {Error} 不存在
+ */
+export function workspaceRemove({ cwd, name, specDir = null }) {
+  const specBase = resolveSpecDir(cwd, { specDir })
+  const yamlPath = join(specBase, 'projects', `${name}.yaml`)
+  if (!existsSync(yamlPath)) throw new Error(`子项目不存在: ${yamlPath}`)
+  unlinkSync(yamlPath)
+  return { file: yamlPath }
+}
+
+/**
+ * 工作区状态探测（skill 3d 的命令化）：逐项目 yaml 解析 + 三态探测。
+ * @returns {{ projects: Array<{name, path, role, state, detail}>, sharedDocs: string[] }}
+ *   state ∈ initialized（有 .sillyspec）/ scanned（docs/<name>/scan 有文档）/ unregistered（无 .sillyspec）
+ */
+export function workspaceStatus({ cwd, specDir = null }) {
+  const specBase = resolveSpecDir(cwd, { specDir })
+  const projects = []
+  const projDir = join(specBase, 'projects')
+  if (existsSync(projDir)) {
+    for (const f of readdirSync(projDir).filter(f => f.endsWith('.yaml')).sort()) {
+      const y = parseSimpleYaml(readFileSync(join(projDir, f), 'utf8'))
+      const name = y.name || basename(f, '.yaml')
+      const projAbs = resolve(cwd, y.path || '.')
+      let state
+      let detail
+      if (!existsSync(projAbs)) {
+        state = 'missing'
+        detail = '路径不存在（yaml 的 path 失效）'
+      } else if (!existsSync(join(projAbs, '.sillyspec'))) {
+        state = 'unregistered'
+        detail = '未初始化（无 .sillyspec）'
+      } else {
+        const scanDir = join(projAbs, '.sillyspec', 'docs', name, 'scan')
+        let scanCount = 0
+        try { scanCount = readdirSync(scanDir).filter(x => x.endsWith('.md')).length } catch {}
+        if (scanCount > 0) {
+          state = 'scanned'
+          detail = `已扫描（${scanCount} 份文档）`
+        } else {
+          state = 'initialized'
+          detail = '已初始化（未扫描）'
+        }
+      }
+      projects.push({ name, path: y.path || '?', role: y.role || '', state, detail })
+    }
+  }
+  let sharedDocs = []
+  try {
+    sharedDocs = readdirSync(join(specBase, 'shared')).filter(f => f.endsWith('.md')).sort()
+  } catch {}
+  return { projects, sharedDocs }
+}

package/src/worktree-apply.js

@@ -12,7 +12,7 @@
  * 8. 成功后自动 cleanup
  */
 
-import { existsSync, unlinkSync, writeFileSync, mkdtempSync, rmSync, readdirSync, readFileSync } from 'fs';
+import { existsSync, unlinkSync, writeFileSync, mkdtempSync, rmSync, readdirSync, readFileSync, mkdirSync } from 'fs';
 import { join, resolve } from 'path';
 import { tmpdir } from 'os';
 import { WorktreeManager } from './worktree.js';
@@ -596,7 +596,10 @@ export function applyWorktree(changeName, { cwd, checkOnly = false, merge = fals
   result.patchPath = patchPath;
 
   try {
-    let patchContent = '';
+    // patch 以 Buffer 聚合：git diff --binary 对二进制/非 UTF-8 文件输出任意字节序列，
+    // 按 utf8 string 拼接会破坏 NUL 字节成 U+FFFD → corrupt patch（git-helper.js git() 注释
+    // 同款坑；worktree.js 的 diff 采集已是 encoding:'buffer' 正确写法）。
+    const patchParts = [];
 
     // 分 tracked 变更和 untracked 新文件生成 patch
     // 批量化：一次 ls-tree（deliverableBase tree 中存在的文件）+ 一次 ls-files（index 中存在的文件）
@@ -615,32 +618,33 @@ export function applyWorktree(changeName, { cwd, checkOnly = false, merge = fals
 
     // tracked 文件：git diff patchBase（patch 生成锚点，默认 merge-base）
     // 数组形式，文件名逐个展开为独立 argv，不经 shell；
-    // trim:false 保留二进制补丁原样，timeout 放大到 60s 防大 diff 超时——原裸 execSync 无 timeout
+    // encoding:'buffer' 保留二进制补丁原样，timeout 放大到 60s 防大 diff 超时——原裸 execSync 无 timeout
     if (trackedFiles.length > 0) {
-      patchContent += git(
+      patchParts.push(git(
         worktreePath,
         ['diff', '--binary', patchBase, '--', ...trackedFiles],
-        { trim: false, timeout: 60000 }
-      );
+        { encoding: 'buffer', timeout: 60000 }
+      ));
     }
 
     // untracked 新文件：git add 到 index，git diff --cached，然后 reset（均数组形式，文件名逐个展开）
     if (untrackedPatchFiles.length > 0) {
       git(worktreePath, ['add', '--', ...untrackedPatchFiles]);
       try {
-        // trim:false 保留二进制补丁原样，timeout 放大到 60s 防大 diff 超时
-        patchContent += git(
+        // encoding:'buffer' 保留二进制补丁原样，timeout 放大到 60s 防大 diff 超时
+        patchParts.push(git(
           worktreePath,
           ['diff', '--binary', '--cached', '--', ...untrackedPatchFiles],
-          { trim: false, timeout: 60000 }
-        );
+          { encoding: 'buffer', timeout: 60000 }
+        ));
       } finally {
         // 重置 index（不保留 staged 状态）
         gitQuiet(worktreePath, ['reset', 'HEAD', '--', ...untrackedPatchFiles]);
       }
     }
 
-    if (!patchContent.trim()) {
+    const patchContent = Buffer.concat(patchParts);
+    if (patchContent.length === 0) {
       // patch 为空（清单中部分文件可能没实际变更）
       result.ok = true;
       rmSync(tmpDir, { recursive: true, force: true });
@@ -694,6 +698,20 @@ export function applyWorktree(changeName, { cwd, checkOnly = false, merge = fals
 
     result.ok = true;
 
+    // --- 7.5 提交复用 pathspec（坑 apply-commit-pathspec-sweep，2026-08-21 实证）---
+    // apply 后主仓常混有无关未提交文件（他者会话/并行 quick），agent 习惯 `git add <目录>/`
+    // 会把无关文件扫进暂存需手工剔除。落盘本变更精确 pathspec 供提交直接复用：
+    // 文件 + result 字段（CLI 输出可照抄 git add -- … / 长清单用 --pathspec-from-file）。
+    try {
+      const commitFiles = [...new Set(patchFiles)].sort().filter(Boolean);
+      result.commitPathspec = commitFiles;
+      const runtimeRoot = join(projectRoot, '.sillyspec', '.runtime');
+      mkdirSync(runtimeRoot, { recursive: true });
+      const pathspecFile = join(runtimeRoot, `apply-pathspec-${changeName}.txt`);
+      writeFileSync(pathspecFile, commitFiles.join('\n') + '\n');
+      result.pathspecFile = pathspecFile;
+    } catch { /* pathspec 落盘失败不影响 apply 结果 */ }
+
     // --- 8. 成功后自动 cleanup（失败不影响整体结果） ---
     try {
       wm.cleanup(changeName, { force: true });
@@ -703,6 +721,20 @@ export function applyWorktree(changeName, { cwd, checkOnly = false, merge = fals
     }
 
   } catch (e) {
+    // ENOBUFS 自动降级（坑 apply-spawnsync-enobufs，2026-08-22 实证：大 diff 的 binary patch
+    // 超 maxBuffer 抛 ENOBUFS，此前只能 agent 手动 git merge 绕行）——git apply 路径走不通时
+    // 自动落 applyByMerge（既有 --merge 兜底，语义同为三方合并）
+    if (/ENOBUFS/i.test(String(e.message || e.code || ''))) {
+      result.warnings = (result.warnings || []).concat(
+        [`patch 生成超出进程缓冲区（ENOBUFS，超大 diff）——自动降级 git merge 路径应用`]
+      );
+      try {
+        return applyByMerge(result, changeName, projectRoot, wm);
+      } catch (mergeErr) {
+        result.errors.push(`ENOBUFS 降级 merge 也失败: ${mergeErr.message}`);
+        return result;
+      }
+    }
     result.errors.push(`patch 生成/应用异常: ${e.message}`);
     return result;
   } finally {

package/src/worktree-deps.js

@@ -8,8 +8,8 @@
  * 见 change 2026-06-28-worktree-deps-provision / D-005@v1, D-007@v1。
  */
 
-import { existsSync, readFileSync, realpathSync } from 'fs';
-import { join, isAbsolute, resolve as resolvePath, sep as pathSep } from 'path';
+import { existsSync, readFileSync, realpathSync, lstatSync } from 'fs';
+import { join, isAbsolute, relative, resolve as resolvePath, sep as pathSep } from 'path';
 import { execFileSync } from 'child_process';
 import { createHash } from 'crypto';
 
@@ -137,10 +137,22 @@ function tryLink(mainNodeModules, linkPath) {
       // execFileSync 数组形式不经 shell：POSIX 双引号内 `/$() 会执行、cmd.exe 双引号内 %VAR% 仍展开，
       // linkPath 含 local.yaml 模块 path，属项目内可配置值（安全收敛，与 git-helper 同范式）
       execFileSync('cmd.exe', ['/c', 'mklink', '/J', linkPath, mainNodeModules], { stdio: ['pipe', 'pipe', 'pipe'] });
-      return { ok: true, method: 'junction' };
+    } else {
+      execFileSync('ln', ['-s', mainNodeModules, linkPath], { stdio: ['pipe', 'pipe', 'pipe'] });
     }
-    execFileSync('ln', ['-s', mainNodeModules, linkPath], { stdio: ['pipe', 'pipe', 'pipe'] });
-    return { ok: true, method: 'symlink' };
+    // 创建后实物复核（坑 provision-silent-fake-installed 第②层，2026-08-21 实证：doctor 报
+    // re-provisioned 成功但 junction 实际没建）——mklink/ln 退出码 0 不等于链接落盘（cmd.exe
+    // 垫片链存在静默失败面），lstat+existsSync 复核不存在即判失败，交由调用方走 install 兜底
+    //（junction（reparse point）与 symlink 的 lstat 均报 isSymbolicLink=true）
+    try {
+      const st = lstatSync(linkPath);
+      if (!st.isSymbolicLink() || !existsSync(linkPath)) {
+        return { ok: false, error: 'link 创建后复核失败：lstat 非 link 或路径不可达' };
+      }
+    } catch (e) {
+      return { ok: false, error: `link 创建后复核失败（lstat ${e.message}）` };
+    }
+    return { ok: true, method: process.platform === 'win32' ? 'junction' : 'symlink' };
   } catch (e) {
     return { ok: false, error: e.message };
   }
@@ -344,6 +356,48 @@ export function provisionDeps(worktreePath, mainCwd, opts = {}) {
         ? { depsStatus: 'installed', depsMethod: 'install', depsSource: 'install', depsLockHash: wtHash }
         : { depsStatus: 'failed', depsMethod: null, depsSource: null, depsLockHash: wtHash, depsError: installResult.error };
     }
+    // ── 结果后验证（坑 provision-silent-fake-installed，2026-08-21 Windows 实证；
+    //    坑 provision-monorepo-subpackage-fake-installed，2026-08-22 复发：pnpm monorepo
+    //    workspace 根 package.json 的 dependencies 常为空（依赖在 frontend/daemon 子包），
+    //    只查根会把 installed 状态整体跳过——doctor 标 installed 但子包 node_modules 全缺，
+    //    Wave 1 测试才挂）。分层校验：
+    //   linked：根 junction 实存硬校验（link 声称成功必留痕）；
+    //   installed：校验目标集 = 根 + local.yaml modules 块声明的含 package.json 子模块，
+    //     其中【声明了依赖】的目录逐一要求 node_modules 存在（pnpm/npm/yarn workspace
+    //     安装都会给子包建 node_modules；无依赖声明的空壳目录合法地不建，不校验）。
+    //   python/.venv、jvm 本地仓库本就不适用（整体仅 nodejs）。
+    if (projectType === 'nodejs') {
+      const pkgHasDeps = (dir) => {
+        try {
+          const pkg = JSON.parse(readFileSync(join(dir, 'package.json'), 'utf8'))
+          return ['dependencies', 'devDependencies', 'optionalDependencies', 'peerDependencies']
+            .some(k => pkg[k] && Object.keys(pkg[k]).length > 0)
+        } catch { return false }
+      }
+      // 目标集：根 + modules 块内含 package.json 的安全子模块（monorepo 子包）
+      const verifyDirs = [worktreePath]
+      for (const mp of extractModulePaths(yamlText)) {
+        if (!isSafeModulePath(mp)) continue
+        const sub = join(worktreePath, mp)
+        if (existsSync(join(sub, 'package.json'))) verifyDirs.push(sub)
+      }
+      const depsDeclaredDirs = verifyDirs.filter(pkgHasDeps)
+      const needVerify = result.depsStatus === 'linked'
+        || (result.depsStatus === 'installed' && depsDeclaredDirs.length > 0)
+      if (needVerify) {
+        // linked 只验根（junction 语义）；installed 验全部声明依赖的目标目录
+        const targets = result.depsStatus === 'linked' ? [worktreePath] : depsDeclaredDirs
+        const missing = targets.filter(dir => !existsSync(join(dir, 'node_modules')))
+        if (missing.length > 0) {
+          const missingRel = missing.map(dir => relative(worktreePath, dir) || '(根)')
+          result = {
+            depsStatus: 'failed', depsMethod: null, depsSource: null, depsLockHash: wtHash,
+            depsError: `${result.depsStatus} 后验证失败：${missingRel.join('、')} 的 node_modules 不存在（报成功但实际未落盘——Windows 静默失败面：cmd.exe 垫片解析/杀毒拦截/frozen-lockfile 快退）。` +
+              `手动兜底：进 worktree 手动跑 ${installCmd}（子包随 workspace 一起装），或对 lockfile 一致的目录用 junction：New-Item -ItemType Junction -Path "<目标>/node_modules" -Target "<主仓对应目录>/node_modules"，然后重试 doctor --fix`,
+          }
+        }
+      }
+    }
   }
   result.depsCheckedAt = depsCheckedAt;