sillyspec 3.28.2 → 3.28.4

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

@@ -3,62 +3,23 @@ name: sillyspec:state
 description: 查看当前工作状态 — 显示 SillySpec 进度
 ---
 
-你现在是 SillySpec 的状态查看器。
-
 ## 流程
 
-### 1. 读取进度
-
-```bash
-sillyspec progress show
-```
-
-### 2. 如果有活跃变更
-
-格式化展示当前状态：
-
-> 📊 当前状态
->
-> **变更**：<名称>
-> **阶段**：<当前阶段>
-> **进度**：<具体进度>
-> **下一步**：<命令>
->
-> **阶段进度**（大模块）：
-> （显示各阶段状态表）
->
-> **关键决策**：
-> - xxx
->
-> **阻塞项**：
-> - xxx（如无则省略）
-
-### 3. 如果没有活跃变更
-
-提示用户项目还没有开始：
+跑 `sillyspec progress show [--change <名>]`，把 CLI 输出**原样转述**给用户即可——输出本身已是成品格式（变更/阶段/最近活跃/未决冲突/滞留信号/下一步建议），勿再按自备模板重排。
 
-> 📊 还没有工作记录。
->
-> 开始使用：
-> - 新项目：`/sillyspec:init`
-> - 已有项目：`/sillyspec:scan`
-> - 恢复中断的工作：`/sillyspec:resume`
->
-> 进度数据会在 `sillyspec init` 时自动创建到 SQLite 数据库中。
+- 多活跃变更时输出为汇总表；需要单变更细节加 `--change <名>`。
+- 输出「没有活跃的变更」时，提示用户：新项目 `/sillyspec:init`、已有项目 `/sillyspec:scan`、恢复中断 `/sillyspec:resume`。
 
-## progress 完整子命令（只读查询 / 诊断）
+## progress 只读子命令（诊断用）
 
 ```bash
-sillyspec progress show [--change <名>]    # 当前工作状态（本 skill 主命令）
 sillyspec progress check                   # 状态一致性检查（只报告，不修复）
 sillyspec progress repair                  # 修复状态元数据（dry-run，加 --apply 才真改）
 sillyspec progress validate                # 校验并修复
 sillyspec progress reset [--stage <阶段>]  # 重置进度（破坏性，慎用）
 ```
 
-### 注意
+- `/sillyspec:status` 看项目整体进度（change 文件级别）；`/sillyspec:state` 看当前工作状态（阶段/步骤级别）——status 看"有什么"，state 看"在做什么"。
 
-- 这是只读命令，**不修改任何文件**（repair/validate/reset 除外）
-- `/sillyspec:status` 查看项目整体进度（change 文件级别）
-- `/sillyspec:state` 查看当前工作状态（阶段/步骤级别）
-- 两者互补：status 看"有什么"，state 看"在做什么"
+## 用户指令
+$ARGUMENTS

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

@@ -5,171 +5,29 @@ description: 工作区管理 — 初始化、管理多项目工作区，查看
 
 ## 交互规范
 
-**当需要用户从多个选项中做出选择时，必须使用 Claude Code 内置的 AskUserQuestion 工具，将选项以参数传入。**
+**当需要用户从多个选项中做出选择时，必须使用 Claude Code 内置的 AskUserQuestion 工具，将选项以参数传入。** 不要用编号列表让用户手动输入数字。需要自由输入时在选项中加入"Other（自定义输入）"。
 
-不要用编号列表让用户手动输入数字。
-如果需要自由输入，在 AskUserQuestion 的选项中加入"Other（自定义输入）"。
+## CLI 命令（一切读写都走命令，勿手写 yaml / 勿 bash 解析）
 
----
-
-## CLI 边界（重要）
-
-`sillyspec workspace` 命令已存在（2026-08-21 落地）：
 ```bash
-sillyspec workspace add <名> <相对路径> [--role <角色>] [--repo <仓库地址>]   # 登记子项目（外科写入 yaml，已有字段保留）
+sillyspec workspace add <名> <相对路径> [--role <角色>] [--repo <仓库地址>]   # 登记子项目（外科写入 yaml，已有字段保留；路径须存在）
 sillyspec workspace remove <名>                                             # 删除登记（项目本体不动）
-sillyspec workspace status                                                  # 三态探测表（已扫描/已初始化/未初始化）
-```
-优先用命令；命令异常时才按下文手工兜底（yaml 字段口径：init 写 name/path/status 三字段，role/repo 由 add 追加）。
-
-## 相关 CLI 命令
-
-```bash
-sillyspec scan                       # 扫描子项目生成文档
-sillyspec init [--tool <名>]         # 安装命令模板
-sillyspec progress show              # 查看进度
+sillyspec workspace status                                                  # 三态探测表（未初始化/已初始化/已扫描+文档数）
 ```
 
-你现在是 SillySpec 的工作区管理器。
-
-## 用户指令
-$ARGUMENTS
+无参运行任一子命令可见用法。`status` 的输出即成品状态表，直接转述给用户即可，勿再自行 for-loop 探测。
 
 ## 核心流程
 
-### Step 1: 检查工作区配置
-
-```bash
-ls .sillyspec/projects/*.yaml 2>/dev/null | grep -q .
-```
-
-如果不存在 → 这是一个尚未配置工作区的项目。询问用户：
-   1. 初始化工作区
-   2. 跳过
-
-### Step 2: 解析指令
-
-根据 `$ARGUMENTS` 或默认行为：
-
-- **无参数 / `status`** → 显示工作区状态
-- **`add`** → 添加子项目
-- **`remove`** → 移除子项目
-- **`info`** → 显示某个子项目详情
-- 无参数且 projects/*.yaml 不存在 → 初始化工作区
-
-### Step 3: 执行对应操作
-
-#### 3a. 初始化工作区（projects/ 不存在时）
-
-1. 询问工作区名称（默认用当前目录名）
-2. 逐个添加子项目：
-   - 询问子项目名称（如 `frontend`、`backend`）
-   - 询问子项目路径（相对于工作区根目录，如 `./frontend`）
-   - 询问子项目角色描述（如 `前端 - Vue3 + TypeScript`）
-   - 询问仓库地址（可选）
-   - 验证路径存在
-   添加完后询问：
-   > 1. 继续添加子项目
-   > 2. 完成，配置共享规范
-3. 询问共享规范文件
-4. 为每个子项目创建 `.sillyspec/projects/<name>.yaml`：
-   ```yaml
-   name: <name>
-   path: <relative-path>
-   status: active
-   ```
-   > ⚠️ `sillyspec init` 只会写入 `name`、`path`、`status` 三个字段。
-   > `role` 和 `repo` 由 `/sillyspec:workspace add` 追加。
-5. 创建 `.sillyspec/shared/` 目录
-
-#### 3b. 添加子项目（`add`）
-
-1. 询问名称、路径、角色
-2. 验证路径存在
-3. 创建/更新 `.sillyspec/projects/<name>.yaml`
-4. Git 提交
-
-#### 3c. 移除子项目（`remove`）
-
-1. 显示当前所有子项目列表
-2. 询问要移除哪个：
-   > 1. （列出子项目名称）
-   > 2. 取消
-3. 删除 `.sillyspec/projects/<name>.yaml`
-4. Git 提交
-
-#### 3d. 工作区状态（`status`，默认）
-
-读取所有 `projects/*.yaml`，对每个子项目检查：
-
-```bash
-# 读取子项目列表
-for f in .sillyspec/projects/*.yaml; do
-  [ -f "$f" ] || continue
-  proj_name=$(basename "$f" .yaml)
-  proj_path=$(grep '^path:' "$f" | head -1 | sed 's/^path:[[:space:]]*//')
-  proj_role=$(grep '^role:' "$f" | head -1 | sed 's/^role:[[:space:]]*//')
-  # 检查子项目状态
-  cd "$proj_path"
-  ls .sillyspec/ 2>/dev/null
-  cat .sillyspec/PROJECT.md 2>/dev/null
-  ls .sillyspec/docs/${proj_name}/scan/ 2>/dev/null | wc -l
-  cd -
-done
-```
-
-输出格式：
-
-```
-🏢 工作区：<workspace-name>
-
-📦 子项目（N 个）：
-  ✅ frontend  ./frontend       前端 - Vue3 + TypeScript    已扫描（7 份文档）
-  ⚠️ backend   ./backend        后端 - Node.js              已初始化（未扫描）
-  ❌ miniprogram  ./miniprogram  小程序 - Taro               未初始化
-
-📄 共享规范：2 份
-  - api-contract.md
-  - data-models.md
-
-💡 操作：
-  /sillyspec:workspace add        — 添加子项目
-  /sillyspec:workspace remove     — 移除子项目
-  /sillyspec:init                 — 初始化子项目
-  /sillyspec:scan                 — 扫描子项目
-```
-
-#### 3e. 子项目详情（`info <name>`）
-
-显示指定子项目的详细信息，包括 PROJECT.md、REQUIREMENTS.md 内容摘要、扫描文档列表。
-
-### Step 4: projects/*.yaml 格式
-
-每个子项目对应 `.sillyspec/projects/<name>.yaml`：
-
-**sillyspec init 创建的格式（3 字段）：**
-```yaml
-name: frontend
-path: ./frontend
-status: active
-```
-
-**workspace add 扩展的格式（最多 5 字段）：**
-```yaml
-name: frontend
-path: ./frontend
-status: active
-role: 前端 - Vue3 + TypeScript
-repo: https://github.com/xxx/frontend.git  # 可选
-```
-
-### 最后说：
-
-> 工作区已更新。
-> 下一步：对子项目运行 `/sillyspec:init` 或 `/sillyspec:scan`。
+1. **解析指令**：无参数 / `status` → 跑 `workspace status` 转述；`add` / `remove` → 交互收集参数后跑命令；`info <名>` → 读该子项目 `PROJECT.md` / `REQUIREMENTS.md` 摘要转述。
+2. **初始化工作区**（`projects/` 尚无任何 yaml 且用户同意时）：用 AskUserQuestion 逐个收集子项目名称/相对路径/角色（可选 repo），每收集一个跑一次 `workspace add`；添加完询问是否继续或完成。共享规范目录 `.sillyspec/shared/` 需要时手动创建。
+3. **收尾**：add/remove 后建议 git 提交（CLI 只写 yaml 不提交）；提示下一步对子项目跑 `/sillyspec:init` 或 `/sillyspec:scan`。
 
 ## 绝对规则
+
 - 不修改子项目目录下的任何文件
-- projects/*.yaml 必须是合法 YAML
-- 子项目路径必须是相对于工作区根目录的相对路径
-- 路径必须验证存在性
+- 子项目路径必须是相对于工作区根目录的相对路径，且真实存在（`workspace add` 会校验）
+- yaml 读写一律交给 CLI——字段口径（name/path/status/role/repo）由命令维护，不手工拼
+
+## 用户指令
+$ARGUMENTS

package/AGENTS.md

@@ -0,0 +1,24 @@
+<!-- SillySpec v3.28.3 — 由 sillyspec init 生成，可自由编辑；重跑 init 同版本不更新 -->
+# Agent 指引
+
+## 项目说明
+本项目使用 **SillySpec** 管理变更，采用文档驱动开发。SillySpec 是给 Agent 调用的 CLI 流程控制器，不是给人类直接使用的产品，也不是处理业务逻辑的工具——你（Agent）通过 CLI 告诉它"我在哪"，它告诉你"下一步做什么"；你执行步骤，它校验产出、推进状态，人类只在关键决策点介入审批。要考虑多 agent 同时操作代码，代码随时可能变化。所有变更以稳定、可用、可维护为目标，按生产级标准处理。
+
+## 核心规则
+1. **禁止绕过本文件规则和 SillySpec 流程**。所有变更走 sillyspec 流程，不裸改裸提交。
+2. **改代码前必须先说明依据**——依据的文档路径（design.md / 模块文档 / file-lifecycle.md）或现有代码依据，无依据不改。
+3. **新功能 / 大改动走完整流程**：`brainstorm → plan → execute → verify → archive`。
+4. **小修复 / 小调整走 quick**：`sillyspec run quick`。
+5. **执行顺序**：文档 → 读代码 → 写测试 → 写实现 → 跑测试 → 验收 → 更新文档。
+6. **判规模选档**：≤3 文件、范围明确走 `quick`；多阶段 / 架构级走完整流程。
+7. **代码先行不补流程（倒推 B 模式）**：代码若已先写好，**不回头补 brainstorm/plan 装样子**——用 `quick --done` 收尾 + 补 quicklog 条目，把已落盘改动如实登记进进度库。
+8. **实证核验再 `--done`**：触及 `src`/`test` 的改动，CLI 会在 `quick --done` 时**亲自实测** `.sillyspec/local.yaml` 的 `commands.test` / `commands.lint`（门禁：实测失败阻断 --done 回 pending；纯 doc/配置与未配置命令自动跳过；倒推 B 模式按 --files 声明边界兜底判定）。agent 侧预跑**可选**——想省「--done 被拦→修复→重跑」一轮时才预跑；纯 doc/配置改动无需跑。以落盘文件与测试结果为准，不信口头"已完成"。
+9. **中途停下不靠额外命令存进度**——进度已由上一次 `--done` 自动落盘；恢复时用 `sillyspec progress show` 查看进度，再用 `sillyspec run <stage>` 续跑，不直接 commit 半成品。
+10. **实现完成后对照文档验收**（design.md / 模块文档），并检查是否影响已有测试。
+11. **非测试逻辑本身有误时，禁止改测试来"通过"**——修逻辑，不修测试。
+12. **git hook 拦截提交时禁止跳过**（如 `.husky/pre-push`），修复问题后再提交。
+13. **代码必须兼容 Windows / Linux / macOS**（路径 / 换行 / 并发都要顾）。
+14. **任务记录隔离**：永不重置 / reset / 清零已存在的 change；多个活跃 change 各自 `--change <名>` 隔离不重叠；quick 同一 QUICKLOG 按 ql-ID 条目追加，不冲突。
+15. **quicklog 结构化落盘**：末步 `--done` 用四参数 `--req/--cause/--solution/--result`（CLI 合成结构化 output 并自动提取标题/四段分行）；文件括注用 `--file-notes "path::注 || path2"`。骨架由 CLI 接管，`--done` 后按需核对即可，勿手拼模板。
+16. **代码可能随时在修改**（多 agent 并行），Edit 前重跑 + 查最新态；破坏性 git op 前先备份。
+17. **不奉承用户**，禁止"你说得对"类话术，直接给结论、依据、方案。

package/INSTRUCTIONS.md

@@ -0,0 +1,12 @@
+## SillySpec — 规范驱动开发
+
+在执行开发任务时，遵循以下规范：
+
+### 代码规范
+- 写代码前先读取 `.sillyspec/docs/<project>/scan/CONVENTIONS.md`（代码风格）和 `.sillyspec/docs/<project>/scan/ARCHITECTURE.md`（架构）
+- 调用已有方法前，用 grep 确认方法存在，不许编造
+- 遵循 `.sillyspec/docs/<project>/scan/CONVENTIONS.md` 中的代码风格
+
+### 工作流程
+- 读取 sillyspec.db 确认当前阶段（使用 `sillyspec progress show`）
+- 各阶段产出文件位于 `.sillyspec/changes/<变更名>/` 下

package/package.json

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

package/src/archive-delta.js

@@ -28,12 +28,13 @@
  * 依赖方向（单向防环）：archive-delta → design-facts / modules / endpoint-baseline /
  * endpoint-extractor，被依赖者均不反向 import 本模块。
  */
-import { existsSync, readFileSync, readdirSync } from 'node:fs'
+import { existsSync, readFileSync, readdirSync, writeFileSync, mkdirSync } from 'node:fs'
 import { basename, dirname, join } from 'node:path'
 import { parseDecisionDomains, loadModuleMap, deriveActualModules } from './design-facts.js'
 import { parseModuleMapSimple } from './modules.js'
 import { scanBackendEndpoints } from './endpoint-extractor.js'
 import { diffEndpointSets } from './endpoint-baseline.js'
+import { resolveVerifyChangedFiles } from './verify-postcheck.js'
 
 // ---------------------------------------------------------------------------
 // 小工具（全部 fail-soft：读不到/解析失败 → null / []，不抛出）
@@ -201,7 +202,7 @@ export function collectDeltaSources({ changeDir, specRoot, project, runtimeRoot,
  *   ISO（缺省当前时刻，测试可注入）
  * @returns {string} delta.md 全文（LF 行尾，单一尾换行）
  */
-export function buildDeltaReport({ changeDir, specRoot, project, runtimeRoot, cwd, now } = {}) {
+export function buildDeltaReport({ changeDir, specRoot, project, runtimeRoot, cwd, now, withSummary = false } = {}) {
   const change = changeDir ? basename(changeDir) : '<变更名>'
   const {
     reconcile, verifyFacts, moduleMap, decisions, deliverables,
@@ -415,5 +416,129 @@ export function buildDeltaReport({ changeDir, specRoot, project, runtimeRoot, cw
     L.push('')
   }
 
+  // IR 回灌（2026-09-07-ir-hardening D-006@v1）：withSummary=true 返回结构化对象——
+  // affectedFiles/affectedModules 复用函数内既有推导（matched+undeclared/deliverables 兜底、
+  // module-map 归属），sidecar 写入消费同一份（单一真相源，Grill P2-③采纳）。默认 false 返回
+  // 纯字符串（既有调用方零变化）。
+  if (withSummary) {
+    return {
+      markdown: L.join('\n'),
+      change,
+      affectedFiles: [...affectedFiles],
+      affectedModules: affectedModules ? [...affectedModules] : [],
+    }
+  }
   return L.join('\n')
 }
+
+
+/**
+ * writeLastDeltaSidecar —— delta 增量回灌 sidecar（change: 2026-09-07-ir-hardening，D-006@v1，FR-03）。
+ *
+ * 落 `.runtime/last-delta.json`（无主快照，幂等覆盖）：schema
+ * `{ schemaVersion: 1, change, affectedModules: string[], affectedFiles: string[], updatedAt: string(ISO) }`。
+ * 消费方：scan 断点续扫步（executeScanResumeCheck）读它打「本轮 scan 优先核对模块」advisory（14 天窗口）。
+ * fail-soft：写失败只 console.error 留痕，不阻断 delta.md 生成（advisory 缺席即静默，零影响）。
+ *
+ * @param {string} runtimeRoot
+ * @param {{ change: string, affectedFiles: string[], affectedModules: string[] }} summary - buildDeltaReport({withSummary:true}) 的返回
+ */
+export function writeLastDeltaSidecar(runtimeRoot, summary) {
+  try {
+    if (!runtimeRoot || !summary || !summary.change) return { ok: false, reason: '参数缺失' }
+    const payload = {
+      schemaVersion: 1,
+      change: summary.change,
+      affectedModules: Array.isArray(summary.affectedModules) ? summary.affectedModules : [],
+      affectedFiles: Array.isArray(summary.affectedFiles) ? summary.affectedFiles : [],
+      updatedAt: new Date().toISOString(),
+    }
+    mkdirSync(runtimeRoot, { recursive: true })
+    writeFileSync(join(runtimeRoot, 'last-delta.json'), JSON.stringify(payload, null, 2) + '\n')
+    return { ok: true, path: join(runtimeRoot, 'last-delta.json') }
+  } catch (e) {
+    console.error(`[sillyspec] last-delta sidecar 写入失败（advisory 将缺席，不阻断 delta 生成）：${e && e.message ? e.message : e}`)
+    return { ok: false, reason: e && e.message ? e.message : String(e) }
+  }
+}
+/**
+ * archive 三重核对（2026-09-09 ql-20260909-004，轮次经济学 §3.1 archive 收口机械化）：
+ * module-impact.md 矩阵记录 vs 真实变更文件 vs module-map 归属——机械比对 CLI 代算，
+ * agent 只裁决不一致项。只读，供 archive extract-module-impact 步 prompt 注入/命令消费。
+ * @returns {{ ok: boolean, mismatches: string[], impactFiles: string[], actualFiles: string[], summary: string }}
+ */
+export function auditModuleImpactAgainstDiff({ cwd, changeName, specDir = null }) {
+  const mismatches = []
+  const specBase = specDir || join(cwd, '.sillyspec')
+  const impactPath = join(specBase, 'changes', changeName, 'module-impact.md')
+  let impactText = null
+  try { impactText = readFileSync(impactPath, 'utf8') } catch { /* 缺失由降级路径处理 */ }
+  const actualFiles = (resolveVerifyChangedFiles(cwd, changeName, null, { includeWorkingTree: true, specBase: specDir || join(cwd, '.sillyspec') }) || [])
+    .map(f => String(f).replace(/\\/g, '/'))
+    .filter(f => !f.startsWith('.sillyspec/changes/'))
+  if (!impactText) {
+    return { ok: false, mismatches: ['module-impact.md 不存在（走 --init 降级路径）'], impactFiles: [], actualFiles, summary: `真实变更 ${actualFiles.length} 文件；无 module-impact 可核` }
+  }
+  // 矩阵反引号路径收集（启发式——advisory 注入用，非硬门真相源：无反引号表格格会漏，外部审核 P3-3）
+  const impactFiles = [...impactText.matchAll(/`([^`]+[.](?:js|mjs|ts|py|java|md|yaml))`/g)].map(m => m[1].split(String.fromCharCode(92)).join('/'))
+  const impactSet = new Set(impactFiles)
+  const actualSet = new Set(actualFiles)
+  const inDiffNotDoc = [...actualSet].filter(f => !impactSet.has(f))
+  const inDocNotDiff = [...impactSet].filter(f => !actualSet.has(f))
+  if (inDiffNotDoc.length > 0) mismatches.push(`diff 有而 module-impact 未列（${inDiffNotDoc.length}）：${inDiffNotDoc.slice(0, 5).join('、')}${inDiffNotDoc.length > 5 ? ' …' : ''}`)
+  if (inDocNotDiff.length > 0) mismatches.push(`module-impact 列而 diff 无（${inDocNotDiff.length}）：${inDocNotDiff.slice(0, 5).join('、')}${inDocNotDiff.length > 5 ? ' …' : ''}`)
+  // 第三重：module-map 归属一致性（2026-09-09 外部审核 P2-1——「三重核对」此前名实不符：
+  // 矩阵行的模块列 vs map 前缀推导——误标模块点名；未命中 map 的归 unmatched 提示不判红）
+  const moduleMisattrib = auditImpactModuleAttribution(impactText, actualFiles, specBase)
+  mismatches.push(...moduleMisattrib)
+  return {
+    ok: mismatches.length === 0,
+    mismatches,
+    impactFiles,
+    actualFiles,
+    summary: `module-impact ${impactFiles.length} 文件 × 真实 diff ${actualFiles.length} 文件 × map 归属：${mismatches.length === 0 ? '一致 ✓' : mismatches.length + ' 类不一致'}`,
+  }
+}
+
+/**
+ * 第三重核对（P2-1）：矩阵行「| <模块> | `文件` |」的模块列 vs _module-map.yaml 前缀推导。
+ * 只读 fail-soft：map 不可得 → 返回 []（前两重仍有效，注入文案会带 map 跳过注记）。
+ */
+function auditImpactModuleAttribution(impactText, actualFiles, specBase) {
+  try {
+    // 找 _module-map.yaml（docs/<p>/modules/ 扫描——detectModuleDocHealth 同款）
+    let mapText = null
+    const docsDir = join(specBase, 'docs')
+    if (existsSync(docsDir)) {
+      for (const d of readdirSync(docsDir)) {
+        const cand = join(docsDir, d, 'modules', '_module-map.yaml')
+        if (existsSync(cand)) { mapText = readFileSync(cand, 'utf8'); break }
+      }
+    }
+    if (!mapText) return []
+    const { parseModuleMapPaths } = require_module_impact()
+    const map = parseModuleMapPaths(mapText)
+    const deriveMod = (posixPath) => {
+      for (const [id, paths] of map) {
+        for (const pp of paths) {
+          if (pp.endsWith('/') ? posixPath.startsWith(pp) : (posixPath === pp || posixPath.startsWith(pp + '/'))) return id
+        }
+      }
+      return null
+    }
+    const out = []
+    for (const m of impactText.matchAll(/^\|\s*([^|]+?)\s*\|[^|]*`([^`]+)`/gm)) {
+      const recorded = m[1].trim()
+      const file = m[2].split(String.fromCharCode(92)).join('/')
+      if (recorded.startsWith('---') || recorded.startsWith('模块')) continue
+      const derived = deriveMod(file)
+      if (derived && recorded !== derived && recorded !== 'unmapped') {
+        out.push(`map 归属不一致：${file} 矩阵记「${recorded}」但 map 推导为「${derived}」——修正矩阵模块列或跑 modules rebuild`)
+      }
+    }
+    return out
+  } catch { return [] }
+}
+// 延迟引用（防环：module-impact 不反向依赖本模块）
+import * as _moduleImpactMod from './module-impact.js'
+function require_module_impact() { return _moduleImpactMod }

package/src/change-delete.js

@@ -9,7 +9,8 @@
  *   - DB：status='deleted'（与 archived 语义分离，DB 可直接审计区分，行保留不物理删）
  *   - 目录：changes/<name>/ 物理移除（git tracked 文件删除后照常 commit，历史仍可回溯）
  *   - worktree：复用 archiveWorktreeCleanup（有未 apply 变更时保留 worktree 只警告——
- *     不因删变更丢用户唯一副本的代码；顺带清 execute/stage-review runId marker）
+ *     不因删变更丢用户唯一副本的代码；顺带清 execute/stage-review runId marker
+ *     + 该变更的 runtime 取证（pruneArchivedChangeRuntime））
  *   - git：safeGit add -A 暂存目录删除（best-effort，对齐 archive CLI 下沉 git add）
  *   - 平台：triggerSync 推终态（sync.js 对 status='deleted' 上行墓碑，平台收敛软删）
  *

package/src/change-list.js

@@ -74,8 +74,13 @@ export function globMatch(str, pattern) {
  * @returns {boolean}
  */
 export function pathMatches(a, b) {
-  a = normalizePath(a)
-  b = normalizePath(b)
+  // 坑 platform-sync-progress-rollback-and-db-corruption 坑3：NEW: 前缀（待建文件标记）在
+  // 「比对」语义下剥除对齐——design 清单带 NEW: 的待建文件 vs task allowed_paths 裸路径 /
+  // 主仓脏文件，比的是目标文件而非「新建意图」，剥后两道门禁（brainstorm 幻觉核验要求加
+  // NEW: / plan 覆盖对账按裸路径匹配）不再互斥。仅在比对处剥：存在性核验（design-facts
+  // 的 NEW: 豁免）不走本函数、仍见原文前缀；target_files 解析器（plan-postcheck）本就剥。
+  a = normalizePath(a).replace(/^NEW:/, '')
+  b = normalizePath(b).replace(/^NEW:/, '')
   if (!a || !b) return false
   if (a === b) return true
   if (a.startsWith(b + '/') || b.startsWith(a + '/')) return true

package/src/change-risk-profile.js

@@ -5,6 +5,8 @@
  * 判定 5 级风险（doc-only / unit-sufficient / contract-required /
  * integration-critical / deployment-critical），产出门控验证需求。
  */
+import { readFileSync, statSync } from 'fs'
+import { join } from 'path'
 
 // ============ 向后兼容：旧的 INTEGRATION_CRITICAL_PATTERNS ============
 
@@ -292,10 +294,40 @@ export function checkIntegrationEvidence(verifyContent, requiredVerification, op
   const warnings = []
   const lower = (String(verifyContent || '') + '\n' + String(opts.extraEvidenceText || '')).toLowerCase()
 
-  // 字面证据正则从 VERIFICATION_NEEDS[k].literals 派生——与报错描述、prompt 事前契约严格同源,
-  // 杜绝历史上"描述说 A、正则查 B"的分叉(checkIntegrationEvidence 正则曾比 VERIFICATION_NEEDS
-  // 描述多匹配 集成测试/backend.*daemon/real.*integration 等)。literals 为空的 need
-  // (unit_tests/contract_tests)无字面校验,视为满足。
+  // ── v2 回执槽优先（2026-09-08-ir-verify-facts FR-04，D-003@v1）：「集成验证回执」槽在场时
+  // 走结构化一致性校验（绿判据：logPath 存在 × mtime ∈ verify 窗口 × 日志尾 200 行失败签名
+  // 扫描（噪声剔除）× exitCode===0），literals 降 legacy 回退（存量兼容）。
+  // extraEvidenceText（verify-services 回执注入）保留合并为补充候选文本。CLI 不代跑集成进程。──
+  if (Array.isArray(opts.runtimeEvidence) && opts.runtimeEvidence.length > 0) {
+    const greenReceipts = []
+    const receiptAudit = []
+    for (const r of opts.runtimeEvidence) {
+      const audit = auditRuntimeReceipt(r, opts)
+      receiptAudit.push(audit)
+      if (audit.green) greenReceipts.push(r)
+    }
+    const needsIntegration = requiredVerification.includes('real_daemon_backend_integration')
+    const needsLogEvidence = requiredVerification.includes('runtime_log_evidence')
+    const needsRealStartup = requiredVerification.includes('real_startup_once')
+    // 任一绿回执 = 结构化在场证据（claim 语义由 agent 声明，一致性由 CLI 校验）
+    const hasGreen = greenReceipts.length > 0
+    if (needsIntegration && !hasGreen) {
+      const bad = receiptAudit.filter(a => !a.green)
+      errors.push(`integration-critical 变更无绿回执（${bad.length} 条回执校验不过：${bad.map(a => a.reason).join('；') || '无有效回执'}）——绿判据：log 存在 × mtime ∈ verify 窗口 × 日志无失败签名 × exit 0`)
+    }
+    if (needsLogEvidence && !hasGreen) {
+      errors.push('integration-critical 变更的回执未通过一致性校验（Runtime Evidence 等价物）')
+    }
+    if (needsRealStartup && !hasGreen) {
+      errors.push('deployment-critical 变更无绿回执（真实启动验证）')
+    }
+    if (receiptAudit.some(a => !a.green && a.failSignatures > 0)) {
+      warnings.push('回执日志含失败签名（error/exception/traceback/fatal 行首命中，已剔除「0 errors」类良性行）——确认是否预期内失败')
+    }
+    return { ok: errors.length === 0, errors, warnings, receiptAudit, structured: true }
+  }
+
+  // ── legacy literals 回退（无槽存量格式）──
   const hasEvidence = (k) => {
     const n = VERIFICATION_NEEDS[k]
     if (!n || !n.literals || n.literals.length === 0) return true
@@ -335,5 +367,44 @@ export function checkIntegrationEvidence(verifyContent, requiredVerification, op
     }
   }
 
-  return { ok: errors.length === 0, errors, warnings }
-}
+  return { ok: errors.length === 0, errors, warnings, structured: false }
+}
+
+/**
+ * 单条回执一致性校验（FR-04 绿判据）。噪声剔除：签名行首匹配 + 剔除「0 errors」类良性行
+ * （本仓 verify-postcheck.js 测试输出解析先例同款）。fail-soft：校验依赖缺失（opts 无
+ * cwd/verifyStartAt）时只核 exitCode 与日志可读性，不假装跑了文件校验。
+ */
+function auditRuntimeReceipt(r, opts) {
+  const out = { claim: r && r.claim, logPath: r && r.logPath, green: false, logExists: null, mtimeInWindow: null, failSignatures: 0, exitCode: r && typeof r.exitCode === 'number' ? r.exitCode : null, reason: '' }
+  if (!r || !r.logPath) { out.reason = '回执缺 logPath'; return out }
+  let content = null
+  try {
+    const abs = opts.cwd ? join(opts.cwd, r.logPath) : r.logPath
+    content = readFileSync(abs, 'utf8')
+    out.logExists = true
+  } catch {
+    out.logExists = false
+    out.reason = `日志不存在：${r.logPath}`
+    return out
+  }
+  if (opts.verifyStartAt) {
+    try {
+      const startAt = new Date(opts.verifyStartAt).getTime()
+      out.mtimeInWindow = statSync(opts.cwd ? join(opts.cwd, r.logPath) : r.logPath).mtimeMs >= startAt - 60_000
+      if (!out.mtimeInWindow) { out.reason = `日志 mtime 早于 verifyStartAt（${r.logPath}）`; return out }
+    } catch { out.mtimeInWindow = null }
+  }
+  // 失败签名扫描（日志尾 200 行；行首匹配 + 良性计数行剔除）
+  const tail = content.split('\n').slice(-200)
+  const SIGNATURE_RE = /^(?:error|exception|traceback|fatal)\b/i
+  const BENIGN_RE = /\b0\s+(?:errors?|exceptions?|failures?)\b|no\s+(?:errors?|exceptions?)/i
+  for (const line of tail) {
+    if (SIGNATURE_RE.test(line.trim()) && !BENIGN_RE.test(line)) out.failSignatures++
+  }
+  if (out.failSignatures > 0) { out.reason = `日志含 ${out.failSignatures} 行失败签名（行首 error/exception/traceback/fatal，已剔除良性计数行）`; return out }
+  if (out.exitCode !== 0) { out.reason = `exitCode=${out.exitCode}（非 0 不可用作在场证据）`; return out }
+  out.green = true
+  out.reason = '绿回执（log 存在 × mtime 窗口 × 无失败签名 × exit 0）'
+  return out
+}

package/src/config-cat.js

@@ -1,3 +1,5 @@
+import { homedir } from 'os'
+import { sep } from 'path'
 /**
  * config-cat.js — local.yaml 实际值读取的权威路径解析器（`sillyspec config cat` 数据源）。
  *
@@ -39,9 +41,18 @@ export function resolveLocalYaml(dir, opts = {}) {
     candidates.push({ path: key, source })
   }
 
+  // home 拒绝守卫（e4f2855 resolveSpecDir 同款，2026-09-09 补到 local.yaml 候选链）：
+  // 起点在 home 子树内（如 Temp 下的测试 fixture）时，祖先链走到 home 层不得命中
+  // ~/.sillyspec/local.yaml——那是用户全局配置，不是本项目配置；register-repo 写侧
+  // 经 resolveLocalYamlWriteTarget 同链解析，误命中会把项目注册静默写进全局配置
+  // （local-register.test.mjs 实证）。
+  const home = homedir()
+  const originBelowHome = start !== home && start.startsWith(home + sep)
   if (opts.specBase) push(join(opts.specBase, 'local.yaml'), 'spec 根（--spec-dir/平台 pointer/最近 .sillyspec）')
   for (let d = start; ; d = dirname(d)) {
-    push(join(d, '.sillyspec', 'local.yaml'), 'cwd 祖先链（worktree 内向上命中主仓）')
+    if (!(originBelowHome && d === home)) {
+      push(join(d, '.sillyspec', 'local.yaml'), 'cwd 祖先链（worktree 内向上命中主仓；home 层受守卫跳过）')
+    }
     const parent = dirname(d)
     if (parent === d) break
   }

package/src/constants.js

@@ -93,5 +93,13 @@ export const AUXILIARY_STAGES = Object.freeze([
 // 供 command.js 判断 status/doctor 等查询型辅助阶段执行只读短路（FR-04 / D-005@v2）。
 export const READONLY_AUXILIARY_STAGES = Object.freeze([
   'status',
-  'doctor',
+  // doctor 移出（2026-09-09-doctor-noai D-001@v1）：阶段形态走状态机（noAI 诊断步 +
+  // agent 修复步——只读短路使 _cliAction 不可达）；顶层 sillyspec doctor 命令的只读
+  // 语义由 index.js case 头部拦截保真（--json/--status 先行分流）。
 ])
+
+// ── IR 严格模式闸门（change: 2026-09-07-ir-hardening，D-001@v1）──
+// created_at ≥ 此值的变更进入严格模式（P3b 探针子节缺失 / P3a 主仓卡全零声明 → ERROR）；
+// 早于此值的存量变更保持既有豁免语义零变化。写入口径：changes.created_at 恒为
+// new Date().toISOString()（change-registry 全部写点同源），ISO 等长字符串字典序比较即确定。
+export const IR_STRICT_SINCE = '2026-09-07'