sillyspec 3.30.0 → 3.32.0

package/src/config-schema.js

@@ -74,6 +74,7 @@ export const LOCAL_YAML_SCHEMA = {
         { path: 'commands.lint_timeout_sec', type: 'number', optional: true, status: 'live', readers: ['runVerifyLintCheck (src/verify-postcheck.js)'], desc: 'commands.lint 超时秒数——优先级 显式调用参 > 本键 > env SILLYSPEC_LINT_TIMEOUT_MS > 缺省 180（快照内 junction I/O 慢，快照路径调用侧显式传 300）。', example: '600' },
         { path: 'commands.smoke', type: 'string', optional: true, status: 'live', readers: ['executeVerifyQualityScan (src/run/verify-quality-scan.js)'], desc: '接口冒烟命令——verify 阶段 CLI 亲跑（脚本自理服务生命周期：后台起服+轮询就绪+finally 杀），300s 超时帽，失败/超时只记失败态不阻断本步、触发 PASS 封顶（D-002）；指纹含此键，未变不重跑。', example: 'node scripts/smoke.mjs' },
         { path: 'commands.install', type: 'string', optional: true, status: 'live', readers: ['extractInstallCommand (src/worktree-deps.js)'], desc: '依赖安装命令（worktree 依赖 provisioning 用）。', example: 'npm install' },
+        { path: 'commands.knowledge-gate', type: 'boolean', optional: true, status: 'live', readers: ['completeStep (src/run/complete.js)'], desc: '【2026-09-28-unclear-req-to-brainstorm FR-03/D-004】brainstorm 方案步（提出 2-3 种方案）--done 知识检索命中回显开关——缺省 true=开（对 --output 与 decisions.md 条目跑既有检索匹配器，命中 warn 回显「须 evidence 回应或说明不复潮」不阻断）；false（或 off）关回显，无命中时输出与现状一致。', example: 'false' },
       ],
     },
     {
@@ -120,6 +121,7 @@ export const LOCAL_YAML_SCHEMA = {
       title: '测试策略',
       note: 'verify 阶段 CLI 对账的收窄策略（D-005@v2：skip 接线兑现 + evidence-auto 新增，full/module 语义不变）。',
       keys: [
+        { path: 'verify.test_rerun', type: 'enum', values: ['incremental', 'full'], optional: true, status: 'live', readers: ['readTestRerunConfig (src/verify-postcheck.js — dynamic-subset 分支增量档)'], desc: '实测门失败后重跑档：incremental（缺省）= 前轮失败后，下轮只跑「失败批测试文件 ∪ 自失败基线以来变更文件」的三源推断面（未触碰绿面复用，返工轮分钟级）；full = 恒全子集重跑（2026-10-07 前现状，保守项目用）。env SILLYSPEC_TEST_RERUN 优先。仅作用 dynamic-subset 档（显式 test_strategy: full 不受影响）。', example: 'verify: { test_rerun: full }' },
         { path: 'test_strategy', type: 'enum', values: ['full', 'module', 'skip', 'evidence-auto'], optional: true, status: 'live', readers: ['extractTestStrategy (src/verify-postcheck.js)', 'resolveTestStrategy (src/verify-postcheck.js)'], desc: '【2026-09-26-dynamic-test-inference 起】full=全量（commands.test 在场生效，否则结构推断）；module=已退役折算动态子集（超集覆盖：变更文件面收窄 + FR 关联回归 + import 依赖）；skip=真跳过（R-07 不变）；evidence-auto=按 module-impact.md 推荐（行为→动态子集、文档/门禁→skip）。缺省=动态子集：三源并集非空实测、空则不硬跑全量（防超时/预存失败面）。', example: 'full' },
       ],
     },
@@ -188,6 +190,15 @@ export const LOCAL_YAML_SCHEMA = {
         { path: 'stage.wall', type: 'enum', values: ['advisory', 'hard'], optional: true, status: 'live', readers: ['readStageWall (src/run/shared.js) + runStage 入口墙 (src/run/stage.js)'], desc: '阶段边界会话墙：advisory（缺省）= 阶段完成时提示可 handoff 换会话，不阻断；hard = 同一会话（SILLYSPEC_SESSION_ID 相同）刚收口前驱阶段后硬续墙后阶段（execute/verify）→ run <stage> 拒启动（exit 1），指引 sillyspec handoff 生成交接块换新会话续跑；--same-session 显式逃生口（应急/平台编排）。墙后阶段 = execute/verify（上下文最贵两段：R15 实测 execute 均轮 263K，断崖拆会话后回落 120-170K）。stage-session ledger 缺失/会话标识不可判定 → 放行（fail-open，与账本 best-effort 一致）。', example: 'hard' },
       ],
     },
+    {
+      id: 'plan',
+      title: '计划阶段派发',
+      note: 'plan 阶段 TaskCard 填充派发策略。默认主 agent 直填（2026-09-20 对撞实验：6 个填卡子代理 6.7M token 纯誊写，独立性价值为零）；task 总数超阈值且跨模块才 batch 派子代理——阈值按项目体系可调（厚流程实证 11 任务 3 子代理 430 万 token 模板化产出后引入）。',
+      keys: [
+        { path: 'plan.fill_batch_min_tasks', type: 'integer', optional: true, status: 'live', readers: ['buildCoordinatorStep (src/stages/plan.js — 协调器 prompt 阈值插值)'], desc: '填卡 batch 派发阈值：task 总数 ≤N（或单仓单模块）→ 主 agent 直填不派子代理；>N 且跨模块/跨仓才按 batch 分派。≥1 整数，缺省 8（内置）；非法值回退 8（fail-safe）。调大 = 更少派子代理省 token；调小 = 大变更更早并行省墙钟。', example: '12' },
+        { path: 'plan.auto_adopt_waves', type: 'boolean', optional: true, status: 'live', readers: ['executePlanPostcheck 自动重排门 (src/stages/plan-postcheck.js — tryAutoAdoptWaves)'], desc: 'Wave 形态错误自动重排：plan postcheck 发现「同 Wave 冲突/伪并行串行链」且无其他类错误时，自动跑 plan-adopt-waves 按 depends_on 拓扑重排并整体复跑校验（预算 1 次防环）。缺省 true；置 false 关闭（报错指路手工跑，2026-10-07 前现状）。方向违规自动修复（既有）不受本键影响。', example: 'true' },
+      ],
+    },
     {
       id: 'auto_mode',
       title: '变更规模自动分类',
@@ -362,6 +373,7 @@ commands:
   # install: npm install   # worktree 依赖安装命令
   # test_timeout_sec: 2400   # commands.test 超时秒数（慢仓提帽；缺省 600，env SILLYSPEC_TEST_TIMEOUT_MS 同效）
   # lint_timeout_sec: 600    # commands.lint 超时秒数（缺省 180）
+  # knowledge-gate: false    # 方案步 --done 知识检索命中回显开关（缺省 true 开；false 关回显）
 
 # ── SillyHub MCP 客户端凭据（派发到 worker 用）──
 # agent 手填，或 sillyspec platform connect 在 mcp 段缺失时同源自动填。
@@ -409,6 +421,8 @@ dispatch:
 # skip=真跳过测试（不回退全量，verify 输出显式标注留审计痕迹）
 # evidence-auto=按变更 module-impact.md 影响面推荐（行为→动态子集、文档→docs-check、门禁→gate）
 # test_strategy: full   # 缺省注释态=动态子集（评审 P3-5 清偿：复制即全量道的自相矛盾陷阱——缺省注释才与上方「缺省=动态子集」一致）；确要全量再解注释
+# verify:
+#   test_rerun: incremental   # 实测门失败后重跑档：incremental（缺省，下轮只跑失败批∪修复面）| full（恒全子集重跑，保守项目用）
 
 # ── 证据门档位（2026-09-27-ui-visual-guidance / 2026-09-27-hunk-attribution-gate；注释态=缺省档位生效）──
 # ui_visual_gate: warn   # UI 视觉证据分级门：warn（缺省，缺 visual-evidence.md 仅警告）| error（缺证据即阻断）| off（探针整体关闭；视觉降级无用户裁决留痕时无论档位恒阻断）
@@ -503,6 +517,13 @@ docs-check:
 # change-ownership:
 #   heartbeat_minutes: 15   # 所有者活跃心跳窗口（分钟）
 
+# ── 计划阶段派发（plan：TaskCard 填充派发策略）──
+# 默认主 agent 直填（对撞实验：6 个填卡子代理 6.7M token 纯誊写，独立性价值为零）；
+# 仅 task 总数超阈值且跨模块/跨仓才按 batch 派子代理（并行省墙钟有真实收益）。
+# plan:
+#   fill_batch_min_tasks: 12             # 填卡 batch 派发阈值（内置 8；调大=更少派子代理省 token，调小=大变更更早并行）
+#   auto_adopt_waves: true               # Wave 形态错误自动拓扑重排（内置 true；false=报错指路手工跑）
+
 # ── 评审仪式档位（ceremony tier：S0~S3 由 CLI 按 blast/span/friction 三轴风险客观定价）──
 # blast 轴输入=项目声明危险面（_module-map.yaml 顶层 blast 段）；完成门声明追赶重定价（无摩擦随声明、有摩擦地板不退）。
 # 项目化定价（每个项目体系不一样，起点与阈值可配——只升不降纪律不开放配置）：

package/src/datetime.js

@@ -18,3 +18,54 @@ export function nowWallClock(d = new Date()) {
   return `${d.getFullYear()}-${p(d.getMonth() + 1)}-${p(d.getDate())} `
     + `${p(d.getHours())}:${p(d.getMinutes())}:${p(d.getSeconds())}`;
 }
+
+/**
+ * 输入 → Date 的私有强转（toWallClock/timeAgo 共用）：Date 实例 / epoch 毫秒数 /
+ * 时间字符串（解析委托 Date 构造器——开放解析面归语言规范，不建格式枚举白名单）。
+ * 无效输入（非三类之一，或解析产物为 NaN 时刻）抛 TypeError，message 含输入的字符串形式。
+ */
+function coerceClock(input, fnName) {
+  const d = input instanceof Date ? input
+    : (typeof input === 'number' || typeof input === 'string') ? new Date(input)
+    : null;
+  if (!d || Number.isNaN(d.getTime())) {
+    throw new TypeError(`${fnName}: 无法解析的时间输入：${String(input)}`);
+  }
+  return d;
+}
+
+/**
+ * 任意时刻输入 → 本地墙钟串（YYYY-MM-DD HH:mm:ss）：Date 实例 / epoch 毫秒数 /
+ * 时间字符串。无效输入抛 TypeError，message 含输入的字符串形式。
+ * @param {Date|number|string} input
+ * @returns {string}
+ */
+export function toWallClock(input) {
+  return nowWallClock(coerceClock(input, 'toWallClock'));
+}
+
+/**
+ * 任意时刻输入 → 人读相对时间串，档位与进度面板（stage-machine._timeAgo）逐字同构：
+ * 差值折算分钟 floor 后 <1（含负差/未来时间）→「刚刚」；<60 →「N 分钟前」；折算小时
+ * 后 <24 →「N 小时前」；否则「N 天前」。人读串硬编码不依赖 locale/ICU（与 nowWallClock
+ * 同理：Node small-icu 构建下 toLocaleString 不可靠）。
+ * @param {Date|number|string} input
+ * @param {Date|number} [now] 可注入「当前时刻」（测试钉档位边界用），缺省当前时间；
+ *   仅接受 Date 实例或 epoch 毫秒，非法值抛 TypeError
+ * @returns {string}
+ */
+export function timeAgo(input, now = new Date()) {
+  const ts = coerceClock(input, 'timeAgo').getTime();
+  const nowTs = now instanceof Date ? now.getTime()
+    : typeof now === 'number' ? now
+    : NaN;
+  if (!Number.isFinite(nowTs)) {
+    throw new TypeError(`timeAgo: 无法解析的当前时刻：${String(now)}`);
+  }
+  const minutes = Math.floor((nowTs - ts) / 60000);
+  if (minutes < 1) return '刚刚';
+  if (minutes < 60) return `${minutes} 分钟前`;
+  const hours = Math.floor(minutes / 60);
+  if (hours < 24) return `${hours} 小时前`;
+  return `${Math.floor(hours / 24)} 天前`;
+}

package/src/db.js

@@ -71,7 +71,10 @@ export class DB {
     // 4. 创建表结构（仅当 schema 版本戳不匹配时——W4-H）：
     //    schema 已最新则跳过建表，省 DDL 开销。node:sqlite 打开即持久化，
     //    _createSchema 内 DDL 直接落盘，无需 _save。
-    //    戳在但 db 缺表属"手动改 db"边角（SillySpec 不支持），不在本层兜底。
+    //    戳只对它伴生的库文件作证：库文件被删而戳残留（孤儿戳）时戳匹配是假信号——
+    //    _openWithFallback 的全新建库分支以 _freshCreate 标记（2026-10-06-status-multi-active-list
+    //    实测：空库无表首个 SELECT 即 no such table 崩溃）。戳在但库有内容的缺表属
+    //    "手动改 db"边角（SillySpec 不支持），仍不在本层兜底。
     const versionPath = `${this.dbPath}.schema-version`;
     let schemaCurrent = false;
     try {
@@ -79,7 +82,7 @@ export class DB {
         && readFileSync(versionPath, 'utf8').trim() === String(DB_SCHEMA_VERSION);
     } catch { /* 戳读取失败保守重跑 schema */ }
 
-    if (!schemaCurrent) {
+    if (!schemaCurrent || this._freshCreate) {
       this._createSchema();
       try { writeFileSync(versionPath, String(DB_SCHEMA_VERSION)); } catch { /* 戳写入失败不阻断，下次重跑 */ }
     }
@@ -183,7 +186,11 @@ export class DB {
 
     // 3. 都不可用
     if (readValid(this.dbPath) === null) {
-      // 主库与备份都不存在 → 全新项目，建空库
+      // 主库与备份都不存在 → 全新项目，建空库。
+      // 全新标记（2026-10-06-status-multi-active-list）：schema 戳只对它伴生的库文件作证——
+      // 库文件被删而戳残留时，init() 步骤4 的戳匹配会让全新空库跳过建表（孤儿戳空库，
+      // 首个 SELECT 即 no such table 崩溃，实测）。全新空库必须无视残留戳重跑 _createSchema。
+      this._freshCreate = true;
       return openDatabase(this.dbPath);
     }
     // 主库曾存在（空/损坏）但无法恢复 → 数据丢失，必须 fail-loud（不静默建空库吞进度）

package/src/decision-distill.js

@@ -195,20 +195,29 @@ export function parseModulePathsSubset(content) {
   let cur = null
   let key = null
   for (const line of content.replace(/\r\n/g, '\n').split('\n')) {
+    // 空行/注释行：保状态（列表块内允许空行与注释穿插）
+    if (line.trim() === '' || line.trim().startsWith('#')) continue
     const mm = line.match(/^  ([a-zA-Z0-9_-]+):$/)
     if (mm) { cur = mm[1]; modules[cur] = { paths: [] }; key = null; continue }
     if (!cur) continue
+    const item = line.match(/^      - (.+)$/)
+    if (item && key) { modules[cur][key].push(item[1].trim().replace(/^['"]|['"]$/g, '')); continue }
     const inline = line.match(/^    (paths|core_files): \[(.*)\]$/)
     if (inline) {
       modules[cur][inline[1]] = inline[2].split(',').map(s => s.trim().replace(/^['"]|['"]$/g, '')).filter(Boolean)
       key = null; continue
     }
-    const block = line.match(/^    (paths|core_files):$/)
+    const block = line.match(/^    (paths|core_files):\s*$/)
     if (block) { key = block[1]; modules[cur][key] = modules[cur][key] || []; continue }
     const doc = line.match(/^    doc: (.+)$/)
     if (doc) { modules[cur].doc = doc[1].trim().replace(/^['"]|['"]$/g, ''); key = null; continue }
-    const item = line.match(/^      - (.+)$/)
-    if (item && key) modules[cur][key].push(item[1].trim().replace(/^['"]|['"]$/g, ''))
+    // 结构守卫（坑 module-map-list-leak，2026-10-06-wallclock-entry 实测发现）：list 收集只在
+    // 「6 缩进项行 / 空行 / 注释」上存活，其余任何行——字段头（字段名开放集不枚举）、顶层段
+    // （span_risk:/blast:）、异缩进项（2 缩进 "- prefixes:"）——终结收集。此前 paths: 块后的
+    // tags/aliases/entrypoints/depends_on 字段项与顶层 blast prefixes 全部漏进 paths（8 项目
+    // map 500 实声明 vs 1375 泄漏项；散文斜杠词 git/DB/JSON 前缀命中 tag 'git' 误路由触达域、
+    // bin 模块双重归属 src/db.js）。
+    key = null
   }
   return modules
 }
@@ -518,17 +527,17 @@ export function distillIntoKnowledge(changeDir, knowledgeRoot, headHash, moduleI
   const waitParts = []
   const distillable = []
   for (const e of selected) {
-    if (e.selected === 'rejected' && (!e.rejectReason || !e.revisitWhen)) {
-      const missing = []
-      if (!e.rejectReason) missing.push('否决理由')
-      if (!e.revisitWhen) missing.push('复潮条件')
-      waitParts.push(`${e.id} 缺${missing.join('、')}`)
-    } else {
-      distillable.push(e)
-    }
+    // 标题必填（2026-09-29-decision-route-vocab：裸号条目检索面不可见——路由词形派生与回显
+    // 排序都吃标题，缺标题=知识入库即隐身）；rejected 缺否决理由/复潮条件 → 不写盘（其余照常）
+    const missing = []
+    if (!e.title) missing.push('标题（## D-xxx@vN 后接短标题——检索词形来源，裸号条目入库即隐身）')
+    if (e.selected === 'rejected' && !e.rejectReason) missing.push('否决理由')
+    if (e.selected === 'rejected' && !e.revisitWhen) missing.push('复潮条件')
+    if (missing.length > 0) waitParts.push(`${e.id} 缺${missing.join('、')}`)
+    else distillable.push(e)
   }
   const needsWait = waitParts.length > 0
-    ? `${waitParts.join('；')}——rejected 条目必填，补齐后重跑提炼`
+    ? `${waitParts.join('；')}——条目必填字段缺失，补齐后重跑提炼`
     : null
   if (distillable.length === 0) return { written: [], skipped: null, needsWait }
 

package/src/design-facts.js

@@ -22,7 +22,7 @@
  *   decision_module_check_skipped（skipped 原因字符串，接线层包 code）。
  */
 import { existsSync, readFileSync, readdirSync } from 'node:fs'
-import { join } from 'node:path'
+import { join, relative } from 'node:path'
 import { parseDecisions } from './decision-distill.js'
 import { parseFileChangeListDetailed } from './change-list.js'
 import { parseDesignCoverageByRepo, parseRepoRegistry } from './stages/plan-postcheck.js'
@@ -295,7 +295,9 @@ export function generateDesignSkeleton({ changeName, decisionsText, author, now
   // P2-e provenance 戳（noai-ir-roadmap §5）：CLI 骨架出品的可审计标记——铁律 8 收窄为
   //「骨架优先，仅手写补文档才手填元数据」的依据（validateMetadata 未来可据此只认 CLI 戳）
   lines.push(`generated_by: sillyspec-design-init`)
-  lines.push('scale: large')
+  // scale 不预填（2026-09-29-brainstorm-exit-thin-default）：此前预填 large 是静默厚默认——
+  // 不主动改就是五阶段；现由 brainstorm Step 8 规模评估按复杂度/上下文轴落值，拿不准默认 small
+  lines.push('scale: ""  # TODO：Step 8 规模评估落值——单上下文可吞吐=small（flow start 收编）；需 Wave 编排/上下文分片/多阶段治理=large（run plan）；拿不准 small')
   lines.push('---')
   lines.push('')
   lines.push(`# 设计文档（Design）— ${change}`)
@@ -339,7 +341,8 @@ export function generateDesignSkeleton({ changeName, decisionsText, author, now
 
   lines.push('## 接口定义')
   lines.push('')
-  lines.push('<!-- TODO（代码类任务必填）：方法签名、数据结构 -->')
+  lines.push('<!-- TODO（代码类任务必填）：方法签名、数据结构。本变更无接口改动时，把下面这行声明粘贴到本节正文（探针矩阵认该声明行，同义式「无接口变更/不涉及接口/零端点」亦可；留在本注释内不生效——2026-10-06-verify-friction-fix）： -->')
+  lines.push('<!-- 本变更接口面：0 端点（无接口变更） -->')
   lines.push('')
 
   lines.push('## 生命周期契约表')
@@ -415,14 +418,47 @@ function stripPathPlaceholders(p) {
  * @param {{ changeDir: string, cwd: string }} opts
  * @returns {{ ok: boolean, errors: Array<{path, message}>, warnings: string[] }}
  */
+/**
+ * 相近既有路径建议（2026-10-07-flow-friction-batch3 task-02）：design 清单幻觉路径的
+ * basename did-you-mean。受控 BFS：跳过 node_modules/.git/dist/build/venv 类重目录与
+ * 隐藏目录，扫描量上限 8000 文件（超限即止——建议是锦上添花不是承诺）；只收 basename
+ * 全等命中，至多 3 条按路径长度升序（最短=最像根级缺前缀的正确答案）。纯读无副作用。
+ * @param {string} root 仓根（或跨仓根）
+ * @param {string} normalized 失效路径（已剥占位符）
+ * @returns {string[]} 仓根相对 posix 路径建议（≤3 条，零命中返回 []）
+ */
+function suggestClosePaths(root, normalized) {
+  const base = normalized.split('/').pop().toLowerCase()
+  if (!base || base.length < 3) return []
+  const SKIP_DIRS = new Set(['node_modules', '.git', 'dist', 'build', '.next', 'out', 'venv', '.venv', '__pycache__', '.runtime', 'coverage', 'target', '.sillyspec'])
+  const hits = []
+  let scanned = 0
+  const queue = [root]
+  while (queue.length > 0 && hits.length < 3 && scanned < 8000) {
+    const dir = queue.shift()
+    let entries
+    try { entries = readdirSync(dir, { withFileTypes: true }) } catch { continue }
+    for (const e of entries) {
+      if (e.name.startsWith('.') || SKIP_DIRS.has(e.name)) continue
+      const abs = join(dir, e.name)
+      if (e.isDirectory()) { queue.push(abs); continue }
+      scanned++
+      if (e.name.toLowerCase() === base) {
+        hits.push(relative(root, abs).split('\\').join('/'))
+        if (hits.length >= 3) break
+      }
+    }
+  }
+  return hits.sort((a, b) => a.length - b.length)
+}
+
 export function validateDesignFileList({ changeDir, cwd } = {}) {
   const errors = []
   const warnings = []
   try {
     if (!changeDir || !cwd) {
       return { ok: true, errors, warnings: ['design 清单核验跳过：缺少 changeDir/cwd'] }
-    }
-    const designPath = join(changeDir, 'design.md')
+    }    const designPath = join(changeDir, 'design.md')
     if (!existsSync(designPath)) {
       return { ok: true, errors, warnings: ['design 清单核验跳过：design.md 不存在'] }
     }
@@ -440,9 +476,13 @@ export function validateDesignFileList({ changeDir, cwd } = {}) {
         const normalized = stripPathPlaceholders(rawPath)
         if (!normalized || normalized === '.') continue
         if (!existsSync(join(root, normalized))) {
+          // 相近路径指路（2026-10-07-flow-friction-batch3 task-02）：幻觉路径多为缺目录前缀
+          // （如漏 backend/）或近似书写——basename did-you-mean 把「三轮试错」压成「一眼改对」；
+          // 无相近命中不附建议段（不加噪）
+          const close = suggestClosePaths(root, normalized)
           errors.push({
             path: rawPath,
-            message: `design_file_ref_invalid：文件变更清单条目「${rawPath}」在${repoLabel}（${root}）下不存在且无 NEW: 前缀（幻觉路径/书写错误）——修正路径，或计划新建的文件改为 NEW:${rawPath} 前缀`,
+            message: `design_file_ref_invalid：文件变更清单条目「${rawPath}」在${repoLabel}（${root}）下不存在且无 NEW: 前缀（幻觉路径/书写错误）——修正路径，或计划新建的文件改为 NEW:${rawPath} 前缀${close.length > 0 ? `；相近既有路径：${close.join('、')}` : ''}`,
           })
         }
       }