sillyspec 3.28.0 → 3.28.3

package/src/run/gates.js

@@ -666,6 +666,61 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     const { runVerifyRequiredEvidenceCheck, printVerifyRequiredEvidenceCheck } = await import('../verify-postcheck.js')
     const evidenceCheck = runVerifyRequiredEvidenceCheck({ cwd, specBase, changeName })
     printVerifyRequiredEvidenceCheck(evidenceCheck)
+    // ── target_files 声明 ↔ 实际改动 对账（task-05 / ir-stage-p3a：②ERROR 阻断 / ③WARNING 放行）──
+    // 「计划落空」（task 卡声明没做）此前全盲区：review.json changedFiles 是 agent 手写不能当
+    // 事实源，execute 的 scope creep 只有 symbol-impact 试图抓。reconcileTargetFiles 用 git 三源
+    // 口径亲自取 actual，与 plan 阶段 task 卡 target_files 声明做三类差集：②类（声明未做）在场
+    // 即阻断——verify 的语义是「按计划交付且客观核验」，声明没做不能盖章归档；③类（做了没
+    // 声明=scope creep）启发式噪音面大（并行 WIP 剔除后仍可能有工具产物），WARNING 放行留审计；
+    // skipped/degraded（无 task 卡 / 全无声明 / git 不可用）降级不误红（存量变更零红门禁）。
+    // 阻断形态照 runVerifyTestCheck 先例：逐条列 task + path + 修复提示 + rollbackCompletionAndReturn。
+    const { reconcileTargetFiles, isStrictChange } = await import('../verify-postcheck.js')
+    const reconcileRuntimeRoot = resolveRuntimeRoot(platformOpts, specBase)
+    const reconcileCheck = reconcileTargetFiles({
+      cwd, specBase, changeName,
+      // runtimeRoot 口径与上方 parity 对账同源（B3 apply-pathspec 兜底源在此根下；平台模式下
+      // specBase 与 .runtime 分离，不传会读不到兜底清单 → 假降级）
+      runtimeRoot: reconcileRuntimeRoot,
+      // IR 严格档（2026-09-07-ir-hardening D-003@v1）：主仓卡全零声明 → strictViolation → ERROR
+      strictMode: isStrictChange({ pm, cwd, changeName }),
+    })
+    const reconcileEnvelope = buildReconcileTargetFilesEnvelope(reconcileCheck)
+    const reconcileBlocked = printReconcileTargetFilesCheck(reconcileCheck, reconcileEnvelope)
+    // 结果落盘（design Wave 2 承诺：对齐 .runtime/verify-runs/<ts>/ 先例）——五状态全落（含
+    // 放行态），fail-soft 不影响 gate 判定；②类阻断回执同样留档供平台/审计消费
+    writeReconcileRunResult({ runtimeRoot: reconcileRuntimeRoot, changeName, envelope: reconcileEnvelope, result: reconcileCheck })
+    if (reconcileBlocked) {
+      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+    }
+    // ── verify-result.md 探针预填段一致性抽查（task-03 / ir-stage-p3b D-002@v1 方案A）──
+    // 「#### 探针 N」机械预填段（verify-probes --init 生成）长在 agent 可编辑的正文里，其防篡改
+    // 基准是正文锚点而非 verify-facts.json（删底稿绕不过防护）。checkProbeConsistency 重跑只读
+    // 探针与正文锚点对账，分级（D-003）：probe1/probe6 不符 = ERROR → 阻断回滚（正文预填段疑似
+    // 被篡改）；probe3/probe5 环境敏感维度 + R-06 HEAD 前进降级 = WARNING → 放行告警（drift）；
+    // skipped（存量旧格式报告/无 changeName）/degraded（重跑异常 fail-soft）→ 放行提示。
+    // 接线形态照上方 P3a reconcile 先例：envelope + print（ERROR 时 console.error 逐条 mismatch +
+    // supportedFixes）+ verify-runs 落盘 + rollbackCompletionAndReturn。
+    const { checkProbeConsistency } = await import('../verify-postcheck.js')
+    const probeCheck = checkProbeConsistency({
+      // 四参与 reconcile 同源取值：cwd/specBase/changeName 原样透传；runtimeRoot 复用上方
+      // reconcileRuntimeRoot（resolveRuntimeRoot(platformOpts, specBase)）——checkProbeConsistency
+      // 的锚点产物实际都在 changeDir，此参为统一传参签名对齐预留，口径一处定义不二算
+      cwd, specBase, changeName,
+      runtimeRoot: reconcileRuntimeRoot,
+      // IR 严格档（2026-09-07-ir-hardening D-002@v1）：created_at ≥ IR_STRICT_SINCE 的变更
+      // 探针子节全缺 = ERROR（存量 skip 语义零变化）；fail-open（读不到 → false 落豁免）
+      strictMode: isStrictChange({ pm, cwd, changeName }),
+    })
+    const probeEnvelope = buildProbeConsistencyEnvelope(probeCheck)
+    const probeBlocked = printProbeConsistencyCheck(probeCheck, probeEnvelope)
+    // 结果落盘（对齐 writeReconcileRunResult 先例）：独立文件 probe-consistency-result.json——
+    // 与 reconcile-result.json 同 gate 运行同目录组织（verify-runs/<ts>/），但不并入后者：
+    // reconcile-result.json 的 schema 已被 P3a 消费方锁定，塞探针字段（读改写/扩参）只会引入
+    // 两检查间耦合；各写各的回执、按文件名订阅更干净。fail-soft 不影响 gate 判定
+    writeProbeConsistencyRunResult({ runtimeRoot: reconcileRuntimeRoot, changeName, envelope: probeEnvelope, result: probeCheck })
+    if (probeBlocked) {
+      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+    }
     // ── module-impact 死信探针（blocking，债单 D-1/D-5）：更新结果表 pending/待办行 → 阻断 verify ──
     // 与 archive 移动前校验（extractPendingDocSyncRows）同一口径，把死信号从 archive 提前到 verify：
     // agent 在 verify 阶段就须完成文档同步并回填 done/skipped，而非拖到归档被拦（修复 perf-remediation
@@ -726,7 +781,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
   if (['brainstorm', 'plan', 'execute'].includes(stageName)) {
     try {
       const { classifyReviewTier } = await import('../review-tier.js')
-      const { validateStageReview, getLatestStageReviewRunId, printStageReviewResult, generateStageReviewRunId, stageReviewMarkerPath } = await import('../stage-review.js')
+      const { validateStageReviewWithAutoRefresh, getLatestStageReviewRunId, printStageReviewResult, generateStageReviewRunId, stageReviewMarkerPath } = await import('../stage-review.js')
       const effectiveSpecBase = platformOpts?.specRoot || specBase
       const reviewChangeDir = resolveChangeDir(cwd, progress, platformOpts?.specRoot)
       const designPath = reviewChangeDir ? join(reviewChangeDir, 'design.md') : null
@@ -758,7 +813,16 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
           : stageName === 'plan' ? 'plan'
           : 'acceptance'
         const searchDirs = [effectiveSpecBase, reviewChangeDir, cwd].filter(Boolean)
-        const reviewResult = validateStageReview({ stage: stageName, reviewType, runtimeRoot, reviewRunId, searchDirs })
+        // docHash 失配自动刷新（坑 stage-review-refresh-hash-manual-forget，2026-09-04 ③）：
+        // 主文档（design/plan.md）改版后忘跑 --refresh-hash 不再拦一轮——gate 机械重算放行
+        // （verdict 保留 + reviewerNotes 审计行 + 控制台留痕）；主文档缺失/schema/verdict=fail
+        // 不在自动刷新范围，照常 fail-closed。
+        const gated = validateStageReviewWithAutoRefresh({ stage: stageName, reviewType, runtimeRoot, reviewRunId, searchDirs, autoRefresh: true })
+        if (gated.autoRefreshed) {
+          console.warn(`\n🔄 stage review docHash 失配已自动刷新（主文档改版后机械重算，verdict/checklist 保留——结论是否仍适用于新文档需人工确认）`)
+          console.warn(`   已就地更新: ${gated.refreshedPath}`)
+        }
+        const reviewResult = gated.result
         printStageReviewResult(reviewResult, { stage: stageName, reviewRunId, runtimeRoot, changeName })
         if (!reviewResult.ok) {
           return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
@@ -1169,6 +1233,293 @@ export function filterStaleBaselineOverlap(overlap, dirtySet, foreignDeclared) {
   return (overlap || []).filter(f => dirtySet?.has(f) && !(foreignDeclared?.has(f)))
 }
 
+/**
+ * target_files 对账结果 → 诊断信封（task-05 接线配套）。
+ *
+ * verify 块既有五项检查是「单结果对象 + print 函数 + 状态判定」形态（runVerifyTestCheck 先例），
+ * 无 scan-postcheck 那种 checks 数组聚合结构，故信封不进数组、字段命名对齐 scan-postcheck 的
+ * checks 条目（name/severity/detail/evidence/supportedFixes）——机器可路由口径跨模块一致。
+ * severity：②类阻断=error（产物级阻断而非流程崩溃，不取 critical）；③类与降级=warning；ok=info。
+ * evidence 携带三类清单计数 + actual 形态与源明细（③类误报排查先看 sources 归因）。
+ * code：五状态→四 code 的机器路由键（reconcile_missing_declared / reconcile_undeclared_file /
+ * reconcile_skipped / reconcile_ok，design 接口定义），写盘与平台消费按 code 分支。
+ *
+ * @param {object} r reconcileTargetFiles 返回值
+ * @returns {{ code: string, name: string, severity: string, detail: string, evidence: object, supportedFixes: string[] }}
+ */
+export function buildReconcileTargetFilesEnvelope(r) {
+  const severity = r.status === 'missing_declared' ? 'error'
+    : (r.status === 'ok' ? 'info' : 'warning')
+  // 修复提示按状态分级给「可执行」动作：②类=干活或改声明；③类=补声明或回退；降级=指引补声明
+  const supportedFixes = []
+  if (r.status === 'missing_declared') {
+    supportedFixes.push('完成声明的工作：把上方清单中 task 卡 target_files 声明的文件真正改出来（NEW: 声明的新建文件要先创建）')
+    supportedFixes.push('或修正声明：编辑 tasks/task-NN.md 的 target_files，移除不再交付的路径（改声明须与该 task 的 review 结论一致，不得为过门而删声明）')
+  } else if (r.status === 'undeclared') {
+    supportedFixes.push('补声明：把上方清单文件补进对应 task 卡的 target_files（存在的文件直接写仓根相对路径）')
+    supportedFixes.push('或回退越权改动：不属于任何 task 交付的文件应 revert（并行会话声明文件已被剔除，剩余即本变更产出）')
+  } else if (r.status === 'skipped' || r.status === 'degraded') {
+    supportedFixes.push('新 task 卡请声明 target_files（每条为仓根相对精确文件路径，不存在的文件加 NEW: 前缀）；存量卡无声明/跨仓卡跳过属预期，无需补')
+  }
+  return {
+    // code 机器路由键（审查 gap 回流，design 接口定义）：五状态→四 code（skipped/degraded 同
+    // 一个 reconcile_skipped——两者对消费方语义一致：本次无对账结论），供平台/上游按 code 分支
+    code: r.status === 'missing_declared' ? 'reconcile_missing_declared'
+      : r.status === 'undeclared' ? 'reconcile_undeclared_file'
+      : (r.status === 'ok' ? 'reconcile_ok' : 'reconcile_skipped'),
+    name: 'target_files_reconcile',
+    severity,
+    detail: `target_files 声明 ↔ 实际改动对账：status=${r.status}` + (r.skipReason ? `（${r.skipReason}）` : ''),
+    evidence: {
+      matched_count: r.matched.length,
+      missing_declared_count: r.missing.length,
+      undeclared_count: r.undeclared.length,
+      form: r.form,
+      sources: r.sources,
+    },
+    supportedFixes,
+  }
+}
+
+/**
+ * target_files 对账结果落盘 .runtime/verify-runs/<ts>/reconcile-result.json（审查 gap 回流）。
+ *
+ * design「总体方案 Wave 2」承诺「结果落盘对齐 .runtime/verify-runs/<ts>/ 先例」——console 输出
+ * 跨进程即失忆，落盘留审计痕迹供 SillyHub/平台消费。目录命名对齐 verify-postcheck.js
+ * writeRunResult 先例（ts=UTC 紧凑 YYYYMMDDHHmmss，与 test-result.json 同目录组织）。
+ * fail-soft：写失败只 console.error 留痕不阻断 gate（落盘是审计附件不是证据源，与
+ * writeRunResult 的 best-effort 同口径）；五状态全落（放行态也要留档——对账跳过/降级同样
+ * 是审计事实，下次回看才知道为什么没有差集）。
+ *
+ * @param {{ runtimeRoot: string, changeName: string|null, envelope: object, result: object }} opts
+ * @returns {string|null} 成功返回落盘路径；失败返回 null
+ */
+export function writeReconcileRunResult({ runtimeRoot, changeName, envelope, result }) {
+  try {
+    const ts = new Date().toISOString().slice(0, 19).replace(/[-T:]/g, '')
+    const runDir = join(runtimeRoot, 'verify-runs', ts)
+    mkdirSync(runDir, { recursive: true })
+    const resultPath = join(runDir, 'reconcile-result.json')
+    // 落盘字段 snake_case 对齐 writeRunResult 的 test-result.json 机器消费口径（信封内存字段
+    // 保持 camelCase 不动，写盘这层做一次映射）
+    writeFileSync(resultPath, JSON.stringify({
+      change: changeName,
+      code: envelope.code,
+      severity: envelope.severity,
+      status: result.status,
+      evidence: envelope.evidence,
+      supported_fixes: envelope.supportedFixes,
+      matched: result.matched,
+      missing: result.missing,
+      undeclared: result.undeclared,
+      notes: result.notes,
+      form: result.form,
+      sources: result.sources,
+      ran_at: new Date().toISOString(),
+    }, null, 2) + '\n')
+    console.log(`📄 target_files 对账结果已写入: ${resultPath}`)
+    return resultPath
+  } catch (e) {
+    console.error(`⚠️ target_files 对账结果落盘失败（不影响 verify gate）: ${e.message}`)
+    return null
+  }
+}
+
+/**
+ * 打印 target_files 对账结果（task-05 接线配套的打印层）。
+ *
+ * reconcileTargetFiles 是纯函数无配套 print（verify-postcheck 导出消费、打印归接线方），本函数
+ * 即其在 verify 块的打印层：②类阻断明细照 runVerifyTestCheck 的失败输出形态（状态行 + 逐条
+ * task + path + 修复行），③类/skipped/degraded 走 console.warn（advisory 形态照
+ * printVerifyRequiredEvidenceCheck 先例）。返回 true = ②类在场应阻断（调用方据此走
+ * rollbackCompletionAndReturn，与 testCheck.status==='failed' 分支同形）。
+ *
+ * @param {object} r reconcileTargetFiles 返回值
+ * @param {object} [envelope] 预构造信封（缺省现算；显式传入便于调用方先断言再打印）
+ * @returns {boolean} true = 阻断（status='missing_declared'）
+ */
+export function printReconcileTargetFilesCheck(r, envelope = buildReconcileTargetFilesEnvelope(r)) {
+  // ②类（声明未做=计划落空）：ERROR 阻断
+  if (r.status === 'missing_declared') {
+    console.error(`\n❌ target_files 对账阻断：${r.missing.length} 条「声明未做」（②类，计划落空）——声明的交付文件在实际改动中不存在。`)
+    for (const m of r.missing) {
+      console.error(`   - ${m.task}: ${m.path}${m.isNew ? '（NEW: 声明新建，文件未创建）' : ''}`)
+    }
+    console.error(`   evidence: matched=${envelope.evidence.matched_count} missing=${envelope.evidence.missing_declared_count} undeclared=${envelope.evidence.undeclared_count}`)
+    for (const fix of envelope.supportedFixes) console.error(`   修复：${fix}`)
+    console.error(`   对账口径 actual=${(r.sources || []).join(' + ') || 'n/a'}；修复后重新完成 verify。`)
+    return true
+  }
+  // ③类（做了没声明=scope creep）：WARNING 放行，suspectTask 尽力归因随行列出
+  if (r.status === 'undeclared') {
+    console.warn(`\n⚠️  target_files 对账发现 ${r.undeclared.length} 个实际改动未在任何 task 卡声明（③类 scope creep，advisory 不阻断）：`)
+    for (const u of r.undeclared.slice(0, 20)) {
+      console.warn(`   - ${u.path}${u.suspectTask ? `（疑似 ${u.suspectTask} 的改动——该 task 的 review.json changedFiles 提及）` : ''}`)
+    }
+    if (r.undeclared.length > 20) console.warn(`   …还有 ${r.undeclared.length - 20} 个`)
+    console.warn(`   evidence: matched=${envelope.evidence.matched_count} missing=${envelope.evidence.missing_declared_count} undeclared=${envelope.evidence.undeclared_count}`)
+    for (const fix of envelope.supportedFixes) console.warn(`   提示：${fix}`)
+    console.warn(`   对账口径 actual=${(r.sources || []).join(' + ') || 'n/a'}（③类误报先核对 sources 与并行会话剔除提示）。`)
+    return false
+  }
+  // IR 严格档（2026-09-07-ir-hardening D-003）：strictViolation → ERROR 阻断（与②类同处置）
+  if (r.status === 'skipped' && r.strictViolation) {
+    console.error(`
+❌ target_files 对账阻断：${r.skipReason}`)
+    console.error(`   ${r.strictViolation.message}`)
+    console.error(`   信封 code: ${r.strictViolation.code}`)
+    return true
+  }
+  // 降级（skipped/degraded）：WARNING 放行，skipReason 一句话（存量卡/git 不可用，不误红）
+  if (r.status === 'skipped' || r.status === 'degraded') {
+    console.warn(`\n⚠️  target_files 对账${r.status === 'degraded' ? '降级' : '跳过'}（不阻断）：${r.skipReason}`)
+    return false
+  }
+  // ok：①交集全落地
+  console.log(`\n✅ target_files 对账通过：${r.matched.length} 个声明文件全部落地${r.form ? `（actual 形态=${r.form}）` : ''}`)
+  for (const n of (r.notes || [])) console.log(`   ℹ️ ${n}`)
+  return false
+}
+
+/**
+ * 探针一致性抽查结果 → 诊断信封（task-03 接线配套，形态对齐 buildReconcileTargetFilesEnvelope）。
+ *
+ * code 路由键（task-02 JSDoc 接线约定）：mismatch+error → probe_consistency_mismatch（阻断，
+ * 正文预填段疑似被篡改）；mismatch+warning → probe_consistency_drift（probe3/probe5 环境敏感
+ * 维度 + R-06 HEAD 前进降级，放行告警）；skipped/degraded → probe_consistency_skipped（放行
+ * 提示——两态对消费方语义一致：本次无对账结论，照 P3a 五状态→四 code 的合流先例）；ok →
+ * probe_consistency_ok。severity 分级照 reconcile 先例：阻断=error、非阻断非 ok=warning、ok=info。
+ * evidence 携带 mismatch 计数（总/error/warning）+ subsections 在场性（task-02 返回值的诊断字段，
+ * 判别子 D-003 排查先看它——「哪个探针子节在场」决定走逐探针对账还是 prefill 整段缺失分支）。
+ *
+ * @param {object} r checkProbeConsistency 返回值
+ * @returns {{ code: string, name: string, severity: string, detail: string, evidence: object, supportedFixes: string[] }}
+ */
+export function buildProbeConsistencyEnvelope(r) {
+  const blocked = r.status === 'mismatch' && r.severity === 'error'
+  const drifted = r.status === 'mismatch' && !blocked
+  // IR 严格档独立 code（2026-09-07-ir-hardening D-002）：首条 mismatch 携带
+  // probe_prefill_missing_strict 时路由专用 code（平台/上游按 code 分支可区分
+  // 「篡改预填段」与「从未生成预填段」两类 ERROR）
+  const strictMissing = blocked
+    && Array.isArray(r.mismatches) && r.mismatches.length > 0
+    && r.mismatches[0] && r.mismatches[0].code === 'probe_prefill_missing_strict'
+  const supportedFixes = []
+  if (blocked) {
+    supportedFixes.push('如实重生成：跑 `sillyspec verify-probes --change <变更名> --init` 重新落盘机械预填段，再基于新预填段如实补写正文结论（删改预填段过门是 Step7 防篡改纪律红线）')
+    supportedFixes.push('若重生成后仍不符：核对 mismatch 的 expected（CLI 重跑指标）与 actual（正文锚点值）——确属环境变化（worktree 存活态/测试布局）时在 verify-result.md 注明差异原因')
+  } else if (drifted) {
+    supportedFixes.push('环境敏感维度漂移（probe3 测试布局 / probe5 扫描根 / probe6 HEAD 前进）：跑 `sillyspec verify-probes --change <变更名> --init` 刷新预填段对齐当前环境（不阻断，留审计）')
+  } else if (r.status === 'skipped' || r.status === 'degraded') {
+    supportedFixes.push('新变更走 `sillyspec verify-probes --change <变更名> --init` 生成带探针预填段的骨架后再写结论；存量旧格式报告/无 changeName 跳过属预期，无需补')
+  }
+  return {
+    // code 机器路由键（task-02 JSDoc）：四状态→四 code，供平台/上游按 code 分支
+    code: strictMissing ? 'probe_prefill_missing_strict'
+      : blocked ? 'probe_consistency_mismatch'
+      : drifted ? 'probe_consistency_drift'
+      : (r.status === 'ok' ? 'probe_consistency_ok' : 'probe_consistency_skipped'),
+    name: 'probe_consistency',
+    severity: blocked ? 'error' : (r.status === 'ok' ? 'info' : 'warning'),
+    detail: `verify-result.md 探针预填段一致性抽查：status=${r.status}`
+      + (r.status === 'mismatch' ? `（${(r.mismatches || []).length} 项不符，severity=${r.severity}）` : '')
+      + (r.skipReason ? `（${r.skipReason}）` : ''),
+    evidence: {
+      mismatch_count: (r.mismatches || []).length,
+      error_count: (r.mismatches || []).filter(m => m && m.severity === 'error').length,
+      warning_count: (r.mismatches || []).filter(m => m && m.severity === 'warning').length,
+      subsections: r.subsections ?? null,
+    },
+    supportedFixes,
+  }
+}
+
+/**
+ * 探针一致性抽查结果落盘 .runtime/verify-runs/<ts>/probe-consistency-result.json（task-03）。
+ *
+ * 形态选型（二选一取独立文件）：与 reconcile-result.json 同 gate 运行、同目录组织
+ * （verify-runs/<ts>/，ts=UTC 紧凑 YYYYMMDDHHmmss 对齐 writeRunResult 先例），但不并入后者——
+ * reconcile-result.json 的 schema 已被 P3a 消费方锁定，并入（读改写/扩参）引入两检查间耦合；
+ * 独立文件各写各的回执，平台/审计按文件名订阅（与 test-result.json 同一目录约定）。
+ * fail-soft：写失败只 console.error 留痕不阻断 gate（对齐 writeReconcileRunResult）；四状态全落
+ * （放行态同样留档——跳过/降级是审计事实，下次回看才知道为什么没有对账结论）。
+ *
+ * @param {{ runtimeRoot: string, changeName: string|null, envelope: object, result: object }} opts
+ * @returns {string|null} 成功返回落盘路径；失败返回 null
+ */
+export function writeProbeConsistencyRunResult({ runtimeRoot, changeName, envelope, result }) {
+  try {
+    const ts = new Date().toISOString().slice(0, 19).replace(/[-T:]/g, '')
+    const runDir = join(runtimeRoot, 'verify-runs', ts)
+    mkdirSync(runDir, { recursive: true })
+    const resultPath = join(runDir, 'probe-consistency-result.json')
+    // 落盘字段 snake_case 对齐 reconcile-result.json 机器消费口径（信封内存字段保持 camelCase
+    // 不动，写盘这层做一次映射）；mismatches 逐条落盘供平台按 probe/severity 细读
+    writeFileSync(resultPath, JSON.stringify({
+      change: changeName,
+      code: envelope.code,
+      severity: envelope.severity,
+      status: result.status,
+      result_severity: result.severity ?? null,
+      evidence: envelope.evidence,
+      supported_fixes: envelope.supportedFixes,
+      mismatches: result.mismatches || [],
+      skip_reason: result.skipReason ?? null,
+      subsections: result.subsections ?? null,
+      ran_at: new Date().toISOString(),
+    }, null, 2) + '\n')
+    console.log(`📄 探针一致性抽查结果已写入: ${resultPath}`)
+    return resultPath
+  } catch (e) {
+    console.error(`⚠️ 探针一致性抽查结果落盘失败（不影响 verify gate）: ${e.message}`)
+    return null
+  }
+}
+
+/**
+ * 打印探针一致性抽查结果（task-03 接线配套的打印层，阻断语义同 printReconcileTargetFilesCheck）。
+ *
+ * ERROR 级 mismatch：console.error 状态行 + 逐条 mismatch（probe/expected/actual/note，reconcile
+ * 先例同形）+ evidence 计数 + supportedFixes，返回 true（调用方据此走 rollbackCompletionAndReturn）；
+ * WARNING 级 mismatch：console.warn 同形明细返回 false 放行；skipped/degraded：一句 skipReason 放行
+ * （对齐 reconcile 降级分支形态）；ok：静默返回 false（task-02 JSDoc 接线约定「'ok' → 静默」——
+ * 正文锚点全符是常态，不刷存在感）。
+ *
+ * @param {object} r checkProbeConsistency 返回值
+ * @param {object} [envelope] 预构造信封（缺省现算；显式传入便于调用方先断言再打印）
+ * @returns {boolean} true = 阻断（status='mismatch' 且 severity='error'）
+ */
+export function printProbeConsistencyCheck(r, envelope = buildProbeConsistencyEnvelope(r)) {
+  // ERROR 级 mismatch：正文预填段与 CLI 重跑事实不符，疑似篡改 → 阻断
+  if (r.status === 'mismatch' && r.severity === 'error') {
+    console.error(`\n❌ 探针一致性抽查阻断：${(r.mismatches || []).length} 项与 CLI 重跑事实不符（其中 ERROR 级 ${envelope.evidence.error_count} 项）——verify-result.md 探针预填段疑似被篡改。`)
+    for (const m of (r.mismatches || [])) {
+      console.error(`   - ${m.probe}: 重跑 ${JSON.stringify(m.expected)} vs 正文 ${JSON.stringify(m.actual)}（${m.severity}）——${m.note}`)
+    }
+    console.error(`   evidence: mismatches=${envelope.evidence.mismatch_count}（error=${envelope.evidence.error_count} warning=${envelope.evidence.warning_count}）subsections=${JSON.stringify(envelope.evidence.subsections)}`)
+    for (const fix of envelope.supportedFixes) console.error(`   修复：${fix}`)
+    console.error(`   对比基准是正文锚点（删 verify-facts.json 绕不过防护）；如实重生成预填段后重新完成 verify。`)
+    return true
+  }
+  // WARNING 级 mismatch：环境敏感维度漂移 → 放行告警
+  if (r.status === 'mismatch') {
+    console.warn(`\n⚠️  探针一致性抽查发现 ${(r.mismatches || []).length} 项漂移（环境敏感维度，advisory 不阻断）：`)
+    for (const m of (r.mismatches || [])) {
+      console.warn(`   - ${m.probe}: 重跑 ${JSON.stringify(m.expected)} vs 正文 ${JSON.stringify(m.actual)}——${m.note}`)
+    }
+    console.warn(`   evidence: mismatches=${envelope.evidence.mismatch_count}（error=${envelope.evidence.error_count} warning=${envelope.evidence.warning_count}）`)
+    for (const fix of envelope.supportedFixes) console.warn(`   提示：${fix}`)
+    return false
+  }
+  // 降级（skipped/degraded）：放行，skipReason 一句话（存量旧报告/重跑异常，不误红）
+  if (r.status === 'skipped' || r.status === 'degraded') {
+    console.warn(`\n⚠️  探针一致性抽查${r.status === 'degraded' ? '降级' : '跳过'}（不阻断）：${r.skipReason}`)
+    return false
+  }
+  // ok：①正文锚点与重跑全符——静默放行
+  return false
+}
+
 /**
  * verify 服务进程回收（verify --done 收尾调用）。
  *

package/src/run/progress-confirm.js

@@ -0,0 +1,66 @@
+/**
+ * progressConfirm — 主流程 Step1「进度确认」的 noAI 动作（brainstorm / execute / verify）
+ * （2026-09-07 noAI 主流程首批；机制先例：scan 系 noAI 步 + planPostcheck，见 run/stage.js noAI 分支）
+ *
+ * noAI 化依据（step1 职责在历次加固后已全部机械化）：
+ *   - 阶段路由：`run <stage>` 显式调用即写 currentStage（run/stage.js D-003@v1），
+ *     阶段顺序违规由 checkTransition 拦截——原 prompt 的「阶段不符则停止」检查已残留化
+ *     （{PROGRESS_SNAPSHOT} 注入文案本就写着「CLI 已路由到本阶段」）；
+ *   - 进度摘要：快照三行（变更/阶段/步骤位置）由 CLI 注入，agent 的「输出当前进度摘要」
+ *     只是把注入内容复述一遍再 --done——整轮往返零判断增量；
+ *   - brainstorm 变更名检查：自动名在创建时 CLI 已打印 rename 提示（run/command.js），
+ *     此处机械复检一次模式命中；命中只打印 ⚠️ 建议（noAI 步的 console 输出仍在 CLI 工具
+ *     结果里，agent 可见、可在后续步骤与用户交互改名）——不 throw、不阻塞推进。
+ *   - execute 执行范围：$ARGUMENTS 是会话层信息，CLI 不掺入；本步只补 tasks 勾选计数
+ *     （readPlanCheckboxStatus 既有机器事实），范围以用户在会话中给出的为准。
+ *   - verify 测试提示：原 prompt 首段的「CLI 在 --done 统一跑测试」要点改为 console 提示。
+ *
+ * 输出纪律：只 console 打印（noAI 步不写 step output，与 scan 系动作一致）；
+ * 纯确认步无失败语义，不 throw。
+ */
+import { join } from 'node:path'
+
+/** brainstorm 自动生成变更名的模式（run/command.js:1083 `${date}-new-change-${hex}`） */
+const AUTO_CHANGE_NAME_RE = /^\d{4}-\d{2}-\d{2}-new-change-[a-f0-9]+$/
+
+/**
+ * 执行「进度确认」noAI 动作：打印进度快照 + 阶段专属机械提示。
+ *
+ * @param {object} opts
+ * @param {string} opts.stageName - brainstorm / execute / verify
+ * @param {string} opts.cwd
+ * @param {object} opts.stageData - progress.stages[stageName]（steps 数组）
+ * @param {string|null} opts.changeName
+ * @param {object|null} [opts.pm] - ProgressManager（execute 档 tasks 勾选计数用；缺省跳过该段）
+ */
+export function executeProgressConfirm({ stageName, cwd, stageData, changeName, pm = null }) {
+  const steps = Array.isArray(stageData?.steps) ? stageData.steps : []
+  const done = steps.filter(s => s.status === 'completed').length
+  console.log('📊 进度快照（CLI 注入，无需跑 progress show）：')
+  console.log(`   - 变更：${changeName || '（未知）'}`)
+  console.log(`   - 阶段：${stageName}（CLI 已路由到本阶段）`)
+  console.log(`   - 步骤：${done}/${steps.length} 已完成；本步已由 CLI 自动确认`)
+
+  if (stageName === 'brainstorm' && changeName && AUTO_CHANGE_NAME_RE.test(changeName)) {
+    console.log('')
+    console.log(`⚠️  变更名「${changeName}」疑似自动生成——建议与用户确认语义化名称后执行：`)
+    console.log(`   sillyspec change-rename ${changeName} <新名称>（勿用 mv，会漏改进度库引用）`)
+  }
+
+  if (stageName === 'execute' && pm && changeName) {
+    try {
+      const changeDir = join(pm._getSpecDir(cwd), 'changes', changeName)
+      const plan = pm.readPlanCheckboxStatus(changeDir)
+      if (plan && plan.total > 0) {
+        console.log(`   - 任务勾选：tasks ${plan.checked}/${plan.total}（执行范围以用户会话指定为准，未指定则全部 Wave）`)
+      }
+    } catch { /* 勾选计数 fail-soft：plan.md 缺失/解析失败不阻塞确认步 */ }
+  }
+
+  if (stageName === 'verify') {
+    console.log('')
+    console.log('💡 `run verify` 只下发指令不跑测试——全量测试由 CLI 在最后 --done 统一执行')
+    console.log('   （local.yaml 的 commands.test，同步对账可能耗时较长）；后续「运行测试和质量扫描」')
+    console.log('   步骤无需手动跑全量，只做 lint/静态检查 + 可选快速冒烟。')
+  }
+}