sillyspec 3.26.15 → 3.27.2

package/src/change-list.js

@@ -18,6 +18,22 @@ export function normalizePath(raw) {
     .trim()
 }
 
+/**
+ * 组合路径单元格拆分（坑 design-combined-cell-mismatch，2026-08-22 实证："router.py + service.py"
+ * 一行两文件整体当单路径，字面匹配对账不过）。拆分符：+ 、 ／ | ; ；——每 token 独立校验
+ * （looksLikePath 不过的丢弃，防自由文本混入）；无分隔符返回单元素数组（零变化）。
+ * 不含空白要求（"a.py+b.py" 与 "a.py + b.py" 都拆）。
+ * @param {string} cell 路径单元格（normalizePath 后）
+ * @returns {string[]}
+ */
+function splitCombinedPaths(cell) {
+  const raw = String(cell || '').trim()
+  if (!raw) return []
+  const tokens = raw.split(/\s*[+|；;、]\s*|／/).map(t => t.trim()).filter(Boolean)
+  const valid = tokens.filter(t => !isPlaceholder(t) && looksLikePath(t) && !t.startsWith('.sillyspec/'))
+  return valid.length > 0 ? valid : (looksLikePath(raw) ? [raw] : [])
+}
+
 /**
  * glob → 正则：双星（globstar）跨零或多段目录（含零段，bash 语义）、
  * 单星 → 单段（[^/]*）、问号 → 单字符（[^/]），其余转义。
@@ -226,8 +242,12 @@ function _parseFileListDetailed(designMdPath, { keepSillyspecDocs = false } = {}
       // incidental：说明列（非路径列的所有 cell）+ 路径 cell 原始值（剥注释前的括号内容）
       const incidental = cells.some((c, i) => i !== pathColIdx && INCIDENTAL_RE.test(c))
         || INCIDENTAL_RE.test(cells[pathColIdx] || '')
-      if (listMode === 'exclude') { entries.delete(filePath); continue }
-      entries.set(filePath, { path: filePath, operation, incidental })
+      // 组合路径单元格拆分（坑 design-combined-cell-mismatch，2026-08-22 实证：单元格写
+      // "router.py + service.py" 一行两文件——整体当单路径字面匹配对账不过，逼文档写法服务
+      // 校验器）。拆分符：+ / ／ / | / 、 / ; / ；——每个 token 独立过校验入表；单路径零变化。
+      const pathTokens = splitCombinedPaths(filePath)
+      if (listMode === 'exclude') { for (const t of pathTokens) entries.delete(t); continue }
+      for (const t of pathTokens) entries.set(t, { path: t, operation, incidental })
       continue
     }
 

package/src/change-risk-profile.js

@@ -90,19 +90,29 @@ export const VERIFICATION_NEEDS = {
   },
   real_daemon_backend_integration: {
     desc: '真实 daemon↔backend 集成验证（非仅 mock 单测）。写「真实集成/端到端」的证据；',
-    literals: ['端到端', 'integration test', 'e2e test', 'daemon.*backend', '真实集成', 'runtime evidence', '运行时证据'],
+    // 同义扩充（坑 verify-literal-evidence-mismatch，2026-08-22 实证：证据第一轮就齐但表述
+    // 不含字面词被误拦三轮）——覆盖常见自然表述 + PID 登记句式（verify prompt 要求照写）
+    literals: ['端到端', 'integration test', 'e2e test', 'daemon.*backend', '真实集成',
+      'runtime evidence', '运行时证据', '联调', '打通', '实际请求', '真实请求', '跨进程',
+      'PID 已登记', 'verify-services'],
   },
   runtime_log_evidence: {
     desc: 'Runtime Evidence section + 指向真实日志/证据片段。',
-    literals: ['Runtime Evidence', '运行时证据', 'daemon log', '日志片段'],
+    literals: ['Runtime Evidence', '运行时证据', 'daemon log', '日志片段', '日志关键',
+      '日志:', '日志摘录', '日志', 'log 摘录', 'log 片段', '进程日志', 'PID 已登记', 'verify-services'],
   },
   real_startup_once: {
     desc: '真实启动一次本变更触及的部署/启动入口（服务入口、CLI 主入口、守护进程等——须是本变更实际改动的那一类入口，不能拿无关进程的启动来凑数）。',
-    literals: ['启动.*一次', '实际.*启动', 'real startup', 'docker up', 'npm start', 'node server'],
+    // 同义扩充（同坑）：自然表述 + CLI 回执句式；checkIntegrationEvidence 另拼 CLI 回执文本
+    //（verify-services.receipt.json，服务回收器落盘）——结构化信号不依赖 agent 措辞
+    literals: ['启动.*一次', '实际.*启动', 'real startup', 'docker up', 'npm start', 'node server',
+      '真实启动', '拉起', '已启动', '进程启动', '服务启动', '启动验证',
+      'PID 已登记', 'verify-services'],
   },
   terminal_state_assertion: {
     desc: '终态断言（建议项，不阻断）：AgentRun running→completed/failed、session/lease end 状态同步。',
-    literals: ['terminal state', '终态', 'completed failed', 'session end', 'lease end'],
+    literals: ['terminal state', '终态', 'completed failed', 'session end', 'lease end',
+      '生命周期终态', '状态同步'],
   },
 }
 
@@ -202,11 +212,16 @@ export function detectChangeRisk({ designContent = '', planContent = '', changed
 
 /**
  * 检查 verify-result.md 是否包含集成验证证据
+ *
+ * opts.extraEvidenceText（坑 verify-literal-evidence-mismatch，2026-08-22）：调用方可注入
+ * CLI 结构化回执文本（如 verify-services.receipt.json 的服务回收回执）——它随 verifyContent
+ * 一起参与 literals 匹配，agent 真实起过服务且 CLI 回收过（有回执）时不再依赖其自然语言
+ * 措辞恰好含字面词，表述差异不再误拦。
  */
-export function checkIntegrationEvidence(verifyContent, requiredVerification) {
+export function checkIntegrationEvidence(verifyContent, requiredVerification, opts = {}) {
   const errors = []
   const warnings = []
-  const lower = verifyContent.toLowerCase()
+  const lower = (String(verifyContent || '') + '\n' + String(opts.extraEvidenceText || '')).toLowerCase()
 
   // 字面证据正则从 VERIFICATION_NEEDS[k].literals 派生——与报错描述、prompt 事前契约严格同源,
   // 杜绝历史上"描述说 A、正则查 B"的分叉(checkIntegrationEvidence 正则曾比 VERIFICATION_NEEDS

package/src/contract-matrix.js

@@ -10,6 +10,7 @@
 
 import { existsSync, readFileSync, writeFileSync, mkdirSync, readdirSync } from 'fs'
 import { join, resolve, basename, relative } from 'path'
+import { gitQuiet } from './git-helper.js'
 import {
   scanBackendEndpoints,
   scanFrontendApiCalls,
@@ -332,6 +333,43 @@ export function buildContractFieldInjection(changeDir, taskName) {
 
 // ─── Verify 阶段：parity check ──────────────────────────────────────────
 
+/**
+ * 取本变更 diff 文件集（parity 前端调用收窄用，坑 probe5-fullrepo-frontend-noise）。
+ * 优先 worktree meta 锚点 diff（与 verify 同源）；无 meta 退主仓 git diff HEAD。
+ * @returns {string[]|null}
+ */
+function _resolveDiffFilesForParity(scanRoot, changeName) {
+  try {
+    const metaPath = join(scanRoot, '.sillyspec', '.runtime', 'worktrees', changeName, 'meta.json')
+    if (existsSync(metaPath)) {
+      const meta = JSON.parse(readFileSync(metaPath, 'utf8'))
+      const diffBase = meta.baselineCommit || meta.actualBaseHash || meta.baseHash
+      const gitDir = (meta.worktreePath && meta.mode !== 'in-place-fallback' && existsSync(meta.worktreePath))
+        ? meta.worktreePath : scanRoot
+      if (diffBase) {
+        const out = gitQuiet(gitDir, ['diff', '--name-only', `${diffBase}..HEAD`], { timeout: 30000 })
+        if (out !== null) {
+          const files = out.split('\n').filter(Boolean)
+          // 并入 worktree 未提交（子代理默认不 commit 的形态，与 resolveVerifyChangedFiles 同口径）
+          try {
+            const wtStatus = gitQuiet(gitDir, ['status', '--porcelain'], { timeout: 30000, trim: false })
+            for (const line of String(wtStatus || '').split('\n')) {
+              if (!line || line.length < 4) continue
+              const p = line.slice(3).trim().split(' -> ').pop() || ''
+              const clean = p.replace(/^"|"$/g, '')
+              if (clean) files.push(clean)
+            }
+          } catch {}
+          return [...new Set(files)]
+        }
+      }
+    }
+    // 无 meta（brownfield/已 cleanup）：主仓未提交 diff
+    const out = gitQuiet(scanRoot, ['diff', '--name-only', 'HEAD'], { timeout: 30000 })
+    return out !== null ? out.split('\n').filter(Boolean) : null
+  } catch { return null }
+}
+
 /**
  * verify 阶段执行 API parity check
  * @param {string} specBase - .sillyspec 目录
@@ -372,17 +410,63 @@ export function verifyApiParity(specBase, scanRoot, runtimeRoot, changeName = nu
     return { ok: true, missingBackend: [], unusedBackend: [], summary: 'No scan root for parity check', backendCount: allProviderEndpoints.length, frontendCount: 0 }
   }
 
-  const frontendCalls = scanFrontendApiCalls(scanRoot)
-  const { missingBackend, unusedBackend } = diffApiParity(frontendCalls, allProviderEndpoints)
+  // ── 现算端点并入基线（坑 probe5-endpoint-baseline-stale，2026-08-22 实证：endpoints 基线
+  // 是 execute 时落的存量 artifacts，verify 时主仓已被并行会话/部署扰动推进——存量基线与当前
+  // 代码失配 → 前端调用（当前代码）对不上旧端点集 → missingBackend 全量误报。现算当前代码的
+  // 后端端点并入比对集：missingBackend 判定以「当前真实代码 ∪ 存量基线」为准（现算覆盖大部分、
+  // 存量补充跨仓/已删代码）；unusedBackend 只对现算端点算（存量过期端点不再误报 unused）。
+  let liveEndpoints = []
+  try { liveEndpoints = scanBackendEndpoints(scanRoot) } catch { /* 现算失败退回纯存量基线 */ }
+  const liveKeys = new Set(liveEndpoints.map(e => `${e.method} ${e.path}`))
+  const mergedProviderEndpoints = [...allProviderEndpoints]
+  for (const e of liveEndpoints) {
+    const key = `${e.method} ${e.path}`
+    if (!allProviderEndpoints.some(p => `${p.method} ${p.path}` === key)) {
+      mergedProviderEndpoints.push(e)
+    }
+  }
+
+  // ── 前端调用收窄到本变更 diff（坑 probe5-fullrepo-frontend-noise，2026-08-23 实证：
+  // 「全仓前端调用 × 本变更局部登记」口径下，未受本变更影响的存量调用对不上局部端点集
+  // → 143 个 missing 全是误报噪音）。比对口径 = 本变更 diff 文件内的调用 ∪ 全仓（仅当
+  // 端点登记源也是全仓时——无 changeName 的 CLI contractScan 场景）。diff 不可得时退回
+  // 全仓（不静默跳过对账）。
+  let frontendCalls = []
+  let frontendScope = 'full-repo'
+  if (changeName) {
+    try {
+      const changed = _resolveDiffFilesForParity(scanRoot, changeName)
+      if (changed && changed.length > 0) {
+        const changedSet = new Set(changed.map(f => f.replace(/\\/g, '/')))
+        frontendCalls = scanFrontendApiCalls(scanRoot).filter(c => {
+          const src = String(c.source || '').replace(/\\/g, '/')
+          return changedSet.has(src) || [...changedSet].some(cf => src.endsWith(cf) || cf.endsWith(src))
+        })
+        frontendScope = `change-diff (${changed.length} files)`
+      } else {
+        frontendCalls = scanFrontendApiCalls(scanRoot)
+      }
+    } catch { frontendCalls = scanFrontendApiCalls(scanRoot) }
+  } else {
+    frontendCalls = scanFrontendApiCalls(scanRoot)
+  }
+
+  const { missingBackend, unusedBackend } = diffApiParity(frontendCalls, mergedProviderEndpoints)
+  // unusedBackend 收窄到现算端点（存量 artifact 的过期端点不参与——它不在当前代码里，
+  // 「前端未调用」可能是端点已被重构掉而非真泄漏）
+  const narrowedUnused = unusedBackend.filter(u => {
+    const key = `${u.method} ${u.path}`
+    return liveKeys.has(key) || liveEndpoints.length === 0
+  })
 
   const ok = missingBackend.length === 0
   let summary = ok
-    ? `✅ API parity check passed: ${allProviderEndpoints.length} backend endpoints, ${frontendCalls.length} frontend calls`
-    : `❌ API parity check failed: ${missingBackend.length} frontend calls have no matching backend endpoint`
+    ? `✅ API parity check passed: ${mergedProviderEndpoints.length} backend endpoints (live ${liveEndpoints.length} + artifact ${allProviderEndpoints.length}), ${frontendCalls.length} frontend calls [scope: ${frontendScope}]`
+    : `❌ API parity check failed: ${missingBackend.length} frontend calls have no matching backend endpoint [scope: ${frontendScope}]`
 
-  if (unusedBackend.length > 0) {
-    summary += ` | ${unusedBackend.length} backend endpoints unused by frontend`
+  if (narrowedUnused.length > 0) {
+    summary += ` | ${narrowedUnused.length} backend endpoints unused by frontend`
   }
 
-  return { ok, missingBackend, unusedBackend, summary, backendCount: allProviderEndpoints.length, frontendCount: frontendCalls.length }
+  return { ok, missingBackend, unusedBackend: narrowedUnused, summary, backendCount: mergedProviderEndpoints.length, frontendCount: frontendCalls.length }
 }

package/src/db.js

@@ -105,13 +105,19 @@ export class DB {
       if (!existsSync(p)) return null;
       return statSync(p).size === 0 ? 'empty' : 'ok';
     };
-    // tryOpen: openDatabase(path) + prepare 探测双保险（防打开成功但内容非 SQLite）
+    // tryOpen: openDatabase(path) + prepare 探测双保险（防打开成功但内容非 SQLite）。
+    // 探测前先设 busy_timeout（2026-08-21 审查 BUG-7）：init() 的 applyPragmas 在 _openWithFallback
+    // 之后才跑，探测 SELECT 此前以 busy_timeout=0（SQLite 默认）执行——他者进程 CHECKPOINT 改写
+    // 主库时探测立即 SQLITE_BUSY，3 次重试总窗口仅 350ms，大 WAL 下 checkpoint 秒级 → 健康库
+    // 被误判"损坏"硬抛错。先设 busy_timeout 让探测自身等待锁，重试只剩消化瞬时抖动。
     const tryOpen = (p) => {
       let db;
       try { db = openDatabase(p); }
       catch { return null; }
-      try { db.prepare('SELECT count(*) FROM sqlite_master').get(); return db; }
-      catch { try { db.close(); } catch { /* 关闭失败忽略 */ } return null; }
+      try {
+        db.exec('PRAGMA busy_timeout = 5000');
+        db.prepare('SELECT count(*) FROM sqlite_master').get(); return db;
+      } catch { try { db.close(); } catch { /* 关闭失败忽略 */ } return null; }
     };
 
     // 1. 主库（0 字节=截断信号，必须走回退，故门禁要求 'ok' 有内容）
@@ -144,6 +150,11 @@ export class DB {
             : 'sillyspec.db 损坏';
         console.warn(`⚠️  ${reason}，已从 .bak 备份恢复。`);
         bakDb.close();
+        // 覆盖前救援快照（2026-08-21 审查 BUG-7）：主库有内容但打不开（"损坏"）时，其中可能
+        // 含比 .bak 更新的数据——静默覆盖即静默丢。best-effort 留一份 .corrupt-<ts> 副本供人工恢复。
+        if (primaryRaw === 'ok') {
+          try { copyFileSync(this.dbPath, `${this.dbPath}.corrupt-${Date.now()}`); } catch { /* 救援失败不阻断恢复 */ }
+        }
         // node:sqlite 绑定路径，无 _save：把 .bak 内容 copy 回主库，统一用 dbPath。
         // 体检 BUG-18：主库可能正被其他进程（daemon/另一 CLI）打开——Windows 覆盖他人
         // 打开的文件抛 EPERM/EBUSY，短暂退避重试（持有者通常是瞬时句柄），仍失败 fail-loud