sillyspec 3.27.12 → 3.28.2

package/src/run/complete-handlers.js

@@ -26,12 +26,12 @@ import { basename, join, resolve, relative, isAbsolute } from 'node:path'
 import { existsSync, readdirSync, readFileSync, writeFileSync, mkdirSync, unlinkSync, rmSync } from 'node:fs'
 import { renameSyncRetry, writeAtomicSync } from '../fs-atomic.js'
 import { gitQuiet } from '../git-helper.js'
-import { resolveChangeDir, resolveQuickSessionsDir, safeGit, auditQuickCompletion, triggerSync, isQuickMetadata, resolveRuntimeRoot, collectOtherQuickSessionDeclarations } from './shared.js'
+import { resolveChangeDir, resolveQuickSessionsDir, safeGit, auditQuickCompletion, triggerSync, isQuickMetadata, resolveRuntimeRoot, collectOtherQuickSessionDeclarations, mergeQuickBoundaryFiles } from './shared.js'
 import { detectConcurrentChanges, formatConcurrentWarning, resolveConcurrentAnchor } from './concurrent-detect.js'
 import { stageRegistry } from '../stages/index.js'
 import { SCAN_STATUS, POINTER_STATUS } from '../constants.js'
-import { printQuickAuditReview } from './quick-audit.js'
-import { validateQuickResult, allocateQuicklogEntry, findQuicklogEntry, completeQuicklogEntry, extractTitleFromResult } from '../quicklog.js'
+import { printQuickAuditReview, runQuickTestLintGate, printQuickTestLintGate } from './quick-audit.js'
+import { validateQuickResult, allocateQuicklogEntry, appendQuicklogEntryWithId, findQuicklogEntry, completeQuicklogEntry, extractTitleFromResult } from '../quicklog.js'
 import { getRule } from '../stage-contract-spec.js'
 import { archiveDestDirName } from '../stage-contract.js'
 
@@ -432,6 +432,31 @@ export async function handleArchiveConfirmStep({ stageName, steps, currentIdx, c
     console.log('⚠️  请添加 --confirm 确认归档，例如：sillyspec run archive --done --confirm --output "确认归档"')
     return { stageCompleted: false, currentIdx, nextPendingIdx: currentIdx }
   }
+  // ── 归档前 delta.md 自动生成（P3d task-02，fail-soft 零阻断）──
+  // 目录移走前在 changes/<name>/ 落一份 Before/Delta/After 三段式快照（四源采集容缺，
+  // buildDeltaReport 见 ../archive-delta.js），随归档包留存。失败只 console.error 留痕、
+  // 提示 sillyspec delta --change 手动补，绝不抛出——归档主流程既有失败面（rename/git/清理）
+  // 一个不叠加。specRoot 同 complete.js :87 口径（specBase 已含 platform specRoot）；
+  // runtimeRoot 同本文件 archiveWorktreeCleanup 既有用法 resolveRuntimeRoot(platformOpts, specBase)。
+  const deltaChangeName = progress.currentChange || changeName
+  if (deltaChangeName) {
+    try {
+      const { buildDeltaReport } = await import('../archive-delta.js')
+      const deltaChangeDir = join(specBase, 'changes', deltaChangeName)
+      const deltaMd = buildDeltaReport({
+        changeDir: deltaChangeDir,
+        specRoot: specBase,
+        // project 缺参可 null（loadModuleMap null 降级路径已支持，报告内逐段降级注记）
+        project: progress?.project || null,
+        runtimeRoot: resolveRuntimeRoot(platformOpts, specBase),
+      })
+      writeFileSync(join(deltaChangeDir, 'delta.md'), deltaMd)
+      console.log(`📊 归档前已生成 delta.md: ${join(deltaChangeDir, 'delta.md')}`)
+    } catch (e) {
+      console.error(`⚠️  归档前 delta.md 自动生成失败（不阻断归档）: ${e.message}`)
+      console.error(`   可手动补: sillyspec delta --change ${deltaChangeName} --spec-dir ${specBase}`)
+    }
+  }
   // 主仓互斥锁（坑 main-repo-no-mutex 二批）：archiveChangeDirectory 改主仓共享状态（目录
   // rename + 共享 index 的 git add + marker 删除 + worktree 清理），与并行会话的 apply/cleanup
   // 互踩。exit 钩子兜底：其内部 guard 失败 exit(1) 时锁也会被清（见 withMainRepoLock）。
@@ -832,7 +857,7 @@ export async function handleWorkflowPostCheck({ stageName, steps, currentIdx, cw
  * isForceBaseline/isAllowNew/platformOpts。辅助函数直接 import（safeGit/auditQuickCompletion ← shared，
  * printQuickAuditReview ← quick-audit，4 个 quicklog fns ← quicklog，unlinkSync/rmSync ← fs 静态）。
  */
-export async function handleQuickStageCompletion({ stageName, steps, currentIdx, cwd, progress, changeName, specBase, outputText, confirm, isForceBaseline, isAllowNew, isAllowDelete, platformOpts, pm }) {
+export async function handleQuickStageCompletion({ stageName, steps, currentIdx, cwd, progress, changeName, specBase, outputText, confirm, isForceBaseline, isAllowNew, isAllowDelete, platformOpts, pm, quickFiles = [] }) {
   // quick 收尾：强校验 QUICKLOG 条目 + 翻状态 + 勾 tasks.md（CLI 接管）
   if (stageName === 'quick') {
     // §4.6 从 session guard.json 读 guard（不依赖 progress.quickGuard）。
@@ -860,6 +885,18 @@ export async function handleQuickStageCompletion({ stageName, steps, currentIdx,
     // review.changedFiles；brownfield 无 guard 时保持 null → 文件行不回填（降级，不报错）。
     let review = null
 
+    // --done --files 一步并入边界（坑 quick-audit-warning-no-guidance 2026-09-03，与
+    // ql-20260713-002-7628 同族——flag 在 --done 被解析却不生效）：此前追加声明只能先
+    // 「恢复会话带 --files」再 --done 两步走。并入语义与 stage.js 恢复路径同款（追加不
+    // 替换、去重保序 + allowedFilesHash 记录），持久化回 guard.json——本轮审计与他者会话
+    // 声明豁免同源消费。guard 缺失（brownfield）不补建，跳过并入。
+    if (guard && Array.isArray(quickFiles) && quickFiles.filter(Boolean).length > 0) {
+      const { added } = mergeQuickBoundaryFiles(guard, quickFiles, cwd)
+      if (added.length > 0) {
+        try { writeAtomicSync(sessionGuardFile, JSON.stringify(guard, null, 2)) } catch { /* 持久化失败降级：本轮审计仍用内存合并值 */ }
+        console.log(`🛡️ quick 边界已追加: ${added.length} 个文件（累计 ${guard.allowedFiles.length} 个）: ${added.join(', ')}`)
+      }
+    }
     // 审计：仅在有 guard 时跑（brownfield 无 guard 跳过，兼容 D-003 brownfield 行为）。
     // task-02：mergedGuard 提升到 if 外声明，供下方并发预检钩子复用与 auditQuickCompletion
     // 同源的 guard 字段（baselineFiles/linkedChanges）。brownfield 无 guard 时保持 null，
@@ -892,6 +929,22 @@ export async function handleQuickStageCompletion({ stageName, steps, currentIdx,
         if (outputText) steps[currentIdx].output = null
         process.exit(1)
       }
+      // P0-2（2026-09-02 跨 agent 工单）：触及 src/test 的 quick --done 内置 test+lint
+      // 实测门禁——把 CLAUDE.md 规则 8 从 agent 自律下沉为 CLI 卡点（fail → step 回
+      // pending + exit 1，重跑不丢进度；纯 doc/配置与未配置命令自动跳过不阻断）。
+      const gate = await runQuickTestLintGate({
+        cwd,
+        specBase,
+        changedFiles: review.changedFiles,
+        changeName,
+      })
+      printQuickTestLintGate(gate)
+      if (gate.action === 'fail') {
+        steps[currentIdx].status = 'pending'
+        steps[currentIdx].completedAt = null
+        if (outputText) steps[currentIdx].output = null
+        process.exit(1)
+      }
       progress.lastQuickReview = review
     }
 
@@ -960,7 +1013,27 @@ export async function handleQuickStageCompletion({ stageName, steps, currentIdx,
     }
 
     if (!qlId) {
-      // 无 ql-ID（guard 缺失或 brownfield 无 quicklogId）：补分配后立即完成，不阻断。
+      // 坑 platform-takeover-phantom-progress-db 同日变体：guard 缺失时兜底**优先复用启动
+      // 分配的 ql-ID**（进度库 changes.quicklog_id，quick 启动时 stage.js 回填）——落码
+      // 注释/模块文档的 ql-ID 是启动时就给出的，补分配新号必然制造引用劈叉（同一次会话
+      // 两个 ID、两份 QUICKLOG 各半）。ID 的条目不在当前 specBase（启动/完成分裂库形态）
+      // → 用原 ID 补建骨架，完成态落在同一 ID 上。库中也无（真 brownfield/极老会话）才
+      // 补分配。
+      try {
+        const dbQlId = pm.getQuicklogId(cwd, changeName)
+        if (dbQlId) {
+          const re = await appendQuicklogEntryWithId(specBase, gitUser, dbQlId, {
+            description: guard?.taskDescription || '(guard 缺失补建)',
+            linkedChanges,
+            allowedFiles: Array.isArray(guard?.allowedFiles) ? guard.allowedFiles : [],
+          })
+          qlId = dbQlId
+          console.log(`📝 QUICKLOG 兜底补写复用启动 ql-ID: ${qlId}（guard 缺失，ID 取自进度库 quicklog_id${re.existed ? '' : '，条目已补建'}）`)
+        }
+      } catch { /* 读取/补建失败退回补分配，不阻断 */ }
+    }
+    if (!qlId) {
+      // 无 ql-ID（库中也未回填，真 brownfield）：补分配后立即完成，不阻断。
       try {
         const alloc = await allocateQuicklogEntry(specBase, gitUser, {
           description: guard?.taskDescription || '(补分配)',
@@ -1502,7 +1575,9 @@ export async function handleScanStageCompleted({ stageName, currentIdx, cwd, pro
       try { unlinkSync(platformOptsFile) } catch {}
 
       // CLI 层 post-check（替代旧的简单检查）
-      const { runScanPostCheck, printScanPostCheckResult, formatStructuredResult, writeStructuredResult } = await import('../scan-postcheck.js')
+      const { runScanPostCheck, printScanPostCheckResult, formatStructuredResult, writeStructuredResult, stampScanDocHeaders } = await import('../scan-postcheck.js')
+      // ② frontmatter CLI 盖章（2026-09-05，幂等兜底——正常已在 scanFinalize / quick postcheck 盖过）
+      stampScanDocHeaders({ cwd, specDir: platformOpts.specRoot, mode: stageData.scanProfile?.mode })
       const postResult = runScanPostCheck({
         cwd,
         specDir: platformOpts.specRoot,
@@ -1585,7 +1660,9 @@ export async function handleScanStageCompleted({ stageName, currentIdx, cwd, pro
 
   // 非 platform 模式 scan 也做轻量 post-check + 结构化输出
   if (stageName === 'scan' && !platformOpts.specRoot && !platformOpts.runtimeRoot) {
-    const { runScanPostCheck, printScanPostCheckResult, formatStructuredResult, writeStructuredResult } = await import('../scan-postcheck.js')
+    const { runScanPostCheck, printScanPostCheckResult, formatStructuredResult, writeStructuredResult, stampScanDocHeaders } = await import('../scan-postcheck.js')
+    // ② frontmatter CLI 盖章（2026-09-05，幂等兜底）
+    stampScanDocHeaders({ cwd, specDir: null, mode: stageData.scanProfile?.mode })
     const postResult = runScanPostCheck({ cwd, specDir: null, outputText, scanProfile: stageData.scanProfile || null })
     printScanPostCheckResult(postResult)
     // 结构化结果写入 .sillyspec/.runtime/

package/src/run/complete.js

@@ -21,12 +21,13 @@ import { existsSync, readFileSync, mkdirSync, writeFileSync, appendFileSync } fr
 import { writeAtomicSync } from '../fs-atomic.js'
 import { withFileLock } from '../quicklog.js'
 import { triggerSync, WAIT_MARKER_RE, getStageSteps, formatWaitOptions, resolveRuntimeRoot, getOrCreateMultiRepoContext, resolveChangeDir } from './shared.js'
-import { executeScanPreflight, executeScanPostcheck, computeScanProfile } from './scan-profile.js'
+import { executeScanPreflight, executeScanPostcheck, computeScanProfile, executeScanDetectProjects, executeScanResumeCheck, executeScanFinalize } from './scan-profile.js'
 import { executePlanPostcheck as runPlanPostcheckLib } from '../stages/plan-postcheck.js'
 import { outputStep, collectStageWaitHistory } from './prompt.js'
 import { enforceDepsGate, enforceReviewJsonGate, enforceSymbolImpactGate, warnMissingUiPrototype, completeStageGates, readDesignScale } from './gates.js'
 import { handleArchiveConfirmStep, handlePlanGeneratePlanStep, handleScanProjectListStep, handleWorkflowPostCheck, handleQuickStageCompletion, handleExecuteWaveArtifact } from './complete-handlers.js'
 import { formatExecuteSummary } from '../worktree-apply.js'
+import { validateDecisionModuleRefs } from '../design-facts.js'
 import { isEndToEndTaskText } from '../change-risk-profile.js'
 import { deriveTitleFromLinkedChange } from '../quicklog.js'
 import { gitQuiet } from '../git-helper.js'
@@ -79,7 +80,7 @@ export function resolveWaitingStepWithAnswer(steps, doneAnswer, nowStr) {
 }
 
 export async function completeStep(pm, progress, stageName, cwd, outputText, inputText = null, options = {}) {
-  const { printNext = true, confirm = false, changeName, platformOpts = {}, nonInteractive = false, isForceBaseline = false, isAllowNew = false, isAllowDelete = false } = options
+  const { printNext = true, confirm = false, changeName, platformOpts = {}, nonInteractive = false, isForceBaseline = false, isAllowNew = false, isAllowDelete = false, quickFiles = [] } = options
   // specRoot(平台) > specDriftAnchor(worktree 漂移锚定主仓) > cwd/.sillyspec(本地)——
   // 与 prompt.js resolvePromptSpecBase 同序：--done 收尾的 user-inputs.md/超长 artifact 落盘
   // 必须与 prompt 渲染同一根，否则写进 worktree 副本目录、随 cleanup 整目录删除。
@@ -279,6 +280,37 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
   await enforceSymbolImpactGate(stageName, changeName, steps[currentIdx]?.name, specBase)
   // UI 原型软提醒（非阻断）：brainstorm 收尾步 design.md 命中前端文件但无 prototype → 提示用户可否决
   warnMissingUiPrototype(stageName, changeName, steps[currentIdx]?.name, specBase)
+  // 决策模块域核验硬门（task-02 接线 design-facts，FR-02/D-002）：brainstorm「生成规范文件」步
+  // --done 时核验 decisions.md 模块域引用。ERROR（decision_module_ref_invalid，消息已内嵌前缀）
+  // = 模块幻觉/书写错误 → fail-closed exit 1（进度不推进，步骤保持 pending）；WARNING
+  // （decision_module_domain_gap 声明×实改差异）→ warn 放行留人工裁量；skipped（无决策文件/
+  // 无 _module-map.yaml 索引）→ 单行 info 放行（无索引不误拦）。fail-soft：核验自身异常 →
+  // fail-open（warn 留痕后放行——门禁代码缺陷不应误拦真实完成，与「无索引跳过」同向）。
+  // project 解析与 handleWorkflowPostCheck 同链：progress.project（平台模式真实项目名）>
+  // steps[idx].project > null（brainstorm 非 perProject 展开，后两位常规为空）。
+  if (stageName === 'brainstorm' && steps[currentIdx]?.name?.includes('生成规范文件') && changeName) {
+    try {
+      const _dmProject = progress?.project || steps[currentIdx]?.project || null
+      const _dmResult = validateDecisionModuleRefs({
+        changeDir: join(specBase, 'changes', changeName),
+        specRoot: specBase,
+        project: _dmProject,
+      })
+      if ((_dmResult.errors || []).length > 0) {
+        console.error(`❌ ── 决策模块域核验阻断（本次 --done 未完成，进度未推进）──`)
+        for (const _dmErr of _dmResult.errors) console.error(`   • ${_dmErr}`)
+        console.error(`   修复：更正 decisions.md 对应条目的「模块域」字段（模块 ID 取自 docs/${_dmProject || '<项目>'}/modules/_module-map.yaml），或以 NEW:<名> 前缀声明新模块后重跑：`)
+        console.error(`   sillyspec run brainstorm --done${changeName ? ` --change ${changeName}` : ''} --output "修复说明"`)
+        process.exit(1)
+      }
+      for (const _dmWarn of (_dmResult.warnings || [])) console.warn(`   ⚠️ ${_dmWarn}`)
+      if (_dmResult.skipped) {
+        console.log(`ℹ️  [decision_module_check_skipped] ${_dmResult.skipped}`)
+      }
+    } catch (_dmEx) {
+      console.warn(`   ⚠️ 决策模块域核验自身异常，fail-open 放行（不误拦本次完成）：${_dmEx && _dmEx.message ? _dmEx.message : _dmEx}`)
+    }
+  }
 
   // ── noAI 步骤硬门（坑 noai-done-bypass）：noAI 步骤的确定性校验不可被 --done 绕过 ──
   // 正常路径 agent 跑 `run <stage>` 推进到 noAI step 时，runStage 自动执行 _cliAction
@@ -296,6 +328,12 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
       await executeScanPreflight(cwd, platformOpts, stageData.scanProfile || computeScanProfile(cwd, platformOpts))
     } else if (_cliAction === 'scanPostcheck') {
       await executeScanPostcheck(cwd, platformOpts, stageData.scanProfile || computeScanProfile(cwd, platformOpts))
+    } else if (_cliAction === 'scanDetectProjects') {
+      await executeScanDetectProjects(cwd, platformOpts)
+    } else if (_cliAction === 'scanResumeCheck') {
+      await executeScanResumeCheck(cwd, platformOpts)
+    } else if (_cliAction === 'scanFinalize') {
+      await executeScanFinalize(cwd, platformOpts)
     } else if (_cliAction === 'planPostcheck') {
       await runPlanPostcheckLib({ cwd, specRoot: platformOpts?.specRoot, resolveChangeDir, progress })
     } else {
@@ -401,7 +439,7 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
       return { stageCompleted: false, currentIdx, nextPendingIdx: -1 }
     }
     // quick 收尾（W6 Step6b 抽至 complete-handlers.js handleQuickStageCompletion）
-    await handleQuickStageCompletion({ stageName, steps, currentIdx, cwd, progress, changeName, specBase, outputText, confirm, isForceBaseline, isAllowNew, isAllowDelete, platformOpts, pm })
+    await handleQuickStageCompletion({ stageName, steps, currentIdx, cwd, progress, changeName, specBase, outputText, confirm, isForceBaseline, isAllowNew, isAllowDelete, platformOpts, pm, quickFiles })
 
     // ── reopen --done 回填（坑 brainstorm-reopen-step-state-desync）──
     // nextPendingIdx === -1 且无 waiting，说明要进阶段完成分支。此时若存在 stale 步骤
@@ -507,6 +545,13 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
         console.log(`\n👉 下一步：sillyspec run verify${changeName ? ` --change ${changeName}` : ''}（验证通过后才能归档）`)
       }
     } else if (stageName === 'archive') {
+      // 机械暂存 CLI 化（2026-09-05 全流程审计）：原步骤 6 的 3 条固定路径 git add agent 指令
+      // 改为完成时 CLI 直做（未变更路径 git add 是无害 no-op）。平台模式跳过（specRoot 在源码仓外）。
+      if (!platformOpts?.specRoot && !platformOpts?.runtimeRoot) {
+        const { stageArchiveArtifacts } = await import('../git-helper.js')
+        const r = stageArchiveArtifacts(cwd)
+        if (r.staged.length > 0) console.log(`  📦 已暂存归档产物（${r.staged.length} 个路径，未提交，由统一提交工具处理）`)
+      }
       console.log('\n👉 归档完成！现在可以提交了：git commit -m "..."')
     } else if (stageName === 'verify') {
       // verify 的"验证通过"提示延后到下方 validator 通过后才打印，
@@ -1081,7 +1126,15 @@ export async function continueStep(pm, progress, stageName, cwd, answer, options
   const currentStep = stageData.steps[currentIdx]
   const isRepeatableWait = currentStepDef.repeatableWait === true || currentStep.repeatableWait === true
   const requiresWait = currentStepDef.requiresWait === true || currentStep.requiresWait === true
-  const shouldReturnToCurrentStep = isRepeatableWait || requiresWait
+  // conditionalWait 并入「回当前步」（坑 continue-conditionalwait-premature-complete，2026-09-01
+  // 实证）：waitStep 的提示对 requiresWait/conditionalWait 两类同文——「--continue --answer 后本步
+  // 回到待执行，完成动作后需再 --done 收尾」，但此处谓词漏了 conditionalWait。审查计划
+  // （conditionalWait、无 repeatableWait）被 --answer 直接收尾 completed，agent 手里已备好的
+  // --done（本步真实产出摘要）随即落到下一步上：multi-agent-platform 2026-09-01-session-group-chat
+  // plan 阶段 --continue 后 2 秒 --done 把「生成 TaskCard」假完成（08-31 两变更同形态 ×2），
+  // 靠 --reopen --from-step 4 重做浪费一轮。对齐提示语义：conditionalWait 同样回 pending。
+  const isConditionalWait = currentStepDef.conditionalWait === true || currentStep.conditionalWait === true
+  const shouldReturnToCurrentStep = isRepeatableWait || requiresWait || isConditionalWait
 
   const now = new Date().toLocaleString('zh-CN', { hour12: false })
   const prevOutput = currentStep.output || ''
@@ -1136,7 +1189,7 @@ export async function continueStep(pm, progress, stageName, cwd, answer, options
     console.warn('⚠️ user-inputs.md 追加失败（不阻断）:', e.message)
   }
 
-  // shouldReturnToCurrentStep: 回到当前步骤继续执行（repeatable=多轮探索，requiresWait=确认后执行动作）
+  // shouldReturnToCurrentStep: 回到当前步骤继续执行（repeatable=多轮探索，requiresWait/conditionalWait=确认后执行动作）
   if (shouldReturnToCurrentStep) {
     console.log(`\n🔁 Step ${currentIdx + 1}/${stageData.steps.length} 已收到用户输入，回到当前步骤继续执行。`)
     if (isRepeatableWait) {

package/src/run/gates.js

@@ -666,6 +666,56 @@ 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 } = 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,
+    })
+    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,
+    })
+    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 +776,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 +808,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 +1228,278 @@ 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
+  }
+  // 降级（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
+  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: 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 收尾调用）。
  *