sillyspec 3.26.14 → 3.27.1

package/src/worktree.js

@@ -907,11 +907,32 @@ export class WorktreeManager {
 
     // 4. 删除分支（fail-closed：task review 引用可达性校验。force 也不绕过——force 语义 =
     //    丢弃内容，不含丢弃审计链；确要删用 git branch -D 手动执行）
+    //    升级（坑 cleanup-branch-review-anchor-tag，2026-08-21 实证）：分支被 review.json 引用
+    //    时不再只能手动保留——打 `sillyspec-audit/<branch>` 轻量 tag 锚定分支 tip（ref 前缀独立
+    //    于 sillyspec/* 分支族，doctor 孤儿分支扫描不误伤），commit 经 tag 保持可达（gc 安全），
+    //    随后正常删分支。tag 创建失败 → 回退保留（宁保留勿丢审计链）。
     try {
       const reviewRefs = this._branchReviewReferences(branch);
       if (reviewRefs.length > 0) {
-        details.push(`branch kept: ${reviewRefs.length} 个 task review.json 引用分支上的 commit（base/head 审计保护）`);
-        console.log(`🔗 分支保留：${branch} 上有 ${reviewRefs.length} 个 task review.json 引用其 commit（apply 只复制文件内容，ref 删除后 base/head 悬空无法复核）。确要删除：git branch -D ${branch}`);
+        const tagName = 'sillyspec-audit/' + branch;
+        let tagOk = false;
+        try {
+          if (!gitQuiet(this.cwd, ['rev-parse', '--verify', '--quiet', `refs/tags/${tagName}`])) {
+            git(this.cwd, ['tag', tagName, branch]);
+          }
+          tagOk = true;
+        } catch (e) {
+          details.push(`audit tag creation failed: ${e.message}`);
+        }
+        if (tagOk) {
+          gitQuiet(this.cwd, ['branch', '-D', branch]);
+          details.push(`branch deleted after anchoring tip to tag ${tagName} (audit 链可达)`);
+          console.log(`🔗 审计锚定：${branch} 被 ${reviewRefs.length} 个 task review.json 引用其 commit——已打 tag ${tagName} 锚定（commit 保持可达，gc 安全）并删除分支 ref。`);
+          console.log(`   确认不再需要该审计链后可删 tag：git tag -d ${tagName}`);
+        } else {
+          details.push(`branch kept: ${reviewRefs.length} 个 task review.json 引用分支上的 commit（base/head 审计保护）`);
+          console.log(`🔗 分支保留：${branch} 上有 ${reviewRefs.length} 个 task review.json 引用其 commit（apply 只复制文件内容，ref 删除后 base/head 悬空无法复核）。确要删除：git branch -D ${branch}`);
+        }
       } else {
         gitQuiet(this.cwd, ['branch', '-D', branch]);
         details.push('branch deleted');
@@ -982,7 +1003,7 @@ export class WorktreeManager {
    * @param {string} wtPath - worktree 根目录（meta.worktreePath）
    * @returns {{ ok: boolean, msg: string }}
    */
-  _doctorReprovision(name, wtPath) {
+  _doctorReprovision(name, wtPath, opts = {}) {
     try {
       const meta = this.getMeta(name) || {};
       const isInPlace = meta.mode === 'in-place-fallback';
@@ -1012,9 +1033,14 @@ export class WorktreeManager {
           }
         }
       }
+      // 触发分流（坑 doctor-reprovision-junction-missing，2026-08-22 实证：junction 未建的
+      // missing/failed 场景被 force install 强制重装——install 静默失败面大且慢；lockfile 一致时
+      // 重建 junction 才是对症动作。opts.relinkFirst（missing/failed 触发）→ 非 force 跑：解链后
+      // node_modules 不存在，tryLink 直接重建；lockfile 漂移自动落 install。stale/main-drift 维持
+      // force 重装（依赖确实变了）。
       const deps = provisionDeps(wtPath, this.cwd, {
         specBase: join(this.cwd, '.sillyspec'),
-        force: true,
+        force: !opts.relinkFirst,
       }) || {};
       const metaPath = join(this.getWorktreePath(name), META_FILE);
       // 成功重供时清掉旧 depsError（provisionDeps 成功结果不含该键，{...meta,...deps} 会残留旧值）
@@ -1132,7 +1158,29 @@ export class WorktreeManager {
         // 放宽原 909 in-place-fallback 守卫：in-place 也跑（main-drift/stale/failed 对它同样有意义，
         // 真 in-place 的 wtPath===主仓→wtHash===mainHash→不会误报 main-drift，仅 failed/stale 有意义）。
         // fix 时 _doctorReprovision 自行判断是否解链（in-place 不解链，仅 install）。
+        // 归档态前置闸（坑 doctor-reprovision-archived-change，2026-08-21 实证：已归档变更的
+        // worktree 被 doctor 当活跃任务 re-provision——给死目录装依赖）。归档判定（changes/archive/
+        // 实体 或 进度库 status='archived'）命中 → 跳过供给，fix 时走 cleanup（其内建
+        // hasUnappliedChanges 护栏仍在，未落仓内容照样拒删）。
         if (meta && meta.worktreePath && existsSync(meta.worktreePath)) {
+          const isArchivedChange = existsSync(join(this.cwd, '.sillyspec', 'changes', 'archive', name))
+            || this._isChangeArchivedInDb(name);
+          if (isArchivedChange) {
+            issues.push({ type: 'worktree-archived-change', name, fixable: meta.mode !== 'native-worktree',
+              detail: `变更 ${name} 已归档但 worktree 残留——不供给依赖（死目录），建议清理（cleanup 内建未落仓护栏）` });
+            if (fix && meta.mode !== 'native-worktree') {
+              try {
+                const r = this.cleanup(name);
+                if (r.result === 'cleaned' || r.result === 'force-cleaned') {
+                  fixed.push(`cleaned archived-change worktree: ${name}`);
+                } else if (r.result === 'blocked') {
+                  unfixable.push(`cleanup blocked (archived change 有未落仓内容): ${name} — 先 apply/commit 再清`);
+                } else {
+                  unfixable.push(`cleanup skipped (archived change): ${name}`);
+                }
+              } catch { unfixable.push(`cleanup failed (archived change): ${name}`); }
+            }
+          } else {
           const wtPath = meta.worktreePath;
           const fresh = checkDepsFreshness(meta, wtPath, this.cwd);
           const issueTypeByStatus = {
@@ -1145,10 +1193,13 @@ export class WorktreeManager {
           if (issueType) {
             issues.push({ type: issueType, name, detail: fresh.detail, fixable: true });
             if (fix) {
-              const r = this._doctorReprovision(name, wtPath);
+              // relinkFirst：missing/failed 多为 junction 丢失/上次供给失败——link 优先重建；
+              // stale/main-drift 是依赖真变了——force 重装
+              const r = this._doctorReprovision(name, wtPath, { relinkFirst: issueType === 'deps-missing' || issueType === 'deps-failed' });
               (r.ok ? fixed : unfixable).push(r.msg);
             }
           }
+          }
         }
 
         // meta 存在但 worktree 目录不存在
@@ -1290,10 +1341,24 @@ export class WorktreeManager {
 
       // 2) 候选集中尚未落到主工作区 HEAD 的子集
       const pending = this._changesAlreadyOnMain(worktreePath, tracked, untracked);
-      if (pending.length === 0) {
-        return { hasChanges: false, changedFiles: [], reason: 'all changes already on main HEAD' };
+      // 3) main 工作区副本降噪层（坑 unapplied-false-positive-workspace-copy，2026-08-21 实证：
+      // apply 后 main 工作区有逐字节一致副本但未 commit → HEAD-only 判定报「未落仓」虚警拦
+      // doctor）。原注释「不查 main 工作区未提交副本（防误删）」的保护意图是内容未落地——
+      // 逐字节一致时内容确已落地（删 worktree 无损），仅逐字节不同的才保守保留。
+      const pendingAfterWs = pending.filter(f => {
+        try {
+          const mainCopy = join(this.cwd, f);
+          if (!existsSync(mainCopy)) return true; // main 工作区无副本 → 仍算未落仓
+          const wtCopy = join(worktreePath, f);
+          if (!existsSync(wtCopy)) return true; // worktree 侧是删除态、main 侧却在 → 内容分叉，保留
+          const a = readFileSync(wtCopy); const b = readFileSync(mainCopy);
+          return !(a.length === b.length && a.equals(b)); // 逐字节一致 → 已落地（剔除）
+        } catch { return true }
+      })
+      if (pendingAfterWs.length === 0) {
+        return { hasChanges: false, changedFiles: [], reason: 'all changes already on main (HEAD or identical workspace copy)' };
       }
-      return { hasChanges: true, changedFiles: pending };
+      return { hasChanges: true, changedFiles: pendingAfterWs };
     } catch (e) {
       // 检测失败时保守处理：视为有变更，保留 worktree
       return { hasChanges: true, changedFiles: [], reason: `check failed: ${e.message}` };
@@ -1364,6 +1429,26 @@ export class WorktreeManager {
     return map;
   }
 
+  /**
+   * DB 归档态探测（坑 doctor-reprovision-archived-change）：changes 表 status='archived'。
+   * 只读直查（node:sqlite）——doctor 是同步方法，惰性动态 import 不可用；DB 不存在/无行/
+   * 读失败 → false（保守退回普通 deps 供给路径）。
+   * @param {string} name
+   * @returns {boolean}
+   */
+  _isChangeArchivedInDb(name) {
+    try {
+      const dbPath = join(this.cwd, '.sillyspec', '.runtime', 'sillyspec.db');
+      if (!existsSync(dbPath)) return false;
+      const { openDatabase } = require('./db-engine.js');
+      const db = openDatabase(dbPath, { readOnly: true });
+      try {
+        const row = db.prepare('SELECT status FROM changes WHERE name = ?').get(name);
+        return row?.status === 'archived';
+      } finally { try { db.close() } catch {} }
+    } catch { return false }
+  }
+
   /**
    * 从 worktree 路径反推 changeName
    * @private
@@ -1388,6 +1473,13 @@ export class WorktreeManager {
    * 将主工作区未提交变更同步到 worktree（dirty baseline overlay）
    * 覆盖 staged + unstaged 的文件变更，以及 untracked 文件。
    * 使用 git diff + git apply 确保正确处理删除/rename/binary。
+   *
+   * .sillyspec/ 隔离（坑 baseline-overlay-cross-change-contamination，2026-08-21 实证）：
+   * overlay 原样全量吸收主仓未提交改动——多变更并行时其他变更的 spec 文档
+   * （changes/<他变更>/、ROADMAP.md、quicklog 等 39 个文件实测）被 checkpoint 进本变更
+   * baseline，apply 回 main 即随本变更交付，需人工隔离。spec 文档不参与 worktree 内
+   * 构建/测试（execute 的 spec 读写经 specDriftAnchor 锚回主仓），排除零功能损失；
+   * 排除清单显式打印保持可见（哪些跨变更文件被隔离、去哪了）。
    * @param {string} mainCwd - 主工作区路径
    * @param {string} worktreePath - worktree 路径
    * @returns {Array<string>} overlay 的文件列表
@@ -1395,15 +1487,26 @@ export class WorktreeManager {
   _overlayBaseline(mainCwd, worktreePath) {
     const files = [];
     const errors = [];
+    // git pathspec 排除（execFileSync 数组传参不经 shell，字面安全）：.sillyspec/ 整目录
+    const EXCLUDE_PATHSPEC = ':(exclude).sillyspec';
+    const collectExcluded = (raw, excluded) => {
+      for (const f of raw.split('\n').filter(Boolean)) {
+        const norm = f.replace(/\\/g, '/')
+        if (norm === '.sillyspec' || norm.startsWith('.sillyspec/')) excluded.push(f)
+      }
+    }
 
     try {
-      // staged 变更
-      const staged = gitQuiet(mainCwd, ['diff', '--cached', '--name-only'], { timeout: 30000 }) || '';
+      const excludedSpecFiles = [];
+      // staged 变更（pathspec 排除 .sillyspec/——跨变更 spec 文档不进 baseline）
+      const staged = gitQuiet(mainCwd, ['diff', '--cached', '--name-only', '--', '.', EXCLUDE_PATHSPEC], { timeout: 30000 }) || ''
+      const stagedAll = gitQuiet(mainCwd, ['diff', '--cached', '--name-only'], { timeout: 30000 }) || ''
+      collectExcluded(stagedAll, excludedSpecFiles)
       if (staged) {
         try {
           // 用 Buffer 模式读取，避免二进制 patch 被 UTF-8 解码损坏
           // QUAL-01 收口：git-helper 新增 encoding:'buffer' 支持（二进制输出专用，跳过 trim）
-          const patchBuf = git(mainCwd, ['diff', '--cached', '--binary'], { encoding: 'buffer', timeout: 30000 });
+          const patchBuf = git(mainCwd, ['diff', '--cached', '--binary', '--', '.', EXCLUDE_PATHSPEC], { encoding: 'buffer', timeout: 30000 });
           if (patchBuf && patchBuf.length > 0) {
             const patchFile = join(worktreePath, '.sillyspec-baseline-staged.patch');
             try {
@@ -1421,12 +1524,14 @@ export class WorktreeManager {
         files.push(...staged.split('\n').filter(Boolean));
       }
 
-      // unstaged 变更
-      const unstaged = gitQuiet(mainCwd, ['diff', '--name-only'], { timeout: 30000 }) || '';
+      // unstaged 变更（同上 pathspec 排除）
+      const unstaged = gitQuiet(mainCwd, ['diff', '--name-only', '--', '.', EXCLUDE_PATHSPEC], { timeout: 30000 }) || ''
+      const unstagedAll = gitQuiet(mainCwd, ['diff', '--name-only'], { timeout: 30000 }) || ''
+      collectExcluded(unstagedAll, excludedSpecFiles)
       if (unstaged) {
         try {
           // 用 Buffer 模式读取，避免二进制 patch 被 UTF-8 解码损坏（QUAL-01 收口，同上）
-          const patchBuf = git(mainCwd, ['diff', '--binary'], { encoding: 'buffer', timeout: 30000 });
+          const patchBuf = git(mainCwd, ['diff', '--binary', '--', '.', EXCLUDE_PATHSPEC], { encoding: 'buffer', timeout: 30000 });
           if (patchBuf && patchBuf.length > 0) {
             const patchFile = join(worktreePath, '.sillyspec-baseline-unstaged.patch');
             try {
@@ -1448,6 +1553,8 @@ export class WorktreeManager {
       const skippedDirs = [];
       if (untracked) {
         for (const f of untracked.split('\n').filter(Boolean)) {
+          const norm = f.replace(/\\/g, '/')
+          if (norm === '.sillyspec' || norm.startsWith('.sillyspec/')) { excludedSpecFiles.push(f); continue }
           const r = copyUntrackedEntry(join(mainCwd, f), join(worktreePath, f));
           if (r.status === 'copied') files.push(f);
           else if (r.status === 'skipped-dir') skippedDirs.push(f);
@@ -1457,6 +1564,13 @@ export class WorktreeManager {
       if (skippedDirs.length > 0) {
         console.log(`ℹ️  baseline overlay 跳过 ${skippedDirs.length} 个 untracked 目录（不读目录避免 EISDIR，坑 execute-worktree-overlay-untracked-dir-eisdir）`);
       }
+      // 跨变更 spec 文档隔离可见性：列出被排除的 .sillyspec/ 文件（去重，截断展示），
+      // 让「ROADMAP 被谁改动、为何不在本 baseline」在 create 时刻可查，不需事后考古
+      const excludedUnique = [...new Set(excludedSpecFiles)]
+      if (excludedUnique.length > 0) {
+        const preview = excludedUnique.slice(0, 8).join(', ') + (excludedUnique.length > 8 ? ` …（共 ${excludedUnique.length} 个）` : '')
+        console.log(`🧹 baseline overlay 已隔离 ${excludedUnique.length} 个 .sillyspec/ 未提交文件（跨变更 spec 文档不进本变更 baseline，留在主仓各自归属）：${preview}`)
+      }
 
       if (files.length > 0) {
         console.log(`📁 baseline overlay: ${files.length} 个未提交文件已同步到 worktree`);

package/templates/claude-instruction.md

@@ -18,6 +18,6 @@
 12. **hook 拦截提交时禁止跳过**（`.husky/pre-push`），修复问题后再提交。
 13. **代码必须兼容 Windows / Linux / macOS**（路径 / 换行 / 并发都要顾）。
 14. **任务记录隔离**：永不重置 / reset / 清零已存在的 change；多个活跃 change 各自 `--change <名>` 隔离不重叠；quick 同一 QUICKLOG 按 ql-ID 条目追加，不冲突。
-15. **quicklog 手动精修**：CLI 只写骨架，`--done` 后手动补语义化标题 / 文件多行带括注 / 结果四段。
+15. **quicklog 结构化落盘**：末步 `--done` 用四参数 `--req/--cause/--solution/--result`（CLI 合成结构化 output 并自动提取标题/四段分行）；文件括注用 `--file-notes "path::注 || path2"`。骨架由 CLI 接管，`--done` 后按需核对即可，勿手拼模板。
 16. **代码可能随时在修改**（多 agent 并行），Edit 前重跑 + 查最新态；破坏性 git op 前先备份。
 17. **不奉承用户**，禁止"你说得对"类话术，直接给结论、依据、方案。

package/templates/prompts/taskcard-rules.md

@@ -25,4 +25,4 @@ TaskCard 格式规则（必须严格遵守）：
   - **规范约定字段**（应填但不硬校验，缺失不阻断完成、只影响规范性）：author、created_at、priority、depends_on、blocks
   - allowed_paths 非空（至少一个真实源文件路径；回归类 task 无源码改动时填被验证的关键入口文件）
   - acceptance 与 verify 都在 frontmatter 内（漏写会被 plan-postcheck 报「缺少验收标准」/「缺少验证步骤」）
-- 写完后用 Write tool 保存到文件
+- **生成方式**：用 `sillyspec taskcard <change-name> --task task-NN [--all]` 生成安全骨架（LF 行尾 + frontmatter 必闭合 + 九个硬校验字段齐全 + author/created_at 自动填），再往骨架里填语义内容——**勿用 Write tool 整文件手写**（CRLF / 漏闭合 `---` / 漏字段的根源，postcheck 报错大多由此来）；已存在的卡命令会跳过不覆盖，局部修改用 Edit 定点改

package/templates/prompts/verify-probes.md

@@ -1,14 +1,11 @@
 ### 自动探针（必须先执行）
-在检查前，依次运行以下六个探针，将结果作为验证输入：
 
-**探针 1：未实现标记扫描（仅变更文件）**
-只扫描本次变更涉及的文件，不要全项目扫描——历史 TODO 与本次变更无关，徒增噪音与 token。变更文件 = design.md「文件变更清单」列出的源码文件（你已在「加载规范」步骤读取 design.md，glob 路径需展开为具体文件）：
-```bash
-grep -n "尚未实现\|TODO\|FIXME\|HACK\|XXX" <design 清单中的源码文件>
-```
-记录每个匹配的文件、行号和内容。
+> 🔧 **先跑 CLI 机械探针（一条命令）**：`sillyspec verify-probes --change <change-name> [--init]`
+> 输出已包含四个纯机械探针的结果（可直接进验证报告）：**探针 1** 未实现标记扫描（design 清单文件逐行 TODO/FIXME 命中 + 行号）、**探针 3** 测试文件递归查找（含 co-located tests/，逐 task 覆盖）、**探针 5** API 契约对账表（endpoints.json × 前端调用 diff）、**探针 6** 删除对账三态（git 事实 × design 声明）。`--init` 顺带生成 verify-result.md 九章节骨架（探针结果已预填，`<!--TODO-->` 占位替换即可）。
+>
+> 下列条目中，只有**半语义部分**需要你执行：探针 2（关键词提取）、探针 3.4 集成盲区标注、探针 3.5 断言有效性抽查、探针 4（决策追踪闭环判定）。CLI 已跑的部分勿重复手跑——对 CLI 输出的 warning 项做语义复核即可。
 
-**探针 2：设计关键词覆盖探针**
+**探针 2：设计关键词覆盖探针（你执行——关键词提取是语义）**
 1. 读取 design.md，从中提取所有能力关键词（如"登录"、"导出"、"批量"、"删除"、"搜索"等动作词）
 2. 对每个关键词，在源码目录中 grep 确认是否有对应的实现代码：
 ```bash
@@ -16,14 +13,11 @@ grep -rl "<关键词>" <源码目录>/ --include="*.java" --include="*.js" --inc
 ```
 3. 如果某个关键词在源码中完全没有匹配，标记为 ⚠️ 可能未实现
 
-**探针 3：验收标准测试覆盖探针**
-1. 读取变更目录下的 tasks.md，提取所有 checkbox 任务
-2. 对每个 task，**递归**检查对应模块目录及其**所有子目录**下是否存在测试文件（*test*、*spec*、*Test*、*Spec*）——包括模块内 co-located 的 tests/ 目录（如 `backend/app/modules/*/tests/`），**不要只看顶层 `tests/`**，否则会把测试就在模块内部的项目误判为“无测试”
-3. 没有测试文件的 task 标记为 ⚠️ 缺少测试
-4. **集成盲区提示**：测试文件存在 ≠ 集成正确——路由/layout 守卫重定向、跨模块装配这类集成 bug 组件单测覆盖不到，只有集成/冒烟/E2E 才暴露。对路由/layout/跨进程装配敏感的 task，额外检查是否有集成冒烟覆盖；无则标 ⚠️ 集成层未验证（需人工或部署确认）
-5. **断言有效性抽查（与 execute「测试用例设计」闭环）**：测试文件存在 ≠ 测试有效。对最能代表本次变更行为的 2-3 个核心测试做抽查：① 断言验证真实输出/副作用，不是只"不抛错"的空断言、只测 getter/setter；② 覆盖边界/异常分支，不只业务正例；③ 走公开 API 测行为，不测实现细节（重构后功能不变测试不应失败）。不达标标 ⚠️ 断言薄弱或无效（advisory：CLI 不阻断，是否 FAIL 由你诚实判定；execute 已按「测试用例设计」写的，这里只抽查核验，不重审全量）
+**探针 3 补充（CLI 已查存在性，你补语义）**
+- **集成盲区提示**：测试文件存在 ≠ 集成正确——路由/layout 守卫重定向、跨模块装配这类集成 bug 组件单测覆盖不到，只有集成/冒烟/E2E 才暴露。对路由/layout/跨进程装配敏感的 task，额外检查是否有集成冒烟覆盖；无则标 ⚠️ 集成层未验证（需人工或部署确认）
+- **断言有效性抽查（与 execute「测试用例设计」闭环）**：测试文件存在 ≠ 测试有效。对最能代表本次变更行为的 2-3 个核心测试做抽查：① 断言验证真实输出/副作用，不是只"不抛错"的空断言、只测 getter/setter；② 覆盖边界/异常分支，不只业务正例；③ 走公开 API 测行为，不测实现细节（重构后功能不变测试不应失败）。不达标标 ⚠️ 断言薄弱或无效（advisory：CLI 不阻断，是否 FAIL 由你诚实判定；execute 已按「测试用例设计」写的，这里只抽查核验，不重审全量）
 
-**探针 4：决策追踪覆盖探针（如存在 decisions.md）**
+**探针 4：决策追踪覆盖探针（如存在 decisions.md——闭环图机械，证据真伪是语义）**
 1. 从 decisions.md 提取所有当前版本 D-xxx@vN
 2. 检查 requirements.md 是否引用每个 D-xxx@vN，并映射到 FR-xxx
 3. 检查 plan.md 或 tasks/task-NN.md 是否引用每个 FR-xxx/D-xxx@vN
@@ -31,36 +25,8 @@ grep -rl "<关键词>" <源码目录>/ --include="*.java" --include="*.js" --inc
 5. 任意 D-xxx@vN 无下游覆盖时标记为 ⚠️ 决策未闭环
 6. 任意 P0/P1 unresolved/blocking 决策标记为 FAIL blocker
 
-**探针 5：API Contract Parity Check（跨前后端契约对账）**
-此探针仅在以下条件满足时执行：
-- 存在 \.sillyspec/.runtime/contract-artifacts/ 目录（说明 execute 阶段生成了 endpoint artifact）
-- 或者项目同时有 backend/ 和 frontend/ 目录
-
-执行步骤：
-1. 收集所有 provider endpoint artifacts：
-   - 读取 .sillyspec/.runtime/contract-artifacts/*/endpoints.json
-   - 汇总为 backend 端点清单
-2. 扫描前端 API 调用：
-   - 在 frontend/ 目录中搜索 apiFetch/request/axios/fetch 调用
-   - 提取所有 API 路径（归一化动态参数为 {param}）
-3. Diff 对账：
-   - 前端调用路径在 backend 端点清单中找不到 → **❌ Missing backend endpoint**（advisory：CLI 复核后仅 warn，不硬阻断归档；但 contract gap 是真实集成缺陷，应诚实标 FAIL 并回 execute 补端点）
-   - backend 端点在前端无调用 → ⚠️ Unused backend endpoint（warning，不阻断）
-4. 输出对账结果表格（示例用通用占位路径，实际填本仓真实文件）：
-
-   | 状态 | 前端调用 | 后端端点 | 文件 |
-   |---|---|---|---|
-   | ❌ missing | GET /api/<域>/<资源>/<param> | — | <前端调用所在文件，如 src/lib/<模块>.ts> |
-
-如果发现 Missing backend endpoint，在验证报告中标记为 ❌ contract gap（CLI 仅 advisory 提示、不硬阻断归档；但缺口真实存在——诚实判 FAIL 并回 execute 补齐端点，勿因 CLI 不拦而放行）。
+**探针 5 补充（CLI 已出对账表，你做诚实判定）**
+CLI 的 missing backend endpoint 是 advisory（不硬阻断归档）——但 contract gap 是真实集成缺陷，应诚实标 FAIL 并回 execute 补端点，勿因 CLI 不拦而放行。后端 router 的端点清单可用 `sillyspec endpoints extract --change <变更名> --task <task-NN>` 重新静态提取（勿手扫装饰器）。
 
-**探针 6：代码删除对账（切斯特顿栅栏护栏）**
-静默删除代码是 verify 的盲区——agent 删一段它看不懂的旧代码，只要路径合规、不碰风险关键词，其他探针都不会响。用 git 事实客观对账，不要凭记忆：
-1. 运行 `git diff --name-status HEAD`（本次变更已 apply 到主仓、未 commit，删除的文件在工作树消失但仍在 HEAD，显示 `D`）
-2. 筛出状态以 `D` 开头的行（删除）；`R`/`C` 开头的旧路径等价删除
-3. 对每个删除文件，核对 design.md「文件变更清单」声明的操作：
-   - design 声明「删除」→ ✅ 合规（预期删除）
-   - design 声明「新增/修改」却整文件删除 → ❌ 高风险（声明与事实矛盾）
-   - design 清单未列出 → ⚠️ 未声明删除
-4. 排除 `.sillyspec/` 与 `meta.json`（文档 churn 不算删除信号）
-5. verify --done 时 CLI 会用同一 git 事实 advisory 复核（打印警告，不硬阻断归档）——是否 FAIL blocker 由你诚实判定，务必如实记录
+**探针 6 补充（CLI 已出三态判定，你做终审）**
+以 git 事实为准（真实 > 声明）；CLI 的三态（合规/高风险/未声明）是机械判定，是否构成 FAIL blocker 由你诚实判定，务必如实记录——静默删除代码是 verify 的最大盲区。