sillyspec 3.26.11 → 3.26.14

package/src/taskcard.js

@@ -0,0 +1,178 @@
+/**
+ * sillyspec taskcard — 生成 Windows 安全的 TaskCard 骨架
+ *
+ * 背景：plan postcheck 任务卡被拒的根因集中在「LLM 子代理手写 frontmatter 不可靠」——
+ * CRLF 行尾、漏闭合 ---、缺 constraints 等硬校验字段（校验侧已对 CRLF 容错，但闭合/字段
+ * 缺失仍拦）。本命令从源头消灭这类格式错误：骨架由 CLI 用 writeFileSync 直写（字符串
+ * 只含 \n，天然 LF），frontmatter 闭合与硬校验 9 字段由代码保证，子代理只需 Edit 填充
+ * 占位符，不再手写整卡。
+ *
+ * 任务编号/标题从 plan.md checkbox 行自动带出（与 plan.js parseTaskNames 同源，
+ * 保编号不跳号、名称与 plan.md 一致）。
+ */
+import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'fs'
+import { join } from 'path'
+import { git } from './git-helper.js'
+import { assertSafeChangeName, resolveSpecDir } from './run/shared.js'
+import { parseTaskNames } from './stages/plan.js'
+
+/**
+ * 任务号归一：接受 task-01 / task-1 / 01 / 1，统一为 task-NN（两位补零，与任务卡文件名一致）。
+ * @param {string} raw
+ * @returns {string} 形如 task-01
+ */
+export function normalizeTaskId(raw) {
+  const s = String(raw || '').trim()
+  const m = s.match(/^(?:task-)?(\d+)$/i)
+  if (!m) {
+    throw new Error(`任务号格式非法: "${s}"（应为 task-NN 或 NN，可逗号分隔多个）`)
+  }
+  return `task-${String(m[1]).padStart(2, '0')}`
+}
+
+/**
+ * YAML 标量安全序列化（坑 taskcard-title-backtick-yaml，2026-08-20 实证）：plan checkbox 行名
+ * 是自由文本，带反引号（如 "`-p` 参数支持"）时裸插值进 frontmatter——`` ` `` 与 @ 是 YAML 保留
+ * 指示符，js-yaml 直接抛错，契约字段（allowed_paths/constraints 等）随整个 frontmatter 静默丢失，
+ * 靠 plan postcheck 才兜住。统一单引号包裹 + 内部 ' 双写（YAML 标准转义），无边界字符要判。
+ * @param {string} v
+ * @returns {string}
+ */
+function yamlScalar(v) {
+  const s = String(v ?? '')
+  return `'${s.replace(/'/g, "''")}'`
+}
+
+/**
+ * 生成 TaskCard 骨架字符串（纯函数）。
+ *
+ * 硬校验 9 字段（plan-postcheck feasibility）+ 规范字段全部就位，占位符由子代理 Edit 填充；
+ * 可选字段（provides/expects_from/related_tests）默认不生成——缩小 YAML 出错面，何时加的
+ * 判据写在文件尾注释（规则详情见 templates/prompts/taskcard-rules.md）。
+ * 字符串只含 \n：writeFileSync 直写不经任何行尾转换，Windows 下天然 LF 安全。
+ * title/title_zh/author 经 yamlScalar 转义（自由文本防 YAML 指示符炸解析）。
+ *
+ * @param {{ taskId: string, title: string, titleZh: string, author: string, now: string }} p
+ * @returns {string}
+ */
+export function buildTaskcardSkeleton({ taskId, title, titleZh, author, now }) {
+  return `---
+id: ${taskId}
+title: ${yamlScalar(title)}
+title_zh: ${yamlScalar(titleZh)}
+author: ${yamlScalar(author)}
+created_at: ${now}
+priority: P0
+depends_on: []
+blocks: []
+requirement_ids: [FR-XX]
+decision_ids: [D-XXX@vN]
+allowed_paths:
+  - src/example/file.ts
+goal: >
+  一句话说明这个 task 要做什么、为什么。
+implementation:
+  - 具体步骤 1
+  - 具体步骤 2
+acceptance:
+  - 可验证的验收条件 1
+  - 可验证的验收条件 2
+verify:
+  - cd frontend && pnpm exec tsc --noEmit
+constraints:
+  - 边界约束 1（如：不加测试）
+  - 边界约束 2（如：不修改传入参数）
+---
+
+<!-- 骨架由 sillyspec taskcard 生成（LF 行尾 + frontmatter 已闭合 + 硬校验 9 字段齐全）。
+     用 Edit tool 填充上方占位符（allowed_paths/goal/implementation/acceptance/verify/constraints 等），
+     勿用 Write 整文件重写——会引入 CRLF 行尾/漏闭合 ---/漏字段回归。
+     可选字段按需插进上方 frontmatter（规则见 taskcard-rules）：
+     provides:      仅当本 task 给其他 task 提供接口/DTO/响应时填
+     expects_from:  仅当本 task 消费其他 task 的契约时填
+     related_tests: 仅当本 task 改动导致既有测试断言失效时填（测试路径须同时进 allowed_paths） -->
+`
+}
+
+/**
+ * taskcard 命令主逻辑：定位变更目录 → 解析任务清单（--task 显式列表 / 'all' 从 plan.md 取）→
+ * 逐个写骨架。
+ *
+ * @param {string} changeName 变更名（.sillyspec/changes/ 下目录名）
+ * @param {{ cwd: string, specDir?: string|null, taskIds: string[]|'all', title?: string|null,
+ *           titleZh?: string|null, force?: boolean }} opts
+ *   taskIds：normalizeTaskId 归一后的数组；或字面 'all' 表示从 plan.md 取全部 checkbox 任务
+ * @returns {{ created: string[], skipped: string[], tasksDir: string }}
+ */
+export function cmdTaskcard(changeName, opts = {}) {
+  const { cwd, specDir = null, taskIds, title = null, titleZh = null, force = false } = opts
+  assertSafeChangeName(changeName, '变更名')
+
+  const changeDir = join(resolveSpecDir(cwd, { specDir }), 'changes', changeName)
+  if (!existsSync(changeDir)) {
+    throw new Error(`变更目录不存在: ${changeDir}（先完成 plan 前置步骤，或检查 --change 名）`)
+  }
+
+  // 任务注册表 tasks.md（2026-08-20-task-truth-unify 唯一真相；CRLF 归一后解析，
+  // --all 时强依赖）。tasks.md 缺失回退 plan.md（旧归档变更兼容读侧）
+  let planTasks = []
+  const tasksMdPath = join(changeDir, 'tasks.md')
+  const planPath = join(changeDir, 'plan.md')
+  const registryPath = existsSync(tasksMdPath) ? tasksMdPath : planPath
+  if (existsSync(registryPath)) {
+    const registryContent = readFileSync(registryPath, 'utf8').replace(/\r\n/g, '\n')
+    planTasks = parseTaskNames(registryContent)
+  }
+
+  let ids
+  if (taskIds === 'all') {
+    if (planTasks.length === 0) {
+      throw new Error(
+        `--all 需要 tasks.md 中存在 checkbox 任务行（格式 "- [ ] task-XX: 任务名"）` +
+        (existsSync(registryPath) ? '，当前任务清单未解析到任何任务行' : '，且变更目录下未找到 tasks.md/plan.md')
+      )
+    }
+    ids = planTasks.map(t => `task-${t.num}`)
+  } else if (Array.isArray(taskIds) && taskIds.length > 0) {
+    ids = taskIds
+  } else {
+    throw new Error('缺少任务清单：需 --task task-01[,task-02...] 或 --all')
+  }
+
+  // 标题优先级：--title/--title-zh 参数 > plan.md checkbox 行名称 > 占位符。
+  // 参数仅单任务时可用（多任务各卡标题不同，统一参数必错）。
+  if ((title || titleZh) && ids.length > 1) {
+    throw new Error('--title/--title-zh 仅在 --task 指定单个任务时可用（多任务标题自动取自 plan.md checkbox 行）')
+  }
+
+  const author = (() => {
+    try {
+      // QUAL-01 收口：原 execSync 字符串拼接（经 shell，违反自家注入规约）→ git-helper 数组形式
+      return git(cwd, ['config', 'user.name']) || 'unknown'
+    } catch {
+      return 'unknown'
+    }
+  })()
+  const now = new Date().toISOString().slice(0, 19).replace('T', ' ')
+
+  const tasksDir = join(changeDir, 'tasks')
+  mkdirSync(tasksDir, { recursive: true })
+
+  const created = []
+  const skipped = []
+  for (const id of ids) {
+    const planMatch = planTasks.find(t => `task-${t.num}` === id)
+    const finalTitle = title || (planMatch ? planMatch.name : null) || `${id} fill-english-title`
+    const finalTitleZh = titleZh || (planMatch ? planMatch.name : null) || finalTitle
+    const filePath = join(tasksDir, `${id}.md`)
+    if (existsSync(filePath) && !force) {
+      skipped.push(filePath)
+      continue
+    }
+    writeFileSync(filePath, buildTaskcardSkeleton({
+      taskId: id, title: finalTitle, titleZh: finalTitleZh, author, now,
+    }), 'utf8')
+    created.push(filePath)
+  }
+  return { created, skipped, tasksDir }
+}

package/src/verify-postcheck.js

@@ -15,7 +15,8 @@
  *           测试，避免 monorepo 全量测试超 gate timeout。
  */
 
-import { execSync, execFileSync } from 'child_process'
+import { execSync } from 'child_process'
+import { gitQuiet } from './git-helper.js'
 import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'fs'
 import { join } from 'path'
 import { verifyApiParity } from './contract-matrix.js'
@@ -26,6 +27,18 @@ import { filterDeliverableFiles } from './worktree-apply.js'
 const TEST_TIMEOUT_MS = Number(process.env.SILLYSPEC_TEST_TIMEOUT_MS) || 10 * 60 * 1000
 const OUTPUT_TAIL_CHARS = 4000
 
+/**
+ * 行尾归一（坑 verify-modules-crlf-blanket-fallback，2026-08-20 实证）：Windows 仓的
+ * local.yaml 常为 CRLF（编辑器/CLI 写入），手写行扫描器的逐行正则里 `.` 不匹配 `\r`、
+ * `$`（无 m 标志）又要求真串尾——`\r` 残留行尾导致条目正则整条失配。实证受害：
+ * extractModules 返回 null（modules 映射恒失效 → 永远回退全量 → 600s 默认超时必炸）、
+ * extractKnownFailures 块式只捕获第一条。统一在解析入口归一，JS 的 `\r?\n` 拆分与
+ * yaml 库均兼容 LF 文本（零回归）。
+ */
+function normalizeLineEndings(text) {
+  return String(text || '').replace(/\r\n?/g, '\n')
+}
+
 /**
  * 从 local.yaml 文本提取 commands.test。
  * 轻量正则（与 worktree-deps/scan-postcheck 同风格，不引 yaml 依赖）：
@@ -123,7 +136,7 @@ export function computeFullFallbackReason({ strategy, modulesPresent, hitCount }
  */
 export function extractModules(yamlText) {
   if (!yamlText) return null
-  const lines = yamlText.split('\n')
+  const lines = normalizeLineEndings(yamlText).split('\n')
 
   // 定位 modules: 起始行（必须是顶层 key，行首无缩进或仅注释后顶层）
   let startIdx = -1
@@ -167,8 +180,15 @@ function parseFlowValue(flowText, key) {
   const m = flowText.match(re)
   if (!m) return null
   let v = m[1].trim()
-  if ((v.startsWith('"') && v.endsWith('"')) || (v.startsWith("'") && v.endsWith("'"))) {
-    v = v.slice(1, -1)
+  if (v.startsWith('"') && v.endsWith('"')) {
+    // 双引号值剥壳后解开转义（坑 verify-modules-crlf-blanket-fallback 次生发现）：modules 的
+    // test 命令常含嵌套引号（node -e "…" / pytest "…"），yaml 源里写作 \"；此前只剥外层引号
+    // 不解 \\ 与 \"，解析结果残留字面反斜杠 → 命令直接坏。其余冷门转义（\n 等）按 YAML 规范
+    // 应真转义，但保守留字面（可见优于静默变换，测试命令不含它们）
+    v = v.slice(1, -1).replace(/\\(["\\])/g, '$1')
+  } else if (v.startsWith("'") && v.endsWith("'")) {
+    // 单引号值的 YAML 转义是 '' → '
+    v = v.slice(1, -1).replace(/''/g, "'")
   }
   return v.length > 0 ? v : null
 }
@@ -227,11 +247,14 @@ export function aggregateStatus(results) {
  */
 export function extractKnownFailures(yamlText) {
   if (!yamlText) return []
-  const inline = yamlText.match(/^known_failures:\s*\[([^\]]*)\]\s*(?:#.*)?$/m)
+  // CRLF 归一（坑 verify-modules-crlf-blanket-fallback）：块式正则的 `.+`/`\n?` 在 CRLF 行
+  // 间失配，只捕获到第一条豁免项就停——归一后整块捕获恢复
+  const yaml = normalizeLineEndings(yamlText)
+  const inline = yaml.match(/^known_failures:\s*\[([^\]]*)\]\s*(?:#.*)?$/m)
   if (inline) {
     return inline[1].split(',').map(s => s.trim().replace(/^['"]|['"]$/g, '')).filter(Boolean)
   }
-  const block = yamlText.match(/^known_failures:\s*\n((?:[ \t]+-[ \t].+\n?)+)/m)
+  const block = yaml.match(/^known_failures:\s*\n((?:[ \t]+-[ \t].+\n?)+)/m)
   if (block) {
     return (block[1].match(/^[ \t]+-[ \t]+(.+)/gm) || [])
       .map(s => s.replace(/^[ \t]+-[ \t]+/, '').trim().replace(/^['"]|['"]$/g, '').replace(/#.*$/, '').trim())
@@ -381,44 +404,29 @@ function assertSafeRefSpec(refSpec) {
 /**
  * 在指定 cwd 跑 `git diff --name-only <refSpec>`，返回相对仓库根的文件列表。
  * git 不可用 / 非仓库 / ref 无效 → 返回 null（调用方 fallback）。
+ * QUAL-01 收口：本地 execFileSync 裸调 → git-helper gitQuiet（统一 safe.directory），timeout 30s 保留。
  */
 function runGitDiffNameOnly(cwd, refSpec) {
-  try {
-    const ref = refSpec ? assertSafeRefSpec(refSpec) : null
-    if (refSpec && !ref) return null
-    const args = ['diff', '--name-only']
-    if (ref) args.push(ref)
-    const out = execFileSync('git', args, {
-      cwd,
-      encoding: 'utf8',
-      timeout: 30 * 1000,
-      stdio: ['ignore', 'pipe', 'pipe'],
-    })
-    return out.split('\n').map(l => l.trim()).filter(Boolean)
-  } catch {
-    return null
-  }
+  const ref = refSpec ? assertSafeRefSpec(refSpec) : null
+  if (refSpec && !ref) return null
+  const args = ['diff', '--name-only']
+  if (ref) args.push(ref)
+  const out = gitQuiet(cwd, args, { timeout: 30 * 1000, trim: false })
+  if (out === null) return null
+  return out.split('\n').map(l => l.trim()).filter(Boolean)
 }
 
 /**
  * 在指定 cwd 跑 `git diff --name-status <refSpec>`，返回原始文本（调用方按行解析，
  * 保留状态字母 D/R/C 供删除探针识别删除/重命名）。git 不可用 / 非仓库 / ref 无效 → 返回 null。
+ * QUAL-01 收口：同上走 gitQuiet（trim:false 保留原始文本）。
  */
 function runGitDiffNameStatus(cwd, refSpec) {
-  try {
-    const ref = refSpec ? assertSafeRefSpec(refSpec) : null
-    if (refSpec && !ref) return null
-    const args = ['diff', '--name-status']
-    if (ref) args.push(ref)
-    return execFileSync('git', args, {
-      cwd,
-      encoding: 'utf8',
-      timeout: 30 * 1000,
-      stdio: ['ignore', 'pipe', 'pipe'],
-    })
-  } catch {
-    return null
-  }
+  const ref = refSpec ? assertSafeRefSpec(refSpec) : null
+  if (refSpec && !ref) return null
+  const args = ['diff', '--name-status']
+  if (ref) args.push(ref)
+  return gitQuiet(cwd, args, { timeout: 30 * 1000, trim: false })
 }
 
 /**
@@ -555,6 +563,11 @@ function resolveMainChangedFiles(cwd, changeName) {
  * }}
  */
 export function runVerifyTestCheck({ cwd, specBase, changeName = null, ctx = null }) {
+  // 信任边界声明（体检 SEC-02 核实）：本函数三处 execSync(command) 的命令只来源于
+  // ① 主仓 specBase（resolveSpecDir → 主仓 .sillyspec/local.yaml）② 跨仓仓根
+  // <repo>/.sillyspec/local.yaml——均为仓库自有配置（与 `npm test` 同信任级：跑测试
+  // 本就是执行项目代码）。永不读取 agent 可写的 worktree 副本（对照 worktree-deps.js
+  // SEC-01 的源级分流）；修改 yaml 来源时必须维持此边界。
   const localYamlPath = join(specBase, 'local.yaml')
   const yamlText = existsSync(localYamlPath) ? readFileSync(localYamlPath, 'utf8') : null
 

package/src/worktree-apply.js

@@ -12,7 +12,6 @@
  * 8. 成功后自动 cleanup
  */
 
-import { execFileSync } from 'child_process';
 import { existsSync, unlinkSync, writeFileSync, mkdtempSync, rmSync, readdirSync, readFileSync } from 'fs';
 import { join, resolve } from 'path';
 import { tmpdir } from 'os';
@@ -487,12 +486,17 @@ export function applyWorktree(changeName, { cwd, checkOnly = false, merge = fals
     return applyByMerge(result, changeName, projectRoot, wm);
   }
 
-  // --- 4.5 校验：主工作区是否有「未提交」脏改动（未提交 dirty 是 git apply --3way 危险区，必须拦）---
-  // 分工：4.5（排除规则下当前 dirty）+ 5a（脏∩changedFiles）挡「未提交」dirty；5b 管「已提交」HEAD 分叉（已放宽，见下）。
-  // 实测：主干未提交 dirty 时，git apply --3way 报 `does not match index` 且行为不一致（可能报错/可能半应用，
-  // 哪怕脏文件与 patch 不重叠）——这是 Windows/autocrlf 的 CRLF 副作用（非 git 本质限制：
-  // autocrlf off 时 --3way 在不重叠 dirty 树能 Applied cleanly，on 时才报 does not match index）。
-  // 但仓库 CRLF 混用 + 规则13 要求 Windows 兼容，fail-loud 在 Windows 仍有据，故此处友好拦截，引导用户先 commit/stash。
+  // --- 4.5 校验：主工作区「未提交」脏文件是否与本次变更重叠（overlap-only 拦截）---
+  // 分工：4.5（排除规则下 dirty∩changedFiles）+ 5a（更宽口径的同一交集）挡「未提交」dirty 重叠；
+  // 5b 管「已提交」HEAD 分叉（已放宽）。
+  // 2026-08-20 放宽（原全量拦截 → 只拦重叠）：原「排除规则下任何未提交文件即整体拒绝」会把与本次
+  // 变更无关的脏文件也硬挡，用户被迫走 rescue cp 手动路径。重叠（dirtyFiles ∩ changedFiles，
+  // changedFiles 已含删除文件与 worktree 新增同名文件）才是 git apply 无法安全应用的实际危险区。
+  // 残余风险与兜底（Windows/autocrlf）：实测 autocrlf on 时 git apply --3way 对 dirty 工作区可报
+  // `does not match index`（哪怕脏文件与 patch 不重叠；autocrlf off 时能干净应用，非 git 本质限制）。
+  // 交集空前提下该失败是安全的：step7 catch → rollbackApply 只 checkout/删除 patch 涉及文件
+  // （这些文件 apply 前无未提交修改，还原 = apply 前状态），无关脏文件不在 patch/rollback 范围
+  // 不受影响 → fail-safe，报错后 stash 重试即可。放行时 warning 提示此路径。
   // 排除非交付物的元数据/文档 churn（execute 自身改的 + 多操作者常改的 agent 指引/文档），
   // 否则别人改 CLAUDE.md/docs/.claude → 判定 dirty → apply 误阻断（多操作者仓库高频踩坑）。
   // 注意：排除规则必须和 computeBaselineHash (worktree.js) 一致（虽已不比对 hash，仍用同一口径判当前 dirty）。
@@ -503,38 +507,47 @@ export function applyWorktree(changeName, { cwd, checkOnly = false, merge = fals
     const staged = gitQuiet(projectRoot, ['diff', '--cached', ...exclude]) || '';
     const unstaged = gitQuiet(projectRoot, ['diff', ...exclude]) || '';
     const untracked = gitQuiet(projectRoot, ['ls-files', '--others', '--exclude-standard', ...exclude]) || '';
-    // 意图（与 computeBaselineHash 注释一致）：只挡「未提交 dirty」——git apply --3way 对 dirty 工作区不稳。
+    // 意图（与 computeBaselineHash 注释一致）：只看「未提交 dirty」——git apply --3way 对 dirty 工作区不稳。
     // 不比对 hash 是否等于 execute 启动时 baselineHash：主仓 dirty→clean（execute 期间 commit 无关文件）后
     // hash 必变，若仍比对会永久死锁（须手改 meta.baselineHash）。改判「排除规则下当前是否有未提交 dirty」。
     const hasUncommittedDirty = staged !== '' || unstaged !== '' || untracked !== '';
     if (hasUncommittedDirty) {
-      // 未提交 dirty 拦截：列脏文件 + 指引先 commit/stash（git --3way 对 dirty 工作区不稳，merge 同理，故不再提 --merge）
       const dirtyFiles = [...new Set(
         ((gitQuiet(projectRoot, ['diff', '--name-only', 'HEAD']) || '').split('\n').filter(Boolean))
           .concat((gitQuiet(projectRoot, ['ls-files', '--others', '--exclude-standard']) || '').split('\n').filter(Boolean))
       )].filter(f => !f.startsWith('.sillyspec/') && f !== 'meta.json');
-      // rescue：dirty 拦截触发时生成逐文件 cp 安全子集（旁路 git apply），写 result.rescueCommands 供 assess/打印器消费
-      const rescueDirty = computeRescueDirtyFiles(projectRoot);
-      result.rescueCommands = generateRescueCommands({
-        changedFiles,
-        dirtyFiles: rescueDirty,
-        hashMismatchFiles: result.hashMismatchFiles,
-        deletedFiles: result.deletedFiles,
-        worktreePath,
-        projectRoot,
-      });
-      result.errors.push(
-        `主工作区有未提交的改动，git apply 无法安全应用。\n` +
-        (dirtyFiles.length > 0 ? `未提交文件：\n  ${dirtyFiles.join('\n  ')}\n` : '') +
-        `请先提交或暂存这些改动，再重新 apply：\n  git add -A && git commit -m "..."   或   git stash\n` +
-        (result.rescueCommands.commands.length > 0 || result.rescueCommands.warnings.length > 0
-          ? `或手动 rescue（旁路 git apply，逐文件 cp 安全子集；cp 后需手动 sillyspec worktree cleanup ${changeName}）：\n` +
-            result.rescueCommands.commands.map(c => `  ${c}`).join('\n') +
-            (result.rescueCommands.warnings.length > 0 ? '\n' + result.rescueCommands.warnings.map(w => `  ${w}`).join('\n') : '') +
-            `\n  （共 ${result.rescueCommands.cpFileCount} 个可安全 cp，${result.rescueCommands.excludedCount} 个被排除）\n`
-          : '')
-      );
-      if (!checkOnly) return result; // checkOnly 收集不短路（一次报全）；真实 apply 短路
+      const overlapDirty = dirtyFiles.filter(f => changedFiles.includes(f));
+      if (overlapDirty.length > 0) {
+        // 重叠拦截：只有与本次变更同文件的未提交改动才无法安全 apply（列重叠文件，非全部脏文件）
+        const rescueDirty = computeRescueDirtyFiles(projectRoot);
+        result.rescueCommands = generateRescueCommands({
+          changedFiles,
+          dirtyFiles: rescueDirty,
+          hashMismatchFiles: result.hashMismatchFiles,
+          deletedFiles: result.deletedFiles,
+          worktreePath,
+          projectRoot,
+        });
+        result.errors.push(
+          `主工作区以下未提交文件与本次 apply 的变更重叠，git apply 无法安全应用：\n  ${overlapDirty.join('\n  ')}\n` +
+          `请先提交或暂存这些改动，再重新 apply：\n  git add -A && git commit -m "..."   或   git stash\n` +
+          (result.rescueCommands.commands.length > 0 || result.rescueCommands.warnings.length > 0
+            ? `或手动 rescue（旁路 git apply，逐文件 cp 安全子集；cp 后需手动 sillyspec worktree cleanup ${changeName}）：\n` +
+              result.rescueCommands.commands.map(c => `  ${c}`).join('\n') +
+              (result.rescueCommands.warnings.length > 0 ? '\n' + result.rescueCommands.warnings.map(w => `  ${w}`).join('\n') : '') +
+              `\n  （共 ${result.rescueCommands.cpFileCount} 个可安全 cp，${result.rescueCommands.excludedCount} 个被排除）\n`
+            : '')
+        );
+        if (!checkOnly) return result; // checkOnly 收集不短路（一次报全）；真实 apply 短路
+      } else {
+        // 无关脏文件放行（只校验重叠文件）：--3way 若因 autocrlf 报 does not match index 会被
+        // step7 catch 回滚（交集空前提下无损，见上注释），stash 后重试即可——不再硬挡 rescue 手动路径
+        result.warnings = (result.warnings || []).concat([
+          `主工作区有 ${dirtyFiles.length} 个与本次 apply 无关的未提交文件，已放行（只校验重叠文件）：` +
+          `${dirtyFiles.slice(0, 5).join(', ')}${dirtyFiles.length > 5 ? ' 等' : ''}` +
+          `——若 apply --3way 因 CRLF/autocrlf 报 does not match index，可 git stash 后重试`
+        ]);
+      }
     }
   }
 
@@ -656,6 +669,17 @@ export function applyWorktree(changeName, { cwd, checkOnly = false, merge = fals
       // FR-06：解析 git 原始 stderr 提取冲突文件列表（不静默吞掉）
       const rawStderr = e.message || '';
       const rollback = rollbackApply(projectRoot, trackedPatchFiles, newPatchFiles, rawStderr);
+      // autocrlf 副作用单独点名：主仓无关未提交 dirty + CRLF 转换可触发 does not match index
+      // （非文件内容冲突，交集空时 step4.5 已放行到这里）——回滚无损，stash 后重试即可
+      if (/does not match index/i.test(rawStderr)) {
+        result.errors.push(
+          `apply --3way 失败（does not match index）：多为主仓未提交文件 + Windows autocrlf 的 CRLF 副作用触发，非文件内容冲突。\n` +
+          `已回滚工作区到 apply 前状态（无损，无关未提交文件未受影响）。\n` +
+          `处理：git stash 后重试 sillyspec worktree apply ${changeName}，或 --merge 兜底。`
+        );
+        if (rollback.error) result.warnings = (result.warnings || []).concat([`回滚警告: ${rollback.error}`]);
+        return result;
+      }
       result.errors.push(
         `apply --3way 冲突：以下文件与主干「已提交」推进重叠，无法自动合并：\n` +
         `  ${rollback.conflicts.length > 0 ? rollback.conflicts.join('\n  ') : '(未能获取冲突文件列表)'}\n` +
@@ -1174,9 +1198,9 @@ export function formatExecuteSummary({ changeName, stepsCompleted, stepsTotal, a
     // worktree 还在，用 baselineCommit 或 baseHash 做 diff
     try {
       const diffBase = meta.baselineCommit || meta.baseHash;
-      // execFileSync 数组形式：路径无需引号化（含空格也安全）；stdio stderr=ignore
-      // 替代 `2>/dev/null`（Windows cmd.exe 无法解析该重定向，导致 Windows 上恒抛错→Changed Files 空）
-      const filesRaw = execFileSync('git', ['-C', meta.worktreePath, 'diff', '--name-only', diffBase], { encoding: 'utf8', stdio: ['ignore','pipe','ignore'] });
+      // QUAL-01 收口：裸 execFileSync → git-helper git（stderr 由 helper stdio 配置吞掉，
+      // 替代 `2>/dev/null`——Windows cmd.exe 无法解析该重定向，导致 Windows 上恒抛错→Changed Files 空）
+      const filesRaw = git(meta.worktreePath, ['diff', '--name-only', diffBase], { timeout: 30000 });
       const files = filesRaw ? filesRaw.trim().split('\n').filter(Boolean) : [];
       if (files.length > 0) {
         lines.push(``);