sillyspec 3.32.8 → 3.32.9

package/src/stages/explore.js

@@ -25,12 +25,10 @@ export const definition = {
 6. 讨论 UI/交互方案且用户明确要求原型时，按下方「HTML 原型生成」执行
 
 ### HTML 原型生成（仅用户明确要求时）
-探索保持只读姿态：不主动写原型文件；UI 讨论成形时可以提议（"要不要出个原型看效果"），用户同意后再生成。生成要求与 brainstorm 阶段的原型对齐：
-- 单文件 HTML（内联 CSS + JS），浏览器直接打开
-- 高保真呈现讨论中的布局/组件/交互流程——用户看到的是"这个方案做出来长什么样"，不是示意图
-- 与项目现有界面风格一致：先读 scan 文档与现有前端代码，复用现有组件库/设计 token 的观感，不另起风格
+探索保持只读姿态：不主动写原型文件；UI 讨论成形时可以提议（"要不要出个原型看效果"），用户同意后再生成。探索期原型是**粗选对比件**（求快不求真，手绘单文件含内联 CSS+JS 在探索期合法，浏览器直接打开）：
+- 呈现讨论中的布局/组件/交互流程——用户看到的是"这个方案做出来长什么样"，不是示意图；能用项目真实组件库/设计 token 观感的尽量用（先读 scan 文档与现有前端代码），降低与真实效果的偏差
 - 保存到 \`{SPEC_ROOT}/explore/prototype-<名称>.html\`（目录不存在则先创建；用户指定了其他位置则从其指定）
-- 原型是探索讨论工具、不是交付物，也不是实现代码——不要顺手把原型接进项目源码或构建；话题后续进入 brainstorm 时，把原型文件复制到 \`{SPEC_ROOT}/changes/<变更名>/\` 可直接复用为该变更的原型
+- 原型是探索讨论工具、不是交付物，也不是实现代码——不要顺手把原型接进项目源码或构建；话题后续进入 brainstorm 时分两路：已是可复跑真码的原型复制到 \`{SPEC_ROOT}/changes/<变更名>/\`（**保留 \`prototype-<名称>.html\` 命名**——execute 按此命名注入，改名＝不注入）走登记复用；手绘粗选件只是方向输入，brainstorm 定稿须按其「生成要求」升级为真码（同方言/可复跑），不得把手绘件直接当定稿登记
 
 ### 输出
 探索结论、选项对比、风险清单或 ASCII 图；如生成了原型，附原型文件路径

package/src/sync.js

@@ -18,6 +18,7 @@ import { safeGit } from './git-helper.js';
 import { openDatabase } from './db-engine.js';
 import { PLATFORM_MANAGED_FILENAME, QUICK_SID_RE } from './run/shared.js';
 import { syncSpecTree } from './spec-sync.js';
+import { lookupDeletedLedger } from './deleted-ledger.js';
 import { bindSyncNoiseFromCwd, syncConnectionWarn, isConnectionClassStatus, noteSyncSuccess, syncChangeDeletedLog, syncChangeDeletedWarn, noteChangeDeletedResolved, syncSelfHealWarn } from './sync-noise.js';
 
 // sync 是 best-effort（网络失败只 warn）：平台指针失效时不抛，跳过平台、回退本地。
@@ -747,6 +748,18 @@ export class SyncManager {
         return { synced: 0, errors: [`读取 progress 失败: ${err.message}`] };
       }
       if (progressData === null) {
+        // 删除台账兜底（2026-10-13-sync-ledger-tombstone，事故 2026-10-13-new-change-e5a27813）：
+        // DB 行被外部物理清除（rm + 裸 SQL）后 serializeForSync 恒 null、X1 墓碑链失源，
+        // 平台行永挂 active。台账里「存在过且已达终态」时合成最小载荷补推墓碑，让平台
+        // _apply_cli_tombstone 收敛 location。台账无此名（从未存在，如 --change 打错字）
+        // 不发——误发会把平台同名真变更软删。quick 会话豁免（与 tombstoneDue 同口径）。
+        if (!QUICK_SID_RE.test(changeName)) {
+          const ledger = lookupDeletedLedger(safePlatformSpecDir(this.cwd) || join(this.cwd, '.sillyspec'), changeName);
+          if (ledger && (ledger.status === 'deleted' || ledger.status === 'archived')) {
+            const pushed = await this._pushLedgerTombstone(changeName, ledger, { signal: opts.signal });
+            return { synced: 0, errors: [], ledgerTombstone: pushed ? 'pushed' : 'best-effort-failed' };
+          }
+        }
         console.warn(`[sync] 变更无进度数据 (无活跃进度): ${changeName}`);
         return { synced: 0, errors: [`变更无进度数据: ${changeName}`] };
       }
@@ -1098,6 +1111,63 @@ export class SyncManager {
     return { synced: 0 };
   }
 
+  /**
+   * 台账墓碑（2026-10-13-sync-ledger-tombstone）：DB 行已被外部物理清除、终态凭证只剩
+   * 删除台账时的合成墓碑上行。与 _pushTombstone 的差异：不读 DB（无行可读），载荷由
+   * 台账条目合成——changes[0] 携带台账 status（平台 _apply_cli_tombstone 据此收敛
+   * location）+ current_stage='archive'，其余五表空数组（平台端解析容错，字段缺失即空集）。
+   * base_ts 不设：平台契约「base_ts 缺失无条件接受」（platform_sync/service.py 分支 1），
+   * 不与既有 last_pushed_at 比较，无 409 面。best-effort：失败 debugLog 不抛（与 X1 链
+   * 语义一致——平台 7 天 reparse 兜底仍在）。
+   * @param {string} changeName
+   * @param {{name: string, status: string, at: string}} ledger 台账终态条目
+   * @param {{signal?: AbortSignal}} [opts]
+   * @returns {Promise<boolean>} 是否推送成功
+   */
+  async _pushLedgerTombstone(changeName, ledger, opts = {}) {
+    const platform = this._getPlatform();
+    if (!platform) return false; // 未连接平台：台账墓碑无从上行，行缺失也无处可回填，静默
+    const payload = {
+      changes: [{
+        name: changeName,
+        status: ledger.status,
+        current_stage: 'archive',
+        created_at: ledger.at,
+        last_active: ledger.at,
+        title: changeName,
+      }],
+      stages: [],
+      steps: [],
+      approvals: [],
+      batch_progress: [],
+    };
+    const headers = {
+      'Content-Type': 'application/json',
+      Authorization: `Bearer ${platform.token}`,
+      'X-SillySpec-Pushed-At': new Date().toISOString(),
+    };
+    const pushUser = platform.user || resolvePlatformUser(this.cwd) || null;
+    if (pushUser) headers['X-SillySpec-User'] = pushUser;
+    const syncUrl = `${platform.url}/api/changes/${encodeURIComponent(changeName)}/progress`;
+    try {
+      const res = await fetchJsonWithStatus(syncUrl, {
+        method: 'POST',
+        headers,
+        body: JSON.stringify(payload),
+        signal: opts.signal,
+      });
+      if (res.ok) {
+        console.log(`[sync] 已上行台账墓碑（行已清除，status=${ledger.status}）: ${changeName}`);
+        return true;
+      }
+      debugLog(`[sync] 台账墓碑上行未成功: ${changeName} (status=${res.status}，平台 reparse 兜底)`);
+      return false;
+    } catch (err) {
+      debugLog(`[sync] 台账墓碑上行失败: ${changeName}: ${(err && err.message) || err}`);
+      return false;
+    }
+  }
+
   /**
    * 自竞态判定辅助：fresh 读本地 DB 的 last_synced_platform_ts（base_ts），判断它是否已覆盖
    * 平台 409 回执的 last_pushed_at（字符串字典序比较，契约 §4.2——ISO 8601 字典序 == 时间序）。

package/src/verify-postcheck.js

@@ -2867,17 +2867,34 @@ function buildDepsBatches({ deps, changedFiles = [], hits = [], cwd = null, prio
   // cd 前缀保留（2026-09-25-deps-cwd-prefix，R15/R16 实证）：剥前缀后从 worktree 根跑 uv，根上无
   // pyproject.toml → uv 解析到无 dev extras 的错环境 → aiobotocore 假红（两轮 known_failures 顶着）。
   // 前缀在则批次文件路径按该 dir 重定基（模块命令的文件参即 dir 相对口径，如 app/modules/...）。
+  // py 按包根分组（坑 flow-dynamic-subset-root-scripts-path，2026-10-13 实证：主仓根
+  // scripts/test_x.py 被拼进 backend 的 cd 批——相对路径在 backend cwd 下必然 not found，
+  // 整批 exit 2 假败）。每个 .py 文件按最近 pyproject/uv.lock 祖先归组（与 runner 推断
+  // 同款就近原则——monorepo 子项目各自独立环境）；组内共用该包根的 runner 命令与重定基。
+  // 显式命中命令串（hits）优先且整批共用（用户显式配置语义优先，不拆组）。
   let pyRunner = null
   for (const h of hits || []) {
     const cmd = String(h.test || '')
     const m = /^((?:cd\s+[^&|;]+&&\s*)*[^&|;]*?pytest)/.exec(cmd) || /(?:^|&&|;|\|\|)\s*([^&|;]*pytest)/.exec(cmd)
     if (m) { pyRunner = m[1].trim(); break }
   }
-  if (!pyRunner && cwd && pyRun.length > 0) {
-    const inferred = inferPyRunner(cwd, pyRun[0])
-    pyRunner = inferred.command
+  // pyGroups: Map<dirKey, { files, command }>；dirKey null = 主仓根（无 cd 前缀）
+  const pyGroups = new Map()
+  const pyGroupOf = (f) => {
+    if (pyRunner) return null // 显式命中命令：整批一组（既有语义）
+    if (!cwd) return null
+    const inferred = inferPyRunner(cwd, f)
+    return inferred.dir || null
+  }
+  for (const f of pyRun) {
+    const key = pyGroupOf(f)
+    if (!pyGroups.has(key)) {
+      const command = pyRunner || (cwd ? inferPyRunner(cwd, f).command : 'python -m pytest')
+      pyGroups.set(key, { files: [], command })
+    }
+    pyGroups.get(key).files.push(f)
   }
-  if (!pyRunner) pyRunner = 'python -m pytest'
+  if (!pyRunner && pyGroups.size > 0) pyRunner = pyGroups.values().next().value.command
   // JSX 运行器推断（2026-09-26-residual-runner-parity 起 + 结构推断源）：.tsx/.jsx 是 node
   // 原生 type stripping 跑不了的（node --test 直跑恒败——R18 verify 段 ~11 次尝试的坑），
   // ① 命中命令串提取 vitest/jest（旧路径）② 无命中命令时最近含 vitest/jest 的 package.json；
@@ -2928,7 +2945,19 @@ function buildDepsBatches({ deps, changedFiles = [], hits = [], cwd = null, prio
   // 批计数分列（2026-10-06-fr-regress-cap-drop）：count=实跑总数、prioCount=实跑中优先面数、
   // dropped 只计普通依赖弃置、prioDropped=防御路径计数（构造上恒 0——quotaFill 保证优先面零弃置，
   // >0 即组卷逻辑被破坏，消费面 loud 披露）。js 批经 jsNative/jsProject 内容分流后计数随分流面。
-  if (pyRun.length > 0) batches.push({ name: 'deps(auto-py)', short: 'py', command: `${pyRunner} ${pyRun.map(rebase).join(' ')}`, count: pyRun.length, prioCount: pyQ.prioCount, dropped: pyQ.dropped, prioDropped: pyQ.prioDropped, files: pyRun })
+  // py 多批（坑 flow-dynamic-subset-root-scripts-path）：按包根分组逐批 push——每组
+  // 重定基按本组 dir（跨组文件不再共享单一 cdDir）；组序稳定（Map 插入序=pyRun 排序序）。
+  {
+    let gi = 0
+    for (const [dirKey, grp] of pyGroups) {
+      // hits 命中形态 dirKey=null——从本组命令的 cd 前缀提取重定基目录（坑 deps-cwd-prefix
+      // ① 用例：显式配置 'cd backend && uv run pytest …' 时路径须按 backend/ 重定基）
+      const cmdDir = dirKey || /(?:^|\s)cd\s+(\S+)\s*&&/.exec(grp.command)?.[1] || null
+      const rebasePy = (f) => (cmdDir && f.startsWith(cmdDir + '/')) ? f.slice(cmdDir.length + 1) : f
+      batches.push({ name: pyGroups.size > 1 ? `deps(auto-py:${dirKey || 'root'})` : 'deps(auto-py)', short: 'py', command: `${grp.command} ${grp.files.map(rebasePy).join(' ')}`, count: grp.files.length, prioCount: grp.files.filter(f => prio(f) === 0).length, dropped: pyQ.dropped, prioDropped: pyQ.prioDropped, tap: true, files: grp.files, pyRoot: dirKey || null })
+      gi++
+    }
+  }
   if (jsNative.length > 0) batches.push({ name: 'deps(auto-js)', short: 'js', command: `node --test --test-reporter=spec --test-reporter-destination=stderr --test-reporter=tap --test-reporter-destination=stdout ${jsNative.join(' ')}`, count: jsNative.length, prioCount: jsNative.filter(f => prio(f) === 0).length, dropped: jsTest.length - jsRun.length, prioDropped: jsQ.prioDropped, tap: true, files: jsNative })
   if (jsMeta.length > 0) batches.push({ name: 'deps(auto-js-meta-skip)', short: 'js-meta-skip', command: null, count: jsMeta.length, dropped: 0, skip: true, files: jsMeta, reason: '套件编排器（run-tests.mjs=npm test 组卷入口）非单测文件——内嵌执行=递归全量套件（嵌套 runner 污染假败）；全量门由收口实测/CI 的 npm test 承担' })
 

package/templates/agents-instruction.md

@@ -6,8 +6,9 @@
 ## 选道（动手前先对号入座）
 | 需求形态 | 走法 |
 |---|---|
-| 需求已含决策（改什么、成功标准说得清） | **轻量变更（默认快道）**：`flow start` → 直接干活 → `flow done`（2 次协议调用；操作细节见 `/sillyspec:flow` skill 与 flow start 输出） |
-| 需求不清晰 / 需要方案探索 | 头脑风暴预段：`run brainstorm --change <名>` → 完成后 `flow start --change <名>` 收编续跑（design 以头脑风暴版为准） |
+| 需求已含决策（改什么、成功标准说得清——成功标准须来自**用户原话或既有文档转写**；要靠你推断拟出的标准＝需求不清晰） | **轻量变更（默认快道）**：`flow start` → 直接干活 → `flow done`（2 次协议调用；操作细节见 `/sillyspec:flow` skill 与 flow start 输出） |
+| 用户显式要求极速（「极速/别验证/只要 spec 和代码」类原话）且需求已含决策 | **轻量变更极速版**：同上行加 `--turbo`（`flow start --change <名> --input "<...>" --turbo`）——**仅用户显式触发，禁止你自行启用**；收口跳过实测与重仪式门（hunk/dirty/ui 探针/评审），spec 结构校验/tasks 全勾/ledger/patch 冻结/distill/归档照常（跳的是验证不是证据）；升厚即失效恢复全量仪式；收口输出显式标注「不含测试客观核验」。预段组合极速：头脑风暴预段走轻量跑判定+单轮合并问询+burst 一次 --done，收编时按用户要求带 --turbo |
+| 需求不清晰 / 需要方案探索（含「成功标准要你替用户拟」的形态——自己拟标准再自答是把默认共识伪装成共识） | 头脑风暴预段：`run brainstorm --change <名>` → 完成后 `flow start --change <名>` 收编续跑（design 以头脑风暴版为准）。上个轻量变更被 route-hindsight 标记时全新 start 会被同意门拦下要求显式选道：确认已含决策带 `--no-prestage` 声明留痕，否则先走本行预段 |
 | 大改动：跨模块取舍 / Wave 计划编排 / 多阶段治理 / 设计期人机对抗 | 完整流程五阶段：`run brainstorm → plan → execute → verify → archive`（每阶段一次渲染 + 一次 --done 收口；细节见各阶段 skill 与 CLI 输出） |
 | 代码已先写好（倒推收尾） | 不回头补流程装样子：`flow start --change <YYYY-MM-DD-名> --input` 按下方过门格式写（动机=已做改动的描述，成功标准=已验证达标的行为）→ `flow done` 一步收口 |
 
@@ -30,7 +31,7 @@ sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>
 ## 核心规则
 1. **禁止绕过本文件规则和 SillySpec 流程**。所有变更走 sillyspec 流程，不裸改裸提交。
 2. **改代码前必须先说明依据**——依据的文档路径（design.md / 模块文档 / file-lifecycle.md（如有））或现有代码依据，无依据不改。
-3. **执行顺序**：文档 → 读代码 → 写测试 → 写实现 → 跑测试 → 验收 → 更新文档。
+3. **执行顺序**：文档 → 读代码 → 写测试 → 写实现 → 跑测试 → 验收 → 更新文档。测试按层适用：纯逻辑先写测试，行为契约断言用户可见行为，视觉样式与纯配置/文档不写测试（记「不适用：理由」，验收靠规范与人工）。
 4. **实证核验再收口**：触及 `src`/`test` 的改动，CLI 会在收口时亲自实测（实测失败阻断收口；纯 doc/配置自动跳过）。测试面按变更动态推断（本变更测试 ∪ FR 关联回归 ∪ import 依赖，runner 自项目结构推断——无需配置）；lint 走 `.sillyspec/local.yaml` 的 `commands.lint`。以落盘文件与测试结果为准，不信口头"已完成"。
 5. **非测试逻辑本身有误时，禁止改测试来"通过"**——修逻辑，不修测试。
 6. **git hook 拦截提交时禁止跳过**（如 `.husky/pre-push`），修复问题后再提交。

package/templates/prompts/testcase-design.md

@@ -3,6 +3,11 @@
 写测试是为了拦住回归，不是"有测试文件"。
 **基础习惯照做、不展开**：FIRST（快/独立/可重复/自校验/及时）、金字塔分层（单元为主/集成少量/E2E 只冒烟）、AAA 结构、测试名描述场景、测试数据轻量构造（Object Mother/Builder）、覆盖率不追数字。
 
+**先判该不该写：按层适用**（一句话判据——能写成「当 X 发生时，用户应看到/发生 Y」→ 写测试；只能描述成「看起来更精致/更美观」→ 不写，靠规范与人工验收）：
+- **纯逻辑**（校验规则/数据变换/状态规则/重试策略）→ 严格 test-first：先写测试再实现。
+- **行为契约**（用户做 X 后应看到/发生 Y 的关键交互，组件/API 皆然）→ 断言用户可见行为；主干断言可先行，mock 细节允许实现后补；不为样式类/className 写断言。
+- **视觉样式与纯配置**（颜色/布局/间距/动效；配置/文档/CI）→ 不写测试——断言样式是负资产，改一次样式碎一片；测试绑定记「不适用：<理由>」。
+
 逐条对照检查：
 1. **覆盖**：正常路径 + 边界 + 异常/非法输入，不只写业务正例；单测全绿 ≠ 集成正确。
 2. **断言**：断言真实输出/副作用，禁止只"不抛错"的空断言；不 mock 被测方法自身。

package/src/stages/brainstorm-auto.js

@@ -1,286 +0,0 @@
-/**
- * brainstorm-auto.js — auto/full 模式使用的 brainstorm 步骤定义
- *
- * 与 brainstorm.js 的区别：
- * 1. artifact-first：直接写文件，对话只输出摘要
- * 2. 自动决策：基于 AC-001~AC-011 checklist，不频繁请示
- * 3. next-action.json：结构化产物，驱动下游推进
- * 4. 只有 blocking questions 才 wait 用户
- * 5. 步骤从 ~13 步精简为 4 步
- */
-
-export const definition = {
-  name: 'brainstorm',
-  title: '头脑风暴（自动模式）',
-  description: '探索需求、分析技术方案、识别风险 — artifact-first，自动决策优先',
-
-  steps: [
-    {
-      name: '进度确认与上下文加载',
-      migratedFrom: ['状态检查与上下文加载'],
-      prompt: `检查进度、加载项目上下文、匹配模块。用 \`sillyspec progress show\` 查流程进度，不要用 \`sillyspec status\`（项目级快照，不推进流程）。
-
-### 操作
-1. 运行 \`sillyspec progress show\`，确认 currentStage 为 "brainstorm"
-2. 如果未初始化，提示先运行 sillyspec init
-3. **检查变更名称**：如果当前变更名是自动生成的（如 \`2026-06-02-new-change-a3f2b7c1\`），直接重命名为有意义名称，然后运行 \`sillyspec change-rename <旧名> <新名>\`
-
-### 加载上下文
-4. 读取项目总览 \`.sillyspec/docs/<project>/scan/PROJECT.md\`（如存在）+ 共享规范 + 子项目上下文
-5. 加载项目信息：\`cat .sillyspec/projects/*.yaml 2>/dev/null\`
-6. 构建命令（CLI 自 local.yaml 注入，勿再读文件）：
-{LOCAL_COMMANDS}
-7. 棕地项目：读取 scan 下的 STRUCTURE.md、CONVENTIONS.md、ARCHITECTURE.md
-8. 加载模块索引：读取 \`.sillyspec/docs/<project>/modules/_module-map.yaml\`（如存在）
-9. 查看进行中的变更：\`ls .sillyspec/changes/ | grep -v archive\`
-10. 检查同名变更或可复用模板
-
-### 模块匹配
-根据用户描述的需求关键词，匹配相关模块（用 _module-map.yaml 的 tags/aliases/paths）。
-
-### 子项目判定
-- 单项目：直接确认
-- 多项目且用户已指定：直接确认
-- 多项目且用户未指定：列出项目列表，需要用户确认
-
-### 如果有用户提供的原型/截图
-分析提取：页面结构、表单字段、交互流程、业务规则。
-
-### 输出
-状态摘要 + 项目现状理解（3-5 句）+ 涉及模块列表 + 子项目 + 原型分析（如有）
-
-### 注意
-- 以 CLI 返回为准，不要自行推断阶段
-- 不要用 mv 命令重命名变更目录，必须用 \`sillyspec change-rename\``,
-      outputHint: '状态摘要 + 上下文 + 模块匹配',
-      optional: false
-    },
-    {
-      name: '需求分析与方案设计',
-      // conditionalWait（非 requiresWait）：与主模式 Step3 对齐。prompt 明确「目标明确→跳过追问，
-      // 直接进入方案设计」「checklist 全 ✅ → AUTO_DECIDED」——这两种场景 AI 无需追问，必须能直接 --done。
-      // 若用 requiresWait，CLI 硬门强制要 --answer（complete.js:223），AI 只能伪造 --answer「无需追问」
-      // （正是 Grill 第三病）或 --wait 一个不存在的问题。conditionalWait 让「无需追问」路径直接 --done，
-      // 只在真正需要用户决策（方案选择/拆分确认）时才走 --wait（multi-agent-review B1）。
-      conditionalWait: true,
-      repeatableWait: true,
-      maxWaitRounds: 5,
-      waitReason: '等待用户回答需求问题',
-      waitOptions: ['回答见--answer', '信息够了，进入设计'],
-      prompt: `分析需求，必要时追问，然后设计方案。
-
-### 操作
-
-#### A. 需求评估
-1. 汇总上一步加载的上下文和用户需求
-2. 判断需求是否清晰：
-   - 目标明确、范围清楚、无歧义 → 跳过追问，直接进入方案设计
-   - 有歧义或不清楚 → 挑**一个最关键的**问题追问
-
-#### B. 追问规则（只在需要时）
-- 一次只问一个问题，不要一次性列出多个问题
-- 能从代码/文档确认的不要问用户
-- 多选题优于开放式问题
-- YAGNI — 砍掉不需要的功能
-- 2-3 轮问答就应进入方案设计
-- 优先追问影响架构/数据/接口的问题，实现细节不要问
-
-**如果需要追问：**调用 \`sillyspec run brainstorm --wait --reason "等待用户回答需求问题" --options "回答见--answer,信息够了,进入设计" --output "你的单个问题"\`
-
-#### C. 复杂度评估（追问结束后或不需要追问时）
-1. 判断是否需要拆分或走批量模式：
-   - 3+ 个可独立交付的功能模块 → 建议拆分
-   - 任务 > 10 且有重复模式 → 建议批量模式
-   - 简单 CRUD → 不拆
-2. 如果需要拆分/批量模式：暂停等用户确认
-   - 调用：\`sillyspec run brainstorm --wait --reason "等待用户确认拆分方案" --options "同意拆分,不需要拆分,走批量模式" --output "拆分方案摘要"\`
-3. 不需要拆分 → 继续
-
-#### D. 方案设计（自动决策优先）
-1. 基于需求理解和上下文，提出 1-3 种实现方案
-2. **使用自动决策 checklist（AC-001~AC-011）判断是否需要用户选择：**
-
-\`\`\`
-AC-001: 未修改公共 API
-AC-002: 未修改数据库 schema
-AC-003: 未涉及鉴权/权限
-AC-004: 未扩大 allowed_paths
-AC-005: 未引入新外部依赖
-AC-006: 未修改核心模块（模块索引中被多方依赖或承担关键流程的模块）
-AC-007: 已有项目约定可复用
-AC-008: 不影响向后兼容
-AC-009: 不涉及数据迁移
-AC-010: 单模块范围内可完成
-AC-011: 不涉及业务规则/产品范围/默认行为/用户可见行为变更
-\`\`\`
-
-3. **自动决策判定：**
-   - 只有一个明显合理方案 + checklist 全部 ✅ → **自动选择，标记 AUTO_DECIDED**
-   - 有多个方案但影响不大（checklist 全部 ✅）→ **自动选推荐方案，标记 AUTO_DECIDED**
-   - 有多个方案且 checklist 有 ❌（影响架构/数据/接口/权限/兼容性/业务）→ **只有这一种情况才暂停等用户选择**
-
-4. 如果需要用户选择方案：
-   - 调用：\`sillyspec run brainstorm --wait --reason "等待用户选择方案" --options "方案A,方案B,方案C" --output "方案对比摘要"\`
-
-#### E. Design Grill（轻量交叉审查）
-对方案做快速交叉审查：
-- 检查方案与 ARCHITECTURE.md / CONVENTIONS.md 的一致性
-- 检查是否有术语歧义、边界遗漏
-- 能自动解决的直接修正，只有需要业务判断的才问用户
-- 跳过条件：单模块、无状态流转、< 3 个文件变更
-
-### 输出
-需求理解摘要 + 复杂度评估 + 方案决策（AUTO_DECIDED 或用户选择）
-
-### 注意
-- **不要自问自答。** 不要在自己输出中模拟用户回答然后说"需求已明确"
-- checklist 判定结果必须在 decisions.md 中记录依据`,
-      outputHint: '需求理解 + 方案决策',
-      optional: false
-    },
-    {
-      name: '生成设计产物',
-      prompt: `将设计方案写入文件（artifact-first），不回显正文。
-
-### 操作
-1. 确保变更目录存在：\`mkdir -p .sillyspec/changes/<change-name>\`
-2. **直接将设计方案写入文件，不要先在对话中输出完整内容再写文件。**
-3. 产物写入**变更根目录**（\`.sillyspec/changes/<change-name>/\`），不要建 \`brainstorm/\` 子目录——stage validator 只认根目录，写进子目录会在 \`--done\` 校验时被判产物缺失。
-
-### 产物文件
-
-#### design.md（必填，写入变更根目录 \`design.md\`）
-包含：背景、设计目标、非目标、总体方案、文件变更清单、接口定义、数据模型（如涉及）、兼容策略（brownfield）、风险登记、决策追踪、自审。
-**章节骨架必须按下述字面格式写**（校验器按字面短语匹配，措辞偏离会连环卡门——坑 literal-template-trap，2026-08-24 用户反馈五期②）：
-\`\`\`markdown
-# 设计文档（Design）— <变更简述>
-
-## 背景
-<为什么做、解决什么问题>
-
-## 设计目标
-<要达成什么>
-
-## 非目标
-<明确不做的事——标题必须字面含「非目标」（Non-Goals 也认，但大小写须完全一致）>
-
-## 总体方案
-<技术方案>
-
-## 文件变更清单
-| 操作 | 文件路径 | 说明 |
-|---|---|---|
-| 新增 | src/xxx/NewFile.ts | ... |
-| 修改 | src/xxx/ExistingFile.ts | ... |
-
-## 生命周期契约表
-<仅当涉及 session/lease/agent_run/daemon/lifecycle/state_transition/claim/heartbeat 关键词时必填；
-若不涉及，删掉本节或在正文写紧邻豁免短语：「不涉及生命周期契约」或「生命周期契约：无/N/A」
-——「无需 lifecycle 事件」这类宽写法不被识别（否定词必须紧邻「生命周期契约/lifecycle contract」）>
-
-| 事件 | 发起方 | 接收方 | 必需字段 | 状态变化 |
-|---|---|---|---|---|
-| <事件名> | <发起方> | <接收方> | <字段清单> | <初始态 → 终态> |
-
-## 风险登记
-| 编号 | 风险 | 等级 | 应对策略 |
-|---|---|---|---|
-| R-01 | ... | P0/P1/P2 | ... |
-
-## 决策追踪
-<列出 D-xxx@vN 决策 ID 及覆盖关系；无决策可写「无」>
-
-## 自审
-<对自身设计的校验——标题必须字面含「自审」或「Self-Review」（自我审查等宽写法不识别）>
-\`\`\`
-
-#### decisions.md（必填，写入变更根目录 \`decisions.md\`）
-记录所有决策：
-\`\`\`markdown
----
-author: <git-user>
-created_at: <now-datetime>
----
-
-# 决策记录（Decisions）
-
-## D-001@v1: 决策短标题
-- type: architecture | boundary | compatibility | ...
-- priority: P0 | P1 | P2
-- status: AUTO_DECIDED | NEEDS_REVIEW | USER_DECIDED
-- source: user | code | docs
-- question: 被解决的问题
-- answer: 选择或结论
-- checklist: AC-001 ✅, AC-007 ✅（AUTO_DECIDED 时必须列出）
-- normalized_requirement: 可测试约束
-- impacts: [FR-01, task-01]
-- evidence: 代码/文档路径或用户回答轮次
-\`\`\`
-
-#### gaps.md（必填，写入变更根目录 \`gaps.md\`）
-记录已识别的缺口。status=BLOCKER 的缺口会在 plan-postcheck 中触发回退。
-
-#### assumptions.md（必填，写入变更根目录 \`assumptions.md\`）
-记录隐含假设和验证方法。
-
-#### next-action.json（必填，写入变更根目录 \`next-action.json\`）
-\`\`\`json
-{
-  "status": "ready_for_plan" | "waiting_for_user",
-  "decision_level": "high" | "medium" | "low",
-  "has_blocking_questions": true | false,
-  "blocking_reasons": [],
-  "questions": [],
-  "auto_decisions": [
-    { "id": "D-001", "decision": "方案描述", "reason": "AC-007 ✅" }
-  ]
-}
-\`\`\`
-
-### 自审
-对 design.md 执行自审（需求覆盖、文件变更清单具体性、验收标准可测试、非目标清晰、兼容策略）。发现问题直接修改文件。
-
-### 如果有 blocking questions
-将问题写入 next-action.json.questions，在对话中输出问题列表和推荐选项，然后 --wait。
-
-### 输出（artifact-first）
-只输出摘要：
-\`\`\`
-已生成设计产物（5 个文件，均在变更根目录）：
-- design.md — 采用 xxx 方案，涉及 N 个文件变更
-- decisions.md — M 个决策，K 个 AUTO_DECIDED
-- gaps.md — J 个缺口，0 个 BLOCKER
-- assumptions.md — L 个假设
-- next-action.json — ready_for_plan / waiting_for_user
-\`\`\``,
-      outputHint: '产物摘要',
-      optional: false
-    },
-    {
-      name: '生成规范文件',
-      requiresWait: true,
-      waitReason: '等待用户最终确认',
-      waitOptions: ['确认', '需要修改', '推翻重来'],
-      prompt: `生成 proposal.md / requirements.md / tasks.md，让用户确认。
-
-### 操作
-1. 基于变更根目录下的设计产物（design.md / decisions.md / gaps.md / assumptions.md / next-action.json），生成规范文件（直接写入变更根目录）：
-   - **proposal.md**：动机、关键问题、变更范围、不在范围内、成功标准
-   - **requirements.md**：角色表 + FR 编号需求 + Given/When/Then + 非功能需求
-   - **tasks.md**：任务列表骨架（只列名称；任务清单唯一真相，plan 阶段展开细节并写回本文件——execute 勾选与 verify 对照都在本文件）
-2. 所有规范文件头部包含 YAML frontmatter
-3. \`git add {SPEC_ROOT}/changes/<change-name>/\` — 暂存本变更的规范文件（勿用 .sillyspec/ 整目录——会裹挟其他活跃变更；不要 commit）
-
-### 输出（摘要）
-规范文件路径列表（各一句话说明）
-
-### 铁律
-- **直接写文件，不在对话中输出完整内容**
-- 暂停等待用户确认：\`sillyspec run brainstorm --wait --reason "等待用户最终确认" --options "确认,需要修改,推翻重来" --output "规范文件摘要"\`
-- 禁止自动 commit
-- 禁止在确认前推进到后续阶段`,
-      outputHint: '规范文件摘要',
-      optional: false
-    }
-  ]
-}