sillyspec 3.28.7 → 3.28.9

package/src/hooks/worktree-guard.js

@@ -11,7 +11,7 @@
 
 import { existsSync, readFileSync, readdirSync } from 'fs'
 import path from 'path'
-import { execFileSync } from 'child_process'
+import { createRequire } from 'node:module'
 
 // ── 常量 ──
 
@@ -29,8 +29,9 @@ const READONLY_COMMANDS = new Set([
   'node', 'npm', 'npx', // 只允许 --version 等只读子命令，在 matchReadonlyWhitelist 中处理
 ])
 
-/** 只读 git 子命令（stash 不在此列：drop/clear/pop 破坏性，仅下方 matchReadonly 细化放行 list/裸查询） */
-const READONLY_GIT_SUBS = new Set(['diff', 'status', 'log', 'show', 'branch'])
+/** 只读 git 子命令（stash/branch/worktree 不在此列：branch 的 -d/-D/-m/-M 破坏性、worktree
+ *  的 remove --force 可删未提交工作区——各自在下方按参数细化放行） */
+const READONLY_GIT_SUBS = new Set(['diff', 'status', 'log', 'show'])
 
 /** 危险 git 子命令 */
 const DANGER_GIT_SUBS = new Set([
@@ -38,6 +39,14 @@ const DANGER_GIT_SUBS = new Set([
   'mv', 'rm',
 ])
 
+/** git branch 的破坏性 flag（-d/-D 删分支、-m/-M 改名、-f 强建重指；含长形同义）——
+ *  删/改分支会让 task review 的 base/head ref 引用悬空（gc 后真丢），2026-09-11 审查 P1 收口 */
+const BRANCH_DESTRUCTIVE_RE = /^(?:-[dDmMf]|--delete|--force|--move|--edit-description)(?:=|$)/
+
+function hasDestructiveBranchFlag(parts) {
+  return parts.slice(2).some(tok => BRANCH_DESTRUCTIVE_RE.test(tok))
+}
+
 /** 危险 git stash 操作 */
 const DANGER_STASH_ACTIONS = new Set(['drop', 'clear', 'pop'])
 
@@ -194,6 +203,14 @@ function shouldBlockScanDocOverwrite(filePath, projectRoot) {
   const guard = readScanGuard(scanDocInfo, projectRoot)
   if (!guard || guard.forceRescan) return { blocked: false }
 
+  // 增量刷新会话态前置分支（2026-09-14-scan-incremental-refresh D-007@v1）：refresh ①拍写入
+  // mode='scan-refresh' + refreshDocs 白名单——白名单内=本次刷新工单面，agent 手术编辑放行；
+  // 白名单外的 scan 文档继续走原保护（非本次刷新面不放松）。存量 guard（无 mode 字段）不受影响。
+  if (guard.mode === 'scan-refresh' && Array.isArray(guard.refreshDocs)) {
+    const refreshRel = toPosixPath(path.relative(scanDocInfo.specRoot, filePath))
+    if (guard.refreshDocs.includes(refreshRel)) return { blocked: false }
+  }
+
   let frontmatter = {}
   try {
     frontmatter = parseFrontmatter(readFileSync(filePath, 'utf8'))
@@ -202,7 +219,11 @@ function shouldBlockScanDocOverwrite(filePath, projectRoot) {
   }
 
   const relPath = toPosixPath(path.relative(projectRoot, filePath))
-  if (frontmatter.source_commit && guard.sourceCommit && frontmatter.source_commit !== guard.sourceCommit) {
+  // 归一化比对（D-007@v1 顺带修复）：guard 写入方用 40 位全哈希（run/stage.js rev-parse HEAD）、
+  // frontmatter 盖章用 7 位短哈希（scan-postcheck.js --short）——旧精确比对恒不等，guard 存在
+  // 即恒拦。两侧截 7 位后恢复「同基线放行 / 异基线拦截」设计本意。
+  if (frontmatter.source_commit && guard.sourceCommit
+    && String(frontmatter.source_commit).slice(0, 7) !== String(guard.sourceCommit).slice(0, 7)) {
     return {
       blocked: true,
       reason: [
@@ -235,9 +256,9 @@ function isInsideWorktreeStorage(filePath, cwd) {
 /**
  * 同步只读查询 sillyspec.db 第一行第一列（不依赖外部 sqlite3 CLI）。
  *
- * 用子进程跑 node:sqlite 的 DatabaseSync（execFileSync 等待）：
- * - node:sqlite 是 Node 内置模块，子进程 require('node:sqlite') 直接可用，无需先 resolve 出
- *   绝对路径再注入（旧方案需手动解析原生绑定路径，node:sqlite 无此步骤）。
+ * 进程内 createRequire 同步加载 node:sqlite 的 DatabaseSync（2026-09-11 审查性能包②：旧实现
+ * 每次查询 spawn 一个 node 子进程，Windows 100-300ms/次，hook 每次 Write/Edit/Bash 触发 1-2 次；
+ * hook 自身就是同一 node 二进制，子进程无隔离收益只有延迟）：
  * - readOnly 打开只读连接（替代旧方案 readonly/fileMustExist 语义）：绝不写库；WAL 并发读不阻塞主进程写，
  *   且只读连接可看到已 commit 但未 checkpoint 的过渡态（修复旧 WASM 内存库裸读 .db
  *   看不见 WAL 的过渡态可见性窗口）。db 缺失/损坏由 open 异常自然触发 fail-closed（外层 catch）。
@@ -245,7 +266,7 @@ function isInsideWorktreeStorage(filePath, cwd) {
  * 环境假设（R-09）：WAL 模式下只读连接仍需在 .runtime/ 目录建/更新 -shm 索引文件，故 .runtime
  * 必须可写（与主进程一致）——“只读”指不改 DB 数据，不等于不对 -shm 加索引。
  *
- * fail-closed：db 文件不存在 / 子进程打开、查询异常 / 子进程超时或崩溃——一律 console.warn
+ * fail-closed：db 文件不存在 / 打开、查询异常 / node:sqlite 不可用——一律 console.warn
  * （含 e.stderr 详情）并返回 null，调用方（readCurrentStage/isNoWorktreeMode）对 null 走
  * fail-closed，禁止 fail-open。
  */
@@ -257,26 +278,26 @@ function queryDbFirstCell(cwd, sql) {
     console.warn('⚠️ sillyspec.db 不存在，hook 降级 fail-closed: ' + dbPath)
     return null
   }
-  // 子进程同步内置 require('node:sqlite')（DatabaseSync 是同步 API，无 async/import().then 包装）。
-  // prepare(sql).get() 取第一行整行后取首列值，无行返回 undefined（写空 stdout → 父侧 trim 后 null）。
-  const script =
-    "const {DatabaseSync}=require('node:sqlite')," +
-    "dbPath=" + JSON.stringify(dbPath) + ",sql=" + JSON.stringify(sql) + ";" +
-    "let db;" +
-    "try{db=new DatabaseSync(dbPath,{readOnly:true});" +
-    "const row=db.prepare(sql).get();" +
-    "const v=row===undefined?undefined:Object.values(row)[0];" +
-    "if(v!==undefined)process.stdout.write(String(v??''));db.close()}" +
-    "catch(e){process.stderr.write('hook db query failed: '+String(e&&e.message||e));process.exit(1)};"
+  // 进程内同步 require node:sqlite（DatabaseSync 同步 API；2026-09-11 审查性能包②：旧实现每次
+  // hook 触发 spawn 一个 node 子进程查库，Windows 100-300ms/次×每 Write/Edit/Bash 1-2 次——
+  // hook 自身就是同一 node 二进制，子进程无隔离收益只有延迟）。异常路径与旧子进程版同语义：
+  // 捕获后 warn + 返回 null，调用方（readCurrentStage 等）对 null 走 fail-closed。
   try {
-    return execFileSync(process.execPath, ['-e', script], {
-      encoding: 'utf8', timeout: 5000, stdio: ['ignore', 'pipe', 'pipe'],
-    }).trim() || null
+    const req = createRequire(import.meta.url)
+    const { DatabaseSync } = req('node:sqlite')
+    let db
+    try {
+      db = new DatabaseSync(dbPath, { readOnly: true })
+      const row = db.prepare(sql).get()
+      const v = row === undefined ? undefined : Object.values(row)[0]
+      return v === undefined ? null : (String(v ?? '') || null)
+    } finally {
+      if (db) db.close()
+    }
   } catch (e) {
-    // DB 查询失败（db 损坏 / readOnly 打开失败 / 子进程超时或崩溃）：降级返回 null，调用方
-    //（readCurrentStage 等）对 null 走 fail-closed。补 warn 让 doctor/agent 能看到根因，
-    // 而非完全静默（子进程把诊断写到了 stderr，execFileSync 抛错时挂在 e.stderr 上）。
-    const detail = (e && e.stderr ? String(e.stderr).trim() : '') || (e && e.message) || 'timeout/crash'
+    // DB 查询失败（db 损坏 / readOnly 打开失败 / node:sqlite 不可用）：降级返回 null，调用方
+    //（readCurrentStage 等）对 null 走 fail-closed。补 warn 让 doctor/agent 能看到根因。
+    const detail = (e && e.message) ? e.message : String(e)
     console.warn('⚠️ sillyspec.db 查询失败，hook 降级 fail-closed: ' + detail)
     return null
   }
@@ -532,10 +553,13 @@ function isSingleCommandReadonly(cmd, extraReadonlyCommands = []) {
   if (cmdName === 'git') {
     const sub = parts[1] || ''
     if (READONLY_GIT_SUBS.has(sub)) return true
+    // git branch：裸查询/建分支放行；-d/-D/-m/-M/-f（含长形）破坏性不放行（按参数细化，不再整类放行）
+    if (sub === 'branch' && !hasDestructiveBranchFlag(parts)) return true
     // git stash list
     if (sub === 'stash' && (parts[2] === 'list' || parts.length === 2)) return true
-    // git worktree 管理（list/add/remove）放行
-    if (sub === 'worktree') return true
+    // git worktree：仅 list（裸 worktree 同 list）。remove --force 可删含未提交改动的工作区、
+    // 且 junction 会穿透删主仓 node_modules——add/remove/prune 一律走 sillyspec worktree 命令（内建护栏）
+    if (sub === 'worktree' && (parts.length === 2 || parts[2] === 'list')) return true
     return false
   }
 
@@ -563,6 +587,10 @@ function isSingleCommandDangerous(cmd) {
   if (cmdName === 'git') {
     const sub = parts[1] || ''
     if (DANGER_GIT_SUBS.has(sub)) return true
+    // git branch -d/-D/-m/-M/-f（含长形）：删/改分支让 task review 的 base/head 引用悬空
+    if (sub === 'branch' && hasDestructiveBranchFlag(parts)) return true
+    // git worktree remove/prune：删工作区（可能含未提交改动）——清理走 sillyspec worktree cleanup
+    if (sub === 'worktree' && ['remove', 'prune'].includes(parts[2] || '')) return true
     // git stash drop/clear/pop
     if (sub === 'stash' && DANGER_STASH_ACTIONS.has(parts[2] || '')) return true
   }
@@ -603,6 +631,20 @@ function matchReadonlyWhitelist(command, extraReadonlyCommands = []) {
  * @param {string} command
  * @returns {boolean}
  */
+/**
+ * 危险拦截原因的定向指引（branch/worktree 的破坏形态有官方替代路径，提示同步到拦截消息）
+ */
+function dangerBlockHint(command) {
+  const parts = String(command).trim().toLowerCase().split(/\s+/)
+  if (parts[0] === 'git' && parts[1] === 'branch') {
+    return '——分支删除/改名/强建会让 task review 的 base/head 引用悬空；分支管理走 sillyspec worktree 流程'
+  }
+  if (parts[0] === 'git' && parts[1] === 'worktree') {
+    return '——worktree 清理走 sillyspec worktree cleanup（内建未落仓护栏），勿裸删工作区'
+  }
+  return ''
+}
+
 function matchDangerBlacklist(command) {
   const parts = splitCommandParts(command)
   return parts.some(p => isSingleCommandDangerous(p))
@@ -825,7 +867,7 @@ function shouldBlockBash(command, cwd) {
   if (stage === 'quick') {
     // 危险黑名单仍然拦截
     if (matchDangerBlacklist(command)) {
-      return { blocked: true, reason: `dangerous command blocked: ${command.trim()}` }
+      return { blocked: true, reason: `dangerous command blocked: ${command.trim()}${dangerBlockHint(command)}` }
     }
     // 检查命令是否会覆盖 baseline files（并集 = 保护所有 session 的 baseline）
     const { baselineFiles } = readAllQuickGuards(projectRoot)
@@ -843,7 +885,7 @@ function shouldBlockBash(command, cwd) {
 
   // 危险黑名单
   if (matchDangerBlacklist(command)) {
-    return { blocked: true, reason: `dangerous command blocked: ${command.trim()}` }
+    return { blocked: true, reason: `dangerous command blocked: ${command.trim()}${dangerBlockHint(command)}` }
   }
 
   // 只读白名单放行