sillyspec 3.26.7 → 3.26.8

package/src/stages/plan-postcheck.js

@@ -31,6 +31,7 @@ import { validateScriptCommands } from './cmd-existence.js'
  * @returns {string[]}
  */
 function parseDependsOn(content) {
+  content = content.replace(/\r\n/g, '\n') // 外部调用方（worktree-apply 等）原生 readFileSync 喂 CRLF 时 ^---\n 锚点失配
   const fmMatch = content.match(/^---\n([\s\S]*?)\n---/)
   if (!fmMatch) return []
   const fm = fmMatch[1]
@@ -38,9 +39,11 @@ function parseDependsOn(content) {
   if (inlineMatch) {
     return inlineMatch[1].split(',').map(s => s.trim().replace(/['"]/g, '')).filter(Boolean)
   }
-  const blockMatch = fm.match(/depends_on:\s*\n((?:\s+-\s+.+\n?)+)/)
+  // 块列表：列表项允许顶格或缩进（[ \t]*，坑6——原 \s* 贪婪吃掉换行与前导空白，
+  // 顶格 `depends_on:\n- task-01` 标准 YAML 写法永远失配，静默判「无依赖」）
+  const blockMatch = fm.match(/depends_on:[ \t]*\n((?:[ \t]*-[ \t]+.+\n?)+)/)
   if (blockMatch) {
-    return blockMatch[1].match(/-\s+(.+)/g)?.map(s => s.replace(/^-\s+/, '').trim().replace(/['"]/g, '')) || []
+    return blockMatch[1].match(/[ \t]*-[ \t]+(.+)/g)?.map(s => s.replace(/^[ \t]*-[ \t]+/, '').trim().replace(/['"]/g, '')) || []
   }
   return []
 }
@@ -67,16 +70,25 @@ function parseTaskId(content, filename) {
  * @returns {string[]}
  */
 export function parseAllowedPaths(content) {
+  content = content.replace(/\r\n/g, '\n') // 同 parseDependsOn：入口归一，保护喂原始 CRLF 内容的外部调用方
   const fmMatch = content.match(/^---\n([\s\S]*?)\n---/)
   if (!fmMatch) return []
   const fm = fmMatch[1]
   const inlineMatch = fm.match(/allowed_paths:\s*\[([^\]]*)\]/)
   if (inlineMatch) {
-    return inlineMatch[1].split(',').map(s => s.trim().replace(/['"]/g, '')).filter(Boolean)
+    return inlineMatch[1].split(',').map(s => s.trim().replace(/['"`]/g, '')).filter(Boolean)
   }
-  const blockMatch = fm.match(/allowed_paths:\s*\n((?:\s+-\s+.+\n?)+)/)
+  // 块列表：列表项允许顶格或缩进（坑6①——原 `\s*\n` 的 \s 贪婪匹配换行+前导空白，
+  // 标准 YAML 块列表 `allowed_paths:\n- src/a.js`（顶格）永远失配，静默判「缺 allowed_paths」；
+  // 缩进式 \s+- 恰可命中是巧合幸存。改 [ \t]*（不吃换行）+ 行内 [ \t]*-[ \t]+ 顶格缩进通吃）
+  const blockMatch = fm.match(/allowed_paths:[ \t]*\n((?:[ \t]*-[ \t]+.+\n?)+)/)
   if (blockMatch) {
-    return blockMatch[1].match(/-\s+(.+)/g)?.map(s => s.replace(/^-\s+/, '').trim().replace(/['"]/g, '')) || []
+    // 剥首尾成对反引号（坑7 家族：`src/a.js` 整项以反引号开头时 js-yaml/正则路径带 ` 匹配失败报未覆盖；
+    // 与 change-list.js 的 cell 归一化同语义——剥两端包裹引号，不动路径内部字符）
+    return blockMatch[1].match(/[ \t]*-[ \t]+(.+)/g)?.map(s => {
+      const raw = s.replace(/^[ \t]*-[ \t]+/, '').trim()
+      return raw.replace(/^`([^`]*)`$/, '$1').replace(/^['"]|['"]$/g, '').trim()
+    }).filter(Boolean) || []
   }
   return []
 }
@@ -96,6 +108,7 @@ export function parseAllowedPaths(content) {
  * @returns {string|null}
  */
 function parseFrontmatterScalar(content, field) {
+  content = content.replace(/\r\n/g, '\n') // 同 parseAllowedPaths：入口归一 CRLF
   const fmMatch = content.match(/^---\n([\s\S]*?)\n---/)
   if (!fmMatch) return null
   let fm
@@ -439,6 +452,39 @@ export function validateBlueprintConsistency(changeDir) {
     }
   }
 
+  // plan.md 声明任务 ↔ tasks/ 卡片双向对账（债单 D-2b）：
+  // plan 列 17 任务只出 12 卡（尾部文档同步类任务漏卡）时，无卡任务不进 Wave、
+  // 不受 execute 审计 → 零失败信号漏做。口径与 plan.js parseTaskCount/parseTaskNames 一致
+  // （`- [ ] task-NN` checkbox；file 命名 task-NN.md + 卡内 id task-NN 均取，缺一即漏卡）。
+  const planMdPath = pJoin(changeDir, 'plan.md')
+  if (existsSync(planMdPath)) {
+    const declaredIds = new Set()
+    for (const line of readFileSync(planMdPath, 'utf8').split('\n')) {
+      const m = line.match(/^[-*]\s*\[[ x]\]\s*(task-\d+)\b/i)
+      if (m) declaredIds.add(m[1].toLowerCase())
+    }
+    if (declaredIds.size > 0) {
+      const tprRule = getRule('plan.task-plan-reconciliation')
+      const cardIds = new Set([...taskInfo.keys()].map(id => id.toLowerCase()))
+      const missing = [...declaredIds].filter(id => !cardIds.has(id))
+      if (missing.length > 0) {
+        errors.push(
+          tprRule.data.messageMissingCards
+            .replaceAll('${declared}', declaredIds.size)
+            .replaceAll('${missing}', missing.join(', '))
+        )
+      }
+      const orphans = [...cardIds].filter(id => !declaredIds.has(id))
+      if (orphans.length > 0) {
+        errors.push(
+          tprRule.data.messageOrphanCards.replaceAll('${orphans}', orphans.join(', '))
+        )
+      }
+    }
+    // declaredIds.size === 0：plan.md 无 task checkbox 声明（极端格式）→ 跳过对账，
+    // 由 validatePlanArtifacts/validatePlanForExecute 把关，不在此误伤。
+  }
+
   // 拓扑排序 + 循环依赖
   const depMap = new Map()
   for (const [taskId, info] of taskInfo) {
@@ -691,8 +737,10 @@ function parseDesignCoverageByRepo(designPath) {
   }
 
   if (!hasSegmentHeader) {
-    // 无段头 → 整章节归 main（等价原 parseFileChangeList 行为）
-    const main = new Set(parseFileChangeList(designPath))
+    // 无段头 → 整章节归 main（等价原 parseFileChangeList 行为）。
+    // keepSillyspecDocs=true：.sillyspec/docs/ 模块文档 = 交付物，与 apply 阶段
+    // resolveApplyAllowSet 口径一致（债单 D-2）——design 声明的模块文档更新必须被 task 认领。
+    const main = new Set(parseFileChangeList(designPath, { keepSillyspecDocs: true }))
     if (main.size > 0) byRepo.set('main', main)
     for (const p of main) allFiles.push(p)
     return { byRepo, hasSegmentHeader: false, allFiles }
@@ -731,7 +779,7 @@ function parseDesignCoverageByRepo(designPath) {
       const virtualDesign = ['## 文件变更清单', '', ...segLines, ''].join('\n')
       const tmpPath = pJoin(tmpDir, `${repo}.md`)
       writeFileSync(tmpPath, virtualDesign)
-      const segFiles = [...parseFileChangeList(tmpPath)]
+      const segFiles = [...parseFileChangeList(tmpPath, { keepSillyspecDocs: true })]
       if (segFiles.length === 0) continue
       const set = byRepo.get(repo) || new Set()
       for (const p of segFiles) { set.add(p); allFiles.push(p) }
@@ -1062,41 +1110,41 @@ export async function executePlanPostcheck(context) {
 
   console.log(`  📂 变更目录: ${changeDir}`)
 
+  // ── 报错聚合（坑6③）：六个检查全部跑完后统一输出全部失败项，一轮 --done 暴露全部问题，
+  // 不再「失败一个抛一个、修一个冒一个」的迭代盲盒。各检查相互独立（都只读 changeDir 产物），
+  // 前置检查失败不使后续检查失真——唯一例外是 tasks/ 目录缺失时后续检查都无意义，仍提前短路。
+  const failures = [] // { name, errors, hint }
+  const printSectionWarnings = (label, warnings) => {
+    if (warnings.length > 0) {
+      console.warn(`\n⚠️  ${label}警告（不阻断）：`)
+      for (const w of warnings) console.warn(`   - ${w}`)
+    }
+  }
+
   // ── 1. 一致性校验 ──
   const consistency = validateBlueprintConsistency(changeDir)
   if (consistency.errors.length > 0) {
-    console.error('\n❌ 蓝图一致性校验失败：')
-    for (const err of consistency.errors) console.error(`   - ${err}`)
-    console.error('\n   请修复上述问题后重新完成此步骤。')
-    throw new Error('planPostcheck: blueprint consistency check failed')
-  }
-  if (consistency.warnings.length > 0) {
-    console.warn('\n⚠️  蓝图一致性警告（不阻断）：')
-    for (const w of consistency.warnings) console.warn(`   - ${w}`)
+    failures.push({ name: '蓝图一致性校验', errors: consistency.errors, hint: '请修复上述问题后重新完成此步骤。' })
   }
+  printSectionWarnings('蓝图一致性', consistency.warnings)
 
   // ── 1b. 可行性校验 ──
   const feasibility = validatePlanFeasibility(changeDir, context.cwd)
   if (feasibility.errors.length > 0) {
-    console.error('\n❌ Plan 可行性校验失败：')
-    for (const err of feasibility.errors) console.error(`   - ${err}`)
-    throw new Error('planPostcheck: feasibility check failed')
-  }
-  if (feasibility.warnings.length > 0) {
-    console.warn('\n⚠️  Plan 可行性警告（不阻断）：')
-    for (const w of feasibility.warnings) console.warn(`   - ${w}`)
+    failures.push({ name: 'Plan 可行性校验', errors: feasibility.errors, hint: null })
   }
+  printSectionWarnings('Plan 可行性', feasibility.warnings)
 
   // ── 1c. 跨任务契约校验 ──
   // 对账 consumer.expects_from ↔ provider.provides，拦截「consumer 期望字段
   // 但 provider 未承诺」的契约断裂（避免到 execute/verify 才暴露成 403/500）
   const crossTask = validateCrossTaskContracts(changeDir)
   if (crossTask.errors.length > 0) {
-    console.error('\n❌ 跨任务契约校验失败（consumer 期望的字段未被 provider 承诺）：')
-    for (const err of crossTask.errors) console.error(`   - ${err}`)
-    console.error('\n   修复方式：要么在 provider task 的 provides.fields 补上缺失字段，')
-    console.error('   要么修正 consumer task 的 expects_from.needs（确认依赖是否真实）。')
-    throw new Error('planPostcheck: cross-task contract check failed')
+    failures.push({
+      name: '跨任务契约校验（consumer 期望的字段未被 provider 承诺）',
+      errors: crossTask.errors,
+      hint: '修复方式：要么在 provider task 的 provides.fields 补上缺失字段，要么修正 consumer task 的 expects_from.needs（确认依赖是否真实）。',
+    })
   }
 
   // ── 1c-b. TaskCard 命令存在性校验 ──
@@ -1111,11 +1159,11 @@ export async function executePlanPostcheck(context) {
   }
   const taskCmds = validateTaskCommands(changeDir, context.cwd, taskModules)
   if (taskCmds.errors.length > 0) {
-    console.error('\n❌ TaskCard 命令存在性校验失败（verify/implementation 的 npm/pnpm/yarn run <script> 不存在）：')
-    for (const err of taskCmds.errors) console.error(`   - ${err}`)
-    console.error('\n   修复方式：要么在 package.json scripts 补上缺失命令（monorepo 注意子包路径），')
-    console.error('   要么修正 TaskCard 的 verify/implementation（确认命令是否真实、是否需 cd 子包）。')
-    throw new Error('planPostcheck: task command existence check failed')
+    failures.push({
+      name: 'TaskCard 命令存在性校验（verify/implementation 的 npm/pnpm/yarn run <script> 不存在）',
+      errors: taskCmds.errors,
+      hint: '修复方式：要么在 package.json scripts 补上缺失命令（monorepo 注意子包路径），要么修正 TaskCard 的 verify/implementation（确认命令是否真实、是否需 cd 子包）。',
+    })
   }
 
   // ── 1d. design 文件覆盖对账 ──
@@ -1124,14 +1172,23 @@ export async function executePlanPostcheck(context) {
   const coverage = validateDesignFileCoverage(changeDir)
   for (const w of coverage.warnings) console.warn(`\n  ⚠️  ${w}`)
   if (coverage.errors.length > 0) {
-    console.error('\n❌ design.md 文件覆盖对账失败（清单中的文件未被任何 task 覆盖）：')
-    for (const err of coverage.errors) console.error(`   - ${err}`)
-    throw new Error('planPostcheck: design file coverage check failed')
+    failures.push({ name: 'design.md 文件覆盖对账（清单中的文件未被任何 task 覆盖）', errors: coverage.errors, hint: null })
   }
   if (coverage.designFiles.length > 0 && coverage.uncovered.length === 0) {
     console.log(`  ✅ design.md ${coverage.designFiles.length} 个文件全部被 task allowed_paths 覆盖`)
   }
 
+  // ── 聚合输出：一轮 --done 暴露全部失败项（坑6③）──
+  if (failures.length > 0) {
+    console.error(`\n❌ plan postcheck 失败（${failures.length} 类问题，已全部列出——一次修复后重跑，无需逐个迭代）：`)
+    for (const f of failures) {
+      console.error(`\n   【${f.name}】`)
+      for (const err of f.errors) console.error(`   - ${err}`)
+      if (f.hint) console.error(`   ${f.hint}`)
+    }
+    throw new Error(`planPostcheck: ${failures.length} 组校验失败（${failures.map(f => f.name).join('；')}）`)
+  }
+
   // ── 2. Wave 重排 ──
   const tasksDir = pJoin(changeDir, 'tasks')
   if (existsSync(tasksDir)) {

package/src/stages/verify.js

@@ -134,7 +134,7 @@ export const definition = {
 3. 数据模型是否符合
 4. API 设计是否符合
 5. **Reverse Sync 检查**：如果发现实现合理但 design.md 未覆盖，先更新 design.md 补充遗漏
-6. **模块文档一致性检查**：如果在"加载规范并锚定"步骤中加载了模块文档，检查实现是否符合模块文档描述的当前设计（特别关注接口签名、数据流、依赖关系）。不符合时标记 ⚠️（不阻断，模块文档可能未及时更新）
+6. **模块文档一致性检查**：如果在"加载规范并锚定"步骤中加载了模块文档，检查实现是否符合模块文档描述的当前设计（特别关注接口签名、数据流、依赖关系）。不一致时**当场同步模块文档**（这是 verify 的收尾义务，不是可选项）；module-impact.md「更新结果」表的文档同步项也须在本阶段回填 done/skipped——CLI 在 verify --done 时硬校验该表无 pending/待办死信行，未清即阻断完成
 7. **决策链路检查**：如果存在 decisions.md，输出 D-xxx@vN → FR-xxx → task-xx → evidence 的追踪矩阵；缺失项必须列为风险（CLI 只校验每个 D-xxx@vN ID 字面出现在 verify-result.md，warning 不阻断；矩阵的 D→FR→task→evidence 映射完整性供人类追溯，CLI 不校验——是否真覆盖由你诚实判定）
 
 ### 输出

package/src/sync.js

@@ -12,6 +12,7 @@ import { existsSync, mkdirSync, readFileSync, readdirSync, writeFileSync, unlink
 import { join } from 'path';
 import { resolvePlatformSpecDir } from './progress.js';
 import { safeGit } from './git-helper.js';
+import { PLATFORM_MANAGED_FILENAME } from './run/shared.js';
 
 // sync 是 best-effort（网络失败只 warn）：平台指针失效时不抛，跳过平台、回退本地。
 function safePlatformSpecDir(cwd) {
@@ -327,28 +328,37 @@ export class SyncManager {
   }
 
   /**
-   * 断开平台连接。
-   * 从 local.yaml 删除 platform 配置段。
+   * 断开平台连接（三清，D-C@v2）。
+   * 1. 从 local.yaml 删除 platform 配置段；
+   * 2. 删恢复指针 <cwd>/.sillyspec-platform.json；
+   * 3. 删平台接管声明 <cwd>/.sillyspec-platform-managed。
+   * 不删后两者则"disconnect 后恢复本地模式"不可达（指针健在时 resolvePlatformSpecDir
+   * 仍解析平台 specRoot；声明健在时指针缺失会 fail-closed）。
    */
   disconnect() {
     const p = join(this.cwd, LOCAL_YAML);
-    if (!existsSync(p)) {
-      console.log('[sync] 已断开连接（无配置文件）');
-      return;
-    }
-    const text = readFileSync(p, 'utf8');
-    if (findTopLevelSectionRange(text, 'platform') === null) {
-      console.log('[sync] 已断开连接（未连接）');
-      return;
+    if (existsSync(p)) {
+      const text = readFileSync(p, 'utf8');
+      if (findTopLevelSectionRange(text, 'platform') !== null) {
+        // 文本级删除 platform 段，保留注释/其他段/数组/深嵌套/CRLF
+        const newText = replaceTopLevelSection(text, 'platform', null);
+        if (newText.trim() === '') {
+          // 删段后纯空白（无任何段也无注释）→ 删除整个文件；注释算内容，有注释则保留
+          try { unlinkSync(p); } catch { /* best effort */ }
+        } else {
+          writeFileSync(p, newText, 'utf8');
+        }
+      }
     }
-    // 文本级删除 platform 段，保留注释/其他段/数组/深嵌套/CRLF
-    const newText = replaceTopLevelSection(text, 'platform', null);
-    if (newText.trim() === '') {
-      // 删段后纯空白（无任何段也无注释）→ 删除整个文件；注释算内容，有注释则保留
-      try { unlinkSync(p); } catch { /* best effort */ }
-    } else {
-      writeFileSync(p, newText, 'utf8');
+    // 三清之二/三：指针 + 接管声明（disconnect 是声明的唯一退出路径——design.md §5.4）
+    let cleaned = [];
+    for (const f of ['.sillyspec-platform.json', PLATFORM_MANAGED_FILENAME]) {
+      const fp = join(this.cwd, f);
+      if (existsSync(fp)) {
+        try { unlinkSync(fp); cleaned.push(f); } catch { /* best effort */ }
+      }
     }
+    if (cleaned.length > 0) console.log(`[sync] 已清理平台指针与接管声明: ${cleaned.join(', ')}`);
     console.log('[sync] 已断开连接');
   }
 

package/src/task-review.js

@@ -442,7 +442,8 @@ export function validateTaskReviews(opts) {
       } else if (repoKey !== 'main') {
         // 跨仓 repo 在 ctx 中未注册 → 不应发生（MultiRepoContext 构造已 fail-closed 拦截未注册），
         // 防御性降级为 warning 提示，不阻断（review.json schema 已过，仓库解析交给 ctx 上游负责）。
-        warnings.push(`${taskId}: review.repo="${repoKey}" 在 MultiRepoContext 未解析到 entry，退回主仓 gitDir 校验`)
+        // 坑7 教训：此分支发生时后续主仓校验必报「疑似伪造」，文案须直接指向真实排查方向。
+        warnings.push(`${taskId}: review.repo="${repoKey}" 在 MultiRepoContext 未解析到 entry，退回主仓 gitDir 校验——下方若报 commit 不真实/疑似伪造，先查 repo 声明（plan.md 内联块或 tasks/task-NN.md 的 repo:）与 local.yaml repos: 注册，非 review 伪造`)
       }
     }
     if (reviewGitDir) {

package/src/worktree-apply.js

@@ -877,7 +877,8 @@ export function assessApplyRisk(changeName, { cwd } = {}) {
     }
   }
 
-  // 检查 6: diff 规模异常（>2000 行变更视为异常）
+  // 检查 6: diff 规模异常（两档：>5000 行 BLOCKED；2000~5000 行 WARNING——正常规模 change
+  // 常超 2000 行（如 +2368），单档硬拦把正常变更逼进 rescue cp 手动路径，见 ql-20260815-001 复盘）
   const wtPath = meta?.worktreePath;
   const diffBase = meta?.baselineCommit || meta?.baseHash;
   let additions = 0, deletions = 0;
@@ -888,8 +889,10 @@ export function assessApplyRisk(changeName, { cwd } = {}) {
       const delMatch = shortstat?.match(/(\d+) deletion/);
       additions = insMatch ? parseInt(insMatch[1]) : 0;
       deletions = delMatch ? parseInt(delMatch[1]) : 0;
-      if (additions + deletions > 2000) {
-        reasons.push(`diff 规模异常（${additions} additions + ${deletions} deletions = ${additions + deletions} 行）`);
+      if (additions + deletions > 5000) {
+        reasons.push(`diff 规模异常（${additions} additions + ${deletions} deletions = ${additions + deletions} 行，超过 5000 硬上限）`);
+      } else if (additions + deletions > 2000) {
+        warnings.push(`diff 规模偏大（${additions} additions + ${deletions} deletions = ${additions + deletions} 行，2000~5000 区间放行为 WARNING，请确认属正常变更规模）`);
       }
     } catch {}
   }