sillyspec 3.28.2 → 3.28.4

package/src/verify-probes.js

@@ -11,8 +11,8 @@
  * 探针2（关键词提取半语义）/探针3.4 集成盲区/3.5 断言抽查/探针4（决策追踪语义）留 agent。
  *
  * verify-result.md 骨架：七章节固定结构 + 探针结果机械预填 + 其余章节 <!--TODO--> 占位。
- * 结论章节留「待填」——extractVerifyConclusion 找不到 PASS/FAIL 关键词即判不过，骨架不能
- * 直接过门（与 symbol-impact 骨架同款防偷懒语义）。
+ * 结论走「结论枚举：」固定槽行（刀③）——占位符不含枚举词，槽未填 extractVerifyConclusionSlot
+ * 返回 '' 即判不过，骨架不能直接过门（与 symbol-impact 骨架同款防偷懒语义）。
  * P3b 增量：①章节标题行末尾 claims 层标注（可复跑探针/确定性检查/人工判断，纯后缀不新增行）；
  * ②--init 同步落盘 verify-facts.json 机器底稿（探针命令行 + 首跑关键指标 + 时间戳，CLI 全权写，
  * 供事后独立复跑审计；重复 --init 覆盖为最近一次 init 快照）。
@@ -20,6 +20,9 @@
 import { existsSync, readFileSync, readdirSync, writeFileSync } from 'fs'
 import { join, dirname, basename } from 'path'
 import { gitQuiet } from './git-helper.js'
+import {
+  FACTS_SCHEMA_VERSION, EVIDENCE_SLOT_HEADING, RECEIPT_SLOT_HEADING, parseEvidenceSlots,
+} from './verify-facts-schema.js'
 import { parseFileChangeListDetailed } from './change-list.js'
 import { parseAllowedPaths } from './stages/plan-postcheck.js'
 import { verifyApiParity, _readWorktreeMeta } from './contract-matrix.js'
@@ -310,8 +313,11 @@ export function buildVerifyFacts(result, { changeName, now } = {}) {
   const p3 = (result && result.probe3) || {}
   const p5 = (result && result.probe5) || {}
   const p6 = (result && result.probe6) || {}
+  // v2（2026-09-08-ir-verify-facts）：probes 机器段原样；conclusion/tests/requiredEvidence/
+  // runtimeEvidence/factsConsistency 五段是 slot-backfill/实测回填段（D-001@v2），--init 快照
+  // 不落键（writeVerifyFacts 分段合并时保留既有固化段），由 backfillFactsFromMdAndTests 填。
   return {
-    schemaVersion: 1,
+    schemaVersion: 2,
     change: changeName,
     generatedAt: now || new Date().toISOString(),
     probes: {
@@ -350,37 +356,160 @@ export function buildVerifyFacts(result, { changeName, now } = {}) {
 }
 
 /**
- * verify-probes --init 落盘 verify-facts.json（CLI 全权写）。重复 --init 无条件覆盖——语义是
- * 「最近一次机械预填的审计底稿快照」（骨架已存在跳过时 facts 照样刷新），agent 勿手改：
- * 事后复跑审计的对照快照，防篡改一致性检查的对比基准是 verify-result.md 正文（非本文件）。
+ * verify-probes --init 落盘 verify-facts.json（CLI 全权写）。v2（2026-09-08-ir-verify-facts）改
+ * 分段合并：re-init 刷新机器段（probes/generatedAt），保留既有 slot-backfill/实测固化段
+ * （conclusion/tests/requiredEvidence/runtimeEvidence）——旧「无条件覆盖」会抹掉 --done 回填数据
+ * （设计审查 P1-5）。agent 勿手改：复跑审计的对照快照，防篡改基准是 verify-result.md 正文。
  * @param {string} changeDir 变更目录（spec 根下 changes/<name>）
  * @param {object} result runVerifyProbes 返回值
  * @param {string} changeName 变更名（统一命令行呈现）
  * @returns {{ facts: object, path: string }}
  */
 export function writeVerifyFacts(changeDir, result, changeName) {
-  const facts = buildVerifyFacts(result, { changeName })
+  const fresh = buildVerifyFacts(result, { changeName })
   const factsPath = join(changeDir, 'verify-facts.json')
+  let facts = fresh
+  try {
+    const prev = JSON.parse(readFileSync(factsPath, 'utf8'))
+    if (prev && prev.schemaVersion === FACTS_SCHEMA_VERSION) {
+      facts = {
+        ...fresh,
+        conclusion: prev.conclusion,
+        tests: prev.tests,
+        requiredEvidence: prev.requiredEvidence,
+        runtimeEvidence: prev.runtimeEvidence,
+        factsConsistency: prev.factsConsistency, // 保留至上次对比结论（下次 --done 重算覆盖）
+      }
+    }
+  } catch { /* 首次落盘/v1/损坏 → 全新快照（v1 无固化段，直接升 v2） */ }
   writeFileSync(factsPath, JSON.stringify(facts, null, 2) + '\n')
-  console.log(`📝 已刷新 verify-facts.json 机器底稿: ${factsPath}（CLI 全权写，勿手改）`)
+  console.log(`📝 已刷新 verify-facts.json 机器底稿: ${factsPath}（v2 分段合并，固化段保留；CLI 全权写，勿手改）`)
   return { facts, path: factsPath }
 }
 
+/**
+ * --done 回填（D-001@v2 slot-backfill）：结论枚举槽 + 证据/回执槽解析固化进 facts；
+ * testCheckResult 提供时回填 tests 段（实测在 runValidators 之后 → gates 二次回填，FR-03 次序）。
+ * 机器段（probes/factsConsistency）不经本函数（writeVerifyFacts / checkProbeConsistency 所有）。
+ * fail-soft：facts 缺失时原地升 v2（probes 保留或空）；落盘失败 warn 不抛。
+ * @param {string} factsPath verify-facts.json 路径
+ * @param {{ verifyMd: string, testCheckResult?: object|null }} opts
+ * @returns {{ facts: object, conclusion: string|null, evidenceCount: number, receiptCount: number, testsBackfilled: boolean }}
+ */
+export function backfillFactsFromMdAndTests(factsPath, { verifyMd, testCheckResult = null, conclusion = null }) {
+  let facts = null
+  try { facts = JSON.parse(readFileSync(factsPath, 'utf8')) } catch { /* 缺失见下 */ }
+  // 只固化既有底稿，不无中生有（2026-09-08-ir-verify-facts 接线实证）：无 facts 的存量变更
+  // （未跑过 --init）若被回填凭空建出 facts.json，checkProbeConsistency 的「有 facts 无探针
+  // 子节 → error」判别会把存量兼容 skip 误升 error（run-complete-step-verify e2e 抓出）。
+  // 底稿创建唯一入口是 verify-probes --init。
+  if (!facts) {
+    return { facts: null, skipped: true, conclusion: null, evidenceCount: 0, receiptCount: 0, testsBackfilled: false, reason: '无 verify-facts.json（未跑 --init），回填跳过——底稿创建唯一入口是 --init' }
+  }
+  if (facts.schemaVersion !== FACTS_SCHEMA_VERSION) {
+    facts = { ...facts, schemaVersion: FACTS_SCHEMA_VERSION, probes: (facts && facts.probes) || {} }
+  }
+  const slots = parseEvidenceSlots(verifyMd || '')
+  // conclusion 由调用方传 stage-contract.extractVerifyConclusionSlot(verifyMd) 的结果
+  // （避免 verify-probes → stage-contract 静态 import 的潜在环，分层单向）
+  const conclusionSlot = conclusion || null
+  if (conclusionSlot) facts.conclusion = conclusionSlot
+  if (slots.hasEvidenceSlot && slots.requiredEvidence.length > 0) {
+    facts.requiredEvidence = slots.requiredEvidence.map(e => ({
+      task: e.task, status: e.status, verifiedFiles: e.verifiedFiles,
+      ...(e.exempt ? { exempt: true, exemptionReason: e.exemptionReason } : {}),
+    }))
+  }
+  if (slots.hasReceiptSlot && slots.runtimeEvidence.length > 0) {
+    facts.runtimeEvidence = slots.runtimeEvidence
+  }
+  let testsBackfilled = false
+  if (testCheckResult && testCheckResult.status && testCheckResult.status !== 'skipped') {
+    facts.tests = {
+      command: testCheckResult.command || null,
+      exitCode: typeof testCheckResult.exitCode === 'number' ? testCheckResult.exitCode : null,
+      strategy: testCheckResult.mode || testCheckResult.strategy || null,
+      failedRemaining: testCheckResult.failureNames || testCheckResult.failedTests || [],
+      passedAt: new Date().toISOString(),
+    }
+    testsBackfilled = true
+  }
+  try {
+    writeFileSync(factsPath, JSON.stringify(facts, null, 2) + '\n')
+  } catch (e) {
+    console.warn(`⚠️ facts 回填落盘失败（fail-soft，不阻断）: ${e && e.message ? e.message : e}`)
+  }
+  return { facts, conclusion: conclusionSlot, evidenceCount: slots.requiredEvidence.length, receiptCount: slots.runtimeEvidence.length, testsBackfilled }
+}
+
+/**
+ * md 槽段缺失补齐（--init 段落级补齐，2026-09-08-ir-verify-facts R-02）：已存在的
+ * verify-result.md 缺「证据账/集成验证回执」槽段时仅追加骨架（不触碰既有正文），幂等二跑零改动。
+ * @param {string} mdPath verify-result.md 路径
+ * @param {Array<{task:string,evidence:string[]}>} [requiredEvidenceItems] verify-required-evidence.json items（预填 task 行）
+ * @returns {{ added: string[] }} 追加的槽段标题列表
+ */
+export function backfillMissingEvidenceSlots(mdPath, requiredEvidenceItems = []) {
+  let text = ''
+  try { text = readFileSync(mdPath, 'utf8') } catch { return { added: [] } }
+  const normalized = text.replace(/\r\n/g, '\n')
+  const added = []
+  const blocks = []
+  if (!normalized.includes(EVIDENCE_SLOT_HEADING)) {
+    const lines = [EVIDENCE_SLOT_HEADING, '[层：人工判断——CLI 核验]', '', '<!-- 无 cannot_verify 任务时本节写「无」 -->']
+    if (requiredEvidenceItems.length > 0) {
+      for (const it of requiredEvidenceItems) {
+        lines.push(`- ${it.task}: <待填：三选一> | verifiedFiles: <精确路径，逗号分隔>（satisfied 必填；豁免时填 missing 并加（豁免：<一句话理由>）后缀）`)
+      }
+    } else {
+      lines.push('无（本次变更无 cannot_verify 任务）')
+    }
+    lines.push('')
+    blocks.push(lines.join('\n'))
+    added.push(EVIDENCE_SLOT_HEADING)
+  }
+  if (!normalized.includes(RECEIPT_SLOT_HEADING)) {
+    blocks.push([
+      RECEIPT_SLOT_HEADING, '[层：自述声明——CLI 一致性校验]', '',
+      '<!-- integration-critical/deployment-critical 变更必填；其余写「无」 -->',
+      '- claim: <待填：一句话> | command: <待填：命令> | exit: <待填：0 或非 0> | log: <待填：日志路径>',
+      '',
+    ].join('\n'))
+    added.push(RECEIPT_SLOT_HEADING)
+  }
+  if (added.length > 0) {
+    writeFileSync(mdPath, normalized.replace(/\n?$/, '\n') + blocks.join('\n') + '\n')
+  }
+  return { added }
+}
+
 /**
  * 生成 verify-result.md 骨架（七章节；探针结果机械预填，语义章节 <!--TODO--> 占位）。
- * 结论章节留「待填」——extractVerifyConclusion 无 PASS/FAIL 关键词即判不过，骨架不能直接过门。
+ * 结论走「结论枚举：」固定槽行（刀③，2026-09-08）——占位符不含枚举词（<待填：三选一>），
+ * 槽未填 → extractVerifyConclusionSlot 返回 '' → gate 判不过（fail-closed；旧占位符
+ * `<待填：PASS 或 FAIL>` 含 PASS 字样会被窗口正则误读成已填 PASS，已修）。
  * 章节标题行末尾带 claims 层标注（P3b）：探针结果=可复跑探针 / 测试结果=确定性检查 / 其余=
- * 人工判断——纯渲染层后缀，不新增行，verify gate 结论提取按关键词窗口制不受影响。
+ * 人工判断——纯渲染层后缀，不新增行；结论解析槽优先于标题关键词窗口（存量兼容）。
  * @returns {string|null} 骨架全文；无 design.md/tasks.md（非完整流程变更）→ null
  */
 export function generateVerifyResultSkeleton(result) {
   const L = [
     '# 验证报告（骨架由 `sillyspec verify-probes --change <变更名> --init` 生成）',
     '',
-    '> 探针结果已机械预填；其余章节把 `<!--TODO-->` 替换为真实内容。**结论必须写明 PASS / FAIL**——',
-    '> 留「待填」会被 gate 判不过（fail-closed）。',
+    '> 探针结果已机械预填；其余章节把 `<!--TODO-->` 替换为真实内容。**结论只认「结论枚举：」槽行**——',
+    '> 槽行留「<待填：三选一>」会被 gate 判不过（fail-closed），正文其他位置的 PASS/FAIL 字样不参与判定。',
+    '',
+    '## 结论 [层：人工判断]',
+    '',
+    '结论枚举：`<待填：三选一>`（把尖括号占位整体替换为 PASS / PASS WITH NOTES / FAIL 之一；一句话理由写在枚举后同行或下一行）',
+    '',
+    '## 证据账（cannot_verify 任务） [层：人工判断——CLI 核验]',
+    '<!-- 无 cannot_verify 任务时本节写「无」；有则逐 task 一行 -->',
+    '- task-NN: <待填：三选一> | verifiedFiles: <精确路径，逗号分隔>（satisfied 必填；豁免时填 missing 并加（豁免：<一句话理由>）后缀）',
     '',
-    '## 结论：<待填：PASS 或 FAIL（+一句话理由）> [层：人工判断]',
+    '## 集成验证回执 [层：自述声明——CLI 一致性校验]',
+    '<!-- integration-critical/deployment-critical 变更必填；其余写「无」 -->',
+    '- claim: <待填：一句话> | command: <待填：命令> | exit: <待填：0 或非 0> | log: <待填：日志路径>',
     '',
     '## 任务完成度 [层：人工判断]',
     '<!--TODO: 逐 task 对照 tasks.md 勾选与验收标准，完成/未完成/存疑三态-->',

package/src/workflow.js

@@ -12,6 +12,7 @@
 import { readFileSync, existsSync, readdirSync, writeFileSync, mkdirSync } from 'fs'
 import { join, resolve, basename } from 'path'
 import jsYaml from 'js-yaml'
+import { pruneTimestampedEntries } from './runtime-hygiene.js'
 import { WORKFLOW_STATUS } from './constants.js'
 import { contentNonEmpty, lineCount, missingSections, placeholderLineMatches } from './check-primitives.js'
 import { collectInvalidDocRefs } from './docs-check.js'
@@ -626,6 +627,11 @@ export function saveWorkflowRun(result, options = {}) {
 
   try {
     writeFileSync(filepath, JSON.stringify(record, null, 2), 'utf8')
+    // 写入侧滚动裁剪（runtime-hygiene.js，2026-09-08 系统性回收）：workflow-runs/ 只写不收，
+    // 实证本仓 21 份累积。文件名以零填充时间戳开头，name 字典序 == 时间序。fail-open 静默。
+    try {
+      pruneTimestampedEntries({ dir: runDir, keep: 30 })
+    } catch { /* 卫生动作 fail-open */ }
     return filepath
   } catch (e) {
     console.warn('⚠️ 保存 workflow run 失败:', e.message)

package/src/worktree-apply.js

@@ -217,23 +217,31 @@ function getBlobHashMap(cwd, treeish, files) {
  * 跨仓文件不在主仓 worktree 故永不进 diff）；跨仓 task 走 no-op（D-009），其 allowed_paths 仅
  * 作 Map 切片返回，供上游（assess / 跨仓 review 校验）按 repo 取用。
  *
+ * **specBase 解析（2026-09-08 用户反馈：平台模式 apply allowlist 读本地空目录整批 BLOCKED）**：
+ * 优先级 opts.specBase（调用方传 platformOpts.specRoot）> 平台指针（.sillyspec-platform.json
+ * 静默读，不触发 resolvePlatformSpecDir 的守卫 warn）> 本地 projectRoot/.sillyspec。平台模式下
+ * changes/ 实体在 specRoot，本地目录常为空——旧硬编码 CHANGES_REL 恒读空 → allow 集恒空 →
+ * Gate1 整批误拦（sync.js BUG-01 同族）。
+ *
  * @param {string} projectRoot - 主仓库根
  * @param {string} changeName - 变更名
+ * @param {{ specBase?: string }} [opts] specBase 显式传入（平台模式必传 specRoot）
  * @returns {Map<string, Set<string>>} repoKey → 并集清单 Set（无 design 清单且无 task 卡片时为空 Map）
  */
-export function resolveApplyAllowSet(projectRoot, changeName) {
+export function resolveApplyAllowSet(projectRoot, changeName, opts = {}) {
   const repoMap = new Map();
   const getOrCreate = (key) => {
     if (!repoMap.has(key)) repoMap.set(key, new Set());
     return repoMap.get(key);
   };
-  // design §6 清单归属 main（清单路径相对主仓根；跨仓 task 的 allowed_paths 由 task 卡片 repo 切片）
+  const specBase = opts.specBase || _silentPointerSpecRoot(projectRoot) || join(projectRoot, '.sillyspec');
+  // design §6 清单归属 main（清单路径相对主仓根；跨仓 task 的 allowed_paths 由 task 卡 repo 切片）
   const mainSet = getOrCreate('main');
   parseFileChangeList(
-    join(projectRoot, CHANGES_REL, changeName, 'design.md'),
+    join(specBase, 'changes', changeName, 'design.md'),
     { keepSillyspecDocs: true }
   ).forEach(p => mainSet.add(p));
-  const tasksDir = join(projectRoot, CHANGES_REL, changeName, 'tasks');
+  const tasksDir = join(specBase, 'changes', changeName, 'tasks');
   if (existsSync(tasksDir)) {
     for (const tf of readdirSync(tasksDir).filter(f => /^task-\d+\.md$/.test(f))) {
       const content = readFileSync(join(tasksDir, tf), 'utf8');
@@ -246,6 +254,18 @@ export function resolveApplyAllowSet(projectRoot, changeName) {
   return repoMap;
 }
 
+// 平台指针静默读（worktree-apply 内部用）：只读 <projectRoot>/.sillyspec-platform.json 的
+// specRoot 字段，不做存在性/自指/temp 守卫、不打 warn——allowlist 只需一个「读得到就用」的
+// 基准目录，坏指针/缺字段落回本地（与 sync-noise.js bindSyncNoiseFromCwd 同款零副作用风格）。
+function _silentPointerSpecRoot(projectRoot) {
+  try {
+    const p = join(projectRoot, '.sillyspec-platform.json');
+    if (!existsSync(p)) return null;
+    const s = JSON.parse(readFileSync(p, 'utf8').replace(/^\uFEFF/, ''));
+    return s && typeof s.specRoot === 'string' && s.specRoot ? s.specRoot : null;
+  } catch { return null; }
+}
+
 /**
  * 收集最新 execute run 各 task review.json 的 changedFiles 声明 → Map<repoKey, string[]>。
  *
@@ -257,14 +277,23 @@ export function resolveApplyAllowSet(projectRoot, changeName) {
  * collectExecuteChangedFiles 一致：change 戳归属 run、.sillyspec//meta.json 过滤、
  * review.repo 切片（跨仓声明不进 main 集）。读不到 run/review → 空 Map（fail-closed 回退旧行为）。
  *
+ * runtimeRoot 解析（2026-09-08 平台模式修复，与 resolveApplyAllowSet 的 specBase 同族）：
+ * 优先级 opts.runtimeRoot（调用方传 resolveRuntimeRoot(platformOpts, specBase) 产物）>
+ * 指针 specRoot/.runtime（静默读）> 本地 projectRoot/.sillyspec/.runtime。平台模式
+ * execute-runs 在平台 runtime root，旧硬编码本地恒空 → 第三源恒缺失。
+ *
  * @param {string} projectRoot - 主仓库根
  * @param {string} changeName - 变更名
+ * @param {{ runtimeRoot?: string }} [opts]
  * @returns {Map<string, string[]>}
  */
-export function collectReviewDeclaredFiles(projectRoot, changeName) {
+export function collectReviewDeclaredFiles(projectRoot, changeName, opts = {}) {
   const byRepo = new Map();
   try {
-    const runtimeRoot = join(projectRoot, '.sillyspec', '.runtime');
+    const ptrSpec = _silentPointerSpecRoot(projectRoot);
+    const runtimeRoot = opts.runtimeRoot
+      || (ptrSpec ? join(ptrSpec, '.runtime') : null)
+      || join(projectRoot, '.sillyspec', '.runtime');
     const runId = resolveLatestExecuteRunIdWithTasks({ runtimeRoot, changeName });
     if (!runId) return byRepo;
     const runTasksDir = join(runtimeRoot, 'execute-runs', runId, 'tasks');
@@ -504,10 +533,11 @@ function applyCrossRepoWorktrees(changeName, projectRoot, ctx, { checkOnly = fal
       continue;
     }
 
-    // 清单校验（per-repo 切片 + review 声明切片并入，与主仓 Gate1/3b 同语义）
-    const allowMap = resolveApplyAllowSet(projectRoot, changeName);
+    // 清单校验（per-repo 切片 + review 声明切片并入，与主仓 Gate1/3b 同语义）。
+    // specBase 显式传（平台模式 changes/ 在 specRoot；本地模式与旧硬编码同值零回归）。
+    const allowMap = resolveApplyAllowSet(projectRoot, changeName, { specBase });
     let allowSet = allowMap.get(repoKey) || new Set();
-    const reviewDeclared = collectReviewDeclaredFiles(projectRoot, changeName).get(repoKey);
+    const reviewDeclared = collectReviewDeclaredFiles(projectRoot, changeName, { runtimeRoot: join(specBase, '.runtime') }).get(repoKey);
     if (reviewDeclared) {
       const merged = new Set([...allowSet]);
       for (const f of reviewDeclared) {
@@ -754,15 +784,21 @@ export function applyWorktree(changeName, { cwd, checkOnly = false, merge = fals
   }
 
   // --- 3. 解析 apply 文件清单（design §6 清单 ∪ plan TaskCard allowed_paths，execute 复盘 c） ---
+  // allowlist 基准目录（2026-09-08 平台模式修复）：ctx.platformOpts.specRoot 优先（execute
+  // ctx 透传），否则 resolveApplyAllowSet 内部静默读平台指针兜底，最后本地——旧硬编码在
+  // 平台模式读本地空 changes/ → allow 集恒空 → Gate1 整批误拦。
+  const allowSpecBase = (ctx && ctx.platformOpts && ctx.platformOpts.specRoot) || undefined;
+  const allowRuntimeRoot = (ctx && ctx.platformOpts && ctx.platformOpts.runtimeRoot)
+    || (allowSpecBase ? join(allowSpecBase, '.runtime') : undefined);
   // resolveApplyAllowSet 返回 Map<repo, Set>（task-05 跨仓切片）；主仓 apply 只消费 main 仓 Set
   // （主仓 worktree diff 只含主仓文件，跨仓文件在跨仓仓不进主仓 worktree diff）。跨仓 allowed_paths
   // 仅作 Map 切片返回供上游用，主流程不消费（跨仓 apply=no-op，D-009）。
-  const allowMap = resolveApplyAllowSet(projectRoot, changeName);
+  const allowMap = resolveApplyAllowSet(projectRoot, changeName, { specBase: allowSpecBase });
   // --- 3b. review.json 声明偏差文件并入（坑 apply-undeclared-deviation-block）---
   // 第三源：reviewer 声明的 changedFiles（已过 Task Review Gate git 证据交叉校验）——执行期
   // 有据越界（facade 转发/名单测试）不再逼回改 design.md。各 repo 切片各自并入；仅靠 review
   // 放行的文件记审计 warning（result.reviewAdmittedFiles），完全越界文件仍拦（Gate1 在扩展后判）。
-  const reviewDeclaredByRepo = collectReviewDeclaredFiles(projectRoot, changeName);
+  const reviewDeclaredByRepo = collectReviewDeclaredFiles(projectRoot, changeName, { runtimeRoot: allowRuntimeRoot });
   const reviewAdmittedFiles = [];
   for (const [repoKey, files] of reviewDeclaredByRepo) {
     const repoSet = allowMap.get(repoKey);
@@ -1693,13 +1729,15 @@ export function assessApplyRisk(changeName, { cwd } = {}) {
 
   // design §6 标记为「顺带修复」的文件（坑 worktree-execute-apply-friction 坑1）：合规修预存债，
   // 不属任何 task 边界，assess 豁免 allowed_paths 严格校验（降级 warning），避免被迫 cherry-pick 绕过。
-  const designPath = join(projectRoot, CHANGES_REL, changeName, 'design.md');
+  // specBase 走指针/本地解析（2026-09-08 平台模式修复，与 resolveApplyAllowSet 同族）。
+  const assessSpecBase = _silentPointerSpecRoot(projectRoot) || join(projectRoot, '.sillyspec');
+  const designPath = join(assessSpecBase, 'changes', changeName, 'design.md');
   const incidentalSet = new Set(
     parseFileChangeListDetailed(designPath).filter(e => e.incidental).map(e => e.path)
   );
   // review.json 声明偏差文件（坑 apply-undeclared-deviation-block）：与顺带修复同等待遇——
   // reviewer 声明（已过 git 证据校验）的执行期偏差豁免 allowed_paths 严格校验，降 warning 注明来源。
-  const reviewDeclaredSet = new Set(collectReviewDeclaredFiles(projectRoot, changeName).get('main') || []);
+  const reviewDeclaredSet = new Set(collectReviewDeclaredFiles(projectRoot, changeName, { runtimeRoot: join(assessSpecBase, '.runtime') }).get('main') || []);
 
   // 检查 2: 变更在 allowed_paths 内（仅在 TaskCard 存在时）；顺带修复/review 声明文件豁免。
   // 匹配换 pathMatches（与 Gate1/plan-postcheck 同语义容差），消除原字面前缀弱匹配漂移。

package/src/worktree.js

@@ -203,7 +203,11 @@ function printSyncReport(diag, baseHash, changeName) {
 }
 
 function parseJSON(raw) {
-  try { return JSON.parse(raw); } catch { return null; }
+  // BOM 容错（2026-09-08 用户反馈：meta.json 带 UTF-8 BOM 被当损坏 → apply 报
+  // 「meta.json 不存在或已损坏」、幽灵判定误清）：Windows 编辑器（记事本/部分 PowerShell
+  // 重定向）写 JSON 常带 \uFEFF 前缀，JSON.parse 对首字符 BOM 直接抛。剥掉再 parse。
+  const s = typeof raw === 'string' ? raw.replace(/^\uFEFF/, '') : raw
+  try { return JSON.parse(s); } catch { return null; }
 }
 
 /**

package/templates/agents-instruction.md

@@ -11,7 +11,7 @@
 5. **执行顺序**：文档 → 读代码 → 写测试 → 写实现 → 跑测试 → 验收 → 更新文档。
 6. **判规模选档**：≤3 文件、范围明确走 `quick`；多阶段 / 架构级走完整流程。
 7. **代码先行不补流程（倒推 B 模式）**：代码若已先写好，**不回头补 brainstorm/plan 装样子**——用 `quick --done` 收尾 + 补 quicklog 条目，把已落盘改动如实登记进进度库。
-8. **实证核验再 `--done`**：`quick --done` 前，触及 `src`/`test` 的改动先跑 `.sillyspec/local.yaml` 配置的测试与 lint 命令（`commands.test` / `commands.lint`；未配置时用项目构建工具的等价命令，如 Node 项目 `npm test` + `npm run lint`、Python 项目 `pytest` + `ruff check`）；纯 doc/配置改动可跳过（lint 不扫 docs/，空转无信息），以落盘文件与测试结果为准，不信口头"已完成"。
+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. **非测试逻辑本身有误时，禁止改测试来"通过"**——修逻辑，不修测试。

package/.claude/skills/verify-per-user/SKILL.md

@@ -1,6 +0,0 @@
----
-name: verify-per-user
-description: verify
----
-
-# test