sillyspec 3.28.3 → 3.28.5

package/src/verify-probes.js

@@ -11,8 +11,8 @@
  * 探针2（关键词提取半语义）/探针3.4 集成盲区/3.5 断言抽查/探针4（决策追踪语义）留 agent。
  *
  * verify-result.md 骨架：七章节固定结构 + 探针结果机械预填 + 其余章节 <!--TODO--> 占位。
- * 结论章节留「待填」——extractVerifyConclusion 找不到 PASS/FAIL 关键词即判不过，骨架不能
- * 直接过门（与 symbol-impact 骨架同款防偷懒语义）。
+ * 结论走「结论枚举：」固定槽行（刀③）——占位符不含枚举词，槽未填 extractVerifyConclusionSlot
+ * 返回 '' 即判不过，骨架不能直接过门（与 symbol-impact 骨架同款防偷懒语义）。
  * P3b 增量：①章节标题行末尾 claims 层标注（可复跑探针/确定性检查/人工判断，纯后缀不新增行）；
  * ②--init 同步落盘 verify-facts.json 机器底稿（探针命令行 + 首跑关键指标 + 时间戳，CLI 全权写，
  * 供事后独立复跑审计；重复 --init 覆盖为最近一次 init 快照）。
@@ -20,7 +20,11 @@
 import { existsSync, readFileSync, readdirSync, writeFileSync } from 'fs'
 import { join, dirname, basename } from 'path'
 import { gitQuiet } from './git-helper.js'
+import {
+  FACTS_SCHEMA_VERSION, EVIDENCE_SLOT_HEADING, RECEIPT_SLOT_HEADING, parseEvidenceSlots,
+} from './verify-facts-schema.js'
 import { parseFileChangeListDetailed } from './change-list.js'
+import { parseDecisions } from './decision-distill.js'
 import { parseAllowedPaths } from './stages/plan-postcheck.js'
 import { verifyApiParity, _readWorktreeMeta } from './contract-matrix.js'
 import { splitOwnVsForeignDiffFiles } from './foreign-declared.js'
@@ -149,16 +153,18 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
     const moduleDirs = [...new Set(allowed.map(p => dirname(p.split('\\').join('/'))).filter(d => d && d !== '.'))]
     const testFiles = []
     for (const d of moduleDirs) {
-      // 同探针 1 的 worktree 回退（坑 probe1-worktree-path-blind）：新模块目录 apply 前只在
-      // worktree——主仓目录缺失时到 worktree 找 co-located 测试（路径相对 worktree 根呈现）
-      let searchRoot = join(cwd, d)
-      let relBase = cwd
-      if (!existsSync(searchRoot) && wtRoot && existsSync(join(wtRoot, d))) {
-        searchRoot = join(wtRoot, d)
-        relBase = wtRoot
-      }
-      for (const f of findTestFiles(searchRoot, relBase)) {
-        if (!testFiles.includes(f)) testFiles.push(f)
+      // 双根并集扫描（坑 probe3-worktree-test-false-negative，2026-09-10 驾驭小结第五批②，
+      // 用户实证 5 条假 warning）：apply 前新测试文件只在 worktree（untracked），而模块目录在
+      // 主仓**已存在**——旧「主仓目录缺失才回退 worktree」条件不触发，探针 3 报「未找到测试
+      // 文件」假阴。改为无条件双根并集（主仓 ∪ worktree，各自存在才扫，路径相对各自根呈现，
+      // 按 rel 去重主仓优先——与探针 5 的三根并集同族）。主仓 in-place（wtRoot=null）零变化。
+      const roots = []
+      if (existsSync(join(cwd, d))) roots.push({ root: join(cwd, d), base: cwd })
+      if (wtRoot && wtRoot !== cwd && existsSync(join(wtRoot, d))) roots.push({ root: join(wtRoot, d), base: wtRoot })
+      for (const s of roots) {
+        for (const f of findTestFiles(s.root, s.base)) {
+          if (!testFiles.includes(f)) testFiles.push(f)
+        }
       }
     }
     probe3.tasks.push({
@@ -310,8 +316,11 @@ export function buildVerifyFacts(result, { changeName, now } = {}) {
   const p3 = (result && result.probe3) || {}
   const p5 = (result && result.probe5) || {}
   const p6 = (result && result.probe6) || {}
+  // v2（2026-09-08-ir-verify-facts）：probes 机器段原样；conclusion/tests/requiredEvidence/
+  // runtimeEvidence/factsConsistency 五段是 slot-backfill/实测回填段（D-001@v2），--init 快照
+  // 不落键（writeVerifyFacts 分段合并时保留既有固化段），由 backfillFactsFromMdAndTests 填。
   return {
-    schemaVersion: 1,
+    schemaVersion: 2,
     change: changeName,
     generatedAt: now || new Date().toISOString(),
     probes: {
@@ -350,37 +359,279 @@ export function buildVerifyFacts(result, { changeName, now } = {}) {
 }
 
 /**
- * verify-probes --init 落盘 verify-facts.json（CLI 全权写）。重复 --init 无条件覆盖——语义是
- * 「最近一次机械预填的审计底稿快照」（骨架已存在跳过时 facts 照样刷新），agent 勿手改：
- * 事后复跑审计的对照快照，防篡改一致性检查的对比基准是 verify-result.md 正文（非本文件）。
+ * 平台模式产物路径回显注记（2026-09-10 驾驭小结②，用户实锤「显示混乱」）：
+ * verify-probes --init 在平台模式（.sillyspec-platform.json pointer 存在）下 spec 根解析为
+ * hub 镜像目录——回显的物理路径（骨架生成/已存在/facts 刷新）都在镜像根下，而产物经
+ * daemon spec-sync 落主仓 .sillyspec/changes/<change>/。agent/人工核对以主仓路径为准，
+ * 回显行尾追加本注记消歧义（本地模式返回空串，回显零变化）。
+ * @param {string|null} platformBase 平台镜像根（null/undefined = 非平台模式）
+ * @param {string} changeName 变更名
+ * @param {string} file 产物文件名（verify-result.md / verify-facts.json）
+ * @returns {string} 注记文本（非平台模式为 ''）
+ */
+export function formatPlatformPathNote(platformBase, changeName, file) {
+  if (!platformBase) return ''
+  return `（平台模式：物理写盘在 hub 镜像根 ${platformBase}；主仓同步位置 .sillyspec/changes/${changeName}/${file}，核对以主仓路径为准）`
+}
+
+/**
+ * verify-probes --init 落盘 verify-facts.json（CLI 全权写）。v2（2026-09-08-ir-verify-facts）改
+ * 分段合并：re-init 刷新机器段（probes/generatedAt），保留既有 slot-backfill/实测固化段
+ * （conclusion/tests/requiredEvidence/runtimeEvidence）——旧「无条件覆盖」会抹掉 --done 回填数据
+ * （设计审查 P1-5）。agent 勿手改：复跑审计的对照快照，防篡改基准是 verify-result.md 正文。
  * @param {string} changeDir 变更目录（spec 根下 changes/<name>）
  * @param {object} result runVerifyProbes 返回值
  * @param {string} changeName 变更名（统一命令行呈现）
+ * @param {{ platformNote?: string }} [opts] platformNote 回显行尾追加（平台模式路径消歧，纯回显层不进落盘）
  * @returns {{ facts: object, path: string }}
  */
-export function writeVerifyFacts(changeDir, result, changeName) {
-  const facts = buildVerifyFacts(result, { changeName })
+export function writeVerifyFacts(changeDir, result, changeName, opts = {}) {
+  const fresh = buildVerifyFacts(result, { changeName })
   const factsPath = join(changeDir, 'verify-facts.json')
+  let facts = fresh
+  try {
+    const prev = JSON.parse(readFileSync(factsPath, 'utf8'))
+    if (prev && prev.schemaVersion === FACTS_SCHEMA_VERSION) {
+      facts = {
+        ...fresh,
+        conclusion: prev.conclusion,
+        tests: prev.tests,
+        requiredEvidence: prev.requiredEvidence,
+        runtimeEvidence: prev.runtimeEvidence,
+        factsConsistency: prev.factsConsistency, // 保留至上次对比结论（下次 --done 重算覆盖）
+      }
+    }
+  } catch { /* 首次落盘/v1/损坏 → 全新快照（v1 无固化段，直接升 v2） */ }
   writeFileSync(factsPath, JSON.stringify(facts, null, 2) + '\n')
-  console.log(`📝 已刷新 verify-facts.json 机器底稿: ${factsPath}（CLI 全权写，勿手改）`)
+  console.log(`📝 已刷新 verify-facts.json 机器底稿: ${factsPath}（v2 分段合并，固化段保留；CLI 全权写，勿手改）${opts.platformNote || ''}`)
   return { facts, path: factsPath }
 }
 
+/**
+ * --done 回填（D-001@v2 slot-backfill）：结论枚举槽 + 证据/回执槽解析固化进 facts；
+ * testCheckResult 提供时回填 tests 段（实测在 runValidators 之后 → gates 二次回填，FR-03 次序）。
+ * 机器段（probes/factsConsistency）不经本函数（writeVerifyFacts / checkProbeConsistency 所有）。
+ * fail-soft：facts 缺失时原地升 v2（probes 保留或空）；落盘失败 warn 不抛。
+ * @param {string} factsPath verify-facts.json 路径
+ * @param {{ verifyMd: string, testCheckResult?: object|null }} opts
+ * @returns {{ facts: object, conclusion: string|null, evidenceCount: number, receiptCount: number, testsBackfilled: boolean }}
+ */
+export function backfillFactsFromMdAndTests(factsPath, { verifyMd, testCheckResult = null, conclusion = null }) {
+  let facts = null
+  try { facts = JSON.parse(readFileSync(factsPath, 'utf8')) } catch { /* 缺失见下 */ }
+  // 只固化既有底稿，不无中生有（2026-09-08-ir-verify-facts 接线实证）：无 facts 的存量变更
+  // （未跑过 --init）若被回填凭空建出 facts.json，checkProbeConsistency 的「有 facts 无探针
+  // 子节 → error」判别会把存量兼容 skip 误升 error（run-complete-step-verify e2e 抓出）。
+  // 底稿创建唯一入口是 verify-probes --init。
+  if (!facts) {
+    return { facts: null, skipped: true, conclusion: null, evidenceCount: 0, receiptCount: 0, testsBackfilled: false, reason: '无 verify-facts.json（未跑 --init），回填跳过——底稿创建唯一入口是 --init' }
+  }
+  if (facts.schemaVersion !== FACTS_SCHEMA_VERSION) {
+    facts = { ...facts, schemaVersion: FACTS_SCHEMA_VERSION, probes: (facts && facts.probes) || {} }
+  }
+  const slots = parseEvidenceSlots(verifyMd || '')
+  // conclusion 由调用方传 stage-contract.extractVerifyConclusionSlot(verifyMd) 的结果
+  // （避免 verify-probes → stage-contract 静态 import 的潜在环，分层单向）
+  const conclusionSlot = conclusion || null
+  if (conclusionSlot) facts.conclusion = conclusionSlot
+  if (slots.hasEvidenceSlot && slots.requiredEvidence.length > 0) {
+    facts.requiredEvidence = slots.requiredEvidence.map(e => ({
+      task: e.task, status: e.status, verifiedFiles: e.verifiedFiles,
+      ...(e.exempt ? { exempt: true, exemptionReason: e.exemptionReason } : {}),
+    }))
+  }
+  if (slots.hasReceiptSlot && slots.runtimeEvidence.length > 0) {
+    facts.runtimeEvidence = slots.runtimeEvidence
+  }
+  let testsBackfilled = false
+  if (testCheckResult && testCheckResult.status && testCheckResult.status !== 'skipped') {
+    facts.tests = {
+      command: testCheckResult.command || null,
+      exitCode: typeof testCheckResult.exitCode === 'number' ? testCheckResult.exitCode : null,
+      strategy: testCheckResult.mode || testCheckResult.strategy || null,
+      failedRemaining: testCheckResult.failureNames || testCheckResult.failedTests || [],
+      passedAt: new Date().toISOString(),
+    }
+    testsBackfilled = true
+  }
+  try {
+    writeFileSync(factsPath, JSON.stringify(facts, null, 2) + '\n')
+  } catch (e) {
+    console.warn(`⚠️ facts 回填落盘失败（fail-soft，不阻断）: ${e && e.message ? e.message : e}`)
+  }
+  return { facts, conclusion: conclusionSlot, evidenceCount: slots.requiredEvidence.length, receiptCount: slots.runtimeEvidence.length, testsBackfilled }
+}
+
+/**
+ * md 槽段缺失补齐（--init 段落级补齐，2026-09-08-ir-verify-facts R-02）：已存在的
+ * verify-result.md 缺「证据账/集成验证回执」槽段时仅追加骨架（不触碰既有正文），幂等二跑零改动。
+ * @param {string} mdPath verify-result.md 路径
+ * @param {Array<{task:string,evidence:string[]}>} [requiredEvidenceItems] verify-required-evidence.json items（预填 task 行）
+ * @returns {{ added: string[] }} 追加的槽段标题列表
+ */
+export function backfillMissingEvidenceSlots(mdPath, requiredEvidenceItems = []) {
+  let text = ''
+  try { text = readFileSync(mdPath, 'utf8') } catch { return { added: [] } }
+  const normalized = text.replace(/\r\n/g, '\n')
+  const added = []
+  const blocks = []
+  if (!normalized.includes(EVIDENCE_SLOT_HEADING)) {
+    const lines = [EVIDENCE_SLOT_HEADING, '[层：人工判断——CLI 核验]', '', '<!-- 无 cannot_verify 任务时本节写「无」 -->']
+    if (requiredEvidenceItems.length > 0) {
+      for (const it of requiredEvidenceItems) {
+        lines.push(`- ${it.task}: <待填：三选一> | verifiedFiles: <精确路径，逗号分隔>（satisfied 必填；豁免时填 missing 并加（豁免：<一句话理由>）后缀）`)
+      }
+    } else {
+      lines.push('无（本次变更无 cannot_verify 任务）')
+    }
+    lines.push('')
+    blocks.push(lines.join('\n'))
+    added.push(EVIDENCE_SLOT_HEADING)
+  }
+  if (!normalized.includes(RECEIPT_SLOT_HEADING)) {
+    blocks.push([
+      RECEIPT_SLOT_HEADING, '[层：自述声明——CLI 一致性校验]', '',
+      '<!-- integration-critical/deployment-critical 变更必填；其余写「无」 -->',
+      '- claim: <待填：一句话> | command: <待填：命令> | exit: <待填：0 或非 0> | log: <待填：日志路径>',
+      '',
+    ].join('\n'))
+    added.push(RECEIPT_SLOT_HEADING)
+  }
+  if (added.length > 0) {
+    writeFileSync(mdPath, normalized.replace(/\n?$/, '\n') + blocks.join('\n') + '\n')
+  }
+  return { added }
+}
+
+/**
+ * 结论草稿槽行预填（P0-1 前置三，noai-ir-roadmap §3）：机械事实全绿时把骨架「结论枚举：」
+ * 待填槽替换为 PASS 草稿——显式「草稿待确认」内联标注（非默认值语义），agent 复核后可改写；
+ * gate 对槽行的独立复核逻辑不经本函数（判定链不动，预填只省打字成本）。纯文本变换三态：
+ * 槽行未填（仍含「待填」）→ 改写；已填（任何枚举值）→ 原样返回；无槽行（legacy 存量）→
+ * 原样返回。改写后槽行满足 extractVerifyConclusionSlot 行首锚定枚举解析（返回 PASS）。
+ */
+export function applyConclusionDraftToText(text, draft = 'PASS') {
+  const normalized = String(text).replace(/\r\n/g, '\n')
+  const lines = normalized.split('\n')
+  for (let i = 0; i < lines.length; i++) {
+    if (/^结论枚举：/.test(lines[i]) && lines[i].includes('待填')) {
+      lines[i] = `结论枚举：${draft}（🤖 CLI 草稿待确认——机械事实全绿自动预填：noAI 实测通过 + 探针 1/3/5/6 干净 + 风险门非 integration/deployment；复核后不同意即改写本行枚举值，gate 独立复核不受预填影响）`
+      return lines.join('\n')
+    }
+  }
+  return text
+}
+
+/**
+ * 决策追踪矩阵机械半边（P0-1，noai-ir-roadmap §3）：D→FR→task 链自结构化字段构建——
+ * decisions.md 条目（parseDecisions 双格式解析，与 distill 同源单一实现）× tasks/task-NN.md
+ * frontmatter 的 decision_ids / requirement_ids（taskcard 9 硬校验字段，CLI 骨架写入——比
+ * tasks.md 行内注解可靠）。Evidence / 状态两列是人工判断置 <待填>；D 无 task 回指 →
+ * ⚠️ 未闭环显式列出（这正是矩阵要暴露的风险，不静默）。
+ * @returns {{ rows: string[], decisionCount: number, taskCount: number }|null}
+ *   null = 无 decisions.md / 解析 0 条（矩阵段留 TODO 不注入）
+ */
+export function buildDecisionChainMatrix(changeDir) {
+  let decisions
+  try {
+    decisions = parseDecisions(changeDir)
+  } catch {
+    return null
+  }
+  if (!decisions || decisions.missing || (decisions.entries || []).length === 0) return null
+  // task 卡 frontmatter 结构化字段反查（列表 [a, b] 形态；frontmatter 由 plan-postcheck 硬校验）
+  const taskRefs = []
+  const tasksDir = join(changeDir, 'tasks')
+  try {
+    if (existsSync(tasksDir)) {
+      for (const f of readdirSync(tasksDir).filter((f) => /^task-\d+\.md$/.test(f)).sort()) {
+        const raw = readFileSync(join(tasksDir, f), 'utf8')
+        const id = (raw.match(/^id:\s*(\S+)/m) || [])[1] || f.replace(/\.md$/, '')
+        const decLine = (raw.match(/^decision_ids:\s*\[([^\]]*)\]/m) || [])[1] || ''
+        const reqLine = (raw.match(/^requirement_ids:\s*\[([^\]]*)\]/m) || [])[1] || ''
+        taskRefs.push({
+          task: id,
+          decisions: new Set(decLine.split(',').map((s) => s.trim()).filter(Boolean)),
+          reqs: new Set(reqLine.split(',').map((s) => s.trim()).filter(Boolean)),
+        })
+      }
+    }
+  } catch { /* tasks 目录不可读 → 矩阵 task 列全标未闭环（信息仍在） */ }
+  const rows = []
+  for (const d of decisions.entries) {
+    // task 卡 decision_ids 可能写 D-001（无 @vN）——id 与 number 双匹配同源
+    const hitTasks = taskRefs.filter((t) => t.decisions.has(d.id) || t.decisions.has(d.number))
+    const frs = [...new Set(hitTasks.flatMap((t) => [...t.reqs]))].sort()
+    const taskCell = hitTasks.length > 0 ? hitTasks.map((t) => t.task).join('、') : '⚠️ 未闭环（无 task 回指）'
+    const frCell = frs.length > 0 ? frs.join('、') : '⚠️ 未映射'
+    rows.push(`| ${d.id} | ${frCell} | ${taskCell} | <待填：证据回指> | <待填> |`)
+  }
+  return { rows, decisionCount: decisions.entries.length, taskCount: taskRefs.length }
+}
+
+/**
+ * 矩阵机械半边注入 verify-result.md（--init 接线）：只在「决策追踪矩阵」段内仍是骨架
+ * TODO 行（含 D-xxx 形态）且段内无既有表格时替换注入——幂等（agent 已写/前次注入零改动），
+ * 不触碰正文其余部分。落盘失败 fail-soft 返回 null。
+ * @returns {{ decisions: number, tasks: number }|null} null = 无 decisions/无可替换 TODO/已注入
+ */
+export function injectDecisionChainDraft(mdPath, changeDir) {
+  let text
+  try { text = readFileSync(mdPath, 'utf8') } catch { return null }
+  const headingIdx = text.indexOf('## 决策追踪矩阵')
+  if (headingIdx === -1) return null
+  const nextHeading = text.indexOf('\n## ', headingIdx + 1)
+  const sectionEnd = nextHeading === -1 ? text.length : nextHeading
+  const section = text.slice(headingIdx, sectionEnd)
+  if (/^\|/m.test(section)) return null // 已有表格 → 尊重既有内容
+  const todoRe = /<!--TODO:[^\n]*D-xxx[^\n]*-->/
+  if (!todoRe.test(section)) return null // 无骨架 TODO（手写正文）→ 不动
+  const matrix = buildDecisionChainMatrix(changeDir)
+  if (!matrix || matrix.rows.length === 0) return null
+  const block = [
+    '<!-- 机械半边预填（CLI，P0-1）：D→FR→task 链自 decisions.md × tasks/*.md frontmatter 结构化字段构建；',
+    '     Evidence / 状态两列是人工判断——逐格复核，未闭环行必须在报告标注风险 -->',
+    '| 决策 ID | FR | Task | Evidence | 状态 |',
+    '|---|---|---|---|---|',
+    ...matrix.rows,
+  ].join('\n')
+  const next = text.slice(0, headingIdx) + section.replace(todoRe, block) + text.slice(sectionEnd)
+  try {
+    writeFileSync(mdPath, next)
+  } catch (e) {
+    console.warn(`⚠️ 决策追踪矩阵预填落盘失败（fail-soft）: ${e && e.message ? e.message : e}`)
+    return null
+  }
+  return { decisions: matrix.decisionCount, tasks: matrix.taskCount }
+}
+
 /**
  * 生成 verify-result.md 骨架（七章节；探针结果机械预填，语义章节 <!--TODO--> 占位）。
- * 结论章节留「待填」——extractVerifyConclusion 无 PASS/FAIL 关键词即判不过，骨架不能直接过门。
+ * 结论走「结论枚举：」固定槽行（刀③，2026-09-08）——占位符不含枚举词（<待填：三选一>），
+ * 槽未填 → extractVerifyConclusionSlot 返回 '' → gate 判不过（fail-closed；旧占位符
+ * `<待填：PASS 或 FAIL>` 含 PASS 字样会被窗口正则误读成已填 PASS，已修）。
  * 章节标题行末尾带 claims 层标注（P3b）：探针结果=可复跑探针 / 测试结果=确定性检查 / 其余=
- * 人工判断——纯渲染层后缀，不新增行，verify gate 结论提取按关键词窗口制不受影响。
+ * 人工判断——纯渲染层后缀，不新增行；结论解析槽优先于标题关键词窗口（存量兼容）。
  * @returns {string|null} 骨架全文；无 design.md/tasks.md（非完整流程变更）→ null
  */
 export function generateVerifyResultSkeleton(result) {
   const L = [
     '# 验证报告（骨架由 `sillyspec verify-probes --change <变更名> --init` 生成）',
     '',
-    '> 探针结果已机械预填；其余章节把 `<!--TODO-->` 替换为真实内容。**结论必须写明 PASS / FAIL**——',
-    '> 留「待填」会被 gate 判不过（fail-closed）。',
+    '> 探针结果已机械预填；其余章节把 `<!--TODO-->` 替换为真实内容。**结论只认「结论枚举：」槽行**——',
+    '> 槽行留「<待填：三选一>」会被 gate 判不过（fail-closed），正文其他位置的 PASS/FAIL 字样不参与判定。',
+    '',
+    '## 结论 [层：人工判断]',
+    '',
+    '结论枚举：`<待填：三选一>`（把尖括号占位整体替换为 PASS / PASS WITH NOTES / FAIL 之一；一句话理由写在枚举后同行或下一行）',
+    '',
+    '## 证据账（cannot_verify 任务） [层：人工判断——CLI 核验]',
+    '<!-- 无 cannot_verify 任务时本节写「无」；有则逐 task 一行 -->',
+    '- task-NN: <待填：三选一> | verifiedFiles: <精确路径，逗号分隔>（satisfied 必填；豁免时填 missing 并加（豁免：<一句话理由>）后缀）',
     '',
-    '## 结论：<待填：PASS 或 FAIL（+一句话理由）> [层：人工判断]',
+    '## 集成验证回执 [层：自述声明——CLI 一致性校验]',
+    '<!-- integration-critical/deployment-critical 变更必填；其余写「无」 -->',
+    '- claim: <待填：一句话> | command: <待填：命令> | exit: <待填：0 或非 0> | log: <待填：日志路径>',
     '',
     '## 任务完成度 [层：人工判断]',
     '<!--TODO: 逐 task 对照 tasks.md 勾选与验收标准，完成/未完成/存疑三态-->',

package/src/workflow.js

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