sillyspec 3.32.10 → 3.33.1

package/src/stages/plan.js

@@ -219,6 +219,9 @@ execution_mode: main  # dispatch=子代理派发（判据见「执行模式声
 ## 验收
 - 具体可验证的验收条目
 
+## Review Focus 盲区清单（隐含面）
+- （≤5 条——上限不是配额，写不出就停；按最可能坑到人排序。每条 = 规格隐含但没有任何任务测试覆盖的输入/条件 + 合理人预期行为 + 承接落点 task-XX；写不出显式写「已检查，无」——不留空、不编造；泛泛风险（"并发需注意"类）不算行）
+
 ## 覆盖矩阵（如存在 decisions.md）
 | ID | 覆盖任务 | 验收证据 |
 |---|---|---|
@@ -236,6 +239,7 @@ light 计划的约束：
 - 如果存在 P0/P1 unresolved blocker，不生成 plan.md
 - 任务清单（tasks.md）控制在 10 条以内
 - 任务名使用 tasks.md checkbox 格式（\`- [ ] task-XX:\`），plan.md 不放任务行
+- **比例自检**（2026-10-15-plan-review-focus）：计划产物与 spec/design 相称——整段可粘贴代码体=转录不是计划；用签名、测试断言与规格精确值承载决策，为实现者保留判断空间
 
 ---
 
@@ -285,6 +289,15 @@ task-01 → task-03（最长路径，决定最短交付周期）
 
 > 验收结论不落在 plan.md（此段是验收清单，plan.md 不做执行态文件）——逐项核验结果由 verify 阶段写入 verify-result.md（PASS/FAIL 结论与证据）；task 级验收对照 TaskCard frontmatter 的 acceptance 字段。
 
+## Review Focus 盲区清单（隐含面）
+规格/设计隐含、但没有任何任务测试覆盖的输入/失效模式（≤5 条——上限不是配额，写不出第 4 条就停；按最可能坑到人排序；每行 = 具体输入或条件 + 可判定预期行为 + 承接落点；泛泛风险分析不算行）：
+
+| # | 输入/条件 | 合理人预期行为 | 承接落点 |
+|---|---|---|---|
+| 1 | ... | ... | task-XX（acceptance/测试） |
+
+（写不出 → 写「已检查，无」一行——不留空、不编造。）
+
 ## 覆盖矩阵（如存在 decisions.md）
 | ID | 覆盖任务 | 验收证据 |
 |---|---|---|
@@ -294,6 +307,7 @@ task-01 → task-03（最长路径，决定最短交付周期）
 full 计划的约束：
 - **禁止**估时（任务总表不含估时列）
 - **禁止**泛泛风险分析（"需要充分测试"类废话转为具体验收条目）
+- **比例自检**（2026-10-15-plan-review-focus）：计划产物（plan.md + TaskCard implementation）与 spec/design 相称——整段可粘贴代码体=转录不是计划；用签名、测试断言与规格精确值承载决策，为实现者保留判断空间
 - Mermaid 依赖关系图**仅当依赖关系非平凡时生成**（线性依赖或全并行时不生成）
 - **Wave 段 ID 引用行必须保留**（\`- task-XX\` 纯 ID、无 checkbox 无任务名——机器解析依赖；任务名唯一真相在 tasks.md，plan.md 重抄即双写漂移）
 - plan.md 包含 Wave 分组 + 任务总表 + 关键路径 + 全局硬约束（design 有跨 task 硬约束时逐字抄录）+ 全局验收标准，**不放实现细节**
@@ -390,6 +404,11 @@ prompt 要点：
 6. 写通道降级：写操作持续被平台拒绝（session not in running turn 类）→ 重试 ≤3 次即停，完整结论（含 review.json 全文）作为最终文本回传主代理代落盘，reviewerNotes 首行留痕「代落盘：子代理写通道故障」；禁止长时间空转重试。
 7. **审查经济学三律（2026-09-20 对撞实验驱动，同 brainstorm Grill 步）**：①请求预算硬钳——子代理请求上限 **10 次**（材料包基准面 + plan.md + ≤3 次定向补证），到达即出 verdict 禁「再确认一下」续读，派发 prompt 明示此预算；②FAIL 后增量复审——修复阻断项后 **resume 同一子代理**只发修复说明+diff 验证「阻断项解决否」，不重开全文审（64s vs 322s = 5 倍差实证），review.json checklist 追加增量复核行；原 agent 不可 resume 才新开（prompt 附首轮阻断项仍只验阻断项）；③**并行化**——派发用 run_in_background: true，主代理立即继续 Step 4（生成 TaskCard），回收在即将 --done 本步骤前（pass → 完成 / fail → 增量复审 / 在跑 → 等待），Stage Review Gate 照常硬校验；④**审查只读纪律**——子代理工具面只读（Read/Grep/只读 Bash），禁止 Edit/Write 被审产物（design/plan/四件套/源码），唯一可写 review.json，发现问题写 checklist/blockers 由主代理修（2026-09-20 实证 Grill 越权改 design 15 处；③并行化下同文件双写竞态的前置防线，详见 brainstorm Grill 步全文）。
 
+### 补充复查（2026-10-15-plan-review-focus）
+1. **Review Focus 承接复查**：plan.md「Review Focus 盲区清单（隐含面）」每行是否落到拥有该代码的 task 的 acceptance/测试；空节必须是显式「已检查，无」而非跳过或编造低价值行凑数（≤5 条是上限不是配额）。
+2. **比例自检复核**：plan.md 与 TaskCard implementation 与 spec/design 相称——整段可粘贴代码体=转录不是计划；签名+测试断言+规格精确值承载决策足够。
+3. **共享面预扫留表**：每对共享 target_files / provides-expects_from 契约链 / 依赖边的任务逐对核「产出 vs 消费」一致、每张卡自洽（测试所指=代码所指、创建文件=后文触碰文件），核验结果以**表格**写进审查输出（共享对两任务一行、单卡自洽一行）——"scan is clean" 而无表格行 = 没扫过；plan-postcheck 硬校验的是字段对齐，此处核语义矛盾。
+
 ### module-impact.md 首版（scale≠small 时：CLI 自动生成，审查步勿手写）
 module-impact.md 首版**由 CLI 在本阶段 --done 时自动生成**——文件×模块归属按 _module-map.yaml 前缀匹配机械预填，章节含「## 模块影响矩阵」「## 未匹配文件」「## 更新结果」表骨架（每受影响模块一行 pending），影响类型列留 <!--TODO--> 由 execute/verify 按实际 diff 回填。已存在不覆盖。手写整份首版是历史返工根源（章节标题变体会被 archive contains_sections 硬拦），**本步不要手写**。
 仅当 --done 报 module-impact 缺失时（如无 module-map 的绿地项目生成降级失败），按 gate 报错提示手写兜底：两章节标题逐字用「## 模块影响矩阵」「## 未匹配文件」（未命中的文件归「未匹配文件」章节），并含「## 更新结果」表骨架（行：\`modules/<id>.md\`、\`_module-map.yaml\`，状态列 pending/skipped，末列是状态列，勿追加其他列）。

package/src/sync-noise.js

@@ -24,6 +24,7 @@
  * 调用方传 noMute 绕过。
  */
 import { readFileSync, writeFileSync, mkdirSync, unlinkSync } from 'fs'
+import { runtimeStatePath } from './runtime-paths.js'
 import { join } from 'path'
 
 const NOISE_MARKER = 'sync-noise-mute.json'
@@ -254,7 +255,7 @@ let _openedSelfHealByThisProcess = new Set()
 const _seenSelfHealInProcess = new Set()
 
 function _readSelfHealWindows() {
-  const p = _runtimeDir ? join(_runtimeDir, SELF_HEAL_MARKER) : null
+  const p = _runtimeDir ? runtimeStatePath(_runtimeDir, SELF_HEAL_MARKER) : null
   if (!p) return null
   try {
     const s = JSON.parse(readFileSync(p, 'utf8'))
@@ -279,7 +280,7 @@ function _selfHealLineVisible(changeName, kind, noMute) {
   next[key] = now + MUTE_WINDOW_MS
   try {
     mkdirSync(_runtimeDir, { recursive: true })
-    writeFileSync(join(_runtimeDir, SELF_HEAL_MARKER), JSON.stringify(next) + '\n', 'utf8')
+    writeFileSync(runtimeStatePath(_runtimeDir, SELF_HEAL_MARKER), JSON.stringify(next) + '\n', 'utf8')
   } catch { /* marker 写失败 = 闸门失效退化为直通，仅损失降噪 */ }
   _openedSelfHealByThisProcess.add(key)
   return true

package/src/sync.js

@@ -11,6 +11,7 @@
 import { existsSync, mkdirSync, readFileSync, readdirSync, writeFileSync, unlinkSync, chmodSync, rmSync, statSync } from 'fs';
 import { createHash } from 'crypto';
 import { writeAtomicSync } from './fs-atomic.js';
+import { runtimeStatePath } from './runtime-paths.js';
 import { join, dirname, basename, isAbsolute, relative, resolve as pathResolve } from 'path';
 import { homedir } from 'os';
 import { resolvePlatformSpecDir } from './progress.js';
@@ -718,7 +719,19 @@ export class SyncManager {
           console.warn(`⚠️ [sync] 变更 ${changeName} 的未决冲突已过期（base_ts ≥ 平台 ts=${stalePlatTs}），自动清除并恢复推送`);
         } else {
           console.warn(`⚠️ [sync] 变更 ${changeName} 存在未决平台冲突，跳过自动推送。处理：sillyspec platform resolve ${changeName} --keep-local | --take-platform | --abort`);
-          return { synced: 0, errors: [`conflict pending: ${changeName}`], conflict: true, suppressed: true };
+          // spec 树与 progress 六表是独立通道（独立端点/独立冲突文件）：progress 冲突抑制
+          // 只应封锁六表上行，不应连带封锁 spec 树——否则删除 op 的唯一上行通道被冲突文件
+          // 长期封锁（2026-10-16 下游实证：409 窗口内本地删除的任务卡在服务器留存，后续整树
+          // 快照拉取把它们写回本地=复活，FR-01 上游成因）。补跑 best-effort：失败不改本分支
+          // 既有的 conflict/suppressed 返回语义（spec 树自身有失败可见性与下轮重试）。
+          let specTreeErrors = [];
+          try {
+            await syncSpecTree(safePlatformSpecDir(this.cwd) || join(this.cwd, '.sillyspec'), this._getPlatform(), changeName, { signal: opts.signal });
+          } catch (err) {
+            specTreeErrors = [`spec 树补跑失败（不影响抑制语义）: ${err.message}`];
+            debugLog(`[sync] 冲突抑制期间 spec 树同步异常: ${changeName}: ${err.message}`);
+          }
+          return { synced: 0, errors: [`conflict pending: ${changeName}`, ...specTreeErrors], conflict: true, suppressed: true, specTreeAttempted: true };
         }
       }
     }
@@ -904,8 +917,14 @@ export class SyncManager {
         // 树根与进度锚点同源（safePlatformSpecDir，平台模式 → specRoot）：此前硬编码
         // cwd/.sillyspec，平台模式下该目录只有 local.yaml（被 walk 排除）→ 本地树恒空
         // → 服务器清单全量 delete（BUG-01，computeSpecOps 护栏为第二道防线）。
+        // treeOk 透传（2026-10-17-archive-half-state-location-stuck-active）：树通道失败
+        // 不影响进度上行返回值（既有语义不变），但结果对象必须如实携带——终态强校验
+        // （triggerSyncTerminalStrict）按 treeOk 判「平台 location 是否收敛」，吞进
+        // debugLog 会让归档半态（status=archived + location=active）静默存活。
+        let treeOk = false;
         try {
-          await syncSpecTree(safePlatformSpecDir(this.cwd) || join(this.cwd, '.sillyspec'), this._getPlatform(), changeName, { signal: opts.signal });
+          const treeResult = await syncSpecTree(safePlatformSpecDir(this.cwd) || join(this.cwd, '.sillyspec'), this._getPlatform(), changeName, { signal: opts.signal });
+          treeOk = treeResult && treeResult.ok === true;
         } catch (err) {
           debugLog(`[sync] spec 树增量同步失败（不影响进度）: ${changeName}: ${err.message}`);
         }
@@ -922,7 +941,7 @@ export class SyncManager {
           }
         }
 
-        return { synced: 1, errors: [] };
+        return { synced: 1, errors: [], treeOk };
       }
 
       if (res.status !== 409) {
@@ -1293,7 +1312,7 @@ export class SyncManager {
         .digest('hex');
     } catch { /* 指纹失败按有变化处理 */ }
     if (!manual && docsFingerprint) {
-      const markerPath = join(safePlatformSpecDir(this.cwd) || join(this.cwd, '.sillyspec'), '.runtime', `sync-docs-lastpush-${changeName}.json`);
+      const markerPath = runtimeStatePath(join(safePlatformSpecDir(this.cwd) || join(this.cwd, '.sillyspec'), '.runtime'), `sync-docs-lastpush-${changeName}.json`);
       try {
         const prev = JSON.parse(readFileSync(markerPath, 'utf8'));
         if (prev && prev.hash === docsFingerprint) {
@@ -1323,7 +1342,8 @@ export class SyncManager {
       try {
         const runtimeDir = join(safePlatformSpecDir(this.cwd) || join(this.cwd, '.sillyspec'), '.runtime');
         mkdirSync(runtimeDir, { recursive: true });
-        writeFileSync(join(runtimeDir, `sync-docs-lastpush-${changeName}.json`), JSON.stringify({ hash: docsFingerprint, at: Date.now() }) + '\n', 'utf8');
+        try { mkdirSync(join(runtimeDir, 'state'), { recursive: true }); } catch { /* marker fail-open */ }
+        writeFileSync(runtimeStatePath(runtimeDir, `sync-docs-lastpush-${changeName}.json`), JSON.stringify({ hash: docsFingerprint, at: Date.now() }) + '\n', 'utf8');
       } catch { /* marker 失败只损失去重（下轮多推一次），不影响同步 */ }
     }
     console.log(`[sync] 已同步 ${syncedCount} 个文档: ${changeName}`);
@@ -1509,7 +1529,7 @@ export class SyncManager {
     if (!specDir) return null;
     const runtimeDir = join(specDir, '.runtime');
     if (!existsSync(runtimeDir)) mkdirSync(runtimeDir, { recursive: true });
-    const conflictPath = join(runtimeDir, `sync-conflict-${changeName}.json`);
+    const conflictPath = runtimeStatePath(runtimeDir, `sync-conflict-${changeName}.json`);
     const payload = {
       change: changeName,
       base_ts: info.base_ts ?? null,
@@ -1530,7 +1550,7 @@ export class SyncManager {
   readConflictFile(changeName) {
     const specDir = safePlatformSpecDir(this.cwd);
     if (!specDir) return null;
-    const conflictPath = join(specDir, '.runtime', `sync-conflict-${changeName}.json`);
+    const conflictPath = runtimeStatePath(join(specDir, '.runtime'), `sync-conflict-${changeName}.json`);
     if (!existsSync(conflictPath)) return null;
     try {
       return JSON.parse(readFileSync(conflictPath, 'utf8'));
@@ -1545,7 +1565,7 @@ export class SyncManager {
   readSpecConflictFile(changeName) {
     const specDir = safePlatformSpecDir(this.cwd);
     if (!specDir) return null;
-    const p = join(specDir, '.runtime', `spec-sync-conflict-${changeName}.json`);
+    const p = runtimeStatePath(join(specDir, '.runtime'), `spec-sync-conflict-${changeName}.json`);
     if (!existsSync(p)) return null;
     try {
       return JSON.parse(readFileSync(p, 'utf8'));
@@ -1558,7 +1578,7 @@ export class SyncManager {
   clearSpecConflictFile(changeName) {
     const specDir = safePlatformSpecDir(this.cwd);
     if (!specDir) return false;
-    const p = join(specDir, '.runtime', `spec-sync-conflict-${changeName}.json`);
+    const p = runtimeStatePath(join(specDir, '.runtime'), `spec-sync-conflict-${changeName}.json`);
     if (!existsSync(p)) return false;
     try { unlinkSync(p); return true; }
     catch { return false; }
@@ -1571,7 +1591,7 @@ export class SyncManager {
   clearConflictFile(changeName) {
     const specDir = safePlatformSpecDir(this.cwd);
     if (!specDir) return false;
-    const conflictPath = join(specDir, '.runtime', `sync-conflict-${changeName}.json`);
+    const conflictPath = runtimeStatePath(join(specDir, '.runtime'), `sync-conflict-${changeName}.json`);
     if (!existsSync(conflictPath)) return false;
     try { unlinkSync(conflictPath); return true; }
     catch { return false; }
@@ -1881,6 +1901,30 @@ export class SyncManager {
     // ①rm 前先把内容原子写到树外 `<specDir 根名>.local.yaml.bak`（树内会被 rm 一并删掉，
     //   故放父目录）；②恢复主路径不变，失败时从 .bak 再兜底复制一次；③成功路径末尾
     //   清理 .bak（明文 token 不留第二份；顺带清历史失败残留）。
+    // 防复活抑制（坑 spec-tree-file-resurrect，2026-10-16 下游实证）：progress 冲突/熔断
+    // 窗口内本地删除的文件（删除 op 未上行成功，服务器清单仍含它）会在整树快照回放时被
+    // 服务器旧内容写回=复活（幽灵任务卡 + 验证误报「文件未清理」）。抑制判据无状态现算：
+    // 基线快照（.runtime/spec-sync-base.json = 上次成功同步时刻的本地文件全集，语义见
+    // spec-sync.js BASE_SNAPSHOT）有、当前盘面无 = 本地删除，回放时跳过这些条目；删除 op
+    // 后续上行成功 → 服务器清单不再含该路径 → bundle 不再携带 → 抑制面自然衰减。
+    // 基线在下方 rm 时会被连带删除（bundle 恒不含 .runtime），故必须在 rm 前读取。
+    // restoreDeleted: true = 用户显式意志优先，跳过抑制（恢复纯快照回放语义）。
+    const suppressResurrect = new Set();
+    const resurrectSkipped = []; // 被防复活抑制挡下的条目（suppressResurrect 命中面；try 外可见供返回值携带）
+    if (!opts.restoreDeleted) {
+      try {
+        const baseRaw = JSON.parse(readFileSync(runtimeStatePath(join(specDir, '.runtime'), 'spec-sync-base.json'), 'utf8'));
+        const baseHashes = baseRaw && typeof baseRaw.hashes === 'object' ? baseRaw.hashes : null;
+        if (baseHashes) {
+          for (const p of Object.keys(baseHashes)) {
+            const rel = String(p).replace(/\\/g, '/').replace(/^\.\//, '');
+            if (!rel || rel === 'local.yaml' || rel.startsWith('.runtime/')) continue;
+            if (!existsSync(join(specDir, rel))) suppressResurrect.add(rel);
+          }
+        }
+      } catch { /* 基线缺失/损坏 = 无抑制面（全新空环境全量回放，既有行为不变） */ }
+    }
+
     const localYamlPath = join(specDir, 'local.yaml');
     const localYamlBakPath = join(dirname(specDir), `${basename(specDir)}.local.yaml.bak`);
     let localYamlSaved = null; // null = 本无此文件，无需恢复
@@ -1916,6 +1960,11 @@ export class SyncManager {
       const crlfEntries = [];
       for (const e of entries) {
         _assertSafeTarName(e.name.replace(/\/+$/, ''), specDir);
+        const relName = e.name.replace(/^\.\//, '').replace(/\\/g, '/');
+        if (!e.isDir && suppressResurrect.has(relName)) {
+          resurrectSkipped.push(relName); // 基线有、盘面无=本地删除：不从快照复活
+          continue;
+        }
         const fullPath = join(specDir, e.name);
         if (e.isDir) {
           mkdirSync(fullPath, { recursive: true });
@@ -1926,6 +1975,10 @@ export class SyncManager {
           if (e.data && e.data.length < 4 * 1024 * 1024) crlfEntries.push([e.name, e.data]); // CRLF 画像采样（超 4MB 大文件跳过采样，写入不受影响）
         }
       }
+      // 防复活抑制可见（宁可吵不可静默复活）：被挡路径点名（截断防刷屏），出路指 --restore-deleted
+      if (resurrectSkipped.length > 0) {
+        console.warn(`⚠️ [sync] 防复活抑制：${resurrectSkipped.length} 个本地已删除文件未从快照恢复（基线有、盘面无=本地删除尚未上行成功；确要从快照恢复用 --restore-deleted）: ${resurrectSkipped.slice(0, 5).join(', ')}${resurrectSkipped.length > 5 ? ' 等' : ''}`);
+      }
       // 批量写入留痕（2026-09-17 反馈⑥②法证收口）：整树解包=逐字节回放，他机 CRLF 内容
       // 原样落盘——审计行记 时间/触发面/文件数/CRLF 命中数（fail-open）。
       try {
@@ -1937,6 +1990,7 @@ export class SyncManager {
           crlfPaths: crlfPaths.slice(0, WRITE_AUDIT_FILE_CAP),
           crlfCount: crlfPaths.length,
           force: opts.force === true,
+          resurrectSkippedCount: resurrectSkipped.length,
         });
       } catch { /* 审计 fail-open */ }
       if (localYamlSaved !== null) {
@@ -1962,7 +2016,7 @@ export class SyncManager {
       return { ok: false, pulled: false, specDir, reason: `解压 spec bundle 失败: ${err.message}` };
     }
     console.log(`[sync] 已拉取 spec 快照并解压到 ${specDir}${specVersion ? `（平台 spec_version: ${specVersion}，打包时刻快照非实时）` : ''}`);
-    return { ok: true, pulled: true, specDir, specVersion };
+    return { ok: true, pulled: true, specDir, specVersion, ...(resurrectSkipped.length > 0 ? { resurrectSkipped } : {}) };
   }
 
   /**
@@ -2063,7 +2117,7 @@ export class SyncManager {
     // 基线快照刷新（best-effort）：被覆盖路径回写当前盘面 hash（= 服务器内容 hash）、被删
     // 路径移除条目——下次同步这些路径按「本地未改动」豁免回推（take-platform 语义闭环）。
     try {
-      const baseFile = join(specDir, '.runtime', 'spec-sync-base.json');
+      const baseFile = runtimeStatePath(join(specDir, '.runtime'), 'spec-sync-base.json');
       let base = null;
       try { base = JSON.parse(readFileSync(baseFile, 'utf8')); } catch { base = null; }
       const hashes = base && typeof base.hashes === 'object' ? base.hashes : {};
@@ -2290,9 +2344,11 @@ export class SyncManager {
     if (!specDir) return [];
     const runtimeDir = join(specDir, '.runtime');
     if (!existsSync(runtimeDir)) return [];
+    // 2026-10-18 布局分层：冲突文件落 state/；根目录扫描保留旧布局兜底
     let files = [];
-    try { files = readdirSync(runtimeDir); }
-    catch { return []; }
+    for (const dir of [join(runtimeDir, 'state'), runtimeDir]) {
+      try { files.push(...readdirSync(dir)); } catch { /* 可选层缺失跳过 */ }
+    }
     const conflicts = [];
     // HUB-08：同时扫描进度冲突（sync-conflict-*）与 spec 树冲突（spec-sync-conflict-*），
     // type 字段供 status 展示与 resolve 分流
@@ -2302,7 +2358,7 @@ export class SyncManager {
       else if (f.startsWith('spec-sync-conflict-') && f.endsWith('.json')) prefix = 'spec-sync-conflict-';
       else continue;
       const type = prefix === 'sync-conflict-' ? 'progress' : 'spec-tree';
-      const filePath = join(runtimeDir, f);
+      const filePath = existsSync(runtimeStatePath(runtimeDir, f)) ? runtimeStatePath(runtimeDir, f) : join(runtimeDir, f);
       try {
         const cf = JSON.parse(readFileSync(filePath, 'utf8'));
         conflicts.push({

package/src/task-done.js

@@ -19,6 +19,7 @@
  * `task start` 的受影响测试族注入不在本命令面（开工前置提示，保留不动）。
  */
 import { existsSync, readFileSync, unlinkSync } from 'node:fs'
+import { runtimeStatePath } from './runtime-paths.js'
 import { join } from 'node:path'
 
 /**
@@ -50,7 +51,7 @@ export async function runTaskDone({ changeName, cwd, taskId, verdict, notes = ''
   let reviewSkipped = false
   try {
     let runId = ''
-    const markerFile = join(runtimeRoot, 'current-execute-run-id-' + changeName)
+    const markerFile = runtimeStatePath(runtimeRoot, 'current-execute-run-id-' + changeName)
     try {
       if (existsSync(markerFile)) {
         const c = readFileSync(markerFile, 'utf8').trim()

package/src/task-review.js

@@ -9,6 +9,7 @@
  */
 
 import { existsSync, readFileSync, mkdirSync, writeFileSync, readdirSync, statSync } from 'fs'
+import { runtimeStatePath } from './runtime-paths.js'
 import { join, resolve, basename, dirname } from 'path'
 import { execFileSync } from 'child_process'
 import { git, unquoteGitPath } from './git-helper.js'
@@ -959,7 +960,7 @@ export function resolveLatestExecuteRunIdWithTasks({ runtimeRoot, changeName = n
 }
 
 export function resolveLatestExecuteRunId({ runtimeRoot, changeName }) {
-  const marker = join(runtimeRoot, `current-execute-run-id-${changeName}`)
+  const marker = runtimeStatePath(runtimeRoot, `current-execute-run-id-${changeName}`)
   try {
     if (existsSync(marker)) {
       const c = readFileSync(marker, 'utf8').trim()
@@ -1077,7 +1078,7 @@ export function resolveExecuteRunForChange({ runtimeRoot, changeName, taskIds =
     // 1. marker
     let markerRunId = null
     try {
-      const marker = join(runtimeRoot, `current-execute-run-id-${changeName}`)
+      const marker = runtimeStatePath(runtimeRoot, `current-execute-run-id-${changeName}`)
       if (existsSync(marker)) {
         const c = readFileSync(marker, 'utf8').trim()
         if (c && !isValidExecuteRunId(c)) console.warn(`[sillyspec] execute run marker 内容非法（期望 exec-YYYY-MM-DD-HHMMSS，实得 ${JSON.stringify(c.slice(0, 60))}），忽略并回退归属扫描`)
@@ -1341,7 +1342,7 @@ export async function generateTaskReviewDrafts({ changeName, cwd, platformOpts =
   }
 
   // exec-id：与 Task Review Gate（gates.js:269）/ autoCheckPlanFromReviews 同源
-  const runIdFile = join(runtimeRoot, 'current-execute-run-id-' + changeName)
+  const runIdFile = runtimeStatePath(runtimeRoot, 'current-execute-run-id-' + changeName)
   let executeRunId = ''
   try {
     if (existsSync(runIdFile)) {
@@ -1637,7 +1638,7 @@ export async function adoptTaskReviewMechanics({ changeName, cwd, platformOpts =
   // executeRunId：与草稿/gate 同源 marker。缺 marker 不新建 run——adopt 修的是当前 run 里
   // 已存在的 review，marker 丢失说明无「当前 run」语义，无对象可修（gate 对 marker 缺失放行，
   // 下游 Task Review Gate 兜底，这里同口径不造 run）。
-  const runIdFile = join(runtimeRoot, 'current-execute-run-id-' + changeName)
+  const runIdFile = runtimeStatePath(runtimeRoot, 'current-execute-run-id-' + changeName)
   let executeRunId = ''
   try {
     if (existsSync(runIdFile)) {
@@ -1969,7 +1970,7 @@ export async function writeTaskReview({
   if (!existsSync(taskCardPath)) {
     return { ok: false, errors: [`task 卡不存在：${taskCardPath}（先由 plan 阶段生成或手建）`], warnings }
   }
-  const markerFile = join(runtimeRoot, 'current-execute-run-id-' + changeName)
+  const markerFile = runtimeStatePath(runtimeRoot, 'current-execute-run-id-' + changeName)
   let executeRunId = ''
   try {
     if (existsSync(markerFile)) {
@@ -1986,6 +1987,7 @@ export async function writeTaskReview({
       // 排他认领（坑 exec-run-id-same-second-collision）+ 幂等 mkdir，认领碰撞换后缀
       executeRunId = claimExecuteRunId(runtimeRoot, executeRunId)
       mkdirSync(join(runtimeRoot, 'execute-runs', executeRunId, 'tasks'), { recursive: true })
+      try { mkdirSync(dirname(markerFile), { recursive: true }); } catch { /* fail-open */ }
       writeFileSync(markerFile, executeRunId + '\n')
       stampExecuteRunChange(runtimeRoot, executeRunId, changeName)
       warnings.push(`无 execute run marker——已生成新 runId ${executeRunId} 并建目录（正常应先跑过 execute Wave 步）`)

package/src/task-tick.js

@@ -19,6 +19,7 @@
  *   - 归档件只读：变更已归档时拒收（exit 2）。
  */
 import { existsSync, readFileSync, appendFileSync } from 'node:fs'
+import { runtimeStatePath } from './runtime-paths.js'
 import { join } from 'node:path'
 
 /** 任务行（宽容缩进/星号有序标记，与哨兵判集行锚同口径 + 缩进容差）。 */
@@ -137,7 +138,7 @@ export async function runTaskTick({ changeName, cwd, taskId, specBase, evidence
     try {
       const { resolveRuntimeRoot } = await import('./run/shared.js')
       const runtimeRoot = resolveRuntimeRoot({}, specBase)
-      const eventsPath = join(runtimeRoot, `watcher-events-${changeName}.jsonl`)
+      const eventsPath = runtimeStatePath(runtimeRoot, `watcher-events-${changeName}.jsonl`)
       const from = Math.max(0, r.checked - 1)
       appendFileSync(eventsPath, JSON.stringify({
         ts: Date.now(), kind: 'task-done', stage: 'tasks',
@@ -168,6 +169,27 @@ export async function runTaskTick({ changeName, cwd, taskId, specBase, evidence
     ? `｜下一任务：${r.next.id} ${r.next.desc.slice(0, 40)}${r.next.desc.length > 40 ? '…' : ''}`
     : `｜🎉 ${r.total}/${r.total} 全勾——可收口：sillyspec flow done --change ${changeName}`
   console.log(`${r.kind === 'ticked' ? '✅ 已勾' : 'ℹ️ 已是勾选态（幂等跳过写盘）'}（${r.checked}/${r.total}）${nextTip}`)
+  if (r.kind === 'ticked') {
+    // 勾选随交付入库教学（2026-10-17-tick-timing-source，坑 tick-timing-squash-blindspot 根因 1/3
+    // 断链处）：翻格后给现成提交命令——pathspec 含 tasks.md 与侧车（勾选修改与任务交付同一提交
+    // 入库，消息占位带 task-NN token），把纪律变成可抄的命令；并当场提醒「此前勾选仍未进
+    // git」（已勾 ≥2 格且 tasks.md 零提交）——反馈不再等到 flow done 终点。best-effort：
+    // git 不可用（非 git 目录/失败返回 null）只给命令不给提醒，失败不影响翻格与 exit code。
+    try {
+      const { relative } = await import('node:path')
+      const rel = (p) => relative(cwd, p).split('\\').join('/')
+      const sidecar = join(changesRoot, changeName, 'task-ticks.jsonl')
+      const paths = `${rel(tasksPath)}${existsSync(sidecar) ? ` ${rel(sidecar)}` : ''}`
+      console.log(`📦 勾选随交付入库（add 与 commit 同一清单——勾选修改随任务交付同一提交）：`)
+      console.log(`   git add -- <交付文件…> ${paths}`)
+      console.log(`   git commit -m "<本任务交付概括> (${normalizeTaskId(taskId) || taskId})" -- <交付文件…> ${paths}`)
+      const { gitQuiet } = await import('./git-helper.js')
+      const touched = gitQuiet(cwd, ['log', '-n', '1', '--format=%h', '--', tasksPath])
+      if (r.checked >= 2 && touched === '') {
+        console.log(`ℹ️ tasks.md 尚无任何提交（此前勾选未随交付入库）——上面两行命令已把它带进清单，照抄即闭环`)
+      }
+    } catch { /* 教学面 best-effort：失败不影响翻格 */ }
+  }
   return r
 }
 

package/src/test-bindings.js

@@ -18,7 +18,7 @@
  */
 import { createHash } from 'crypto'
 import { existsSync, readFileSync, readdirSync } from 'fs'
-import { join } from 'path'
+import { dirname, join } from 'path'
 import { writeAtomicSync } from './fs-atomic.js'
 import { gitQuiet } from './git-helper.js'
 import { quicklogSidecarPath } from './quicklog.js'
@@ -193,9 +193,38 @@ export function readChangeTrace(changeDir) {
   } catch { return [] }
 }
 
-/** 写 trace（幂等：序列化字节不变跳写；原子：writeAtomicSync） */
+/** 写 trace（幂等：序列化字节不变跳写；原子：writeAtomicSync）
+ *
+ * 幽灵绑定过滤（2026-10-15-zcode-engine-appserver 归档期实证，跨仓事故驱动修复）：
+ * machine 行的 tests 条目若在任一候选根（变更目录上溯项目根 / process.cwd()）都不存在——
+ * 多为卡片文本误提的不存在路径（如 verify 命令笔误被 deps 推断/绑定扫描捕获）——丢弃该
+ * 条目并 console.warn 留痕；agent 行不动（修理工/用户绑定如实保留）；行内条目全被滤光则
+ * 保留原行不滤（交由 apply/verify 的悬空闸门裁决，不在写侧静默删行）。
+ */
 export function writeChangeTrace(changeDir, changeName, rows) {
-  const normalized = rows.map(normalizeRow)
+  const projectRoots = (() => {
+    const cands = []
+    let d = changeDir
+    for (let i = 0; i < 3; i++) { d = dirname(d); cands.push(d.replace(/\\/g, '/')) }
+    cands.push(process.cwd().replace(/\\/g, '/'))
+    return [...new Set(cands)]
+  })()
+  const _existsSomewhere = (f) => projectRoots.some(root => existsSync(join(root, f)))
+  let _ghostDropped = []
+  const _filtered = rows.map(r => {
+    if (r.discovery === 'agent') return r
+    const files = (r.tests || []).map(t => testAnchorFile(t))
+    const ghosts = files.filter(f => !_existsSomewhere(f))
+    if (ghosts.length === 0) return r
+    const ghostKeys = new Set(ghosts)
+    _ghostDropped.push(...ghosts.map(g => `${r.row_id}: ${g}`))
+    const remaining = (r.tests || []).filter(t => !ghostKeys.has(testAnchorFile(t)))
+    return remaining.length > 0 ? { ...r, tests: remaining } : r
+  })
+  if (_ghostDropped.length > 0) {
+    console.warn('⚠️ [test-bindings] 幽灵绑定条目过滤：' + _ghostDropped.length + ' 个不存在的 tests 路径已从 machine 行丢弃（agent 行不动）：\n  ' + _ghostDropped.slice(0, 5).join('\n  '))
+  }
+  const normalized = _filtered.map(normalizeRow)
   const payload = JSON.stringify({
     schemaVersion: 1, change: changeName, rows: normalized,
   }, null, 2) + '\n'

package/src/ui-visual.js

@@ -17,6 +17,8 @@
  */
 import { existsSync, readFileSync } from 'node:fs'
 import { join } from 'node:path'
+import jsYaml from 'js-yaml'
+import { parseRepoRegistry } from './stages/plan-postcheck.js'
 
 export const UI_VISUAL_PROBE_HEADING = '#### 探针 12：UI 视觉证据（分级门）'
 export const UI_EVIDENCE_FILENAME = 'visual-evidence.md'
@@ -48,8 +50,114 @@ export function detectUiTouchInPaths(paths) {
 
 /* ── flow start 须知（仓中立；证据约定与探针同源）── */
 
-export function buildUiGuidanceLines() {
-  return [
+/**
+ * local.yaml ui_prototype 段解析（2026-10-15-ui-proto-form-config，FR-01）。
+ * 每仓原型形态契约：form: real-code | single-html；豁免（single-html）须带 ruling{by,at,reason}
+ * 全三字段（用户裁决留痕——缺任一=登记不完整，消费方须警告）；repos.<子仓键> 同构 override。
+ * fail-soft：段缺席/文件不可读/YAML 坏/值非法 → registered:false 零抛出（与 readUiVisualGate
+ * 同根同哲学）。诚实边界：工具只消费登记与注入指引，不校验原型质量。
+ */
+export function readUiPrototypeForm(specBase) {
+  const empty = { registered: false, form: null, ruling: null, rulingComplete: false, repos: {} }
+  if (!specBase) return empty
+  let raw
+  try {
+    raw = jsYaml.load(readFileSync(join(specBase, 'local.yaml'), 'utf8'))
+  } catch { return empty }
+  const section = raw && typeof raw === 'object' ? raw.ui_prototype : null
+  if (!section || typeof section !== 'object') return empty
+  const parseEntry = (e) => {
+    if (!e || typeof e !== 'object') return null
+    const form = e.form === 'real-code' || e.form === 'single-html' ? e.form : null
+    if (!form) return null
+    const r = e.ruling && typeof e.ruling === 'object' ? e.ruling : null
+    const rulingComplete = !!(r && r.by && r.at && r.reason)
+    return { form, ruling: r, rulingComplete }
+  }
+  const top = parseEntry(section)
+  const repos = {}
+  if (section.repos && typeof section.repos === 'object') {
+    for (const [key, val] of Object.entries(section.repos)) {
+      const entry = parseEntry(val)
+      if (entry) repos[key] = entry
+    }
+  }
+  if (!top) return { registered: false, form: null, ruling: null, rulingComplete: false, repos }
+  return { registered: true, ...top, repos }
+}
+
+/**
+ * 多仓 override 解析（FR-02）：触达路径与 local.yaml repos 注册匹配——子仓若在
+ * ui_prototype.repos 有 override 则该形态优先；未命中走仓级兜底。返回形态条目数组（去重）：
+ * 每项 { scope: '仓级'|'<子仓键>', form, ruling, rulingComplete, registered }。
+ * 匹配三通道（评审 P2 清偿：注入语料常为相对路径，纯绝对前缀会让 override 静默失效）：
+ *   ① 绝对前缀：归一（反斜杠→斜杠/去尾斜杠/大小写不敏感）后 startsWith 注册路径；
+ *   ② 相对键前缀：路径以 `<repoKey>/` 开头（语料常见 `spdemo/src/...` 形态）；
+ *   ③ 相对基名前缀：路径以注册路径 basename + `/` 开头（键与目录名不同名时兜底）。
+ */
+export function resolveUiPrototypeFor(specBase, paths = []) {
+  const proto = readUiPrototypeForm(specBase)
+  const out = []
+  const seen = new Set()
+  const push = (entry) => {
+    const key = `${entry.form}|${entry.rulingComplete}`
+    if (seen.has(key)) return
+    seen.add(key)
+    out.push(entry)
+  }
+  if (paths.length > 0) {
+    let repoPaths = {}
+    try {
+      // 复用既有注册解析（plan-postcheck _parseRepoEntries 同语义出口：字符串条目=路径、
+      // 对象条目取 path 子键）——不走 js-yaml 裸读，防对象形态静默漏配。
+      repoPaths = Object.fromEntries(parseRepoRegistry(readFileSync(join(specBase, 'local.yaml'), 'utf8')))
+    } catch { /* 解析失败=零子仓命中，仓级兜底 */ }
+    const norm = (p) => String(p).replace(/\\/g, '/').replace(/\/+$/, '').toLowerCase()
+    for (const [key, registeredPath] of Object.entries(repoPaths)) {
+      if (typeof registeredPath !== 'string' || !registeredPath) continue
+      const reg = norm(registeredPath)
+      const regBase = reg.split('/').pop()
+      const hit = paths.some((p) => {
+        const np = norm(p)
+        return np.startsWith(reg + '/') || np === reg
+          || np.startsWith(key.toLowerCase() + '/')
+          || np.startsWith(regBase + '/')
+      })
+      const override = proto.repos[key]
+      if (hit && override) push({ scope: key, registered: true, ...override })
+    }
+  }
+  push(proto.registered
+    ? { scope: '仓级', registered: true, form: proto.form, ruling: proto.ruling, rulingComplete: proto.rulingComplete }
+    : { scope: '仓级', registered: false, form: null, ruling: null, rulingComplete: false })
+  return out
+}
+
+/** 须知第 5 节：按形态条目组合「本仓原型形态」行（FR-03 四态；生态命令词禁入——neutrality 契约）。 */
+function uiPrototypeFormLines(entries) {
+  const lines = [`📐 本仓原型形态（local.yaml ui_prototype 登记；工具只查声明在场不验质量）：`]
+  let anyContent = false
+  for (const e of entries) {
+    const scope = e.scope === '仓级' ? '' : `【子仓 ${e.scope}】`
+    if (!e.registered) {
+      anyContent = true
+      lines.push(`   ⚠️ ${scope}未登记原型形态——本次按阶梯执行：有真实前端工具链→定稿原型必须真码；查无真码管线→先单开一个轻量变更搭最小入口（管线建设与业务变更分离），或登记豁免（form: single-html + ruling 用户裁决留痕）。收口前把 local.yaml ui_prototype 登记补上（强提醒，不阻断）。`)
+    } else if (e.form === 'single-html' && !e.rulingComplete) {
+      anyContent = true
+      lines.push(`   ⚠️ ${scope}豁免登记不完整（single-html 缺 ruling{by,at,reason} 某字段）——这是静默漂移入口：补齐用户裁决留痕（by/at/reason）后再依赖豁免；本次仍按阶梯执行。`)
+    } else if (e.form === 'single-html') {
+      anyContent = true
+      lines.push(`   📋 ${scope}豁免生效（single-html；裁决 by=${e.ruling.by} at=${e.ruling.at}）：定稿原型＝自包含 HTML + 真值 token（来源须声明：token 源文件/组件参照），反向翻译税为已裁决接受项。`)
+    } else {
+      anyContent = true
+      lines.push(`   🔒 ${scope}真码契约（real-code）：定稿原型必须与实现同方言真码；查无管线先单开轻量变更搭最小入口（bootstrap 与业务变更分离）。`)
+    }
+  }
+  return anyContent ? lines : []
+}
+
+export function buildUiGuidanceLines(specBase = null, paths = []) {
+  const lines = [
     `🎨 UI 变更执行须知（本变更触及前端页面或 UI——advisory 引导非门禁）：`,
     `   1. 定稿原型必须是可复跑的真码产物（与实现同方言、能被本项目工具链构建）——手绘单文件`,
     `      仅限一次性粗选对比，不作为交付原型（2026-09-28 frontend-apple-style 实证：手绘定稿后每条意见都要反向翻译回真实代码）；`,
@@ -62,6 +170,13 @@ export function buildUiGuidanceLines() {
     `      必须停下找用户签字，裁决记录写进 ${UI_EVIDENCE_FILENAME}（含「用户裁决」字样段）——`,
     `      静默降级会在收口被「UI 视觉证据」探针硬拦（error 门）。`,
   ]
+  if (specBase) {
+    try {
+      const entries = resolveUiPrototypeFor(specBase, paths)
+      lines.push('', ...uiPrototypeFormLines(entries))
+    } catch { /* 登记解析失败零打扰（fail-soft 同 readUiVisualGate） */ }
+  }
+  return lines
 }
 
 /* ── 分级探针 ── */
@@ -173,8 +288,8 @@ export function uiEvidenceExecuteAdvisory({ changeDir, specBase = null }) {
   }
 }
 
-/** design 文件变更清单行的路径粗提（反引号/裸路径行——探针侧仅作 UI 扩展名兜底命中，不追求全解）。 */
-function extractQuotedPaths(designText) {
+/** design 文件变更清单行的路径粗提（反引号/裸路径行——探针侧仅作 UI 扩展名兜底命中，不追求全解；导出供 prompt.js 组子仓 override 匹配路径用）。 */
+export function extractQuotedPaths(designText) {
   if (!designText) return []
   const paths = []
   for (const m of designText.matchAll(/`([^`]+)`/g)) {

package/src/validate-artifacts.js

@@ -11,6 +11,7 @@
  * 无既有 validator 的 required-evidence 与 endpoints（容忍缺省，出场才算）。
  */
 import { existsSync, readFileSync, readdirSync } from 'node:fs'
+import { runtimeStatePath } from './runtime-paths.js'
 import { join } from 'node:path'
 
 function checkJson(path, fn) {
@@ -66,7 +67,7 @@ export async function validateChangeArtifacts({ cwd, specBase, changeName, runti
 
   // ③ task review.json（最新 execute run 的逐 task 产物——既有 validateReviewSchema）
   {
-    const markerPath = join(rt, `current-execute-run-id-${changeName}`)
+    const markerPath = runtimeStatePath(rt, `current-execute-run-id-${changeName}`)
     const runId = existsSync(markerPath) ? readFileSync(markerPath, 'utf8').trim() : null
     if (!runId) {
       checks.push({ artifact: 'task reviews', status: 'skip', reason: '无 execute run marker（未经 execute 或已清理）' })