sillyspec 3.24.2 → 3.24.3

package/.claude/skills/sillyspec-quick/SKILL.md

@@ -18,7 +18,7 @@ quick 阶段的 `--change` 语义是「关联变更」**且会触发步骤重置
 - `--linked-changes a,b`：显式关联到变更 a、b
 - `--non-interactive`：CI/脚本环境，默认不关联（避免交互 prompt 崩溃）
 
-首次 `sillyspec run quick` 选定的关联会持久化到 `.runtime/quick-guard.json`，后续 `--done` 自动复用，**不会重复弹交互 prompt**。
+首次 `sillyspec run quick` 选定的关联会持久化到 `.runtime/quick-sessions/<quick-session-id>/guard.json`（每个 quick 会话独立，多会话并发不互覆盖），后续 `--done` 自动复用，**不会重复弹交互 prompt**。
 
 ## 步骤生命周期（所有阶段通用）
 
@@ -50,8 +50,17 @@ sillyspec run quick --reopen --from-step N     # 重新打开已完成阶段修
 | `--linked-changes none\|a,b` | **显式关联变更（取代 `--change`，推荐）**。none=不关联，a,b=关联列表 |
 | `--files a.js,b.js` | 显式声明本次允许修改的文件（边界保护） |
 | `--allow-new` | 允许新增文件（默认禁止，防意外创建） |
-| `--force-baseline` | 允许覆盖 baseline 受保护文件（危险，慎用） |
-| `--confirm` | 完成时确认接受变更审计结果（warning/blocked 时用） |
+| `--force-baseline` | 允许覆盖 baseline 受保护文件 / 压制 `.sillyspec/` 危险判定（危险，慎用） |
+| `--confirm` | ⚠️ 仅打印变更概览，**不解锁 blocked**（blocked 仍 exit 1）。真正解锁用 `--force-baseline`/`--allow-new` |
+
+## 审计与并发变更（`--done` 边界审计）
+
+`--done` 收尾时对比 step1 baseline 与当前 `git status`，拦「危险文件 / 新增文件 / 覆盖 baseline」。要点：
+
+- **并发其他会话的 `.sillyspec/changes/<非关联变更>/` 不再被本 quick 拦截**。quick 自己没有 `changes/` 目录，该路径下非关联内容视为并发会话的工作，整体放行（确定性审计无法区分「并发工作」与「本 quick 偷建变更」，后者这类意图软判定留给 sillyhub）。
+- **关联变更的文件仍走审计**：reverse-sync 改自己关联变更的 `design.md` 会被拦，需 `--force-baseline` 显式确认。
+- **baseline 折叠目录前缀匹配**：step1 启动时整片 `changes/` 未跟踪会被 git 折叠成 `?? .sillyspec/changes/`（带尾斜杠 token）；审计时若该目录下文件被并发会话跟踪而展开成文件级路径，按尾斜杠 token 前缀放行其下所有文件，不误判。
+- **`--confirm` ≠ 解锁**：它只打印概览。blocked 时真正解锁的是 `--force-baseline`（压制 `.sillyspec/` 危险判定 + baseline 覆盖）/`--allow-new`（放行新增），两者在 step1 或 `--done` 传都生效。
 
 ## 典型用法
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "sillyspec",
-  "version": "3.24.2",
+  "version": "3.24.3",
   "description": "SillySpec CLI — 流程状态机，让 AI 严格按步骤来",
   "icon": "logo.jpg",
   "homepage": "https://sillyspec.ppdmq.top/",

package/src/run.js

@@ -332,6 +332,27 @@ function parseModuleMapSimple(content) {
 /**
  * 同步触发辅助函数：_write 后 best-effort 同步到平台
  */
+/**
+ * 解析单行 `git status --porcelain` 输出为文件路径。
+ * porcelain 格式：`XY<SP>path`（XY = 2 字符状态码）。
+ * - 路径含空格/特殊字符时 git 以 C 风格加引号（如 `?? "front end.txt"`），需去引号 + 反转义。
+ * - 重命名显示为 `R  old -> new`，取新路径（当前存在的文件）。
+ * - 反斜杠归一化为正斜杠（Windows 路径）。
+ * ⚠️ 调用方不要对【整段多行】输出先 .trim() 再 split——会削掉首行前导空格（首行 status 的空格），
+ *   使 slice(3) 误吃首文件路径首字符（实测 ` M frontend/...` → "rontend/..."，见 guard.json baseline）。
+ *   应直接 split('\n').filter(Boolean)，每行单独解析。
+ */
+export function parsePorcelainPath(line) {
+  if (!line) return ''
+  let path = line.slice(3).trim()
+  if (path.length >= 2 && path.startsWith('"') && path.endsWith('"')) {
+    path = path.slice(1, -1).replace(/\\(.)/g, (_, c) => c)
+  }
+  const arrow = path.indexOf(' -> ')
+  if (arrow !== -1) path = path.slice(arrow + 4)
+  return path.replace(/\\/g, '/')
+}
+
 /**
  * quick 完成审计：对比 baseline 与实际变更
  */
@@ -343,20 +364,41 @@ export async function auditQuickCompletion(cwd, guard, options = {}) {
   try {
     const { execSync } = await import('child_process')
     const gitStatus = execSync('git status --porcelain', { cwd, encoding: 'utf8', timeout: 10000 })
-    const currentEntries = gitStatus.trim().split('\n').filter(Boolean)
+    // 不对整段 .trim()：会削首行前导空格致首文件路径丢首字符（见 parsePorcelainPath 注释）。
+    const currentEntries = gitStatus.split('\n').filter(Boolean)
 
     const normalizeGitPath = (p) => p.replace(/\\/g, '/')
     // step1 启动时记录的全量脏文件 = 预存改动（非本次 quick 产生）。审计必须排除它们，
     // 否则脏工作区下预存文件持续留在 git status → 命中 baselineFiles → 误判「覆盖 baseline」
     // → 永远 blocked（--force-baseline 也救不回来，因为 status 判定看 baselineHit 数组）。
-    const baselineFilesSet = new Set((baselineFiles || []).map(f => normalizeGitPath(f)))
+    // 前缀匹配：baseline 录入时未跟踪目录会被 git 折叠成 `dir/`（带尾斜杠）token，审计时若该
+    // 目录下文件被跟踪则展开成文件级 `dir/file`——精确匹配对不上，故尾斜杠 token 按目录前缀放行。
+    const normBaseline = (baselineFiles || []).map(f => normalizeGitPath(f))
+    const baselineExact = new Set(normBaseline.filter(f => !f.endsWith('/')))
+    const baselineDirs = normBaseline.filter(f => f.endsWith('/'))
+    const isBaselineFile = (p) => {
+      const f = normalizeGitPath(p)
+      return baselineExact.has(f) || baselineDirs.some(d => f.startsWith(d))
+    }
+    // quick 自己没有 .sillyspec/changes/ 目录——该路径下任何文件要么是关联变更（reverse-sync），
+    // 要么是并发其他会话的变更工作。多会话并行时别人的 changes/ 不应被本 quick 审计拦截
+    // （确定性校验无法区分「并发工作」与「本 quick 偷建变更」，后者这类意图软判定留给 sillyhub）。
+    // 故：非关联变更目录整体放行；关联变更的文件仍走正常审计（reverse-sync 可见，需 --force-baseline）。
+    const linkedChangeNames = new Set((Array.isArray(guard.linkedChanges) ? guard.linkedChanges : []).map(c => normalizeGitPath(c)))
     const isQuickMetadata = (p) => {
       const file = normalizeGitPath(p)
-      return file.startsWith('.sillyspec/quicklog/')
+      if (file.startsWith('.sillyspec/quicklog/')
         || file.startsWith('.sillyspec/.runtime/')
         || file === '.sillyspec/knowledge/uncategorized.md'
         || (/^\.sillyspec\/docs\/[^/]+\/modules\/[^/]+\.md$/.test(file))
-        || (/^\.sillyspec\/docs\/[^/]+\/modules\/_module-map\.yaml$/.test(file))
+        || (/^\.sillyspec\/docs\/[^/]+\/modules\/_module-map\.yaml$/.test(file))) return true
+      // .sillyspec/changes/ 下：bare 折叠 token（git 把全新未跟踪 changes/ 折叠成 `changes/`）
+      // 或具体但【非关联】的变更 → 都属并发其他会话工作，放行；关联变更文件仍走审计。
+      if (file.startsWith('.sillyspec/changes/')) {
+        const m = file.match(/^\.sillyspec\/changes\/([^/]+)(\/|$)/)
+        if (!m || !linkedChangeNames.has(m[1])) return true
+      }
+      return false
     }
     const DANGEROUS_PATTERNS = [
       'package.json',
@@ -376,11 +418,11 @@ export async function auditQuickCompletion(cwd, guard, options = {}) {
 
     for (const entry of currentEntries) {
       const status = entry.slice(0, 2).trim()
-      const file = normalizeGitPath(entry.slice(3).trim())
-      if (!file || file.startsWith('??. ')) continue
+      const file = parsePorcelainPath(entry)   // 已去引号/处理 rename/归一化，修正首行丢首字符
+      if (!file) continue
 
-      // 预存脏文件：step1 baseline 已记录，非本次 quick 产生，跳过审计
-      if (baselineFilesSet.has(file)) continue
+      // 预存脏文件：step1 baseline 已记录，非本次 quick 产生，跳过审计（含折叠目录前缀匹配）
+      if (isBaselineFile(file)) continue
 
       result.changedFiles.push(file)
       if (status === 'D' || status === ' D') result.deletedFiles.push(file)
@@ -1859,8 +1901,9 @@ async function resolveQuickLinkedChanges({ pm, cwd, specDir, quickFiles, taskDes
   try {
     const { execSync } = await import('child_process')
     const gs = execSync('git status --porcelain', { cwd, encoding: 'utf8', timeout: 10000 })
-    baselineFiles = gs.trim().split('\n').filter(Boolean)
-      .map(l => l.slice(3).trim())
+    baselineFiles = gs.split('\n').filter(Boolean)
+      .map(l => parsePorcelainPath(l))
+      .filter(Boolean)
       .filter(f => !f.startsWith('.sillyspec/'))
   } catch {}
 
@@ -2100,8 +2143,9 @@ async function runStage(pm, progress, stageName, cwd, changeName, skipApproval =
         // 不需要这里粗放过滤 .sillyspec/——旧过滤致预存 untracked .sillyspec/changes/ 不进 baseline，
         // 却在 audit 被当「危险(.sillyspec/)+新增」误判永久 blocked（ql-20260713-002-7628 修复）。
         const baselineFiles = gitStatus
-          .trim().split('\n').filter(Boolean)
-          .map(line => line.slice(3).trim())
+          .split('\n').filter(Boolean)
+          .map(line => parsePorcelainPath(line))
+          .filter(Boolean)
         const allowedFiles = quickOpts?.quickFiles || []
         const allowNew = quickOpts?.isAllowNew || false
         const forceBaseline = quickOpts?.isForceBaseline || false