sillyspec 3.33.1 → 3.33.3

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

@@ -1,6 +1,6 @@
 ---
 name: sillyspec:flow
-description: 轻量变更（默认快道）——需求明确的小/中改动两步收口。适合用户说"直接改、快速修、顺手调整、改个文案、修个小 bug、更新一个文件、需求很明确、开干吧、把这个改了"。2 次协议调用：flow start → 直接干活（改代码写测试）→ flow done（实测门+测试绑定+patch 留档）。
+description: 轻量变更（默认快道）——需求明确的小/中改动。适合用户说"直接改、快速修、顺手调整、改个文案、修个小 bug、更新一个文件、需求很明确、开干吧、把这个改了"。协议链：flow start → 补 spec 面（FR 绑定+design 四节）→ 批准（flow approve / 用户显式 --autopilot）→ 干活（改代码写测试）→ flow done（实测门+测试绑定+patch 留档）。顺序纪律：先答 spec 面、批准后才动码（读代码探究不算动码）。
 ---
 
 ## 何时使用
@@ -11,7 +11,9 @@ description: 轻量变更（默认快道）——需求明确的小/中改动两
 - 需求不清晰 → CLI 会在 flow start 处拦下给两选一（头脑风暴预段 / 确认输入已含决策）；或直接先走 `/sillyspec:brainstorm`，完成后 `flow start` 收编续跑（design 以头脑风暴版为准）
 - 大改动（跨模块取舍 / 需要 Wave 计划编排 / 设计期人机对抗）→ 不走本 skill，走完整五阶段流程
 
-## 两步协议
+## 协议链与顺序纪律
+
+顺序正典：flow start 后**先答 spec 面 → 断点① 批准 → 才动码**（读代码探究不算动码）。批准是动码前置义务，不是收口补救动作。
 
 ### ① flow start（立项 + 锁基线）
 
@@ -35,16 +37,22 @@ sillyspec flow start --change <变更名> --input "<一句 10-30 字中文概括
 - 新增单测覆盖窗口翻转边界，npm test 全绿
 ```
 
-### ② 直接干活
-
-改代码、写测试。治理工件（proposal/requirements/design）CLI 机器起草，你只需要：
+### ② 补 spec 面（动码前）
 
-- 填 design.md 四节 AGENT 槽（做法概述/接口契约/边界并发四问/风险与死路）——每节至少一行，写「不适用：<理由>」也算答，空槽 flow done 拒收
+- requirements：每条 FR 行为句（带强度词 必须/禁止/SHOULD）+ 测试绑定行（无测试面写「不适用：理由」）
+- design.md 四节 AGENT 槽作答（做法概述/接口契约/边界并发四问/风险与死路）——**动码前完成**，每节至少一行，写「不适用：<理由>」也算答，空节 flow done 拒收；列改动文件用独立「## 文件变更清单」节
 - 变更目录若已有收割生成的 decisions.md（frontmatter `author: flow-machine-draft`），它是底稿不是终稿：槽4 作答含「放弃方案」的，收口前把每个放弃方案拆成独立 rejected 条目（问题=决策专属问句、否决理由=放弃理由、复潮条件=重提前提），风险与对策留在主条目——rejected 条目才走蒸馏防复潮通道，埋在散文里的否决理由进不了通道；无实质放弃方案则不动
-- 干活以 tasks.md 为进度源：做一件 → 勾一格（`- [ ]` → `- [x]`）→ 继续下一条，勿攒一把勾（勾选是收口哨兵的证据面——逐 task 核提交 token/review.json）；`flow status --change <名>` 为自愿查看/恢复面（②阶段给下一任务指针与进度，非协议必需——D-007）
-- 交付代码用显式 pathspec 提交（`git commit -m "..." -- 文件1 文件2`；patch 冻结面=baseline..HEAD 提交面，未提交的代码不进审计件）
+- tasks.md 改写为真实工作分解（机器种子按实现路径改写，保持 `- [ ] task-NN:` 行形态）
+
+### ③ 断点①：批准后才动码
+
+把 FR 条目+design 四节摘要给用户看 → 用户运行 `sillyspec flow approve --change <名>`（agent 代跑如实声明通道 `--user-confirmed` / `--self-approved`，无 flag 按 unattested 留痕）；用户明确说「直接跑完/不用问我」→ 重跑 `flow start --autopilot` 声明豁免（用户显式授权，非 agent 自选补救）。未批准且未声明 --autopilot 时 flow done 拒收。
+
+### ④ 干活（已批准）
+
+写测试、改代码（按层适用——纯逻辑先写测试、行为契约断言用户可见行为、视觉样式与纯配置不写测试）。以 tasks.md 为进度源：做一件 → 勾一格（`- [ ]` → `- [x]`）→ 继续下一条，勿攒一把勾（勾选是收口哨兵的证据面——逐 task 核提交 token/review.json）；`flow status --change <名>` 为自愿查看/恢复面（②阶段给下一任务指针与进度，非协议必需——D-007）；交付代码用显式 pathspec 提交（`git commit -m "..." -- 文件1 文件2`；patch 冻结面=baseline..HEAD 提交面，未提交的代码不进审计件）
 
-### ③ flow done（收口）
+### ⑤ flow done（收口）
 
 ```bash
 sillyspec flow done --change <变更名>

package/AGENTS.md

@@ -7,7 +7,7 @@
 ## 选道（动手前先对号入座）
 | 需求形态 | 走法 |
 |---|---|
-| 需求已含决策（改什么、成功标准说得清——成功标准须来自**用户原话或既有文档转写**；要靠你推断拟出的标准＝需求不清晰） | **轻量变更（默认快道）**：`flow start` → 直接干活 → `flow done`（2 次协议调用；操作细节见 `/sillyspec:flow` skill 与 flow start 输出） |
+| 需求已含决策（改什么、成功标准说得清——成功标准须来自**用户原话或既有文档转写**；要靠你推断拟出的标准＝需求不清晰） | **轻量变更（默认快道）**：`flow start` → 补 spec 面（FR 绑定+design 四节）→ 批准（`flow approve` / 用户显式 `--autopilot`）→ 干活 → `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 输出） |
@@ -32,8 +32,8 @@ sillyspec flow start --change <YYYY-MM-DD-名> --input "<一句 10-30 字中文
 ## 核心规则
 1. **禁止绕过本文件规则和 SillySpec 流程**。所有变更走 sillyspec 流程，不裸改裸提交。
 2. **改代码前必须先说明依据**——依据的文档路径（design.md / 模块文档 / file-lifecycle.md（如有））或现有代码依据，无依据不改。
-3. **执行顺序**：文档 → 读代码 → 写测试 → 写实现 → 跑测试 → 验收 → 更新文档。测试按层适用：纯逻辑先写测试，行为契约断言用户可见行为，视觉样式与纯配置/文档不写测试（记「不适用：理由」，验收靠规范与人工）。
-4. **实证核验再收口**：触及 `src`/`test` 的改动，CLI 会在收口时亲自实测（实测失败阻断收口；纯 doc/配置自动跳过）。测试面按变更动态推断（本变更测试 ∪ FR 关联回归 ∪ import 依赖，runner 自项目结构推断——无需配置）；lint 走 `.sillyspec/local.yaml` 的 `commands.lint`。以落盘文件与测试结果为准，不信口头"已完成"。
+3. **执行顺序**：文档 → 读代码 → 写测试 → 写实现 → 跑测试 → 验收 → 更新文档（轻量道即：FR 绑定+design 四节+用户批准先于动码，读代码探究不算动码）。测试按层适用：纯逻辑先写测试，行为契约断言用户可见行为，视觉样式与纯配置/文档不写测试（记「不适用：理由」，验收靠规范与人工）。
+4. **实证核验再收口**：触及 `src`/`test` 的改动，CLI 会在收口时亲自实测（实测失败阻断收口；纯 doc/配置自动跳过）。测试面按变更动态推断（本变更测试 ∪ FR 关联回归 ∪ import 依赖，runner 自项目结构推断——无需配置）；lint 走 `.sillyspec/local.yaml` 的 `commands.lint`。以落盘文件与测试结果为准，不信口头"已完成"。自验口径＝变更测试面（新增测试+受影响既有面）+ lint 即收口证据——全量套件归 pre-push 门，勿每变更重复手跑（共享仓全量红先做归属判别，非本变更引入如实留痕不阻断）；跑批输出落 `.sillyspec/.runtime/logs/` 日志回看尾部，勿整段吞掉。
 5. **非测试逻辑本身有误时，禁止改测试来"通过"**——修逻辑，不修测试。
 6. **git hook 拦截提交时禁止跳过**（如 `.husky/pre-push`），修复问题后再提交。
 7. **代码必须兼容 Windows / Linux / macOS**（路径 / 换行 / 并发都要顾）。

package/README.md

@@ -46,9 +46,9 @@ npx sillyspec init
 | Claude Code（推荐） | `claude` | `AGENTS.md`（完整指引）+ `CLAUDE.md`（`@AGENTS.md` 指针）+ `.claude/skills/sillyspec-*/` |
 | Cursor | `cursor` | `.cursor/skills/sillyspec-*/` |
 | OpenAI Codex | `codex` | `AGENTS.md`（完整指引） |
-| OpenCode | `opencode` | `INSTRUCTIONS.md` |
 | OpenClaw | `openclaw` | `.openclaw/skills/sillyspec-*/` |
-| Gemini | `gemini` | `GEMINI.md` |
+| OpenCode | `opencode` | `AGENTS.md`（完整指引）+ `.opencode/skills/sillyspec-*/` |
+| Gemini | `gemini` | `AGENTS.md`（完整指引） |
 
 ```bash
 npx sillyspec init --tool claude      # 指定工具

package/assets/command-cards/flow.md

@@ -1,6 +1,6 @@
 ---
 name: sillyspec:flow
-description: 轻量变更（默认快道）：需求明确的小/中改动两步收口——flow start → 直接干活 → flow done
+description: 轻量变更（默认快道）：需求明确的小/中改动——flow start → 补 spec 面 → 批准 → 干活 → flow done
 ---
 # 何时用
 
@@ -18,12 +18,16 @@ sillyspec flow start --change <变更名> --input "<一句 10-30 字中文概括
 #    极速变体：用户显式说「极速/别验证/只要 spec 和代码」类原话时才加 --turbo（仅用户显式触发，
 #    禁止你自行启用）——flow-state 留痕，收口跳过实测与重仪式门（hunk/dirty/ui 探针/评审），
 #    spec 结构校验、tasks 全勾、ledger、patch 冻结、distill、归档照常；升厚即失效恢复全量仪式。
-# ② 直接干活：改代码写测试（按层适用——纯逻辑先写、行为契约断用户所见、样式/纯配置不写）；填 design.md 四节（空节 flow done 拒收；列改动文件用独立「## 文件变更清单」节）；
-#    tasks.md 是你的工作队列——机器种子改写为实现步骤（每行做什么+怎么验证，保持 `- [ ] task-NN:` 行形态），
+# ② 补 spec 面（动码前）：requirements FR 行为句（强度词）+ 测试绑定行、design.md 四节作答
+#    （空节 flow done 拒收；列改动文件用独立「## 文件变更清单」节）；tasks.md 改写为工作队列
+#    ——机器种子改写为实现步骤（每行做什么+怎么验证，保持 `- [ ] task-NN:` 行形态）。
+#    然后过断点①：摘要给用户看 → 用户运行 sillyspec flow approve --change <名>（批准留痕；
+#    用户显式说「直接跑完」→ 重跑 start --autopilot 豁免）。批准是动码前置义务，不是收口补救。
+# ③ 干活（已批准）：写测试、改代码（按层适用——纯逻辑先写、行为契约断用户所见、样式/纯配置不写）；
 #    执行循环：Working on task N/M → 做一件 → 测试绿后当场勾一格（sillyspec task tick --change <名> --task task-NN
 #    即时回显进度与下一任务）→ 下一行；每格勾选要有对应提交（消息带 task-NN），一把勾收口被拒。
 #    交付代码显式 pathspec 提交（patch 冻结面=baseline..HEAD 提交面，未提交不进审计件）
-# ③ 收口（CLI 亲自实测 test/lint + 独立评审定档 + patch 留档；--turbo 变更自动跳过实测与重仪式门）：
+# ④ 收口（CLI 亲自实测 test/lint + 独立评审定档 + patch 留档；--turbo 变更自动跳过实测与重仪式门）：
 sillyspec flow done --change <变更名>
 # 断点恢复 / 随时查进度：
 sillyspec flow status --change <变更名>

package/package.json

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

package/src/cross-repo-reconcile.js

@@ -215,8 +215,11 @@ export function collectRepoActual({ repoKey, specBase, cwd, runtimeRoot = null,
     // 2) 仓根（isAbsolute/resolve 兼容 Windows 盘符绝对注册与相对 cwd 注册）
     const repoPath = isAbsolute(rawPath) ? rawPath : resolve(cwd, rawPath)
     if (!existsSync(repoPath)) {
+      // degradedReason 不嵌绝对路径（2026-10-19-cross-repo-face-tool-filter，平台评审 P2）：
+      // 该文案会随 change-patch.json 冻结并透出到平台资产卡，本机布局属环境信息不外泄；
+      // repoPath 仍留在返回值供本机诊断使用。
       return { repo: repoKey, repoPath, anchor: degradedAnchor(), files: [],
-        degradedReason: `注册路径不可达：${repoPath}` }
+        degradedReason: `注册路径不可达（local.yaml repos.${repoKey} 的注册值在本机不存在）——请人工到对应仓核对` }
     }
 
     // 3) A 档 reviews-range：runtimeRoot 与 changeName 双提供才尝试（缺省跳过 = 向后兼容）

package/src/decision-distill.js

@@ -1,3 +1,15 @@
+/**
+ * 蒸馏异态判定（2026-10-20-distill-abnormal-upgrade-fix）：needsWait 非空是唯一异态信号——
+ * 与 needsWait 产出（distillIntoKnowledge）单一源同处，返回值契约变化时两处同文件可见不漂移。
+ * 历史：flow done 曾内联 `res.rejected > 0 || res.needsWait > 0`——前半引用返回值不存在的字段
+ * （幽灵引用恒 undefined），后半字符串与 >0 比较恒 false，「异态升厚留人工裁决」从未生效。
+ * @param {{ written?: unknown[], skipped?: string|null, needsWait?: string|null }} res distillIntoKnowledge 返回值（容错 null/undefined）
+ * @returns {boolean} needsWait 为非空字符串时 true
+ */
+export function isDistillAbnormal(res) {
+  return Boolean(res && typeof res.needsWait === 'string' && res.needsWait.length > 0)
+}
+
 /**
  * decision-distill — 决策提炼纯函数（change: 2026-08-23-adopt-harness-practices，FR-02/03/04，D-007@v1）
  *
@@ -24,14 +36,16 @@
 import { existsSync, mkdirSync, readFileSync, readdirSync, writeFileSync } from 'node:fs'
 import { modulePathMatches } from './modules.js'
 import { basename, dirname, join } from 'node:path'
-
-/** FR-02：有实现影响的五类 type（scope 与未知 type 的 confirmed/accepted 不入选） */
-// feasibility 补录（2026-09-11 驾驭第十二批，本仓归档 2026-08-08-concurrent-write-preflight 实证：
-// 8 条 feasibility+accepted 决策因五类集漏选从未入知识库）——可行性裁决是设计决策（技术选型/
-// 可行 vs 不可行），与五类同格；排除集本意只针对 scope（范围裁决不入库）。
-const IMPLEMENTED_TYPES = new Set(['architecture', 'compatibility', 'boundary', 'definition', 'process', 'feasibility', 'consistency'])
-/** FR-02：implemented 入选的 status（superseded 等其余状态不入选） */
-const IMPLEMENTED_STATUSES = new Set(['confirmed', 'accepted'])
+import { KNOWLEDGE_STATUSES, KNOWLEDGE_TYPES } from './decision-values.js'
+
+// 入选集=正典单一源派生（2026-10-20-decision-caliber-unify）。历史：五类集漏选 8 条
+// feasibility+accepted 决策（2026-09-11 驾驭第十二批，2026-08-08-concurrent-write-preflight
+// 实证）后扩为 7 值字面集；scope 排除是刻意设计（范围裁决不入库）。现改 KNOWLEDGE_TYPES 派生
+// （恰等于历史 7 值零漂移）。状态集纳入 implemented：知识库入选输出值本就是「状态：implemented」，
+// 输入侧声明 implemented 却永不入选是白名单后加未同步蒸馏的遗留缺陷。
+const IMPLEMENTED_TYPES = new Set(KNOWLEDGE_TYPES)
+/** FR-02：implemented 入选的 status（proposed/draft/superseded 等其余状态不入选） */
+const IMPLEMENTED_STATUSES = new Set(KNOWLEDGE_STATUSES)
 /** 三级兜底终点域（仍不中归此；域文件由本模块自管） */
 const UNMAPPED_DOMAIN = 'unmapped'
 /** 旧格式容错占位值（FR-01：缺锚点/缺 headHash 不阻断） */

package/src/decision-values.js

@@ -0,0 +1,34 @@
+/**
+ * decision-values.js — 决策 type/status 正典值集单一源（2026-10-20-decision-caliber-unify）。
+ *
+ * 背景：值集此前三套口径并存——decisions-io 写入白名单（type 6 值缺 feasibility/consistency）、
+ * decision-distill 蒸馏入选集（类型 7 值含 scope 排除；状态仅 confirmed/accepted，implemented
+ * 写入合法却永不入选）、brainstorm 提示面两处清单（term/premise/risk/unresolved 等机器永不
+ * 收录的值）。写入者拒绝蒸馏想收的值、提示面教 agent 写机器不认的值——口径漂移是事故温床
+ * （八条 feasibility 决策因五类集漏选入库事故，见 decision-distill.js 头注）。
+ *
+ * 单一消费契约：
+ *   - decisions-io 写入白名单 = 正典全集（fail-fast 拦正典外值）
+ *   - decision-distill 入选裁决 = KNOWLEDGE_* 派生集（scope 刻意不入知识库——范围裁决，
+ *     文档明载；KNOWLEDGE_TYPES 恒等于正典去 scope）
+ *   - brainstorm 决策记录提示清单 = 正典全集（渲染产物 docs/prompt/ 经 _extract 链同步）
+ *
+ * 开放世界边界：手写 decisions.md 的历史散值（40+ 种 type）不在正典集，由 parseDecisions
+ * 宽容解析保留、蒸馏不入选——存量行为零变化，本集只约束机器面（写入校验/入选裁决/提示文案）。
+ */
+
+/** 正典 type：写入白名单全集（8 值）。 */
+export const DECISION_TYPES = Object.freeze([
+  'architecture', 'compatibility', 'boundary', 'definition', 'process', 'scope', 'feasibility', 'consistency',
+])
+
+/** 正典 status：写入白名单全集（7 值）。 */
+export const DECISION_STATUSES = Object.freeze([
+  'confirmed', 'accepted', 'implemented', 'rejected', 'proposed', 'superseded', 'draft',
+])
+
+/** 蒸馏入选 type：正典去 scope（范围裁决刻意不入知识库，保持既有 7 值口径）。 */
+export const KNOWLEDGE_TYPES = Object.freeze(DECISION_TYPES.filter((t) => t !== 'scope'))
+
+/** 蒸馏入选 status：定案/接受/已实现三值（rejected 走独立防复潮通道，其余状态不入选）。 */
+export const KNOWLEDGE_STATUSES = Object.freeze(['confirmed', 'accepted', 'implemented'])

package/src/decisions-io.js

@@ -17,9 +17,12 @@
 import { existsSync, readFileSync } from 'node:fs'
 import { join } from 'node:path'
 import { writeAtomicSync } from './fs-atomic.js'
+import { DECISION_STATUSES, DECISION_TYPES } from './decision-values.js'
 
-const STATUS_VALUES = new Set(['confirmed', 'accepted', 'implemented', 'rejected', 'proposed', 'superseded', 'draft'])
-const TYPE_VALUES = new Set(['architecture', 'compatibility', 'boundary', 'definition', 'process', 'scope'])
+// 白名单=正典全集单一源派生（2026-10-20-decision-caliber-unify）：此前字面集与蒸馏入选集、
+// brainstorm 提示清单三套口径漂移——feasibility/consistency 被写入者拒绝而蒸馏想收。
+const STATUS_VALUES = new Set(DECISION_STATUSES)
+const TYPE_VALUES = new Set(DECISION_TYPES)
 
 /**
  * canonical 条目渲染（正文散文行原样保留在 body 数组）。

package/src/design-facts.js

@@ -387,7 +387,7 @@ export function generateDesignSkeleton({ changeName, decisionsText, author, now
   lines.push('- [ ] frontmatter 字段齐全（author/created_at/scale）')
   lines.push('- [ ] 引用所有当前版本 D-xxx@vN')
   lines.push('- [ ] 涉及生命周期关键词时含「生命周期契约表」或紧邻豁免短语')
-  lines.push('- [ ] UI 原型分级核对（涉前端文件时变更目录应有 prototype-*.html——新生成（定稿＝与实现同方言的真码产物，手绘仅限粗选，输出须带素材来源声明：token 源/组件来源/入口位置）或登记复用（复用须按 prototype-<名称>.html 命名，execute 才注入）或跳过原因记入风险登记；本仓形态未在 local.yaml ui_prototype 登记的，收口前补登记）')
+  lines.push('- [ ] UI 原型分级核对（涉前端文件时变更目录应有 prototype-*.html——新生成（定稿＝与实现同方言的真码产物，手绘仅限粗选，输出须带素材来源声明：token 源/组件来源/入口位置；产物必须可溯源到源码（管线编译/真实渲染捕获/登记复用三通道），手写 HTML 不得交付，对比稿供用户决策即定稿）或登记复用（复用须按 prototype-<名称>.html 命名，execute 才注入）或跳过原因记入风险登记；本仓形态未在 local.yaml ui_prototype 登记的，收口前补登记）')
   lines.push('- [ ] 不确定的问题标注「⚠️ 自审存疑」')
   lines.push('')
 

package/src/flow-draft.js

@@ -327,7 +327,7 @@ function draftTasksV2({ change, criteria, withTasks }) {
  * 零 advisory——工作分解归 agent，2026-10-07-thin-tasks-v3）。
  * adopted brainstorm 变更（opts.skipDesign）豁免 design 四节门（设计承诺以 brainstorm design 为准）。
  */
-export function verifyThinDocsV2({ changeDir, ledger, skipDesign = false }) {
+export function verifyThinDocsV2({ changeDir, ledger, skipDesign = false, repair = true }) {
   const violations = []
   const advisories = []
   const repairs = []
@@ -392,12 +392,18 @@ export function verifyThinDocsV2({ changeDir, ledger, skipDesign = false }) {
         }
       }
       if (repairEntries.length > 0) {
-        try {
-          writeAtomicSync(join(changeDir, 'design.md'), repairedLines.join('\n'))
-          dLines = repairedLines
-          for (const e of repairEntries) repairs.push(`design「${e.heading}」问题行曾被改写——已按锚回填原文（agent 作答保留）：${e.q}`)
-        } catch {
-          for (const e of repairEntries) violations.push(`design「${e.heading}」问题文本被改写——原文：${e.q}（机器回填写盘失败，请手工恢复此行，答案写在下方）`)
+        // repair:false 只读轨（2026-10-19-approve-gate-tick-nudge）：approve 批准面不做自动
+        // 回填（写盘修复属 flow done 面）——违规照报，design.md 字节不动。
+        if (repair === false) {
+          for (const e of repairEntries) violations.push(`design「${e.heading}」问题文本被改写——原文：${e.q}（批准校验只读不自动回填，手工恢复此行后重试）`)
+        } else {
+          try {
+            writeAtomicSync(join(changeDir, 'design.md'), repairedLines.join('\n'))
+            dLines = repairedLines
+            for (const e of repairEntries) repairs.push(`design「${e.heading}」问题行曾被改写——已按锚回填原文（agent 作答保留）：${e.q}`)
+          } catch {
+            for (const e of repairEntries) violations.push(`design「${e.heading}」问题文本被改写——原文：${e.q}（机器回填写盘失败，请手工恢复此行，答案写在下方）`)
+          }
         }
       }
       for (const sec of anchorSections) {
@@ -1057,13 +1063,13 @@ export function amendFlowDraft({ changeDir, change, runtimeRoot }) {
  *  schemaVersion===2 → verifyThinDocsV2（文档↔锚对比：问题/节/FR/绑定拒收 + 漂移 advisory）；
  *  v1（缺省）→ verifyMarkers 指纹三态（存量在途变更零影响）。
  *  opts.skipDesign：adopted brainstorm 变更豁免 design 四节门（flow.js 判定后透传）。 */
-export function verifyFlowDrafts({ changeDir, change, runtimeRoot, skipDesign = false }) {
+export function verifyFlowDrafts({ changeDir, change, runtimeRoot, skipDesign = false, repair = true }) {
   const ledgerPath = draftLedgerPath(runtimeRoot, change)
   if (!existsSync(ledgerPath)) return { applicable: false, violations: [] }
   let ledger
   try { ledger = JSON.parse(readFileSync(ledgerPath, 'utf8')) } catch { return { applicable: false, violations: [] } }
   if (ledger.schemaVersion === DRAFT_SCHEMA_V2) {
-    const r = verifyThinDocsV2({ changeDir, ledger, skipDesign })
+    const r = verifyThinDocsV2({ changeDir, ledger, skipDesign, repair })
     return { applicable: true, schema: DRAFT_SCHEMA_V2, ...r }
   }
   const violations = []

package/src/flow-parity.js

@@ -267,13 +267,24 @@ export function renderThinDocsDebt({ specBase, projectRoot, changedFiles } = {})
  */
 export function renderVerifyReceipt({ change, baseline, head, gateSummary, review, traceCount, patchMeta, generatedAt }) {
   const sha = patchMeta && patchMeta.patchSha256 ? patchMeta.patchSha256.slice(0, 12) : null
+  // 空面跨仓冻结（2026-10-19-thin-empty-face-cross-repo-freeze）：JSON-only 留档没有顶级
+  // patchSha256，但 scopeAudit.repos[] 内有跨仓 patch 正文——回执须如实报「跨仓 N 仓」，
+  // 不能写「无冻结件」（否则平台/归档读者把成功冻结误判成缺件）。
+  const repoFrozen = patchMeta && patchMeta.scopeAudit && Array.isArray(patchMeta.scopeAudit.repos)
+    ? patchMeta.scopeAudit.repos.filter((r) => r && typeof r.patch === 'string' && r.patch.length > 0)
+    : []
+  const freezeLine = sha
+    ? `change.patch（sha256 ${sha}…）`
+    : repoFrozen.length > 0
+      ? `跨仓 ${repoFrozen.length} 仓（diff 见 change-patch.json scopeAudit.repos[]；主仓面为空）`
+      : '（无冻结件）'
   const reviewLine = review
     ? review.verdict === 'exempt'
       ? '豁免（低风险证据齐全' + (review.sampled ? '' : '') + '）'
       : `${review.verdict}（reviewer 见 review.json${Number.isFinite(review.findingsP1) ? `，P1 ${review.findingsP1}` : ''}）`
     : '—'
   const headNote = head && baseline && head === baseline
-    ? '（等于基线——交付代码尚未提交，冻结面以 change.patch 实际内容为准）'
+    ? '（等于基线——交付代码尚未提交，冻结面以交付留档实际内容为准：change.patch 或 change-patch.json repos[]）'
     : ''
   return [
     `---`,
@@ -287,7 +298,7 @@ export function renderVerifyReceipt({ change, baseline, head, gateSummary, revie
     `- **实测面**：${gateSummary || '—'}`,
     `- **独立评审**：${reviewLine}`,
     `- **测试绑定**：${traceCount > 0 ? `${traceCount} 行（test-trace.json，已随发号提升）` : '0（无锚行）'}`,
-    `- **交付冻结**：${sha ? `change.patch（sha256 ${sha}…）` : '（无冻结件）'}`,
+    `- **交付冻结**：${freezeLine}`,
     `- **生成**：${generatedAt}（机器合成，勿手改；明细见 flow-telemetry.jsonl / change-patch.json）`,
     ``,
   ].join('\n')
@@ -368,9 +379,23 @@ export default { reconcileModuleDocs, renderVerifyReceipt, harvestSlot4Decision,
  * 反解，baseline 自 flow-state.yaml 读取；不可得（非 git 仓/无 flow-state/git 失败/归档后
  * 目录已移走）= 行为与旧版完全一致。保守：被无后缀裸提交触碰过的文件不剔（fail-closed）。
  */
+// 工具治理模板（2026-10-19-freeze-filter-tool-scaffold）：各 agent 工具的
+// skills/commands/settings 注入面——不是本项目的交付语义，冻结面出现只会刷屏
+// 真实交付（消防工作区 4e9eb05b 实证：61 文件里 50 个是 .claude/.codex 模板）。
+// AGENTS.md / INSTRUCTIONS.md 是项目级指令（可能是变更的真实交付），保留。
+const TOOL_GOVERNANCE_DIRS = ['.claude/', '.codex/', '.gemini/', '.opencode/', '.zcode/', '.cursor/']
+const TOOL_GOVERNANCE_FILES = new Set(['CLAUDE.md'])
+
+export function isToolGovernancePath(f) {
+  const p = String(f || '').replace(/\\/g, '/')
+  if (!p) return false
+  return TOOL_GOVERNANCE_FILES.has(p) || TOOL_GOVERNANCE_DIRS.some((d) => p.startsWith(d))
+}
+
 export function filterCommittedFace(committedRaw, ownPrefix, opts = {}) {
   const base = committedRaw
     .map((f) => String(f).replace(/\\/g, '/'))
+    .filter((p) => !isToolGovernancePath(p))
     .filter((p) => !p.startsWith('.sillyspec/') || p.startsWith('.sillyspec/docs/'))
   try {
     const cwd = opts.cwd || process.cwd()
@@ -409,6 +434,63 @@ export function filterCommittedFace(committedRaw, ownPrefix, opts = {}) {
  * @param {{ cwd: string, change: string, freezeHead: string|null }} opts
  * @returns {{ drifted: boolean, ownCommits: string[], head: string|null, ownFiles: string[], governanceOnly: boolean, touchedPromiseFace: boolean }} ownCommits=本变更后缀提交的 subject 列表（截 80 字）
  */
+/**
+ * 冻结件完整性探针（2026-10-19-thin-empty-face-cross-repo-freeze）：空面跨仓冻结走
+ * JSON-only 留档（主仓面为空，`scopeAudit.repos[]` 承载跨仓 patch 正文，无 change.patch）。
+ * 存在性复查不能把「无 change.patch」一律判缺件——JSON 在场且 repos 内有 patch 正文即完整。
+ * 坏 JSON/读失败按缺件处理（重冻结兜底，fail-safe 不新造静默跳过面）。
+ * @returns {{ hasJson: boolean, hasText: boolean, repoPatchCount: number, complete: boolean }}
+ */
+export function inspectFreezeArtifacts(changeDir) {
+  const patchJsonPath = join(changeDir, 'change-patch.json')
+  const patchTextPath = join(changeDir, 'change.patch')
+  const hasJson = existsSync(patchJsonPath)
+  const hasText = existsSync(patchTextPath)
+  let repoPatchCount = 0
+  let jsonOk = false
+  if (hasJson) {
+    try {
+      const meta = JSON.parse(readFileSync(patchJsonPath, 'utf8'))
+      jsonOk = true
+      const repos = meta && meta.scopeAudit && meta.scopeAudit.repos
+      if (Array.isArray(repos)) {
+        repoPatchCount = repos.filter((r) => r && typeof r.patch === 'string' && r.patch.length > 0).length
+      }
+    } catch { /* 坏 JSON → 按缺件处理（重冻结兜底） */ }
+  }
+  // jsonOk 与 hasText 必须同时成立：change.patch 在场但 change-patch.json 损坏时，
+  // 冻结元数据已不可信（审计面缺锚），不能因正文文件在就判完整。
+  return { hasJson, hasText, jsonOk, repoPatchCount, complete: jsonOk && (hasText || repoPatchCount > 0) }
+}
+
+/**
+ * 冻结缺口标签（存在性复查的调用点共用逻辑，纯函数便于直测）：
+ * 完整 → []；否则给出可读缺件清单（坏 JSON 与真缺件区分，防止「正文在就判完整」盲区）。
+ * @param {{ hasJson?: boolean, hasText?: boolean, jsonOk?: boolean, repoPatchCount?: number, complete?: boolean }} state
+ * @returns {string[]}
+ */
+export function freezeGapLabels(state) {
+  const s = state && typeof state === 'object' ? state : {}
+  if (s.complete === true) return []
+  const gaps = []
+  if (!s.hasJson) gaps.push('change-patch.json')
+  else if (!s.jsonOk) gaps.push('change-patch.json（损坏）')
+  if (!s.hasText && !(Number(s.repoPatchCount) > 0)) gaps.push('change.patch')
+  if (gaps.length === 0) gaps.push('冻结件不完整')
+  return gaps
+}
+
+/**
+ * 冻结缺口标签（目录级入口，flow done 存在性复查的唯一调用面）：
+ * 检查（inspect）与标签（freezeGapLabels）一次封装——调用点直接用本函数，
+ * 直测本函数即覆盖调用点接线（防「探针修了调用点没接」的回归）。
+ * @param {string} changeDir
+ * @returns {string[]}
+ */
+export function missingFreezeLabels(changeDir) {
+  return freezeGapLabels(inspectFreezeArtifacts(changeDir))
+}
+
 export function detectPatchDrift({ cwd, change, freezeHead }) {
   try {
     if (!freezeHead) return { drifted: false, ownCommits: [], head: null, ownFiles: [], governanceOnly: false, touchedPromiseFace: false }
@@ -442,6 +524,7 @@ export function detectPatchDrift({ cwd, change, freezeHead }) {
  */
 export function collectFreezeFiles({ cwd, specBase, change, committed, exclusive }) {
   const deliverable = (f) => !String(f).replace(/\\/g, '/').startsWith('.sillyspec/')
+    && !isToolGovernancePath(f)
   let dirty = []
   try {
     // -uall（2026-10-08-thin-done-dirty-gate-and-paren-attribution）：全新目录会折叠成
@@ -519,6 +602,7 @@ export function scanOrphanFace(cwd, { baseline } = {}) {
     .split('\n').map((s) => s.trim()).filter(Boolean)
   const isAncestor = (sha, of) => git(['merge-base', '--is-ancestor', sha, of], {}) !== null
   const deliverable = (f) => !String(f).replace(/\\/g, '/').startsWith('.sillyspec/')
+    && !isToolGovernancePath(f)
   const orphanCommits = []
   const orphanFiles = new Set()
   for (const h of [...new Set(reflogHashes)]) {
@@ -656,13 +740,17 @@ export function projectTraceFaceRows(rows) {
  * @param {object} meta change-patch.json 顶级增量键（note/moduleScope 等，展开在 totals 后）
  * @returns {{ patchStatus: 'ok'|'failed', patchSha256: string|null }}
  */
-export function writeCloseTraceArtifacts({ changeDir, change, baseline, head, files, metaTotals, patchText, savedAt, snapObj, meta = {} }) {
+export function writeCloseTraceArtifacts({ changeDir, change, baseline, head, files, metaTotals, patchText, savedAt, snapObj, meta = {}, patchStatus = null }) {
   const fileList = Array.isArray(files) ? files : []
   const patchOk = typeof patchText === 'string' && patchText.length > 0
   const patchBody = patchOk ? (patchText.endsWith('\n') ? patchText : patchText + '\n') : null
   const patchSha256 = patchBody
     ? createHash('sha256').update(patchBody.replace(/\r\n/g, '\n'), 'utf8').digest('hex')
     : null
+  // 显式 patchStatus（2026-10-19-thin-empty-face-cross-repo-freeze）：空面跨仓冻结
+  // 没有主仓 patchText，但冻结本身成功——调用方传 'ok' 表达「冻结成功，无主仓 patch」，
+  // 不能复用 patchText 判空落 'failed'（平台/归档读者会把成功冻结误判为采集失败）。
+  const status = patchStatus === 'ok' || patchStatus === 'failed' ? patchStatus : (patchOk ? 'ok' : 'failed')
   if (patchOk) writeFileSync(join(changeDir, 'change.patch'), patchBody)
   writeFileSync(join(changeDir, 'change-patch.json'), JSON.stringify({
     change,
@@ -676,9 +764,9 @@ export function writeCloseTraceArtifacts({ changeDir, change, baseline, head, fi
     ...meta,
     scopeAudit: { ...snapObj },
     ...(patchSha256 ? { patchSha256 } : {}),
-    patchStatus: patchOk ? 'ok' : 'failed',
+    patchStatus: status,
   }, null, 2) + '\n')
-  return { patchStatus: patchOk ? 'ok' : 'failed', patchSha256 }
+  return { patchStatus: status, patchSha256 }
 }
 
 /**