sillyspec 3.32.1 → 3.32.2

package/src/knowledge-match.js

@@ -62,7 +62,7 @@ function isDecisionRoute(entry) {
 }
 
 const DECISION_HEADER_RE = /^##\s+(D-\d+@v\d+)\s*(.*)$/
-const DECISION_FIELD_RE = /^(状态|文件|理由|否决理由|复潮条件)\s*[：:]\s*(.*)$/
+const DECISION_FIELD_RE = /^(状态|文件|理由|否决理由|复潮条件|supersedes)\s*[：:]\s*(.*)$/
 // 「锚点：」单独标签精确匹配读入（仿 docs-check.js parseDecisionEntries 先例）——绝不并入
 // DECISION_FIELD_RE：其 else-if 链末尾的 reason 回填（else if (!cur.reason)）会把锚点值
 // 误吞进 reason（Grill X-002 隐性回归）。
@@ -87,15 +87,19 @@ const ANCHOR_FILE_TOKEN_RE = /[\w./-]+\.(?:mjs|cjs|jsx|tsx|js|ts|py|go|java|rs)/
  * 锚点值 → 代码文件路径集（条目无「文件：」字段时的兜底命中源）。
  * 真实先例：D-905 形态「锚点：src/quicklog.js:493」→ 提取 src/quicklog.js
  * （token 字符类不含 : 故止于行号前，再防御性剥 :line/:line-line/:符号 后缀）。
- * 「未记录」/无路径形态 token → []。
+ * 「未记录」/无路径形态 token → []。导出供 knowledge-graph.js 采集 anchors 边复用。
  */
-function anchorFilePaths(anchor) {
+export function anchorFilePaths(anchor) {
   const a = String(anchor || '').trim().replace(/\\/g, '/')
   if (!a || a === '未记录') return []
   const out = new Set()
   for (const token of a.match(ANCHOR_FILE_TOKEN_RE) || []) {
-    const p = token.replace(/:(?:\d+(?:-\d+)?|[A-Za-z_$][A-Za-z0-9_$]*)$/, '')
-    if (p) out.add(p)
+    // 前导斜杠剥除（2026-10-09-graph-docrefs-noise）：repo:// URL 被正则吃成 //sillyhub/... 碎片，
+    // 剥后 sillyhub/ 顶级由图侧按跨仓口径处理；纯数字/裸扩展段丢弃（解析噪声）
+    const p = token
+      .replace(/:(?:\d+(?:-\d+)?|[A-Za-z_$][A-Za-z0-9_$]*)$/, '')
+      .replace(/^\/+/, '')
+    if (p && !/^\d+$/.test(p)) out.add(p)
   }
   return [...out]
 }
@@ -129,7 +133,7 @@ function parseDecisionFile(filePath, file) {
     const h = line.match(DECISION_HEADER_RE)
     if (h) {
       flush()
-      cur = { file, id: h[1], title: h[2].trim(), status: '', reason: '', revisitWhen: '', files: [], anchor: '', change: '' }
+      cur = { file, id: h[1], title: h[2].trim(), status: '', reason: '', revisitWhen: '', files: [], anchor: '', change: '', supersedesText: '' }
       continue
     }
     if (!cur) continue
@@ -145,6 +149,7 @@ function parseDecisionFile(filePath, file) {
     const value = f[2].trim()
     if (f[1] === '状态') cur.status = value.toLowerCase()
     else if (f[1] === '文件') cur.files = splitDecisionFiles(value)
+    else if (f[1] === 'supersedes') cur.supersedesText = value
     else if (f[1] === '否决理由') cur.reason = value
     else if (f[1] === '复潮条件') cur.revisitWhen = value
     else if (!cur.reason) cur.reason = value // 理由：仅作 implemented（或否决理由缺失）时的回填

package/src/knowledge-vector.js

@@ -1,8 +1,9 @@
 /**
  * knowledge-vector.js — 平台向量召回层（CLI 侧，2026-09-29-knowledge-vector-recall）
  *
- * 检索三层：路由 tag 命中 →（零命中）平台向量召回（本模块，已连接平台时）→ 本地词片
- * 复现窗口（knowledge-match.js fallbackByQueryShingles）→ 空。
+ * 检索四层（2026-10-08-knowledge-graph 起）：路由 tag 命中 →（零命中）平台向量召回（本模块，
+ * 已连接平台时）→ scope 遍历召回（knowledge-graph.js，scopeFiles 在场时）→ 本地词片复现窗口
+ * （knowledge-match.js fallbackByQueryShingles）→ 空。
  *
  * 原则（用户裁决 2026-09-29）：平台只做语义召回——返回「哪个文件哪个条目」的候选
  * （spec_path＋anchor＋score）；条目 status/deathPath/回显资格等全部策略面在本地解析
@@ -143,8 +144,11 @@ function buildResultFromPlatform(indexDir, pvResults) {
 
 /**
  * 异步三层检索入口（四消费方使用：flow 注入段／complete 门／prompt {DECISION_HITS}／
- * knowledge search CLI）：路由 → 平台向量（已连接且开关开）→ 本地词片 → 空。
+ * knowledge search CLI）：路由 → 平台向量（已连接且开关开）→ scope 遍历 → 本地词片 → 空。
  * opts.cwd = 仓根（平台配置与 local.yaml 定位用）；缺省由 indexDir 上推两级。
+ * opts.scopeFiles（2026-10-08-knowledge-graph，FR-04 承接 FR-cli-entry-234）：变更触碰文件集
+ * ——机器算的图查询键（D-004：flow 注入段传 touched、complete 门传 decisions.md 锚点提取）。
+ * 缺省/空数组 → 遍历层整体跳过，行为与不携带该参数的旧行为逐字段一致（回归钉死）。
  */
 export async function matchKnowledgeHybrid(indexDir, taskContext, opts = {}) {
   const r = matchByRouting(indexDir, taskContext)
@@ -155,6 +159,16 @@ export async function matchKnowledgeHybrid(indexDir, taskContext, opts = {}) {
     const built = pv ? buildResultFromPlatform(indexDir, pv.results) : null
     if (built) return built
   }
+  // scope 遍历层（第三层）：只在 scope 非空且向量零命中后接管；fail-soft（图构建异常静默降级词片）
+  const scopeFiles = Array.isArray(opts.scopeFiles) ? opts.scopeFiles.filter(Boolean) : []
+  if (scopeFiles.length > 0) {
+    try {
+      const { buildKnowledgeGraph, scopeRecall, buildScopeRecallResult } = await import('./knowledge-graph.js')
+      const specRoot = String(indexDir).replace(/[\\/]knowledge[\\/]?$/, '')
+      const built = buildScopeRecallResult(scopeRecall(buildKnowledgeGraph(specRoot), scopeFiles))
+      if (built) return built
+    } catch { /* 图构建 fail-soft——降级词片层 */ }
+  }
   const fb = fallbackByQueryShingles(indexDir, taskContext)
   return fb || r
 }

package/src/run/complete.js

@@ -479,10 +479,23 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
         _kgQuery = _kgQuery.slice(0, 4000)
         if (_kgQuery.trim()) {
           const { matchKnowledgeHybrid } = await import('../knowledge-vector.js')
-          const km = await matchKnowledgeHybrid(join(specBase, 'knowledge'), _kgQuery, { cwd })
+          const { scopeFromDecisionsMd } = await import('../knowledge-graph.js')
+          // scope 键=机器算（D-004 需求期入口）：decisions.md「锚点：」字段路径提取——方案步的
+          // 结构化声明面，不解析自由文本。词面零命中时沿强边保底防复潮（FR-04）。
+          const km = await matchKnowledgeHybrid(join(specBase, 'knowledge'), _kgQuery, { cwd, scopeFiles: scopeFromDecisionsMd(_dm) })
           // 零分不弹（2026-09-28-knowledge-gate-denoise）：score 零且非死路的 rejected 与查询零主题
           // 重叠——空标题条目靠状态蹭进回显是行为实测三例的噪音源；死路条目不受限（防复潮先验）。
           const _hits = (km.decisionHits || []).filter((h) => h.deathPath || (h.status === 'rejected' && h.score > 0))
+          // impact 防复潮可达集（2026-10-09-brainstorm-impact-antirevival）：锚点+模块域双结构键
+          // → graphImpact 闭包内 rejected/死路保底进场——方案步锚点常空（confirmed 才必填），
+          // 模块域是生成规范文件步硬校验的在场键；viaImpact 条目绕过 score 门槛（结构可达即
+          // 防复潮先验，与死路同待遇）。图构建 fail-soft（失败不阻断门）。
+          try {
+            const { buildKnowledgeGraph, impactFromDecisionsMd } = await import('../knowledge-graph.js')
+            const _viaImpact = impactFromDecisionsMd(buildKnowledgeGraph(specBase), _dm)
+              .filter((h) => !_hits.some((x) => x.file === h.file && x.id === h.id && (x.change || '') === (h.change || '')))
+            _hits.push(..._viaImpact)
+          } catch { /* 图构建/键解析 fail-soft——词面命中面不受影响 */ }
           // 已回应不重弹：decisions.md 正文已含「命中 id＋域文件名」共现（小白鼠回应形态
           // 「unmapped.md D-001@v1」）→ 视为已甄别过，静默；同轮查询串仍含其词面属预期。
           const _answered = _dm
@@ -500,7 +513,8 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
               const _note = h.status === 'rejected'
                 ? ` 否决理由：${h.reason || '（未记录）'}`
                 : h.deathPath ? ` ⚰️死路注记：${deathPathNote(h.reason)}` : ''
-              console.warn(`   - ${h.id} ${h.title}（${h.file}）status=${h.status || '?'}${_note}`)
+              const _via = h.viaImpact ? ` 🧭impact 可达（键：${h.impactKey}）` : ''
+              console.warn(`   - ${h.id} ${h.title}（${h.file}）status=${h.status || '?'}${_note}${_via}`)
             }
             for (const e of _entries.slice(0, 3)) {
               const _base = e.anchor ? `${e.file}#${e.anchor}` : e.file

package/src/sentinel-assertions.js

@@ -25,6 +25,24 @@ function taskTokenRe(id) {
   return new RegExp(`${id}(?!\\d)`);
 }
 
+/**
+ * 提交消息连写 token 组展开（坑 flow-done-sentinel-token-split，2026-10-08 实证）：
+ * `task-01/02/03`、`task-1、2，03` 等自然语言连写组只含首个完整 token——字面匹配判
+ * 其余为零完成证据误拒收。展开为独立规范 token（补零到两位，与判集行锚同形）后再判；
+ * 尾数不跟数字（防 task-013 版本串误切）。纯函数，供哨兵判定与 autopilot 勾选提取共用。
+ */
+export function expandTaskShorthand(messages) {
+  return (Array.isArray(messages) ? messages : []).map((msg) =>
+    String(msg ?? '').replace(
+      /task-(\d{1,2})((?:\s*[\/、，,；;]\s*\d{1,2}(?!\d))+)/gi,
+      (full, first, rest) =>
+        ' ' + [first, ...(rest.match(/\d{1,2}/g) || [])]
+          .map((n) => `task-${String(Number(n)).padStart(2, '0')}`)
+          .join(' ') + ' '
+    )
+  );
+}
+
 /**
  * review.json 在场证据清单（execute-runs 两级遍历；异常/缺失 → []，commit 证据照判）。
  */
@@ -84,11 +102,13 @@ export function detectFakeCheckCompletion({ changeDir, tasksMd, commits, opts =
     return { status: 'none', claimTotal, checked, missing: [] };
   }
   const reviews = listReviewEvidence(changeDir, opts);
+  // 连写组先展开（坑 flow-done-sentinel-token-split）：task-01/02/03 → 独立 token 再字面判
+  const expanded = expandTaskShorthand(messages);
   const missing = entries
     .filter((e) => {
       if (!e.checked) return false;
       const re = taskTokenRe(e.id);
-      const byCommit = messages.some((msg) => re.test(msg));
+      const byCommit = expanded.some((msg) => re.test(msg));
       const byReview = reviews.some((p) => p.includes(`/tasks/${e.id}/`));
       return !(byCommit || byReview);
     })
@@ -109,7 +129,12 @@ export function detectFakeCheckCompletion({ changeDir, tasksMd, commits, opts =
 export function detectBatchCheckCadence(events) {
   const taskEvents = [];
   for (const e of events || []) {
-    if (e && e.kind === 'task-done') taskEvents.push(e);
+    if (!e || e.kind !== 'task-done') continue;
+    // 节奏域过滤（2026-10-08-batch-tick-false-positive）：只认任务队列面（stage='tasks'，缺省
+    // 视同 tasks 兼容 legacy 流）。其他阶段的 task-done（如 design.md 自审预勾的首现计数）不是
+    // tick 信号——混入会把逐格勾选误判成单拍大跳（实证：design 0→8 拒收六次独立 tick）。
+    if (e.stage != null && e.stage !== 'tasks') continue;
+    taskEvents.push(e);
   }
   const parse = (e) => {
     const m = /^checked (\d+)→(\d+)$/.exec(String(e.detail || ''));

package/src/stages/explore.js

@@ -15,7 +15,11 @@ export const definition = {
    - \`.sillyspec/docs/<project>/scan/ARCHITECTURE.md\`
    - \`.sillyspec/docs/<project>/scan/CONVENTIONS.md\`
    - \`.sillyspec/changes/<change-name>/design.md\`
-3. 可以用 \`rg\` / \`ls\` / \`cat\` 调查已有结构和集成点
+3. 调查兵器按话题选（话题→兵器映射，全只读）：
+   - 词面考古（"这段代码在哪/怎么写的"）→ \`rg\` / \`ls\` / \`cat\`
+   - 坑史检索（"这话题以前踩过什么坑"）→ \`sillyspec knowledge search --query "<关键词>"\`（四层召回）
+   - 关系面（影响面/历史决策/需求谱系）→ \`sillyspec knowledge graph impact <文件|模块|变更名>\` 多跳闭包与防复潮可达的已否决决策、\`neighbors <锚点>\` / \`path <A> <B>\` 推理链、\`summary\` 知识面健康度——比较方案前先看 impact 的 rejected/⚰️死路条目，已否决的路不重新兜售；全部支持 \`--json\`
+   - 在途面（出方向建议前）→ \`sillyspec status\` 活跃变更一览——结论别跟在途工作撞车
 4. 输出 2-3 个有价值方向、关键风险和下一步建议
 5. 如果用户要求保存结论，先明确保存位置，再写入对应文档
 6. 讨论 UI/交互方案且用户明确要求原型时，按下方「HTML 原型生成」执行

package/src/stages/knowledge.js

@@ -609,6 +609,16 @@ export async function cmdKnowledge(args, dir, opts = {}) {
       return cmdRefresh(dir, args.slice(1), opts)
     case 'propose':
       return cmdPropose(dir, args.slice(1), opts)
+    case 'graph': {
+      // 知识图谱查询面（2026-10-08-knowledge-graph）：neighbors/path/impact/orphans/dangling，
+      // --edges 边型筛选；全 JSON 出口（与 search/validate 同族）。
+      const mod = await tryImportSubcommandImpl('../knowledge-graph.js', 'knowledge-graph.js')
+      if (!mod || typeof mod.cmdKnowledgeGraph !== 'function') {
+        output(false, {}, { code: 'not_implemented', subcommand: 'graph' })
+        return
+      }
+      return mod.cmdKnowledgeGraph(dir, args.slice(1), opts)
+    }
     case 'classify': {
       const mod = await tryImportSubcommandImpl('../knowledge-classify.js', 'knowledge-classify.js')
       if (!mod || typeof mod.cmdKnowledgeClassify !== 'function') {
@@ -665,7 +675,7 @@ export async function cmdKnowledge(args, dir, opts = {}) {
       output(false, {}, {
         code: 'unknown_subcommand',
         subcommand: subCommand,
-        available: ['search', 'inspect', 'validate', 'refresh', 'propose', 'classify', 'inbox', 'stats', 'digest'],
+        available: ['search', 'inspect', 'validate', 'refresh', 'propose', 'classify', 'inbox', 'stats', 'digest', 'graph'],  // dump 随 graph 路由面（2026-10-09-graph-dump-layout）
       })
   }
 }

package/src/watcher.js

@@ -339,8 +339,12 @@ export function inferEvents(prev, next) {
     const p = prev.files[key];
     const n = next.files[key];
     if (!p && n) {
-      events.push(mk('file', n.stage, `${key} 出现`));
-      if (n.checked > 0) events.push(mk('task-done', n.stage, `checked 0→${n.checked}`));
+      events.push(mk('file', n.stage, `${key} 出现`))
+      // 勾选节奏域=任务队列文件（tasks.md / tasks/*.md，stage='tasks'）。其余阶段文件首现的
+      // 勾选计数不是 tick 信号：design.md 自审清单天然预勾（整体写盘的已完成断言）——发了就是
+      // 幻影单拍跳（2026-10-08-batch-tick-false-positive 实证：design 首现 0→8 被节奏门误拒
+      // 六次独立 tick）；tasks.md 首现带已勾仍发（保住「整卡预勾创建」的真实捕捉面）。
+      if (n.checked > 0 && n.stage === 'tasks') events.push(mk('task-done', n.stage, `checked 0→${n.checked}`))
     } else if (p && n && p.hash !== n.hash) {
       events.push(mk('file-update', n.stage, `${key} 内容变更`));
     }