sillyspec 3.28.7 → 3.28.9

package/src/stages/plan-postcheck.js

@@ -840,10 +840,21 @@ export function validateTaskCommands(changeDir, projectRoot, modules = null) {
 
 /**
  * design §6 按仓分段段头识别（D-014）：`## <repo> 仓变更`（如 `## sillyspec 仓变更`）。
- * 段头为 h2，repo 名取段头首 token（去空白/编号前缀）。容忍可选编号前缀与尾随空白/冒号。
+ * 段头为 h2/h3，repo 名取段头首 token（去空白/编号前缀）。容忍可选编号前缀、（…）备注后缀
+ * （`（跨仓，X1-X4）` 等，全/半角括号均可）与尾随空白/冒号——后缀不容忍时（用户实证
+ * 2026-08-29）`### sillyspec 仓变更（跨仓，X1-X4）` 整段判 main、跨仓文件全量误报未覆盖。
  * 不命中（非仓变更段头）→ null。
  */
-const REPO_SECTION_HEADER_RE = /^#{2,3}\s+(?:\d+[.)]\s*)?([A-Za-z0-9_.\-]+)\s*仓变更\s*[:：]?\s*$/
+const REPO_SECTION_HEADER_RE = /^#{2,3}\s+(?:\d+[.)]\s*)?([A-Za-z0-9_.\-]+)\s*仓变更(?:\s*[（(][^（）()]*[)）])?\s*[:：]?\s*$/
+
+/**
+ * 疑似段头宽匹配：标题行含「<token> 仓变更」字样（token 与仓变更间有空白）。
+ * 宽匹配命中而严格式（REPO_SECTION_HEADER_RE）不命中 = 段头意图明确但格式解析不了
+ * （repo-key 含中文等非法字符 / 仓变更后接自由文本）。此时该段文件会被错记到上一段仓
+ * （或 main）→ 覆盖对账整段错位，validateDesignFileCoverage 据此点名报错，
+ * 不让用户对着「未覆盖」清单反推是段头问题。
+ */
+const REPO_SECTION_HEADER_LOOSE_RE = /^#{2,3}\s+(?:\d+[.)]\s*)?\S+\s+仓变更/
 
 /**
  * design §6 文件清单章节标题（与 change-list.js FILE_LIST_SECTION_RE 同源，避免 import 私有常量）。
@@ -867,19 +878,20 @@ const FILE_LIST_SECTION_RE = /^#{2,3}\s*(?:\d+[.)]\s*)?(文件变更清单|变
  *   外加 _hasSegmentHeader 标记（调用方据此决定是否走分段对账路径）
  *
  * @param {string} designPath - design.md 绝对路径
- * @returns {{ byRepo: Map<string, Set<string>>, hasSegmentHeader: boolean, allFiles: string[] }}
+ * @returns {{ byRepo: Map<string, Set<string>>, hasSegmentHeader: boolean, allFiles: string[], malformedHeaders: string[] }}
  */
 function parseDesignCoverageByRepo(designPath) {
   const byRepo = new Map()
   const allFiles = []
+  const malformedHeaders = []
   if (!designPath || !existsSync(designPath)) {
-    return { byRepo, hasSegmentHeader: false, allFiles }
+    return { byRepo, hasSegmentHeader: false, allFiles, malformedHeaders }
   }
   const content = readFileSync(designPath, 'utf8')
 
   const sectionMatch = content.match(FILE_LIST_SECTION_RE)
   if (!sectionMatch) {
-    return { byRepo, hasSegmentHeader: false, allFiles }
+    return { byRepo, hasSegmentHeader: false, allFiles, malformedHeaders }
   }
 
   // 主章节起点（match index）→ 扫描到下一个非段头的 `## ` 标题或文件末尾。
@@ -891,10 +903,14 @@ function parseDesignCoverageByRepo(designPath) {
   for (let i = 0; i < lines.length; i++) {
     const line = lines[i]
     if (i > 0 && /^##\s/.test(line) && !REPO_SECTION_HEADER_RE.test(line)) {
-      // 遇到非段头的 h2 标题（如 `## 7. 接口定义`）→ 主章节结束
+      // 遇到非段头的 h2 标题（如 `## 7. 接口定义`）→ 主章节结束。
+      // 但若它疑似仓变更段头（宽匹配命中），先记格式错误再结束——静默截断会让
+      // 该段文件整段脱离对账基准，比报错更危险。
+      if (REPO_SECTION_HEADER_LOOSE_RE.test(line)) malformedHeaders.push(line.trim())
       break
     }
     if (REPO_SECTION_HEADER_RE.test(line)) hasSegmentHeader = true
+    else if (REPO_SECTION_HEADER_LOOSE_RE.test(line)) malformedHeaders.push(line.trim())
     sectionLines.push(line)
   }
 
@@ -905,7 +921,7 @@ function parseDesignCoverageByRepo(designPath) {
     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 }
+    return { byRepo, hasSegmentHeader: false, allFiles, malformedHeaders }
   }
 
   // 有段头 → 按 repo 切片，每段构造临时 design 调 parseFileChangeList
@@ -951,7 +967,7 @@ function parseDesignCoverageByRepo(designPath) {
     rmSync(tmpDir, { recursive: true, force: true })
   }
 
-  return { byRepo, hasSegmentHeader: true, allFiles }
+  return { byRepo, hasSegmentHeader: true, allFiles, malformedHeaders }
 }
 
 /**
@@ -996,9 +1012,16 @@ export function validateDesignFileCoverage(changeDir) {
   }
 
   // 按仓分段解析 design §6（约束③）：段头 `## <repo> 仓变更` → 段内路径归该 repo；无段头 → 全 main
-  const { byRepo: designByRepo, hasSegmentHeader, allFiles: designFiles } = parseDesignCoverageByRepo(designPath)
+  const {
+    byRepo: designByRepo, hasSegmentHeader, allFiles: designFiles, malformedHeaders,
+  } = parseDesignCoverageByRepo(designPath)
   // 两种断裂文案(缺清单章节 / 文件未覆盖)从 manifest 同源(plan.design-file-coverage.data)。
   const dcRule = getRule('plan.design-file-coverage')
+  // 疑似仓变更段头但格式解析不了 → 点名报错（manifest 同源文案）。不拦的话该段文件被错记
+  // 到别的仓，下方未覆盖对账整段错位，报错又不指向段头本身（用户实证 2026-08-29：排查靠猜）。
+  for (const h of malformedHeaders) {
+    errors.push(dcRule.data.messageMalformedHeader.replaceAll('${line}', h))
+  }
   if (designFiles.length === 0) {
     // 走到 plan-postcheck 说明已生成 task 卡片（light/full），brainstorm 模板规定清单必填。
     // 无清单 = design↔execute 偏差温床（覆盖对账无从对起），阻断，不让它静默放过。
@@ -1047,6 +1070,13 @@ export function validateDesignFileCoverage(changeDir) {
   return { ok: errors.length === 0, errors, warnings, designFiles, uncovered }
 }
 
+// acceptance 标识符 grep 停用词：工具域/格式名词——acceptance 行文高频出现但不是代码实体，
+// 不排除会给几乎每张卡稳定制造一条误报（宁漏不噪，漏一条提示的代价远低于满屏噪音淹没人）。
+const ACCEPT_IDENT_STOPWORDS = new Set([
+  'snake_case', 'camelCase', 'kebab_case', // 格式名词（acceptance 常写「输出 snake_case 格式」）
+  'allowed_paths', 'related_tests', 'depends_on', 'expects_from', 'title_zh', // TaskCard 字段名
+])
+
 /**
  * 流程产物前缀（target_files 不该声明的路径域）。
  * 与 worktree-apply filterDeliverableFiles 同口径硬编码——不 import 复用是因为
@@ -1189,6 +1219,16 @@ export function validatePlanFeasibility(changeDir, projectRoot = null) {
   const allTaskIds = []
   const depMap = new Map()
 
+  // acceptance grep 降噪依据：design.md 全文——标识符已在 design 声明 = 本次计划要新增的
+  // 字段/函数（此刻自然不在源码里），不是噪音（用户实证 2026-08-29：15 卡 20+ 条 warning
+  // 全是这类误报）。无 design.md（none/light）→ 空串退化为纯源码 grep。
+  let designText = ''
+  try {
+    designText = readFileSync(pJoin(changeDir, 'design.md'), 'utf8')
+  } catch {
+    // design.md 不存在 → 跳过该降噪门，行为退化为只有源码 grep
+  }
+
   for (const file of taskFiles) {
     const content = readFileSync(pJoin(tasksDir, file), 'utf8')
     const fmMatch = content.match(/^---\n([\s\S]*?)\n---/)
@@ -1274,8 +1314,11 @@ export function validatePlanFeasibility(changeDir, projectRoot = null) {
 
     // 6. acceptance best-effort 字段 grep（D-05 软约束，warning 不阻断）
     // 从 acceptance 文本提取 snake_case/camelCase 标识符，grep allowed_paths 指向的源文件；
-    // 找不到 → warning（给 LLM 审查提线索，不阻断 execute）。宁漏不噪：只取 snake/camel，
-    // 正则天然避开命令（无 _ 或大写）/路径（无 /）/中文；glob allowed_path / 目录 / 不存在文件一律跳过。
+    // 找不到 → warning（给 LLM 审查提线索，不阻断 execute）。宁漏不噪，三道降噪门：
+    // ① 停用词（格式名词/TaskCard 字段名，ACCEPT_IDENT_STOPWORDS）；
+    // ② design.md 已声明的标识符跳过——本次计划新增的字段/函数此刻不在源码里是正常的；
+    // ③ 正则天然避开命令（无 _ 或大写）/路径（无 /）/中文；glob allowed_path / 目录 /
+    //    不存在文件一律跳过，且至少读到一个源文件才比对（防全读不到 → 全标识符误报）。
     if (projectRoot && hasAcceptance && allowedPaths.length > 0) {
       let acceptanceText = ''
       try {
@@ -1301,8 +1344,10 @@ export function validatePlanFeasibility(changeDir, projectRoot = null) {
           // 至少读到一个源文件才比对，避免「全没读到 → 全部标识符误报」噪声
           if (readableFiles.length > 0) {
             for (const ident of idents) {
+              if (ACCEPT_IDENT_STOPWORDS.has(ident)) continue
+              if (designText.includes(ident)) continue // design 已声明 → 本次计划新增，非噪音
               if (!readableFiles.some(c => c.includes(ident))) {
-                warnings.push(`${taskId}: acceptance 提到 ${ident} 但 allowed_paths 源文件未命中`)
+                warnings.push(`${taskId}: acceptance 提到 ${ident} 但 allowed_paths 源文件与 design.md 均未命中`)
               }
             }
           }

package/src/stages/quick.js

@@ -25,7 +25,7 @@ step 3 --done 审计会把 src 核心文件（CLI / 状态机 / 注入框架等
 4. 构建命令（CLI 自 local.yaml 注入，勿再读文件）：
 {LOCAL_COMMANDS}
 5. 若有关联变更，加载每个变更的设计文档：\`cat {SPEC_ROOT}/changes/<c>/design.md 2>/dev/null\`（理解设计意图）
-6. 如有需要，查询知识库：\`cat {SPEC_ROOT}/knowledge/INDEX.md 2>/dev/null\`
+6. 知识库：CLI 已按本会话任务描述（--input）机械匹配知识库——命中时本 prompt 末尾注入「📚 命中知识」段（top-3 文件正文截断），直接阅读即可，勿自行重跑 INDEX 匹配；段未出现（无命中或未带 --input）且确有需要时才查询：\`cat {SPEC_ROOT}/knowledge/INDEX.md 2>/dev/null\`
 
 ### 模块上下文（CLI 按任务描述匹配注入）
 按本会话任务描述从 _module-map.yaml 匹配的模块已注入本 prompt 开头「📦 模块上下文」段（职责/核心文件/风险/最近变更）——**不要再 cat _module-map.yaml 挑卡**；开头无该段 = 无命中模块，需要跨模块全局视野时才读 \`{SPEC_ROOT}/docs/<project>/modules/_module-map.yaml\` 自查。

package/src/stages/verify.js

@@ -160,6 +160,7 @@ export const definition = {
 2. 如果存在：
    - 逐个读取 tasks/task-NN.md，对照 frontmatter 的 \`acceptance:\` 列表逐条核验（TaskCard 协议的验收标准在 frontmatter YAML，正文无 checkbox）
    - 每条 acceptance 对照实际实现/测试结果判定满足与否，未满足的项列为不通过
+   - 覆盖对账走探针 7 矩阵：verify-result.md「探针 7：验收×测试覆盖矩阵」段已由 CLI 预填归属测试文件与关键词提示（骨架未生成时先跑 \`sillyspec verify-probes --change <change-name> --init\`，幂等不覆盖已有正文）；逐行填判定（covered/partial/uncovered/non-testable 四选一）与证据——covered/partial 附测试锚点（\`.test.\` 文件或 file:line），non-testable 写一句理由；判定/证据未填会被 verify \`--done\` 门禁阻断（fail-closed）
 3. 如果不存在：跳过此步骤
 
 ### 输出

package/src/sync-noise.js

@@ -15,10 +15,13 @@
  * - 任意一次同步成功清 marker，且此前在闸内时打一行恢复提示；
  * - SILLYSPEC_DEBUG_SYNC=1 全程不静默。
  *
- * 边界：只覆盖「连接类」失败（HTTP 404/5xx、网络错、超时/abort）。409 冲突与其余
- * 4xx 业务态（平台就绪但状态冲突/鉴权问题）不走闸——那些是每轮都该看见的语义信号，
- * 且已有各自的冲突降噪机制（sync-conflict-banner-spam 一族）。用户显式命令
- * （platform connect 的 health ping）不应被静默——调用方传 noMute 绕过本闸。
+ * 边界：连接类闸只覆盖「连接类」失败（HTTP 404/5xx、网络错、超时/abort）。409 与其余
+ * 4xx 业务态（平台就绪但状态冲突/鉴权问题）不走连接类闸——那些是每轮都该看见的语义信号，
+ * 且已有各自的冲突降噪机制（sync-conflict-banner-spam 一族）。例外：409 code='change_deleted'
+ * 是终态幂等回执（平台侧已删该变更 key，重推永远同回执、永不自愈），走下方按变更名键控的
+ * change_deleted 闸（2026-09-14 用户反馈②）：首报可见 + 跨进程窗口静默 + 推送成功清窗。
+ * 用户显式命令（platform connect 的 health ping / platform sync 手动推送）不应被静默——
+ * 调用方传 noMute 绕过。
  */
 import { readFileSync, writeFileSync, mkdirSync, unlinkSync } from 'fs'
 import { join } from 'path'
@@ -130,13 +133,116 @@ export function syncConnectionWarn(msg) {
 }
 
 /**
- * 判定 HTTP 状态码是否属连接类（可静默）：404（端点未部署/未就绪）与 5xx（服务端故障）。
+ * 判定 HTTP 状态码是否属连接类（可静默）：404（端点未就绪/未部署）与 5xx（服务端故障）。
  * 409 与其余 4xx 不在此列（见模块头注释边界）。
  */
 export function isConnectionClassStatus(status) {
   return status === 404 || (typeof status === 'number' && status >= 500)
 }
 
+// ── 变更级 change_deleted 回执噪音闸（2026-09-14 用户反馈②：--done 的真实报错被
+//    default 墓碑 409 回执刷屏淹没）──
+// 与连接类闸同构但按变更名键控。409 code='change_deleted' 是终态幂等回执：平台侧已删
+// 该变更 key 后，本地同名变更每次自动 push（每步 triggerSync/triggerStepStartSync）都收到
+// 同样的回执——多步流程下逐条重打属零新信息刷屏；且与 base_ts 409 不同，它永远不会自愈
+// （平台侧删除需人工介入）。语义边界（区别于连接类闸的「每轮都该看见」）：
+//   - 首报完整可见（含 ⚠️ 本地仍 active 的可行动信号）；
+//   - 跨进程窗口内同变更的回执静默（窗口过期后照常重报——保活信号，不静默死）；
+//   - 开窗进程内不同回执行照打（诊断完整性，与连接类闸同款）；
+//   - 该变更推送成功（平台侧重建/恢复）→ noteChangeDeletedResolved 清窗；
+//   - 手动 platform sync（opts.manual）与 SILLYSPEC_DEBUG_SYNC=1 旁路。
+const DELETED_MARKER = 'sync-noise-change-deleted.json'
+// 本进程开窗的变更名集合（区分「窗口是本进程开的」与「先前进程留的」，同 _openedByThisProcess）
+let _openedDeletedByThisProcess = new Set()
+// 本进程已见（打印/静默）过的 `${changeName}\u0000${msg}` 集合：同进程内逐字重复只打一次
+const _seenDeletedInProcess = new Set()
+
+function _readDeletedWindows() {
+  const p = _runtimeDir ? join(_runtimeDir, DELETED_MARKER) : null
+  if (!p) return null
+  try {
+    const s = JSON.parse(readFileSync(p, 'utf8'))
+    return s && typeof s === 'object' && !Array.isArray(s) ? s : null
+  } catch { return null }
+}
+
+function _writeDeletedWindows(map) {
+  const p = _runtimeDir ? join(_runtimeDir, DELETED_MARKER) : null
+  if (!p) return
+  try {
+    mkdirSync(_runtimeDir, { recursive: true })
+    const now = Date.now()
+    const pruned = {}
+    for (const [k, v] of Object.entries(map)) if (typeof v === 'number' && v > now) pruned[k] = v
+    if (Object.keys(pruned).length === 0) {
+      try { unlinkSync(p) } catch { /* 无文件/占用：留空 map 文件也等效 */ }
+      return
+    }
+    writeFileSync(p, JSON.stringify(pruned) + '\n', 'utf8')
+  } catch { /* marker 写失败 = 闸门失效退化为直通，仅损失降噪 */ }
+}
+
+function _deletedLineVisible(changeName, msg, noMute) {
+  if (!changeName || noMute || process.env.SILLYSPEC_DEBUG_SYNC) return true
+  const key = changeName + '\u0000' + msg
+  if (_seenDeletedInProcess.has(key)) return false
+  const now = Date.now()
+  const windows = _readDeletedWindows()
+  const until = windows ? windows[changeName] : undefined
+  if (typeof until === 'number' && now < until) {
+    _seenDeletedInProcess.add(key)
+    // 开窗进程内不同回执行可见（诊断完整性），先前进程留的窗口静默
+    return _openedDeletedByThisProcess.has(changeName)
+  }
+  _seenDeletedInProcess.add(key)
+  const next = windows || {}
+  next[changeName] = now + MUTE_WINDOW_MS
+  _writeDeletedWindows(next)
+  _openedDeletedByThisProcess.add(changeName)
+  return true
+}
+
+/**
+ * change_deleted 回执行（info 口吻：本地已注销的墓碑上行 409 属预期回执）。
+ * @returns {boolean} true=已输出
+ */
+export function syncChangeDeletedLog(changeName, msg, { noMute = false } = {}) {
+  if (_deletedLineVisible(changeName, msg, noMute)) {
+    console.log(msg)
+    return true
+  }
+  return false
+}
+
+/**
+ * change_deleted 回执行（warn 口吻：本地仍 active，上行被拒收的可行动信号）。
+ * @returns {boolean} true=已输出
+ */
+export function syncChangeDeletedWarn(changeName, msg, { noMute = false } = {}) {
+  if (_deletedLineVisible(changeName, msg, noMute)) {
+    console.warn(msg)
+    return true
+  }
+  return false
+}
+
+/**
+ * 该变更推送成功（平台侧未删/已重建）：清其回执噪音窗与进程内状态。
+ * 与 noteSyncSuccess 的「任意成功清连接闸」不同——本闸按变更名精清（他变更的窗口不受影响）。
+ */
+export function noteChangeDeletedResolved(changeName) {
+  if (!changeName) return
+  _openedDeletedByThisProcess.delete(changeName)
+  for (const k of _seenDeletedInProcess) {
+    if (k.startsWith(changeName + '\u0000')) _seenDeletedInProcess.delete(k)
+  }
+  const windows = _readDeletedWindows()
+  if (windows && windows[changeName] !== undefined) {
+    delete windows[changeName]
+    _writeDeletedWindows(windows)
+  }
+}
+
 /**
  * 任意一次同步成功：清 marker。此前处于闸内（marker 存在）时打一行恢复提示——
  * 平台恢复的第一个信号应该可见，之后的成功照常静默（成功不打扰）。
@@ -150,9 +256,11 @@ export function noteSyncSuccess() {
   console.log('[sync] 平台连接已恢复（此前静默的同步失败已停止）')
 }
 
-/** 测试复位：清进程内绑定与开窗状态。 */
+/** 测试复位：清进程内绑定与开窗状态（连接类闸 + change_deleted 变更级闸）。 */
 export function _resetSyncNoiseForTest() {
   _runtimeDir = null
   _openedByThisProcess = false
   _seenInProcess.clear()
+  _openedDeletedByThisProcess = new Set()
+  _seenDeletedInProcess.clear()
 }