sillyspec 3.32.9 → 3.33.0

package/src/run/prompt.js

@@ -68,6 +68,7 @@ const VOLATILE_PLACEHOLDER_RES = [
   /<now-datetime>/g, /<now-timestamp>/g, /<now-date>/g, /<now-iso-datetime>/g, /<git-head-short>/g, /<quicklog-id>/g,
   /{SCAN_STALENESS}/g, /{SCAN_FACTS}/g, /{QUICK_CONTEXT_DIGEST}/g, /{DECISION_HITS}/g, /{UI_VISUAL_GUIDANCE}/g,
   /{KNOWLEDGE_HIT_REPORT}/g, /{DOCS_DEBT}/g, /{MODULE_RESOLVE_TABLE}/g, /{REVIEW_MATERIALS}/g,
+  /{REVIEW_TIER}/g, /{REVIEW_TIER_REASON}/g, /{REVIEW_JSON_CONTRACT}/g,
   /{EXECUTE_RUN_ID}/g, /{STAGE_REVIEW_RUN_ID}/g, /{PROGRESS_SNAPSHOT}/g, /{TASK_COMPLETION_REPORT}/g,
   /{WORKTREE_META}/g, /{WORKTREE_BASELINE_INFO}/g, /{TASKS_CHECKBOX}/g, /{GIT_DIRTY}/g,
   /{SCOPE_AUDIT_TABLE}/g, /{FR_INDEX_DIGEST}/g, /{HANDOVER_SUMMARY}/g, /{PREFLIGHT_FAILURES}/g,
@@ -1044,6 +1045,18 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     promptText = promptText.split(token).join(v)
     return promptText
   }
+  // 裸 split/join 注入点的收集通道（2026-10-16-step-guide-dyn-completeness）：语义与
+  // substituteSplitJoin 相同，供不以占位符正则批量替换的站点使用。
+  // ⚠️ 纪律：凡向 promptText 注入运行期值的站点必须走本组三个助手之一——裸 `.split().join()`
+  // 会让值漏进复入短输出的「动态注入段」附录（值不落盘、guide 掩码后无回读通道）。
+  // 2026-10-15 消费仓实证：评审六值（tier/材料包/契约等）漏收，主代理被迫读引擎源码逆推档位、
+  // 手建材料包、手拼 review.json 路径写错一层前缀再纠正——收集器注释「漏收才是坑」的兑现。
+  const substituteRaw = (token, value) => {
+    const v = String(value)
+    dynSegments.push(v)
+    promptText = promptText.split(token).join(v)
+    return promptText
+  }
   // 替换 prompt 中的占位符
   if (projectName && promptText.includes('<project>')) {
     substitute(/<project>/g, projectName, true)
@@ -1390,7 +1403,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
   if (stageName === 'brainstorm' && promptText.includes('{DECISION_HITS}')) {
     try {
       const { matchKnowledgeHybrid } = await import('../knowledge-vector.js')
-      const { deathPathNote } = await import('../knowledge-match.js')
+      const { deathPathNote, decisionChangeQualifier } = await import('../knowledge-match.js')
       const decSpecBase = resolvePromptSpecBase(platformOpts, cwd)
       const decKnowledgeDir = join(decSpecBase, 'knowledge')
       // taskContext：changeName（brainstorm Step2 时 tasks.md 尚未生成，变更名是唯一稳定任务
@@ -1402,10 +1415,10 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
       let decInjected = ''
       if (rejectedHits.length > 0) {
         const lines = [
-          '⚠️ 否决决策/死路注记提示（历史已否决或已记死路，防复潮）——下列决策此前已被否决或已记死路。看到理由后，除非复潮条件明确满足，不要在本次方案中重新提出；若认为复潮条件已满足，须在本变更 decisions.md 记录新版本条目（D-xxx@vN+1）说明依据：'
+          '⚠️ 否决决策/死路注记提示（历史已否决或已记死路，防复潮）——下列决策此前已被否决或已记死路。看到理由后，除非复潮条件明确满足，不要在本次方案中重新提出；若认为复潮条件已满足，须在本变更 decisions.md 记录新版本条目（D-xxx@vN+1）说明依据；跨变更引用他条目须带变更名限定（变更名#D-xxx@vN——同号不同变更互不相干）：'
         ]
         for (const h of rejectedHits.slice(0, 5)) {
-          lines.push(`- ${h.id} ${h.title}（${h.file}）${h.status === 'rejected' ? '' : ' ⚰️死路注记'}`)
+          lines.push(`- ${h.id} ${h.title}（${h.file}｜${decisionChangeQualifier(h.change)}）${h.status === 'rejected' ? '' : ' ⚰️死路注记'}`)
           lines.push(`  - ${h.status === 'rejected' ? '否决理由' : '死路'}：${h.status === 'rejected' ? (h.reason || '（未记录）') : deathPathNote(h.reason)}`)
           lines.push(`  - 复潮条件：${h.revisitWhen || '（未记录）'}`)
         }
@@ -1427,7 +1440,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
   // 替换空串零输出；fail-soft 异常单行说明，不留残留占位符。
   if (stageName === 'brainstorm' && promptText.includes('{UI_VISUAL_GUIDANCE}')) {
     try {
-      const { detectUiTouch, buildUiGuidanceLines } = await import('../ui-visual.js')
+      const { detectUiTouch, buildUiGuidanceLines, extractQuotedPaths } = await import('../ui-visual.js')
       const uiSpecBase = resolvePromptSpecBase(platformOpts, cwd)
       let corpus = changeName || ''
       for (const name of ['proposal.md', 'requirements.md']) {
@@ -1435,7 +1448,10 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
           corpus += '\n' + readFileSync(join(uiSpecBase, 'changes', changeName, name), 'utf8')
         } catch { /* 缺席跳过 */ }
       }
-      substitute(/\{UI_VISUAL_GUIDANCE\}/g, detectUiTouch(corpus) ? '\n' + buildUiGuidanceLines().join('\n') + '\n' : '')
+      // ui_prototype 形态注入（2026-10-15-ui-proto-form-config）：语料路径参与子仓 override
+      // 匹配（proposal/requirements 反引号路径粗提）；无路径=仓级兜底。
+      const guidancePaths = extractQuotedPaths(corpus)
+      substitute(/\{UI_VISUAL_GUIDANCE\}/g, detectUiTouch(corpus) ? '\n' + buildUiGuidanceLines(uiSpecBase, guidancePaths).join('\n') + '\n' : '')
     } catch (e) {
       substitute(/\{UI_VISUAL_GUIDANCE\}/g, `[ui-guidance] UI 须知注入异常（${e.message}），跳过`)
     }
@@ -1676,22 +1692,21 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
           reviewMaterialsMd = await assembleStageReviewMaterials({ stage: matStage, cwd, changeName, specBase: tierSpecBase })
         } catch { /* 组装 best-effort：失败零注入 */ }
       }
-      promptText = promptText
-        .split('{REVIEW_TIER}').join(ceremonyInjection.tierValue + ceremonyInjection.menuMd)
-        .split('{REVIEW_TIER_REASON}').join(tier.reason)
-        .split('{STAGE_REVIEW_RUN_ID}').join(reviewRunId)
-        .split('{REVIEW_JSON_CONTRACT}').join(reviewContractMd)
-        .split('{PRIOR_REVIEW_FACTS}').join(priorFactsMd)
-        .split('{REVIEW_MATERIALS}').join(reviewMaterialsMd) // 三阶段材料包槽（CLI 组装注入，Gap 1 收口——此前恒空串靠主代理手组，机械保证断一半；主代理点名半边由模板补位指引接手）
+      // 全部走 substituteRaw（收集进 dynSegments——复入附录含评审六值；2026-10-16-step-guide-dyn-completeness）
+      substituteRaw('{REVIEW_TIER}', ceremonyInjection.tierValue + ceremonyInjection.menuMd)
+      substituteRaw('{REVIEW_TIER_REASON}', tier.reason)
+      substituteRaw('{STAGE_REVIEW_RUN_ID}', reviewRunId)
+      substituteRaw('{REVIEW_JSON_CONTRACT}', reviewContractMd)
+      substituteRaw('{PRIOR_REVIEW_FACTS}', priorFactsMd)
+      substituteRaw('{REVIEW_MATERIALS}', reviewMaterialsMd) // 三阶段材料包槽（CLI 组装注入，Gap 1 收口——此前恒空串靠主代理手组，机械保证断一半；主代理点名半边由模板补位指引接手）
     } catch (e) {
-      // 降级 self，避免 prompt 残留占位符
-      promptText = promptText
-        .split('{REVIEW_TIER}').join('self')
-        .split('{REVIEW_TIER_REASON}').join('分级异常降级 self: ' + e.message)
-        .split('{STAGE_REVIEW_RUN_ID}').join('review-unknown')
-        .split('{REVIEW_JSON_CONTRACT}').join('(review 契约注入失败,按 schemaVersion=1 + reviewType + verdicts∈pass/fail/cannot_verify + reviewedFiles + docHash=主文档 sha256 产出)')
-        .split('{PRIOR_REVIEW_FACTS}').join('')
-        .split('{REVIEW_MATERIALS}').join('') // 降级分支同步 join（plan 审查提示：防占位符字面量残留）
+      // 降级 self，避免 prompt 残留占位符（降级值同样收编进 dynSegments——附录如实呈现降级态）
+      substituteRaw('{REVIEW_TIER}', 'self')
+      substituteRaw('{REVIEW_TIER_REASON}', '分级异常降级 self: ' + e.message)
+      substituteRaw('{STAGE_REVIEW_RUN_ID}', 'review-unknown')
+      substituteRaw('{REVIEW_JSON_CONTRACT}', '(review 契约注入失败,按 schemaVersion=1 + reviewType + verdicts∈pass/fail/cannot_verify + reviewedFiles + docHash=主文档 sha256 产出)')
+      substituteRaw('{PRIOR_REVIEW_FACTS}', '')
+      substituteRaw('{REVIEW_MATERIALS}', '') // 降级分支同步 join（plan 审查提示：防占位符字面量残留）
     }
   }
 
@@ -1721,7 +1736,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     } catch (e) {
       metaInfo = '（注入失败：' + e.message + '——运行 sillyspec worktree meta 自查，meta.json 不存在则停止并报错）'
     }
-    promptText = promptText.split('{WORKTREE_META}').join(metaInfo)
+    substituteRaw('{WORKTREE_META}', metaInfo)
   }
 
   // archive Step1「任务完成度检查」客观真相源注入：以 review.json verdict 算完成度，
@@ -1738,9 +1753,9 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
       const summary = tcrChangeDir
         ? summarizeTaskCompletion({ changeDir: tcrChangeDir, runtimeRoot: tcrRuntimeRoot, changeName })
         : null
-      promptText = promptText.split('{TASK_COMPLETION_REPORT}').join(summary ? summary.report : '（无法计算完成度：变更目录缺失）')
+      substituteRaw('{TASK_COMPLETION_REPORT}', summary ? summary.report : '（无法计算完成度：变更目录缺失）')
     } catch (e) {
-      promptText = promptText.split('{TASK_COMPLETION_REPORT}').join('（完成度计算异常：' + e.message + '，请手动核对 plan.md 与 .runtime/execute-runs/*/tasks/task-NN/review.json）')
+      substituteRaw('{TASK_COMPLETION_REPORT}', '（完成度计算异常：' + e.message + '，请手动核对 plan.md 与 .runtime/execute-runs/*/tasks/task-NN/review.json）')
     }
   }
 
@@ -1781,7 +1796,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     } catch (e) {
       baselineInfo = '（worktree 基线注入失败：' + e.message + '——diff 对账前先 git branch -a 查 sillyspec/<change> 分支并用 git merge-base <main> <branch> 自查基点，勿用主仓 HEAD 当基点）'
     }
-    promptText = promptText.split('{WORKTREE_BASELINE_INFO}').join(baselineInfo)
+    substituteRaw('{WORKTREE_BASELINE_INFO}', baselineInfo)
   }
 
   // verify「运行测试和质量扫描」evidence-auto 推荐注入（task-12，FR-11 / D-005@v2）：
@@ -1822,7 +1837,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     } catch (e) {
       eaInjected = `（evidence-auto 推荐注入失败：${e.message}——请读 .sillyspec/local.yaml 确认 test_strategy；--done 时 CLI 仍会按 resolveTestStrategy 实测对账，推荐不可用时可显式设 test_strategy: full/module）`
     }
-    promptText = promptText.split('{EVIDENCE_AUTO_RECOMMENDATION}').join(eaInjected)
+    substituteRaw('{EVIDENCE_AUTO_RECOMMENDATION}', eaInjected)
   }
 
   // {ARCHIVE_IMPACT_AUDIT}（2026-09-09 ql-20260909-004）：archive extract-module-impact 步的
@@ -1842,7 +1857,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     } catch (e) {
       auditBlock = '（三重核对机械预填失败：' + (e && e.message ? e.message : e) + '——回退手跑 git diff --name-only 比对）'
     }
-    promptText = promptText.split('{ARCHIVE_IMPACT_AUDIT}').join(auditBlock)
+    substituteRaw('{ARCHIVE_IMPACT_AUDIT}', auditBlock)
   }
 
   // {SCOPE_AUDIT_TABLE}（2026-09-10-change-scope-audit task-05，FR-03）：archive「确认归档」步的
@@ -1865,7 +1880,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     } catch (e) {
       scopeTable = '（变更范围对账表注入失败：' + (e && e.message ? e.message : e) + '——回退手跑 sillyspec scope-audit --change <name> 查看后再确认归档，注入失败不阻断归档）'
     }
-    promptText = promptText.split('{SCOPE_AUDIT_TABLE}').join(scopeTable)
+    substituteRaw('{SCOPE_AUDIT_TABLE}', scopeTable)
   }
 
   // {HANDOVER_SUMMARY}（2026-09-17-pass-cap-semantics task-04，FR-06 注入态）：archive「确认
@@ -1901,7 +1916,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     } catch (e) {
       handoverBlock = '（移交项清单注入失败：' + (e && e.message ? e.message : e) + '——回退读 changes/<变更名>/verify-facts.json 的 handover 段核对后再确认归档，注入失败不阻断归档）'
     }
-    promptText = promptText.split('{HANDOVER_SUMMARY}').join(handoverBlock)
+    substituteRaw('{HANDOVER_SUMMARY}', handoverBlock)
   }
 
   // 注入模块上下文（brainstorm/plan/execute 阶段 + quick 首步「理解任务」——刀①：quick

package/src/run/stage.js

@@ -417,7 +417,7 @@ export async function runStage(pm, progress, stageName, cwd, changeName, skipApp
       // 进程内直调 runCommand 的入口（测试/编程调用）与 --change 指向不存在会话的形态。
       console.error(`❌ quick 通道已退役，无法启动 quick 会话（若带 --change 则该会话不存在或已清理）。`)
       console.error(`   新工作请走轻量变更（--input 引号内换行合法，可照抄）：`)
-      console.error('   sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>')
+      console.error('   sillyspec flow start --change <YYYY-MM-DD-名> --input "<一句中文概括（首行即变更标题）；随后动机与背景')
       console.error('')
       console.error('   成功标准：')
       console.error('   - <可验证标准>"')

package/src/run/verify-quality-scan.js

@@ -798,13 +798,22 @@ export async function executeVerifyQualityScan({ cwd, specBase, changeName, plat
   storeQualityScan({ specBase, cwd, changeName, testResult: testCheck, lintResult: lintCheck, smokeResult, coverageCheck, usedSnapshot: Boolean(snap), missReason: _missReasonParts.join('；') || null, scopeDecision: { planned: !process.env.SILLYSPEC_VERIFY_GATE_SNAPSHOT_OFF, actual: Boolean(snap) } })
   const testFailed = testCheck.status === 'failed'
   const lintBlocked = shouldBlockVerifyLint(lintCheck)
+  // 2026-10-15-lint-triage-path-unify：lint 归属鉴定降档接线（与 gates --done 路径同源共享
+  // helper）——零交集存量债降档 advisory 不 throw；owned/unattributable/鉴定异常维持硬拦
+  // （保守）。仅在「lint 单独失败」时降档（testFailed 优先 throw——测试失败不作 lint 降档
+  // 陪葬判断）。原两路径分叉实证见消费仓坑档案 verify-lint-triage-path-divergence.md。
+  let lintAdvisoryDowngraded = false
+  if (lintBlocked && !testFailed) {
+    const { lintOwnershipDowngrade } = await import('./lint-ownership.js')
+    lintAdvisoryDowngraded = await lintOwnershipDowngrade({ lintCheck, cwd, changeName, specBase })
+  }
   // 摩擦计数（friction-signal-hint task-03）：记录条件与 throw 条件**刻意解耦**——advisory 档
   // lint 失败（SILLYSPEC_VERIFY_LINT_GATE=advisory 时不 throw）同样是摩擦信号，计数不应随
   // 逃生阀漂移。recordFrictionEvent 自带静默降级，不影响本步推进/throw 语义。
   if (testFailed || lintCheck.status === 'failed') {
     await recordFrictionEvent({ cwd, changeName, platformOpts, type: 'verify_run_failed', detail: testFailed ? 'test' : 'lint' })
   }
-  if (testFailed || lintBlocked) {
+  if (testFailed || (lintBlocked && !lintAdvisoryDowngraded)) {
     if (snap) {
       try { const { printSnapshotFailureHint } = await import('./gate-snapshot.js')
         printSnapshotFailureHint(snap) } catch { /* 提示失败不影响阻断 */ }

package/src/sentinel-assertions.js

@@ -165,6 +165,48 @@ export function detectBatchCheckCadence(events) {
   return worst;
 }
 
+/**
+ * 侧车勾选突发检测（2026-10-14-tick-burst-sidecar-gate，纯函数）：task-ticks.jsonl 的毫秒级
+ * 时戳按相邻间隔窗口分簇——CLI 逐格快连点（收口一把点的官方路径形态）在事件流里是单格精确跳，
+ * 10-07 采样去重后对 detectBatchCheckCadence 不可见（近期实证：6 格 2 秒内/4 格 1 秒内零检出）；
+ * 侧车是 CLI tick 的事实源（随归档进 git、不受观测盲窗影响），收口节奏门回退消费本函数——
+ * CLI 与直接 Edit 两条路径同判。
+ * 语义：tickLog 同任务取最早（幂等重勾防御）+ 坏行跳过（task 形态/时戳有限性）+ 排序后按
+ * gap<=windowMs（缺省 60s，opts.windowMs 覆写）分簇；最大簇 size>=2 → 返回与事件流同形的
+ * batchTick 记录。from/to 是 CLI 勾序计数（Edit 翻格不记侧车，与事件流 checked N→M 计数空间
+ * 不同源）——resolveBatchTickAction 只消费跳幅（to-from）与 ts，语义等价；detail 带「侧车突发」
+ * 标注防口径混淆。fail-open：不足两格/空输入/全坏行 → null。
+ */
+export function detectTickBurst(tickLog, opts = {}) {
+  const windowMs = Number.isFinite(opts.windowMs) ? opts.windowMs : 60_000;
+  const byTask = new Map();
+  for (const r of Array.isArray(tickLog) ? tickLog : []) {
+    const task = String((r && r.task) || '').trim();
+    const ts = Number(r && r.ts);
+    if (!/^task-\d+$/.test(task) || !Number.isFinite(ts)) continue;
+    const prev = byTask.get(task);
+    if (prev === undefined || ts < prev) byTask.set(task, ts);
+  }
+  const ticks = [...byTask.values()].sort((a, b) => a - b);
+  if (ticks.length < 2) return null;
+  let worst = null;
+  let start = 0;
+  for (let i = 1; i <= ticks.length; i++) {
+    if (i < ticks.length && ticks[i] - ticks[i - 1] <= windowMs) continue;
+    const size = i - start;
+    if (size >= 2 && (!worst || size > worst.size)) {
+      worst = { size, from: start, to: i, ts: ticks[start], spanMs: ticks[i - 1] - ticks[start] };
+    }
+    start = i;
+  }
+  if (!worst) return null;
+  return {
+    from: worst.from, to: worst.to, size: worst.size, spanMs: worst.spanMs, ts: worst.ts,
+    source: 'tick-burst',
+    detail: `checked ${worst.from}→${worst.to}（task tick 侧车突发 ${worst.size} 格）`,
+  };
+}
+
 /**
  * 单拍勾选门决策（2026-09-29-batch-tick-gate，纯函数）：检出单拍跳（batchTick 非 null）
  * 时的收口动作裁决。镜像豁免分支退役（2026-10-07-thin-tasks-v3——任务面统一为 agent
@@ -193,4 +235,4 @@ export function resolveBatchTickAction({ batchTick, nonMirrorCount = null, allow
   return { action: 'reject', reason: 'agent-batch-tick' };
 }
 
-export default { detectFakeCheckCompletion, detectBatchCheckCadence };
+export default { detectFakeCheckCompletion, detectBatchCheckCadence, detectTickBurst };

package/src/spec-sync.js

@@ -19,6 +19,7 @@ import { createHash } from 'crypto';
 import { existsSync, readdirSync, readFileSync, statSync, mkdirSync, writeFileSync, unlinkSync } from 'fs';
 import { join, relative, sep } from 'path';
 import { bindSyncNoiseRoot, syncConnectionWarn, isConnectionClassStatus, noteSyncSuccess } from './sync-noise.js';
+import { writeAtomicSync } from './fs-atomic.js';
 
 // 与 sillyhub-daemon/src/spec-sync.ts 共用排除口径（task-07 / FR-06 / D-008@v2）：
 // .runtime（有点）/ runtime（无点）/ projects（本地环境文件）在顶层排除；
@@ -63,6 +64,61 @@ export function describeSyncError(err) {
   return err && err.message ? err.message : String(err);
 }
 
+// ── 同步失败连续计数与响应体摘要（2026-10-16 生产索引损坏事故可观测性加固）──
+// 事故：平台 422 业务错误只打状态码（真因 HTTP_422_SPEC_BUNDLE_INVALID+路径要手动重放请求
+// 才拿到），且失败走「下次自动重试」无限静默循环——归档半态（本地已归档、平台仍「进行中」）
+// 挂数小时无人知晓。两道护栏：①非 2xx 响应体解析进告警行；②按 label 连续失败计数持久化，
+// 连续 ≥3 次升级 🚨 显式告警，任一次成功清零。
+const FAIL_STREAK_FILE = join('.runtime', 'spec-sync-fail-streak.json');
+const FAIL_STREAK_ESCALATE_AT = 3;
+
+export function describeErrorBody(status, rawBody) {
+  if (!rawBody) return '';
+  try {
+    const j = JSON.parse(rawBody);
+    const code = j.code || `HTTP_${status}`;
+    const p = j.details && j.details.path ? ` path=${j.details.path}` : '';
+    return j.message ? `${code}${p}: ${j.message}` : rawBody.slice(0, 200);
+  } catch {
+    return rawBody.slice(0, 200);
+  }
+}
+
+export function readFailStreak(specRoot) {
+  try {
+    return JSON.parse(readFileSync(join(specRoot, FAIL_STREAK_FILE), 'utf8')) || {};
+  } catch {
+    return {};
+  }
+}
+
+export function bumpFailStreak(specRoot, label, detail) {
+  const all = readFailStreak(specRoot);
+  const cur = all[label] || { count: 0 };
+  cur.count += 1;
+  cur.lastAt = new Date().toISOString();
+  if (detail) cur.lastError = String(detail).slice(0, 300);
+  all[label] = cur;
+  try {
+    mkdirSync(join(specRoot, '.runtime'), { recursive: true });
+    writeAtomicSync(join(specRoot, FAIL_STREAK_FILE), JSON.stringify(all, null, 2) + '\n');
+  } catch {
+    // fail-soft：计数落盘失败只影响告警升级，不阻断同步主流程
+  }
+  return cur.count;
+}
+
+export function clearFailStreak(specRoot, label) {
+  const all = readFailStreak(specRoot);
+  if (!all[label]) return;
+  delete all[label];
+  try {
+    writeAtomicSync(join(specRoot, FAIL_STREAK_FILE), JSON.stringify(all, null, 2) + '\n');
+  } catch {
+    // fail-soft：残留计数只是少清一次，下次成功再清
+  }
+}
+
 function _hashBuffer(buf) {
   return createHash('sha256').update(buf).digest('hex');
 }
@@ -640,16 +696,26 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
       // 8 分钟才被后续步骤的同步补上）。失败可见、成功不打扰。
       // 连接类失败（404=端点未就绪 / 5xx）走噪音闸（sync-noise.js）：平台未就绪期每步
       // 自动同步重刷同一行，淹没门禁输出；其余状态码（4xx 业务态）每轮该看见。
-      const line = `[spec-sync] 拉取清单失败 HTTP ${res.status}（文件树本次未同步，下次自动重试）: ${logLabel}`;
+      const raw = await res.text().catch(() => '');
+      const detail = describeErrorBody(res.status, raw);
+      const failCount = bumpFailStreak(specRoot, logLabel, detail);
+      const line = `[spec-sync] 拉取清单失败 HTTP ${res.status}（文件树本次未同步，下次自动重试）: ${logLabel}${detail ? ` —— ${detail}` : ''}`;
       if (isConnectionClassStatus(res.status)) syncConnectionWarn(line);
       else console.warn(line);
+      if (failCount >= FAIL_STREAK_ESCALATE_AT) {
+        console.warn(`🚨 [spec-sync] 已连续 ${failCount} 次同步失败——平台文件树可能持续落后（变更中心或仍显示「进行中」/旧内容）: ${logLabel}`);
+      }
       return { synced: 0 };
     }
     const body = await res.json().catch(() => ({}));
     serverManifest = body.files || {};
   } catch (err) {
+    const failCount = bumpFailStreak(specRoot, logLabel, describeSyncError(err));
     const line = `[spec-sync] 拉取清单异常（文件树本次未同步，下次自动重试）: ${logLabel}: ${describeSyncError(err)}`;
     syncConnectionWarn(line); // 网络/超时/熔断均连接类
+    if (failCount >= FAIL_STREAK_ESCALATE_AT) {
+      console.warn(`🚨 [spec-sync] 已连续 ${failCount} 次同步失败——平台文件树可能持续落后（变更中心或仍显示「进行中」/旧内容）: ${logLabel}`);
+    }
     return { synced: 0 };
   }
 
@@ -691,6 +757,7 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
   if (ops.length === 0) {
     debugLog(`[spec-sync] 无差异，跳过同步: ${logLabel}`);
     clearStaleTombstoneMarkers(specRoot);
+    clearFailStreak(specRoot, logLabel);
     return { synced: 0 };
   }
 
@@ -706,9 +773,15 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
       signal: withSignal(30000),
     });
     if (!res.ok) {
-      const line = `[spec-sync] 同步请求失败 HTTP ${res.status}（文件树本次未同步，下次自动重试）: ${logLabel}`;
+      const raw = await res.text().catch(() => '');
+      const detail = describeErrorBody(res.status, raw);
+      const failCount = bumpFailStreak(specRoot, logLabel, detail);
+      const line = `[spec-sync] 同步请求失败 HTTP ${res.status}（文件树本次未同步，下次自动重试）: ${logLabel}${detail ? ` —— ${detail}` : ''}`;
       if (isConnectionClassStatus(res.status)) syncConnectionWarn(line);
       else console.warn(line);
+      if (failCount >= FAIL_STREAK_ESCALATE_AT) {
+        console.warn(`🚨 [spec-sync] 已连续 ${failCount} 次同步失败——平台文件树可能持续落后（变更中心或仍显示「进行中」/旧内容）: ${logLabel}`);
+      }
       return { synced: 0 };
     }
     const body = await res.json().catch(() => ({}));
@@ -780,6 +853,7 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
         writeBaseSnapshot(specRoot, localFiles);
         clearSpecConflictMarker(specRoot, conflictLabel);
         noteSyncSuccess();
+        clearFailStreak(specRoot, logLabel);
         console.log(`[spec-sync] 冲突已自动消解（0 个需人工裁决；本会话改动 ${ops.length - followers.length > 0 ? '已同步' : '无差异'}）: ${conflictLabel}`);
         return { synced: Math.max(ops.length - followers.length, 0), conflict: false, autoResolved: followers.length };
       }
@@ -811,6 +885,7 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
       return { synced: 0, conflict: true, serverVersions: real, autoResolved: followers.length, conflictPath };
     }
     noteSyncSuccess();
+    clearFailStreak(specRoot, logLabel);
     console.log(`[spec-sync] 已同步 ${ops.length} 个文件变更: ${logLabel}`);
     // 本轮无冲突 = 此前的未决 spec 树冲突已不存在，清残留标记（否则 status 永久红标、
     // 横幅去重单行提示不消——坑 spec-sync-conflict-banner-spam）。全树入口
@@ -828,8 +903,12 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
     writeBaseSnapshot(specRoot, localFiles);
     return { synced: ops.length };
   } catch (err) {
+    const failCount = bumpFailStreak(specRoot, logLabel, describeSyncError(err));
     const line = `[spec-sync] 同步异常（文件树本次未同步，下次自动重试）: ${logLabel}: ${describeSyncError(err)}`;
     syncConnectionWarn(line); // 网络/超时/熔断均连接类
+    if (failCount >= FAIL_STREAK_ESCALATE_AT) {
+      console.warn(`🚨 [spec-sync] 已连续 ${failCount} 次同步失败——平台文件树可能持续落后（变更中心或仍显示「进行中」/旧内容）: ${logLabel}`);
+    }
     return { synced: 0 };
   }
 }

package/src/stage-contract.js

@@ -1059,8 +1059,12 @@ const API_COVERAGE_HEADING_RE = /^## 接口验证覆盖矩阵/m
 const API_ENDPOINT_CELL_RE = /(GET|POST|PUT|DELETE|PATCH|HEAD|OPTIONS)\s+(\/[^\s|]+)/
 /** 声明占位行（D-005 零解析降级侧，骨架「本变更接口面：N 端点（agent 声明）」字面同源） */
 const API_DECLARED_ROW_RE = /本变更接口面[：:]\s*(\d+)\s*端点/
-/** design接口表# 锚点提取（解析级校验用——防空指，Grill #10：非物理行号，METHOD /path 形态） */
-const API_ANCHOR_DESIGN_API_RE = /design接口表#\s*(GET|POST|PUT|DELETE|PATCH|HEAD|OPTIONS)\s+(\/[^\s|，。；;）)]+)/g
+/** design接口表# 锚点提取（解析级校验用——防空指，Grill #10：非物理行号，METHOD /path 形态）。
+ *  字符类左右括号对称排除（坑 verify-close-gate-staggered-exposure，2026-10-15 消费仓 node 直调
+ *  实证：原只排右括号）不排左括号（——`GET /api/x（注记）` 的路径吞成 `/api/x（注记`，与解析面
+ *  永不匹配 → 恒空指，报错文案却指向「design.md 未命中」误导排查方向）。中文（英文、全/半角
+ *  四形与既有分隔符一并终止捕获。 */
+const API_ANCHOR_DESIGN_API_RE = /design接口表#\s*(GET|POST|PUT|DELETE|PATCH|HEAD|OPTIONS)\s+(\/[^\s|，。；;（）()]+)/g
 /** 探索行标记（骨架文法注释字面同源：证据列含 [探索]） */
 const API_EXPLORATION_MARK_RE = /\[探索\]/
 
@@ -1261,9 +1265,16 @@ export function judgeApiCoverageMatrix(args) {
     }
   }
   if (anchorViolations.length > 0) {
+    // 空指诊断（坑 verify-close-gate-staggered-exposure 建议③，2026-10-15 实证：报错只说「未命中
+    // 解析面」不展示解析面实际内容——「锚点吞字」与「design 缺表」分不清，agent 被引去改 design
+    // 文档白做功。附上 parseSet 实际端点集一眼对齐）。
+    const parseFaceDesc = parseSet.size > 0
+      ? [...parseSet].join('；')
+      : '（解析面为空——design.md 接口段未解析到端点，先表格化接口段再跑 verify-probes --init）'
     errors.push(
       `接口验证覆盖矩阵有 ${anchorViolations.length} 项证据锚点缺失/空指` +
       `（covered/partial 证据须含锚点五形态之一，可复制样例：design接口表#POST /api/xx（# 后必须 METHOD /path 且命中 design 接口段解析面，仅表名/行号不计）/ 权限矩阵[admin×读] / 契约表@任务卡字段清单 / DDL@users.id / 载荷@e2e_body.json；covered-service 证据须含测试锚点三形态之一：\`.test.\` 文件名 / file:line / 反引号包裹的测试名）：${anchorViolations.join('；')}。` +
+      `design 接口段实际解析面端点集：${parseFaceDesc}——design接口表# 锚点路径须与之逐字一致。` +
       `修复：在证据列补真实锚点（design接口表# 锚点须与 design.md 接口段端点一致，防编造端点）。`
     )
   }
@@ -1419,6 +1430,9 @@ function extractPermissionMatrixText(designMd) {
  *   - tasks/ 不存在（quick 会话/旧变更）或 verify-result.md 未落盘（中间步骤）→ no-op
  *   - factsExpected=false（存量未跑管线，resolveFactsExpected 同源口径）→ no-op 零行为
  *   - verify-facts.json（apiFace/consumerHints/handover，缺失容 null——fail-closed 归纯函数）
+ *   - context.apiFaceLive（可选，2026-10-14-gate-verify-apiface-preflight）：gate/derive 预检侧
+ *     以同一解析器实况解析 design.md 注入（与 --done backfill 产物同形同源，零落盘）——在场时
+ *     覆写 facts.apiFace 作解析产出集（过期 facts 不得赢），未注入行为与现状完全一致
  *   - 矩阵段 MD 槽解析（X-05 防篡改锚点：锚定当前文档实态）
  *   - resolveChangeRisk 声明面判级（design 文件清单 × blast 声明 + explicit，task-03）
  *   - design.md 权限矩阵段提取（fs 只读，壳非纯函数）
@@ -1441,9 +1455,18 @@ export function validateApiCoverageMatrix(cwd, changeName, context = {}) {
   // 2026-09-19-ceremony-pricing-five-cuts task-03：声明面判级（design 文件清单 × blast 声明 +
   // explicit；level 为五级词兼容字段——evidenceRequired → integration-critical）
   const riskProfile = resolveChangeRiskForChangeDir(changeDir, context.specRoot || specRoot || join(cwd, '.sillyspec'))
+  // gate/derive 预检注入（2026-10-14-gate-verify-apiface-preflight FR-01/FR-02）：facts.apiFace
+  // 唯一生产者是 run verify --done 收尾前置 backfill（run/gates.js），gate 路径不回填且 --init
+  // 刻意不落键 → 预检 parseSet 空/旧 → design接口表# 锚点恒空指（平台 6 轮 gate 实证）。调用方
+  // （machine-interface runGate/derive）以同一解析器实况解析 design.md 经 context.apiFaceLive
+  // 传入（本模块零 import verify-probes 纪律：注入不做函数调用）——与 --done backfill 产物同形
+  // 同源，在场时必须覆写 facts（过期 facts 不得赢），未注入时行为与现状完全一致。
+  const apiFace = context.apiFaceLive && typeof context.apiFaceLive === 'object'
+    ? context.apiFaceLive
+    : (facts && facts.apiFace && typeof facts.apiFace === 'object' ? facts.apiFace : null)
   return judgeApiCoverageMatrix({
     matrix: extractApiCoverageMatrixSlots(readFileSync(verifyResultPath, 'utf8')),
-    apiFace: facts && facts.apiFace && typeof facts.apiFace === 'object' ? facts.apiFace : null,
+    apiFace,
     consumerHints: facts && facts.consumerHints && typeof facts.consumerHints === 'object' ? facts.consumerHints : null,
     facts,
     factsExpected: true,

package/src/stage-review.js

@@ -139,7 +139,8 @@ export function renderReviewJsonContract({ stage, changeDir, reviewRunId, tier,
     '',
     '> 路径:`{SPEC_ROOT}/.runtime/stage-reviews/' + stageLbl + '-' + runIdLbl + '/review.json`(本次 reviewType=' + reviewType + ',主审查文档=' + mainDocRel + ')',
     ...(changeDir
-      ? ['> **本次完整绝对路径（直接复制给审查子代理，勿手拼 runId/漏阶段前缀——坑 stage-review-path-prefix 2026-10-10 实证：marker 只有裸 runId，子代理按 runId 直写漏「<stage>-」前缀即错位）**: `' + join(dirname(dirname(changeDir)), '.runtime', 'stage-reviews', stageLbl + '-' + runIdLbl, 'review.json') + '`']
+      ? ['> **本次完整绝对路径（直接复制给审查子代理——勿手拼、勿增删任何前缀）**: `' + join(dirname(dirname(changeDir)), '.runtime', 'stage-reviews', stageLbl + '-' + runIdLbl, 'review.json') + '`',
+         '> ⚠️ 坑 stage-review-path-prefix 双向实测：漏「<stage>-」前缀即错位（2026-10-10：marker 只有裸 runId，子代理按 runId 直写）；**多加一层「review-」前缀同样错位**（2026-10-15 复发：手拼成 `<stage>-review-review-…`，空目录残渣+一轮纠正）。唯一可靠做法：整条路径直接粘贴。']
       : []),
     '',
     '### 必填字段(validateStageReviewSchema 硬校验,缺任一即 schema 失败阻断)',
@@ -366,6 +367,31 @@ export function stageReviewMarkerPath(runtimeRoot, stage, changeName) {
   return join(runtimeRoot, `current-stage-review-run-id-${suffix}`)
 }
 
+/**
+ * stage review 目录读侧归一（坑 stage-review-dir-naming-mismatch，2026-10-15 消费仓三阶段
+ * 连环实证）：规范目录 = `<stage>-<runId>`（runId 自带 review- 前缀，拼出来恰一次 review 字样）。
+ * skill 文档字面 `<stage>-review-<run-id>` + 「run-id 必须 review- 前缀」诱导出两类错位目录：
+ *   ① 裸 runId 目录（agent 拿 marker 值当目录名）：<runId>/
+ *   ② 双前缀目录（字面拼装）：<stage>-review-<runId>/
+ * 本助手按 规范 → ②双前缀 → ①裸 runId 顺序探测 review.json 在场性，返回首个命中目录；全不在
+ * 则返回规范目录（保持既有「期望路径」报错文案语义）。只读不搬文件——写入侧恒规范路径，读侧
+ * 容错让 gate / refresh-hash / autoRefresh 对错位文件天然可用。
+ * @param {string} runtimeRoot - .runtime 绝对路径
+ * @param {string} stage - brainstorm|plan|execute
+ * @param {string} reviewRunId - run id（review-<ts>）
+ * @returns {string} review 目录绝对路径（容错命中或规范缺省）
+ */
+export function resolveStageReviewDir(runtimeRoot, stage, reviewRunId) {
+  const base = join(runtimeRoot, 'stage-reviews')
+  const canonical = join(base, `${stage}-${reviewRunId}`)
+  const doublePrefix = join(base, `${stage}-review-${reviewRunId}`)
+  const bare = join(base, reviewRunId)
+  for (const dir of [canonical, doublePrefix, bare]) {
+    if (existsSync(join(dir, 'review.json'))) return dir
+  }
+  return canonical
+}
+
 /**
  * 获取最新的 stage review run id
  *
@@ -395,33 +421,37 @@ export function getLatestStageReviewRunId(runtimeRoot, stage, changeName) {
     }
   } catch {}
 
-  // fallback：扫描 stage-reviews/<stage>-review-* 目录取字典序最新（向后兼容无 marker 旧数据）
+  // fallback：扫描 stage-reviews/ 目录取字典序最新（向后兼容无 marker 旧数据）。候选两形：
+  // 规范/双前缀 `<stage>-review-*` + 裸 runId `review-*`（坑 stage-review-dir-naming-mismatch
+  // 错位目录——裸目录不编码 stage，须 reviewType 归属校验防跨段误认）
   const dir = join(runtimeRoot, 'stage-reviews')
   if (!existsSync(dir)) return null
   try {
     const entries = readdirSync(dir, { withFileTypes: true })
-      .filter(e => e.isDirectory() && e.name.startsWith(`${stage}-review-`))
-      .map(e => e.name)
-      .sort()
+      .filter(e => e.isDirectory() && (e.name.startsWith(`${stage}-review-`) || e.name.startsWith('review-')))
+      .map(e => ({ name: e.name, runId: e.name.startsWith(`${stage}-`) ? e.name.slice(stage.length + 1) : e.name }))
+      .sort((a, b) => (a.name < b.name ? -1 : 1))
       .reverse()
     if (!entries[0]) return null
     // cross-change 防护（execute 复盘 b1）：changeName 提供时按 review.json 的 reviewedFiles[0] 归属过滤。
     // 契约 reviewedFiles[0] = `changes/<change>/<mainDoc>`（renderReviewJsonContract），据此排除他变更的 review，
     // 否则批量完成 marker 缺失时可能读到 proxy 等其他变更的 acceptance review 报错误导。
+    // 裸目录另加 reviewType 校验（STAGE_REVIEW_TYPE 段专属，防他 stage 的错位文件串台）。
     if (changeName) {
       const matching = entries.find(e => {
         try {
-          const rj = JSON.parse(readFileSync(join(dir, e, 'review.json'), 'utf8'))
+          const rj = JSON.parse(readFileSync(join(dir, e.name, 'review.json'), 'utf8'))
+          if (!e.name.startsWith(`${stage}-`) && rj.reviewType && rj.reviewType !== STAGE_REVIEW_TYPE[stage]) return false
           const r0 = Array.isArray(rj.reviewedFiles) ? String(rj.reviewedFiles[0]) : ''
           return r0.includes(`changes/${changeName}/`)
         } catch { return false }
       })
-      if (matching) return matching.slice(stage.length + 1)
+      if (matching) return matching.runId
       console.warn(`⚠️ 无 ${stage} 的 review marker，且 stage-reviews/ 下无归属变更 ${changeName} 的 review（reviewedFiles 应含 changes/${changeName}/）；为避免跨变更串台不再取最新，返回 null（fail-closed，由调用方报缺 review.json）`)
       return null
     }
-    // entries[0] = "plan-review-2026-..."，剥掉 `${stage}-` 前缀得到 runId "review-2026-..."
-    return entries[0].slice(stage.length + 1)
+    // 规范形 "plan-review-2026-..." 剥 `${stage}-` 前缀得 runId；裸形目录名即 runId
+    return entries[0].runId
   } catch {
     return null
   }
@@ -613,7 +643,8 @@ export function validateStageReview(opts) {
   const errors = []
   const warnings = []
 
-  const reviewDir = join(runtimeRoot, 'stage-reviews', `${stage}-${reviewRunId}`)
+  // 读侧目录归一（坑 stage-review-dir-naming-mismatch）：容错命中裸 runId / 双前缀错位目录
+  const reviewDir = resolveStageReviewDir(runtimeRoot, stage, reviewRunId)
   const reviewPath = join(reviewDir, 'review.json')
 
   if (!reviewRunId || !existsSync(reviewPath)) {
@@ -705,7 +736,7 @@ export function validateStageReviewWithAutoRefresh(opts) {
     && result.errors.every(e => String(e).includes('docHash 与主审查文档'))
   if (!mismatchOnly) return { result, autoRefreshed: false }
 
-  const reviewDir = join(opts.runtimeRoot, 'stage-reviews', `${opts.stage}-${opts.reviewRunId}`)
+  const reviewDir = resolveStageReviewDir(opts.runtimeRoot, opts.stage, opts.reviewRunId)
   const reviewPath = join(reviewDir, 'review.json')
   // 定位主文档并重算 hash（与 verifyStageReviewDocHash 同法：reviewedFiles[0] × searchDirs）
   const primaryRel = Array.isArray(result.review.reviewedFiles) ? result.review.reviewedFiles[0] : null
@@ -922,8 +953,11 @@ export function registerStageReview({ changeName, stage, fromFile, cwd, platform
   if (refreshHash) {
     if (fromFile) throw new Error('register-stage-review: --refresh-hash 与 --from 互斥（refresh 就地更新既有 review，adopt 引入新文件）')
     const existingRunId = getLatestStageReviewRunId(runtimeRoot, stage, changeName)
+    // 读侧目录归一（坑 stage-review-dir-naming-mismatch）：--refresh-hash 按 marker 取 runId 后
+    // 经 resolveStageReviewDir 容错定位——review.json 落在裸 runId / 双前缀错位目录也能刷新，
+    // 不再恒报「无对应 run」。
     const existingPath = existingRunId
-      ? join(runtimeRoot, 'stage-reviews', `${stage}-${existingRunId}`, 'review.json')
+      ? join(resolveStageReviewDir(runtimeRoot, stage, existingRunId), 'review.json')
       : null
     if (!existingPath || !existsSync(existingPath)) {
       throw new Error(`register-stage-review: --refresh-hash 找不到 ${stage} 的既有 review.json（marker ${existingRunId || '无'} 无对应 run）——先去掉 --refresh-hash 生成骨架，或派审查子代理产出 review`)

package/src/stage-templates.js

@@ -120,6 +120,8 @@ created_at: <now-datetime>
 - normalized_requirement: 可测试的约束
 - impacts: [FR-01, task-01, verify-01]
 - evidence: 用户回答轮次或代码/文档路径
+- 否决理由: <一句话核心劣势>（status=rejected 时必填——distill 入库前置要求，缺失则该条目不进知识库防复潮通道）
+- 复潮条件: <何种信号下可重议本方案>（status=rejected 时必填）
 \`\`\`
 
 > 可选字段（按需另加，旧格式决策缺这些字段不受影响）：**锚点**（决策落点主文件，\`<src 路径>:<行号或符号>\`；status=confirmed 时必填）；**模块域**（决策涉及的模块 ID，可多个逗号分隔——合法 id 只取**当前变更所属项目**的 \`{SPEC_ROOT}/docs/<project>/modules/_module-map.yaml\`，多项目仓勿读其他子项目的 map（核验不认，报错会点名归属）；规划中的新模块用 \`NEW:<名>\` 前缀声明，冒号后不加空格：\`NEW:foo\` 合法、\`NEW: foo\` 属书写错误。「生成规范文件」步 --done 的模块域核验对不认识的 id 直接阻断）；**否决理由**（status=rejected 时必填）；**复潮条件**（status=rejected 时必填）；**故障面**（本决策引入的新失败模式——新机制落地时留痕它引入什么失败模式；type=architecture 时建议填写，可选）；**退役判据**（出现什么信号时简化或删除本机制——信号出现就该简化它；type=architecture 时建议填写，可选）。