sillyspec 3.28.3 → 3.28.5

package/src/run/gates.js

@@ -21,6 +21,7 @@
  */
 import { basename, join, relative, dirname } from 'node:path'
 import { createHash } from 'node:crypto'
+import { execFileSync } from 'node:child_process'
 import { existsSync, readFileSync, readdirSync, statSync, mkdirSync, unlinkSync, writeFileSync } from 'node:fs'
 import { writeAtomicSync } from '../fs-atomic.js'
 import { triggerSync, resolveChangeDir, resolveRuntimeRoot } from './shared.js'
@@ -552,7 +553,35 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
   // runtimeRoot 进 context（坑 verify-receipt-runtime-split）：verify 回执写入方
   // reapVerifyServices 落 resolveRuntimeRoot(platformOpts, specBase)，校验器读侧不透传时
   // 平台/漂移模式恒读不到回执 → 证据门退回纯字面匹配（回执机制正是为消灭它而生）
-  const contractResult = runValidators(stageName, cwd, changeName, { projectName, specRoot: platformOpts?.specRoot, runtimeRoot: resolveRuntimeRoot(platformOpts, specBase) })
+  //
+  // ── verify 收尾前置：facts slot-backfill + verifyStartAt（2026-09-08-ir-verify-facts FR-03）──
+  // 执行次序（design Phase 3）：backfill（结论/证据/回执槽固化）先行 → runValidators（结论门/
+  // 集成证据门读得到固化值与 context.verifyStartAt）→ verify 专属块（test 实测 → tests 段二次
+  // 回填 → cannot_verify 硬门）。verifyStartAt 锚点（2026-09-10 用户反馈②放宽）：execute 行
+  // **started_at**（证据合法产自 execute 或 verify 两窗口）→ 缺列/旧行退 completed_at →
+  // 再缺走 R-05 design created_at fallback。
+  let verifyStartAtIso = null
+  if (stageName === 'verify') {
+    try {
+      verifyStartAtIso = (pm.getStageStartedAt && pm.getStageStartedAt(cwd, changeName, 'execute'))
+        || pm.getStageCompletedAt(cwd, changeName, 'execute')
+    } catch { verifyStartAtIso = null }
+    try {
+      const verifyMdPath = join(specBase, 'changes', changeName, 'verify-result.md')
+      if (existsSync(verifyMdPath)) {
+        const verifyMd = readFileSync(verifyMdPath, 'utf8')
+        const { backfillFactsFromMdAndTests } = await import('../verify-probes.js')
+        const { extractVerifyConclusionSlot } = await import('../stage-contract.js')
+        backfillFactsFromMdAndTests(join(specBase, 'changes', changeName, 'verify-facts.json'), {
+          verifyMd,
+          conclusion: extractVerifyConclusionSlot(verifyMd),
+        })
+      }
+    } catch (e) {
+      console.warn(`⚠️ facts slot-backfill 失败（fail-soft，不阻断；门禁仍读 md 槽）: ${e && e.message ? e.message : e}`)
+    }
+  }
+  const contractResult = runValidators(stageName, cwd, changeName, { projectName, specRoot: platformOpts?.specRoot, runtimeRoot: resolveRuntimeRoot(platformOpts, specBase), ...(verifyStartAtIso ? { verifyStartAt: verifyStartAtIso } : {}) })
   if (contractResult.errors.length > 0) {
     console.error(`\n❌ 阶段 ${stageName} 校验失败：`)
     for (const err of contractResult.errors) {
@@ -584,7 +613,9 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     try {
       const { resolveApplyAllowSet } = await import('../worktree-apply.js')
       const { warnFacadeCandidateFiles } = await import('../facade-hint.js')
-      const allowMap = resolveApplyAllowSet(cwd, changeName)
+      // specBase 显式传（2026-09-08 平台模式修复）：changes/ 实体在 specRoot，本地目录常空——
+      // 旧硬编码在平台模式 allow 集恒空，facade 候选预检对空集全量误报
+      const allowMap = resolveApplyAllowSet(cwd, changeName, { specBase })
       warnFacadeCandidateFiles({ cwd, changeName, allowSet: allowMap.get('main') })
     } catch { /* 预检失败不阻断 plan 完成 */ }
   }
@@ -594,50 +625,46 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
   // 自报告 PASS 但实测失败 → 阻断（防止"文案通过"绕过验证）。
   if (stageName === 'verify') {
     const { runVerifyTestCheck, printVerifyTestCheck } = await import('../verify-postcheck.js')
-    // 测试实测是同步 execSync，长套件可跑 2~10min 且中途无输出——先预告避免 agent 误判卡死
-    console.log(`\n⏳ Verify 测试对账：CLI 亲自执行 local.yaml 的 commands.test（同步，耗时可能较长，请等待…）`)
-    const testCheck = runVerifyTestCheck({ cwd, specBase, changeName, ctx })
-    printVerifyTestCheck(testCheck)
+    // P0-1 指纹复用（noai-ir-roadmap §3 前置一·防重复跑）：noAI 质量扫描步已实测且代码指纹
+    // 未变 → 直接复用免重跑（长套件 2~10 分钟不再跑两遍）；无记录/失配/git 不可用 → 照旧
+    // 亲测（本路径语义与产物逐字不变）。
+    const { loadReusableQualityScan } = await import('./verify-quality-scan.js')
+    const reusableScan = loadReusableQualityScan({ specBase, cwd, changeName })
+    let testCheck
+    if (reusableScan && reusableScan.testResult) {
+      testCheck = reusableScan.testResult
+      console.log(`\n♻️ Verify 测试对账：复用 noAI 质量扫描步的实测结果（代码指纹匹配，免重跑；实测于 ${reusableScan.ranAt || '本变更 verify 期间'}${testCheck.resultPath ? `，台账 ${testCheck.resultPath}` : ''}）`)
+      printVerifyTestCheck(testCheck)
+    } else {
+      // 测试实测是同步 execSync，长套件可跑 2~10min 且中途无输出——先预告避免 agent 误判卡死
+      console.log(`\n⏳ Verify 测试对账：CLI 亲自执行 local.yaml 的 commands.test（同步，耗时可能较长，请等待…）`)
+      testCheck = runVerifyTestCheck({ cwd, specBase, changeName, ctx })
+      printVerifyTestCheck(testCheck)
+    }
+    // tests 段二次回填（2026-09-08-ir-verify-facts FR-03 次序：实测在 runValidators 之后，
+    // tests 快照此刻才可得；不参与门禁——供 P3d 追溯）
+    try {
+      const verifyMdPath2 = join(specBase, 'changes', changeName, 'verify-result.md')
+      if (existsSync(verifyMdPath2)) {
+        const { backfillFactsFromMdAndTests } = await import('../verify-probes.js')
+        const { extractVerifyConclusionSlot } = await import('../stage-contract.js')
+        const verifyMd2 = readFileSync(verifyMdPath2, 'utf8')
+        backfillFactsFromMdAndTests(join(specBase, 'changes', changeName, 'verify-facts.json'), {
+          verifyMd: verifyMd2,
+          conclusion: extractVerifyConclusionSlot(verifyMd2),
+          testCheckResult: testCheck,
+        })
+      }
+    } catch { /* fail-soft：回填失败不影响门禁 */ }
     if (testCheck.status === 'failed') {
       console.error('\n❌ verify 阶段被阻断：verify-result.md 自报告通过，但 CLI 实测测试失败。')
-      // 并行 WIP 归因鉴别（坑 verify-reconcile-foreign-wip）：实测跑在主仓共享工作区，并行会话
-      // 在途 WIP 物理在场——他者文件命中声明集时提示复验归因（EADDRINUSE 鉴别同款风格），不静默背锅。
+      // 并行 WIP 归因鉴别（坑 verify-reconcile-foreign-wip）：单一实现迁至 verify-quality-scan.js
+      // renderVerifyTestAttribution（P0-1 前置二：noAI 质量扫描失败路径与本 --done 路径共用，
+      // 输出逐字保持）——实测跑在主仓共享工作区，并行会话在途 WIP 物理在场，他者文件命中
+      // 声明集时提示复验归因（含判据②生成产物旧基线 / verify-attr2 双过滤），不静默背锅。
       try {
-        const { collectForeignDeclaredFiles } = await import('../verify-postcheck.js')
-        const { gitQuiet } = await import('../git-helper.js')
-        const foreignMap = collectForeignDeclaredFiles(cwd, changeName, { specBase, runtimeRoot: resolveRuntimeRoot(platformOpts, specBase) })
-        // dirty 集提前算好：归因提示①（他者在途）与②（生成产物旧基线）共用
-        const dirty = (gitQuiet(cwd, ['diff', '--name-only', 'HEAD']) || '')
-          .split('\n').filter(Boolean).map(f => f.replace(/\\/g, '/'))
-        const dirtySet = new Set(dirty)
-        if (foreignMap.size > 0) {
-          const hitForeign = dirty.filter(f => foreignMap.has(f))
-          if (hitForeign.length > 0) {
-            console.error(`   ℹ️ 归因提示：主仓检出 ${hitForeign.length} 个并行会话声明的在途文件（${hitForeign.slice(0, 5).join(', ')}${hitForeign.length > 5 ? ' 等' : ''}）——实测失败可能混入他者 WIP 而非本变更问题。待其提交/收尾后复验，仍失败才是本变更的。`)
-          }
-        }
-        // 第二判据（坑 derived-artifact-stale-baseline）：本变更 apply 的文件（apply-pathspec 落盘）
-        // 与主仓近期提交重叠——本变更旧基线的生成产物可能覆盖了已合入内容，先在新基线重跑生成命令再复验。
-        // 坑 verify-attr2-foreign-wip-misdirection（2026-08-28 实证）：并行会话在途/近期收尾文件
-        // 让重叠集虚高（51 文件），每轮误导 agent 重跑 gen:types，实际失败源是他者 WIP。两道过滤：
-        //   - 必须 dirty：apply 落盘的旧内容此刻物理在场（verify gate 时本变更未提交，旧基线覆盖
-        //     必然表现为对 HEAD 的修改）——内容与 HEAD 一致时重跑生成命令改变不了本轮实测；
-        //   - 剔除他者声明集：那是归因提示①的领地（待其收尾后复验），不是生成产物过期。
-        try {
-          const pathspecFile = join(resolveRuntimeRoot(platformOpts, specBase), `apply-pathspec-${changeName}.txt`)
-          if (changeName && existsSync(pathspecFile)) {
-            const ownFiles = new Set(readFileSync(pathspecFile, 'utf8').split('\n').map(l => l.trim()).filter(Boolean).map(f => f.replace(/\\/g, '/')))
-            if (ownFiles.size > 0) {
-              const recent = (gitQuiet(cwd, ['log', '-n', '10', '--name-only', '--pretty=format:']) || '')
-                .split('\n').map(l => l.trim().replace(/\\/g, '/')).filter(Boolean)
-              const overlap = [...new Set(recent)].filter(f => ownFiles.has(f))
-              const actionable = filterStaleBaselineOverlap(overlap, dirtySet, foreignMap)
-              if (actionable.length > 0) {
-                console.error(`   ℹ️ 归因提示②：本变更有 ${actionable.length} 个文件与主仓最近 10 条提交重叠且旧内容仍在工作区（${actionable.slice(0, 5).join(', ')}${actionable.length > 5 ? ' 等' : ''}）——若为生成产物（api-types 等），本变更可能在旧基线生成并覆盖了已合入内容；先在新基线重跑生成命令（如 gen:types）再复验。（重叠共 ${overlap.length} 个，其余未在工作区改动或属他者会话在途文件，已归提示①/无需处理）`)
-              }
-            }
-          }
-        } catch { /* 判据②失败不影响主流程 */ }
+        const { renderVerifyTestAttribution } = await import('./verify-quality-scan.js')
+        await renderVerifyTestAttribution({ cwd, changeName, specBase, runtimeRoot: resolveRuntimeRoot(platformOpts, specBase) })
       } catch { /* 归因提示失败不影响阻断语义 */ }
       console.error('   请修复失败的测试并更新 verify-result.md 后重新完成此步骤。')
       return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
@@ -645,11 +672,30 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     // lint 对账（2026-08-21 审查 CLI-1）：test 侧"自报告 PASS 但实测失败→阻断"已闭环，
     // lint 侧此前纯口头——CLI 亲自执行 commands.lint，advisory 起步（失败打印不阻断，观察期后升级）
     const { runVerifyLintCheck, printVerifyLintCheck } = await import('../verify-postcheck.js')
-    const lintCheck = runVerifyLintCheck({ cwd, specBase })
-    if (lintCheck.status !== 'skipped') {
-      console.log(`\n⏳ Verify lint 对账：CLI 亲自执行 local.yaml 的 commands.lint…`)
+    // P0-1 指纹复用：noAI 质量扫描记录同指纹时 lint 一并复用（lint tally 只记真实执行次数）
+    let lintCheck = (reusableScan && reusableScan.lintResult) || null
+    if (lintCheck) {
+      console.log(`\n♻️ Verify lint 对账：复用 noAI 质量扫描步的实测结果（代码指纹匹配，免重跑）`)
+    } else {
+      lintCheck = runVerifyLintCheck({ cwd, specBase })
+      if (lintCheck.status !== 'skipped') {
+        console.log(`\n⏳ Verify lint 对账：CLI 亲自执行 local.yaml 的 commands.lint…`)
+      }
     }
     printVerifyLintCheck(lintCheck)
+    // lint 硬门（2026-09-09 升硬：观察期 14 次 5 败全真阳性，pre-push 本就硬拦——fail-fast 前移；
+    // 逃生 SILLYSPEC_VERIFY_LINT_GATE=advisory）
+    const { shouldBlockVerifyLint } = await import('../verify-postcheck.js')
+    if (shouldBlockVerifyLint(lintCheck)) {
+      console.error('\n❌ verify 阶段被阻断：CLI 亲自实测 lint 失败（agent 的 lint 自报告与实测不符时以实测为准）。')
+      if (lintCheck.outputTail) {
+        const tail = lintCheck.outputTail.split('\n').slice(-8).join('\n')
+        console.error('   输出（末尾）：')
+        for (const line of tail.split('\n')) console.error(`   | ${line}`)
+      }
+      console.error('   修复后重跑 --done（进度不丢）；确认要跳过实测请设 SILLYSPEC_VERIFY_LINT_GATE=advisory（审计留痕）。')
+      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+    }
     // 契约 parity 对账：扫前端 API 调用 vs execute 提取的 provider endpoint artifact。
     // 接线自 contract-matrix pipeline（verifyApiParity 的 CLI 入口）。
     const { runVerifyParityCheck, printVerifyParityCheck } = await import('../verify-postcheck.js')
@@ -660,12 +706,36 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     const { runVerifyDeletionCheck, printVerifyDeletionCheck } = await import('../verify-postcheck.js')
     const deletionCheck = runVerifyDeletionCheck({ cwd, specBase, changeName })
     printVerifyDeletionCheck(deletionCheck)
-    // ── required-evidence 对账（advisory，不阻断）：闭合 execute→verify evidence 死链 ──
-    // execute Task Review Gate 把 cannot_verify 任务的 evidence 落盘 verify-required-evidence.json，
-    // 本探针查每个 cannot_verify 任务是否在 verify-result.md 体现（CLI 只查提及，满足度 agent 自报告）。
-    const { runVerifyRequiredEvidenceCheck, printVerifyRequiredEvidenceCheck } = await import('../verify-postcheck.js')
-    const evidenceCheck = runVerifyRequiredEvidenceCheck({ cwd, specBase, changeName })
+    // ── required-evidence 对账（2026-09-08-ir-verify-facts FR-03：v2 起 cannot_verify 不闭环阻断）──
+    // execute Task Review Gate 把 cannot_verify 任务的 evidence 落盘 verify-required-evidence.json。
+    // v2 槽优先分类核验（FR-02）：blocked = missing 无豁免或 satisfied 核验不过 → 阻断 verify 完成
+    // （此前 advisory 只查「提及」——死链不闭环）；无槽存量 md 降级 legacy 子串对账（warning 不阻断）。
+    const { runVerifyRequiredEvidenceCheck, printVerifyRequiredEvidenceCheck, trackVerifyResultRegression } = await import('../verify-postcheck.js')
+    const evidenceCheck = runVerifyRequiredEvidenceCheck({ cwd, specBase, changeName, verifyStartAt: verifyStartAtIso })
     printVerifyRequiredEvidenceCheck(evidenceCheck)
+    // verify-result.md 内容回退检测（2026-09-10 用户反馈③：报告被平台同步覆盖回旧版一次，
+    // 只能靠人眼发现重写）：高水位指纹（hash+mtime）检出「内容变且 mtime 回退」→ ⚠️ 告警。
+    // 纯 advisory——真回退也由 agent 决定重写，CLI 只保证可见。
+    try {
+      const vr = trackVerifyResultRegression(specBase, changeName, join(specBase, 'changes', changeName, 'verify-result.md'))
+      if (vr.regressed) {
+        console.warn(`\n⚠️ verify-result.md 疑被覆盖回旧版（内容变化 + mtime 回退至 ${new Date(vr.prevMtime).toLocaleString('zh-CN')} 之前）——平台/daemon 按服务端旧版本回写的指纹。`)
+        console.warn(`   若你刚重写过请忽略本行（下次读取刷新高水位）；否则当前盘上可能是旧内容，需对照记忆/git 重新补写。`)
+      }
+    } catch { /* 检测失败静默（advisory） */ }
+    if (evidenceCheck.status === 'blocked') {
+      console.error(`\n❌ verify 阶段被阻断：cannot_verify 证据账未闭环（${evidenceCheck.summary}）。`)
+      for (const d of (evidenceCheck.detailed || [])) {
+        console.error(`   - ${d.task} [${d.status}${d.exempt ? '/豁免' : ''}] ${d.reason}`)
+        for (const v of (d.verification || [])) {
+          if (v && v.reason) console.error(`     · ${v.path || '(无路径)'} [${v.pathClass || '?'}] ${v.reason}（filesExist=${v.filesExist} mtimeOk=${v.mtimeOk} diffHit=${v.diffHit}）`)
+        }
+      }
+      console.error(`   修复：在 verify-result.md「## 证据账（cannot_verify 任务）」槽段逐 task 一行——`)
+      console.error(`   - task-NN: satisfied | verifiedFiles: <精确路径>（CLI 核验：代码类 存在×mtime×diff 交集；日志/文档类豁免 diff）`)
+      console.error(`   - 确实无法验证 → 填 missing 并加（豁免：<一句话理由>）后缀；部分满足 → partial + 已核验路径`)
+      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+    }
     // ── target_files 声明 ↔ 实际改动 对账（task-05 / ir-stage-p3a：②ERROR 阻断 / ③WARNING 放行）──
     // 「计划落空」（task 卡声明没做）此前全盲区：review.json changedFiles 是 agent 手写不能当
     // 事实源，execute 的 scope creep 只有 symbol-impact 试图抓。reconcileTargetFiles 用 git 三源
@@ -721,6 +791,24 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     if (probeBlocked) {
       return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
     }
+    // ── 行号漂移自动重锚（2026-09-09 §7-6：quick --done 已接，verify/archive 收尾补接）──
+    // 本变更 diff 中的 .md 文档经 autoReanchorDocRefs 定点重锚（fixable 唯一/优选命中才改 +
+    // 同口径回执），消灭「src 改动平移行号 → 下次 docs gate 拦」的人工往返。挂 verify 收尾即
+    // 覆盖 archive 面（漂移源是 src 改动，archive 的文档同步步不产生新 src 平移）。fail-open。
+    try {
+      const { resolveVerifyChangedFiles } = await import('../verify-postcheck.js')
+      const mdChangedVa = (resolveVerifyChangedFiles(cwd, changeName, null, { includeWorkingTree: true, specBase }) || [])
+        .filter(f => f.endsWith('.md') && !f.startsWith('.sillyspec/changes/'))
+      if (mdChangedVa.length > 0) {
+        const { autoReanchorDocRefs, readDocsCheckConfig } = await import('../docs-check.js')
+        let fixCfgVa = {}
+        try { fixCfgVa = readDocsCheckConfig(cwd) || {} } catch { fixCfgVa = {} }
+        const rVa = autoReanchorDocRefs(cwd, mdChangedVa, fixCfgVa)
+        if (rVa.applied > 0) {
+          console.log(`🔧 文档行号漂移自动重锚（${stageName} 收尾）：${rVa.applied} 处已改写（${rVa.invalidBefore} → ${rVa.invalidAfter}；剩余 ${rVa.remaining} 处需人工 sillyspec docs check）`)
+        }
+      }
+    } catch { /* 自动重锚失败不影响收尾（docs gate 兜底） */ }
     // ── module-impact 死信探针（blocking，债单 D-1/D-5）：更新结果表 pending/待办行 → 阻断 verify ──
     // 与 archive 移动前校验（extractPendingDocSyncRows）同一口径，把死信号从 archive 提前到 verify：
     // agent 在 verify 阶段就须完成文档同步并回填 done/skipped，而非拖到归档被拦（修复 perf-remediation
@@ -827,6 +915,20 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
         if (!reviewResult.ok) {
           return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
         }
+        // 降级自审留痕（2026-09-10 用户反馈①：PI agent 等宿主无 Agent tool，prompt 降级条款允许
+        // 当前 agent 自审产出 review.json）。放行但独立性折损必须可见：⚠️ 审计行区分降级 review
+        // 与真子代理 review（事后可审计），与 ⚖️/🔍 软归属同哲学——可见的折损优于静默的伪装。
+        // channel 识别（2026-09-10 通道优先序批次）：reviewer.channel 结构化落款优先，兼容
+        // reviewerNotes 首行「降级：」约定；platform 通道（P2 review-dispatch 落地后）ℹ️ 留痕
+        // missionId 供追溯，其余通道正常放行。
+        const { classifyReviewerChannel } = await import('../stage-review.js')
+        const reviewChannel = classifyReviewerChannel(reviewResult.review)
+        if (reviewChannel === 'self') {
+          console.warn(`\n⚠️ Stage Review 降级自审（tier=independent 但宿主无 Agent tool）：${stageName} review 按 prompt 降级条款由当前 agent 自审产出——独立性折损已留痕（reviewerNotes 首行「降级：」），结论应附源码锚点补偿，建议人工抽查关键结论。`)
+        } else if (reviewChannel === 'platform') {
+          const mid = reviewResult.review && reviewResult.review.reviewer && reviewResult.review.reviewer.missionId
+          console.log(`\nℹ️ Stage Review 平台派发（channel=platform${mid ? `，missionId=${mid}` : '，missionId 未落款'}）：${stageName} review 由平台独立 worker 产出（独立进程/会话）。`)
+        }
       }
     } catch (e) {
       // fail-closed：Gate 自身异常阻断完成，不静默放行（与 Task Review Gate 一致）
@@ -890,14 +992,16 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
           // marker 缺失：先扫描 execute-runs/ 既有目录找回真实 runId（与 getLatestStageReviewRunId
           // 目录扫描兜底同语义），避免 marker 丢失而 agent 已用旧 runId 落盘时，直接 generate 新 ID
           // 找不到旧 review、误判缺 review.json。仅当确实无既有 run 才 generate 新 ID 并落盘。
-          const { generateExecuteRunId, resolveLatestExecuteRunId, stampExecuteRunChange } = await import('../task-review.js')
+          const { generateExecuteRunId, resolveLatestExecuteRunId, stampExecuteRunChange, claimExecuteRunId } = await import('../task-review.js')
           executeRunId = resolveLatestExecuteRunId({ runtimeRoot, changeName }) || ''
           if (!executeRunId) {
-            executeRunId = generateExecuteRunId()
+            executeRunId = generateExecuteRunId(changeName)
             // 落盘（marker 缺失时 fallback 生成后写盘，保证后续 checkbox/gate 读到同一 ID）
             // D-001#1 fallback 写入点：mkdir execute-runs/<runId>/tasks 先于 marker（不变量：
             // marker 在则目录在）。不 try/catch——异常直穿外层 catch 走 fail-closed 阻断
             //（gate 自身写 run 目录失败不能静默放行完成）。
+            // 排他认领（坑 exec-run-id-same-second-collision）：并行会话同秒碰撞在认领处消解
+            executeRunId = claimExecuteRunId(runtimeRoot, executeRunId)
             mkdirSync(join(runtimeRoot, 'execute-runs', executeRunId, 'tasks'), { recursive: true })
             writeAtomicSync(runIdFile, executeRunId + '\n')
             stampExecuteRunChange(runtimeRoot, executeRunId, changeName)
@@ -1175,9 +1279,13 @@ export async function completeStageGates({ stageName, cwd, changeName, platformO
     validateFileLocations(cwd, stageName, progress, changeName, specBase)
   }
 
-  // 辅助阶段完成后重置步骤（scan 等 auxiliary 阶段重置回 pending 可重跑）
+  // 辅助阶段完成后重置步骤（scan 等 auxiliary 阶段重置回 pending 可重跑）。
+  // archive 例外（P0-4 并步补丁）：确认归档成为末步后本重置会与 unregisterChange 的终态
+  // （steps 全 completed + current_stage=archive——平台按步骤数渲染完成度的数据源）互相
+  // 覆盖，把已注销变更抹回 0/N。archive 是终态阶段（变更已注销，不存在「重跑归档」流），
+  // 不参与可重跑重置。
   const stageDef = stageRegistry[stageName]
-  if (stageDef?.auxiliary) {
+  if (stageDef?.auxiliary && stageName !== 'archive') {
     const freshSteps = (stageDef.steps || []).map(s => ({
       name: s.name,
       status: 'pending',
@@ -1527,11 +1635,50 @@ export function printProbeConsistencyCheck(r, envelope = buildProbeConsistencyEn
  * 一天多——verify prompt 要求 PID 按变更分片登记 .runtime/verify-services-<change>.pids。
  * 坑 verify-pids-cross-session-kill（2026-08-23）：原单文件无归属，A 会话 --done 会把 B 正在
  * 收集 Runtime Evidence 的服务一并杀掉——分片后各回收各的；旧单文件兼容回收（升级过渡期）。
+ * 坑 verify-service-process-leak 子进程泄漏（2026-09-10 驾驭小结第三批③，用户实锤 python
+ * 子进程泄漏）：原 process.kill(pid) 只杀登记的 shell 包装进程（`cmd /c` / `sh -c` 起的
+ * uvicorn 等），子进程成了孤儿继续挂机——改 killProcessTree 进程树击杀（win taskkill /T /F
+ * + POSIX 递归枚举子进程）；prompt 指引同步补「优先登记服务本体（叶子）PID」。
  * 回执同样按变更分片（原单份被并行会话后写覆盖），checkIntegrationEvidence（stage-contract）
  * 读分片名注入证据匹配。best-effort：ESRCH（已退出）静默，kill 失败 warn 不阻断 verify。
  *
  * @returns {{ reaped: number, receiptPath: string|null }}
  */
+export function killProcessTree(pid, sig = 'SIGTERM') {
+  const pidNum = parseInt(pid, 10)
+  if (!Number.isInteger(pidNum) || pidNum <= 0) return false
+  if (process.platform === 'win32') {
+    // /T = 连同子进程树（shell 包装下的 python/node 服务本体）；/F = 强制（长驻服务常吞 SIGTERM 等价物）
+    try {
+      execFileSync('taskkill', ['/PID', String(pidNum), '/T', '/F'], { stdio: 'ignore', timeout: 15000 })
+      return true
+    } catch (e) {
+      // taskkill 对不存在进程退出码 128（等价 ESRCH，已退出按回收静默）；其余（拒绝访问等）上抛
+      if (e && (e.status === 128 || /could not be found|找不到/i.test(String(e.stderr || '') + String(e.message || '')))) return false
+      throw e
+    }
+  }
+  // POSIX：先递归杀子进程（shell 包装的子进程是服务本体），再杀登记进程本身
+  for (const child of listChildPids(pidNum)) {
+    try { killProcessTree(child, sig) } catch { /* 子进程已退出/权限不足不连坐父进程回收 */ }
+  }
+  try { process.kill(pidNum, sig); return true }
+  catch (e) { if (e.code === 'ESRCH') return false; throw e }
+}
+
+/** ps 枚举直接子进程 PID（POSIX；失败返回空——杀不到子进程不阻断父进程回收） */
+function listChildPids(parentPid) {
+  try {
+    const out = execFileSync('ps', ['-axo', 'pid=,ppid='], { encoding: 'utf8', timeout: 5000 })
+    const children = []
+    for (const line of String(out).split('\n')) {
+      const m = line.trim().match(/^(\d+)\s+(\d+)$/)
+      if (m && Number(m[2]) === parentPid) children.push(Number(m[1]))
+    }
+    return children
+  } catch { return [] }
+}
+
 export function reapVerifyServices(platformOpts, specBase, changeName) {
   const runtimeDir = resolveRuntimeRoot(platformOpts, specBase)
   const reapFile = (path, label) => {
@@ -1539,11 +1686,12 @@ export function reapVerifyServices(platformOpts, specBase, changeName) {
     const pids = readFileSync(path, 'utf8').split('\n').map(l => l.trim()).filter(l => /^\d+$/.test(l))
     const reaped = []; const failed = []
     for (const pid of pids) {
-      try { process.kill(parseInt(pid, 10), 'SIGTERM'); reaped.push(pid) }
-      catch (e) { if (e.code !== 'ESRCH') failed.push(`${pid}(${e.code || e.message})`) }
+      // 进程树击杀（坑 verify-service-process-leak 子进程泄漏）：连带 shell 包装下的服务本体
+      try { if (killProcessTree(pid)) reaped.push(pid) }
+      catch (e) { if (e.code !== 'ESRCH') failed.push(`${pid}(${e.code || e.status || e.message})`) }
     }
     try { unlinkSync(path) } catch {}
-    if (reaped.length > 0) console.log(`🧹 verify 服务进程已回收 ${reaped.length} 个${label}（PID: ${reaped.join(', ')}）`)
+    if (reaped.length > 0) console.log(`🧹 verify 服务进程已回收 ${reaped.length} 个${label}（PID: ${reaped.join(', ')}，进程树击杀）`)
     return { reaped: reaped.length, failed }
   }
   const own = reapFile(join(runtimeDir, `verify-services-${changeName}.pids`), '')

package/src/run/prompt.js

@@ -19,7 +19,7 @@
  *   - loadModuleContextIndex/buildModuleContextInjection 内 require('fs'/'path') 改顶部静态 import
  */
 import { basename, join } from 'node:path'
-import { existsSync, readFileSync, mkdirSync } from 'node:fs'
+import { existsSync, readFileSync, mkdirSync, readdirSync } from 'node:fs'
 import { writeAtomicSync } from '../fs-atomic.js'
 import { stageRegistry } from '../stages/index.js'
 import { resolvePromptIncludes, resolveRuntimeRoot, safeGit, WAIT_MARKER_RE, QUICK_SID_RE } from './shared.js'
@@ -124,6 +124,63 @@ function buildModuleContextInjection(taskDescription, moduleIndex, specBase, pro
   return injection
 }
 
+/**
+ * 读 quick session guard 的任务描述（刀①）：启动 --input 由 stage.js 落 guard.taskDescription，
+ * 渲染 step1 模块上下文注入时作匹配源（changeName 是 quick-<hash> 无语义）。
+ * 与 <quicklog-id>/<linked-changes> 占位符同源同容错（session guard 优先，legacy 单文件回退）。
+ */
+export function readQuickGuardField(changeName, specBase, field) {
+  try {
+    const sessionGuardFile = join(specBase, '.runtime', 'quick-sessions', changeName, 'guard.json')
+    const legacyGuardFile = join(specBase, '.runtime', 'quick-guard.json')
+    const guard = existsSync(sessionGuardFile)
+      ? JSON.parse(readFileSync(sessionGuardFile, 'utf8'))
+      : (existsSync(legacyGuardFile) ? JSON.parse(readFileSync(legacyGuardFile, 'utf8')) : null)
+    return guard ? (guard[field] || '') : ''
+  } catch {
+    return ''
+  }
+}
+
+/**
+ * quick step1 项目上下文摘要（刀①）：CLI 代读 projects/*.yaml 与 CONVENTIONS.md 开头注入
+ * prompt——替代 agent 两轮 cat（quick 是最高频路径，省 token + 省轮次）。fail-soft：
+ * 读不到落单行说明，绝不阻断 prompt 输出。
+ */
+export function buildQuickContextDigest(specBase, projectName) {
+  try {
+    const sections = []
+    // 项目登记摘要（name/path/status 一行一个——技术栈等扩展字段按行透传 top-level 短行）
+    const projectsDir = join(specBase, 'projects')
+    if (existsSync(projectsDir)) {
+      const lines = []
+      for (const f of readdirSync(projectsDir).filter(f => f.endsWith('.yaml'))) {
+        const text = readFileSync(join(projectsDir, f), 'utf8')
+        const name = (text.match(/^name:\s*(.+)$/m) || [])[1]
+        const path = (text.match(/^path:\s*(.+)$/m) || [])[1]
+        const status = (text.match(/^status:\s*(.+)$/m) || [])[1]
+        lines.push(`- ${name ? name.trim() : f.replace(/\.yaml$/, '')}（${path ? path.trim() : '?'}）${status ? ` — ${status.trim()}` : ''}`)
+      }
+      if (lines.length > 0) sections.push('### 项目登记（projects/*.yaml 摘要）\n' + lines.join('\n'))
+    }
+    // CONVENTIONS.md 开头（截断保底——全文可能很长，注入是省读取税不是塞全文）
+    const convPath = join(specBase, 'docs', projectName, 'scan', 'CONVENTIONS.md')
+    if (existsSync(convPath)) {
+      const text = readFileSync(convPath, 'utf8')
+      const HEAD_CHARS = 1200
+      const head = text.length > HEAD_CHARS
+        ? text.slice(0, HEAD_CHARS) + `\n…（截断——全文 ${convPath}，需要时再读）`
+        : text
+      sections.push('### 项目约定（CONVENTIONS.md 开头，CLI 代读）\n' + head)
+    }
+    return sections.length > 0
+      ? sections.join('\n\n')
+      : '（无项目登记/约定文档——需要时按 prompt 内路径自查）'
+  } catch (e) {
+    return `（项目上下文注入失败：${e && e.message ? e.message : e}——需要时再 cat {SPEC_ROOT}/projects/*.yaml 与 CONVENTIONS.md）`
+  }
+}
+
 // parseModuleMapSimple 复用 modules.js 的 canonical 实现（合并历史 copy-paste 副本，2026-08-07；
 // 无循环依赖：modules.js 仅 import fs/path/db.js，prompt.js → modules.js 单向）。
 /**
@@ -566,6 +623,14 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     promptText = promptText.replace(/\{LOCAL_COMMANDS\}/g, localBlock)
   }
 
+  // ①b {QUICK_CONTEXT_DIGEST}（刀①，2026-09-08）：quick step1 的项目/约定上下文 CLI 代读注入
+  // ——替代 agent cat projects/*.yaml 与 CONVENTIONS.md 两轮文件读取（quick 是最高频路径）。
+  // fail-soft 同三件套；无 quick 占位符自然零输出。
+  if (stageName === 'quick' && promptText.includes('{QUICK_CONTEXT_DIGEST}')) {
+    const digestSpecBase = resolvePromptSpecBase(platformOpts, cwd)
+    promptText = promptText.replace(/\{QUICK_CONTEXT_DIGEST\}/g, buildQuickContextDigest(digestSpecBase, projectName))
+  }
+
   // ② {GIT_DIRTY}：工作区脏文件清单（git status --porcelain，quick 收尾步消费）
   if (promptText.includes('{GIT_DIRTY}')) {
     let dirtyBlock = ''
@@ -738,13 +803,15 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
       }
     } catch {}
     if (!runId) {
-      const { generateExecuteRunId } = await import('../task-review.js')
-      runId = generateExecuteRunId()
+      const { generateExecuteRunId, claimExecuteRunId } = await import('../task-review.js')
+      runId = generateExecuteRunId(changeName)
       // 落盘（与启动站点一致），保证 agent 收到的 ID == gate/checkbox 读取的 ID
       // D-001#1 fallback 写入点：mkdir execute-runs/<runId>/tasks 先于 marker（不变量：marker 在则目录在）。
       // 渲染路径异常不能炸 prompt 输出 → catch 内 console.error 留痕 + 保留降级（ID 注入继续，
       // 目录由下游 review 写入 / 其他写入点补齐）。
       try {
+        // 排他认领（坑 exec-run-id-same-second-collision）：并行会话同秒碰撞在认领处消解
+        runId = claimExecuteRunId(runtimeRoot, runId)
         mkdirSync(join(runtimeRoot, 'execute-runs', runId, 'tasks'), { recursive: true })
         writeAtomicSync(runIdFile, runId + '\n')
       } catch (e) {
@@ -760,7 +827,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
   if (['brainstorm', 'plan', 'execute'].includes(stageName) && promptText.includes('{REVIEW_TIER}')) {
     try {
       const { classifyReviewTier } = await import('../review-tier.js')
-      const { generateStageReviewRunId, renderReviewJsonContract, stageReviewMarkerPath } = await import('../stage-review.js')
+      const { generateStageReviewRunId, renderReviewJsonContract, stageReviewMarkerPath, readReviewChannelPriority } = await import('../stage-review.js')
       const tierSpecBase = resolvePromptSpecBase(platformOpts, cwd)
       const tierChangeDir = changeName ? join(tierSpecBase, 'changes', changeName) : null
       const designPath = tierChangeDir ? join(tierChangeDir, 'design.md') : null
@@ -794,8 +861,12 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
           console.log(`  📁 Stage Review 写入目录（直接复制给 review 子代理，勿手拼 runId）：${reviewDir}/`)
         } catch {}
       }
-      // review.json 产物契约(schema + 示例 + docHash 算法 + 重算提示)事前注入,与 validateStageReviewSchema 同源
-      const reviewContractMd = renderReviewJsonContract({ stage: stageName, changeDir: tierChangeDir, reviewRunId, tier: tier.tier })
+      // review.json 产物契约(schema + 示例 + docHash 算法 + 重算提示)事前注入,与 validateStageReviewSchema 同源。
+      // 通道优先序显式传入（readReviewChannelPriority 吃精确 cwd——平台模式 specRoot 异位时
+      // process.cwd 兜底会读错 local.yaml，2026-09-10 通道配置批次）；tier=independent 时契约
+      // 头部渲染「审查执行通道」段（按用户配置序，见 local.yaml review_dispatch.channel_priority）。
+      const reviewChannelPriority = readReviewChannelPriority(cwd)
+      const reviewContractMd = renderReviewJsonContract({ stage: stageName, changeDir: tierChangeDir, reviewRunId, tier: tier.tier, channelPriority: reviewChannelPriority })
       promptText = promptText
         .split('{REVIEW_TIER}').join(tier.tier)
         .split('{REVIEW_TIER_REASON}').join(tier.reason)
@@ -927,13 +998,62 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     promptText = promptText.split('{EVIDENCE_AUTO_RECOMMENDATION}').join(eaInjected)
   }
 
-  // 注入模块上下文（brainstorm/plan/execute 阶段，基于 Module Context Index）
-  if (['brainstorm', 'plan', 'execute'].includes(stageName) && projectName) {
+  // {ARCHIVE_IMPACT_AUDIT}（2026-09-09 ql-20260909-004）：archive extract-module-impact 步的
+  // 三重核对机械预填——auditModuleImpactAgainstDiff 代算（module-impact × diff × map 归属），
+  // agent 只裁决不一致项。fail-soft：审计异常降级单行指引（回退手跑 git diff）。
+  if (stageName === 'archive' && promptText.includes('{ARCHIVE_IMPACT_AUDIT}')) {
+    let auditBlock = ''
+    try {
+      const { auditModuleImpactAgainstDiff } = await import('../archive-delta.js')
+      const auditSpecBase = resolvePromptSpecBase(platformOpts, cwd)
+      const r = auditModuleImpactAgainstDiff({ cwd, changeName, specDir: auditSpecBase })
+      auditBlock = [
+        '【三重核对报告（CLI 机械预填）】',
+        r.summary,
+        ...(r.mismatches.length > 0 ? ['不一致项：', ...r.mismatches.map(m => '  - ' + m), '→ 逐项裁决并修正 module-impact.md；其余（未列出的 diff 文件为 .sillyspec 产物不参与核对）无需处理。'] : ['一致 ✓——第 3 步修正可跳过。']),
+      ].join(String.fromCharCode(10))
+    } catch (e) {
+      auditBlock = '（三重核对机械预填失败：' + (e && e.message ? e.message : e) + '——回退手跑 git diff --name-only 比对）'
+    }
+    promptText = promptText.split('{ARCHIVE_IMPACT_AUDIT}').join(auditBlock)
+  }
+
+  // {SCOPE_AUDIT_TABLE}（2026-09-10-change-scope-audit task-05，FR-03）：archive「确认归档」步的
+  // 变更范围对账全表注入——computeChangeScopeAudit + renderScopeAuditTable 代算（计划×实际
+  // 三态 + 行数，D-003 同源：只 import scope-audit.js 导出，不自研采集）。maxRows 60 截断防
+  // prompt 膨胀（R-03，表尾自带「完整表跑 scope-audit」指引）。fail-soft：注入异常降级单行
+  // 指引（回退手跑 scope-audit 命令），不阻断归档 prompt 输出（对齐 {ARCHIVE_IMPACT_AUDIT}
+  // 注入先例）；ok=false（quick 会话不存在 / 实际侧整体失败等）同样附手跑指引——归档零新增
+  // 阻断面（D-006）。
+  if (stageName === 'archive' && promptText.includes('{SCOPE_AUDIT_TABLE}')) {
+    let scopeTable = ''
+    try {
+      const { computeChangeScopeAudit, renderScopeAuditTable } = await import('../scope-audit.js')
+      const saSpecBase = resolvePromptSpecBase(platformOpts, cwd)
+      const saResult = await computeChangeScopeAudit({ cwd, specBase: saSpecBase, changeName, platformOpts })
+      scopeTable = renderScopeAuditTable(saResult, { maxRows: 60 })
+      if (saResult && saResult.ok === false) {
+        scopeTable += '\n（对账降级——回退手跑 sillyspec scope-audit --change <name> 查看原因后再确认归档，注入失败不阻断归档）'
+      }
+    } catch (e) {
+      scopeTable = '（变更范围对账表注入失败：' + (e && e.message ? e.message : e) + '——回退手跑 sillyspec scope-audit --change <name> 查看后再确认归档，注入失败不阻断归档）'
+    }
+    promptText = promptText.split('{SCOPE_AUDIT_TABLE}').join(scopeTable)
+  }
+
+  // 注入模块上下文（brainstorm/plan/execute 阶段全步 + quick 首步「理解任务」——刀①：quick
+  // step1 原让 agent cat module-map 再挑模块卡读，改为按任务描述匹配后注入，基于 Module Context Index）
+  const quickFirstStep = stageName === 'quick' && step && step.name === '理解任务'
+  if ((['brainstorm', 'plan', 'execute'].includes(stageName) || quickFirstStep) && projectName) {
     const effectiveSpecBase = resolvePromptSpecBase(platformOpts, cwd)
     const moduleIndex = loadModuleContextIndex(effectiveSpecBase, projectName)
     if (moduleIndex && Object.keys(moduleIndex).length > 0) {
-      // 尝试从 step prompt / changeName 匹配模块
-      const taskDesc = step.prompt || changeName || ''
+      // 尝试从 step prompt / changeName 匹配模块；quick 用 guard.taskDescription（启动 --input）——
+      // changeName 是 quick-<hash> 无语义、step.prompt 全文噪音大（刀①）
+      let taskDesc = step.prompt || changeName || ''
+      if (stageName === 'quick') {
+        taskDesc = readQuickGuardField(changeName, effectiveSpecBase, 'taskDescription') || taskDesc
+      }
       const injection = buildModuleContextInjection(taskDesc, moduleIndex, effectiveSpecBase, projectName)
       if (injection) {
         promptText = injection + '\n' + promptText
@@ -996,7 +1116,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     console.log('- CLI 子命令以本 prompt 或上一条 --done 输出的字面为准；不确定时停下问用户，猜测命令会让状态机推进到错误位置。')
     console.log('- 本步骤产物落盘后立即执行 prompt 末尾的 --done：CLI 据此校验产出并推进状态机；不跑则进度永远停在本步。')
     console.log('- 变更目录改名用 `sillyspec change-rename <旧名> <新名>`：mv/rename 会漏改进度库引用，导致变更失联。')
-    console.log('- 文档类型文件（.md/.yaml/.json 等）头部必须包含 author（git 用户名）和 created_at（精确到秒）')
+    console.log('- 变更产物文档一律用 CLI 骨架命令生成（fourpiece-init / design-init / taskcard / module-impact / verify-probes --init）——骨架已预填 author/created_at/generated_by 元数据，勿删勿手拼 frontmatter；仅从零手写的补充文档才需手填 author（git 用户名）与 created_at（精确到秒）')
     console.log('- 执行构建/测试前必须先读 local.yaml，优先使用其中配置的命令、路径和环境变量；未配置时才使用默认值')
   }
   // 平台模式 + 路径规则（安全关键，每步注入；step1+ 起带精简标题，不复述通用铁律）
@@ -1032,6 +1152,13 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
   const mayNeedWait = WAIT_MARKER_RE.test(stepPrompt) || requiresWait || conditionalWait
 
   console.log(`\n### 完成后执行`)
+  // P0-3（noai-ir-roadmap §3）：gate 预检前置——gate 失败 → rollback → 重做一轮是最贵的循环，
+  // 多数失败是机械的（占位符未替换/文件未建/行号失效）。gate 是只读聚合预检，--done 前跑一次
+  // 把「重做一轮」变「本地预检」。主阶段且有 change 才提示（quick 边界审计在 --done 内联、
+  // 辅助阶段无 gate 语义）。
+  if (['brainstorm', 'plan', 'execute', 'verify', 'archive'].includes(stageName) && changeName) {
+    console.log(`💡 预检（只读，省一轮 gate 失败重跑）：sillyspec gate ${stageName} --change ${changeName} [--json]`)
+  }
   // requiresConfirm 步骤（如 archive「确认归档」）的完成命令必须带 --confirm——坑
   // archive-batch-31-tool-notes ②：通用 --done 模板不带该 flag，agent 照抄执行撞
   // 「请添加 --confirm」确认门，误以为参数没带。
@@ -1055,15 +1182,24 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     console.log(`如果不需要用户决策，正常完成：`)
   }
   console.log(doneCommand + (autoMeta ? '' : ' --input "用户原始需求/反馈"'))
+  // P0-2（noai-ir-roadmap §3）：--output 可省略提示（auto 模式除外——auto driver 的
+  // SS-META doneCommand 仍带 --output，照抄路径零变化；省略路径由 command.js 同源合成）。
+  if (!autoMeta) {
+    console.log(`（--output 可省略：省略时 CLI 按门禁与 diff 事实合成事实性摘要；方案取舍/用户反馈等语义说明才需要手写）`)
+  }
 
   // ── SS-META 机器可读元数据块（change: 2026-09-08-auto-driver，D-002@v1，FR-01）──
-  // 仅 auto 模式（autoMeta 非空）渲染：单行 HTML 注释内 JSON，agent 低噪可读、脚本一行正则
-  // 可提取（<!--SS-META:(.*)-->）。requiresUser 四源见上方纯函数；doneCommand 与正文同源。
-  if (autoMeta) {
+  // 单行 HTML 注释内 JSON，agent 低噪可读、脚本一行正则可提取（<!--SS-META:(.*)-->）。
+  // requiresUser 四源见上方纯函数；doneCommand 与正文同源。
+  // P1-3（noai-ir-roadmap §4）：SS-META 从 auto 专属毕业——常规模式 `run <stage> --meta`
+  // 同样渲染（command.js 置 SILLYSPEC_RUN_META=1，CLI 短进程生命周期内有效，不跨调用泄漏）；
+  // meta 增补 change 字段（宿主脚本免再从正文 header 行解析变更名，向后兼容追加）。
+  if (autoMeta || process.env.SILLYSPEC_RUN_META === '1') {
     const meta = {
       stage: stageName,
       stepIndex: stepIndex + 1,
       stepName: step.name,
+      change: changeName || null,
       requiresUser: requiresWait || mayNeedWait || step.requiresConfirm === true,
       doneCommand,
       waitHint: (requiresWait || mayNeedWait)