sillyspec 3.28.2 → 3.28.4

package/src/run/gates.js

@@ -552,7 +552,33 @@ 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 = DB execute 行 completed_at（只读；缺省 null →
+  // 证据核验走 R-05 design created_at fallback）。
+  let verifyStartAtIso = null
+  if (stageName === 'verify') {
+    try {
+      verifyStartAtIso = 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 +610,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 完成 */ }
   }
@@ -598,6 +626,21 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     console.log(`\n⏳ Verify 测试对账：CLI 亲自执行 local.yaml 的 commands.test（同步，耗时可能较长，请等待…）`)
     const 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）：实测跑在主仓共享工作区，并行会话
@@ -650,6 +693,19 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
       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 +716,26 @@ 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 自报告）。
+    // ── 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 } = await import('../verify-postcheck.js')
-    const evidenceCheck = runVerifyRequiredEvidenceCheck({ cwd, specBase, changeName })
+    const evidenceCheck = runVerifyRequiredEvidenceCheck({ cwd, specBase, changeName, verifyStartAt: verifyStartAtIso })
     printVerifyRequiredEvidenceCheck(evidenceCheck)
+    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 三源
@@ -674,13 +744,15 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     // 声明=scope creep）启发式噪音面大（并行 WIP 剔除后仍可能有工具产物），WARNING 放行留审计；
     // skipped/degraded（无 task 卡 / 全无声明 / git 不可用）降级不误红（存量变更零红门禁）。
     // 阻断形态照 runVerifyTestCheck 先例：逐条列 task + path + 修复提示 + rollbackCompletionAndReturn。
-    const { reconcileTargetFiles } = await import('../verify-postcheck.js')
+    const { reconcileTargetFiles, isStrictChange } = await import('../verify-postcheck.js')
     const reconcileRuntimeRoot = resolveRuntimeRoot(platformOpts, specBase)
     const reconcileCheck = reconcileTargetFiles({
       cwd, specBase, changeName,
       // runtimeRoot 口径与上方 parity 对账同源（B3 apply-pathspec 兜底源在此根下；平台模式下
       // specBase 与 .runtime 分离，不传会读不到兜底清单 → 假降级）
       runtimeRoot: reconcileRuntimeRoot,
+      // IR 严格档（2026-09-07-ir-hardening D-003@v1）：主仓卡全零声明 → strictViolation → ERROR
+      strictMode: isStrictChange({ pm, cwd, changeName }),
     })
     const reconcileEnvelope = buildReconcileTargetFilesEnvelope(reconcileCheck)
     const reconcileBlocked = printReconcileTargetFilesCheck(reconcileCheck, reconcileEnvelope)
@@ -705,6 +777,9 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
       // 的锚点产物实际都在 changeDir，此参为统一传参签名对齐预留，口径一处定义不二算
       cwd, specBase, changeName,
       runtimeRoot: reconcileRuntimeRoot,
+      // IR 严格档（2026-09-07-ir-hardening D-002@v1）：created_at ≥ IR_STRICT_SINCE 的变更
+      // 探针子节全缺 = ERROR（存量 skip 语义零变化）；fail-open（读不到 → false 落豁免）
+      strictMode: isStrictChange({ pm, cwd, changeName }),
     })
     const probeEnvelope = buildProbeConsistencyEnvelope(probeCheck)
     const probeBlocked = printProbeConsistencyCheck(probeCheck, probeEnvelope)
@@ -716,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
@@ -1357,6 +1450,14 @@ export function printReconcileTargetFilesCheck(r, envelope = buildReconcileTarge
     console.warn(`   对账口径 actual=${(r.sources || []).join(' + ') || 'n/a'}（③类误报先核对 sources 与并行会话剔除提示）。`)
     return false
   }
+  // IR 严格档（2026-09-07-ir-hardening D-003）：strictViolation → ERROR 阻断（与②类同处置）
+  if (r.status === 'skipped' && r.strictViolation) {
+    console.error(`
+❌ target_files 对账阻断：${r.skipReason}`)
+    console.error(`   ${r.strictViolation.message}`)
+    console.error(`   信封 code: ${r.strictViolation.code}`)
+    return true
+  }
   // 降级（skipped/degraded）：WARNING 放行，skipReason 一句话（存量卡/git 不可用，不误红）
   if (r.status === 'skipped' || r.status === 'degraded') {
     console.warn(`\n⚠️  target_files 对账${r.status === 'degraded' ? '降级' : '跳过'}（不阻断）：${r.skipReason}`)
@@ -1385,6 +1486,12 @@ export function printReconcileTargetFilesCheck(r, envelope = buildReconcileTarge
 export function buildProbeConsistencyEnvelope(r) {
   const blocked = r.status === 'mismatch' && r.severity === 'error'
   const drifted = r.status === 'mismatch' && !blocked
+  // IR 严格档独立 code（2026-09-07-ir-hardening D-002）：首条 mismatch 携带
+  // probe_prefill_missing_strict 时路由专用 code（平台/上游按 code 分支可区分
+  // 「篡改预填段」与「从未生成预填段」两类 ERROR）
+  const strictMissing = blocked
+    && Array.isArray(r.mismatches) && r.mismatches.length > 0
+    && r.mismatches[0] && r.mismatches[0].code === 'probe_prefill_missing_strict'
   const supportedFixes = []
   if (blocked) {
     supportedFixes.push('如实重生成：跑 `sillyspec verify-probes --change <变更名> --init` 重新落盘机械预填段，再基于新预填段如实补写正文结论（删改预填段过门是 Step7 防篡改纪律红线）')
@@ -1396,7 +1503,8 @@ export function buildProbeConsistencyEnvelope(r) {
   }
   return {
     // code 机器路由键（task-02 JSDoc）：四状态→四 code，供平台/上游按 code 分支
-    code: blocked ? 'probe_consistency_mismatch'
+    code: strictMissing ? 'probe_prefill_missing_strict'
+      : blocked ? 'probe_consistency_mismatch'
       : drifted ? 'probe_consistency_drift'
       : (r.status === 'ok' ? 'probe_consistency_ok' : 'probe_consistency_skipped'),
     name: 'probe_consistency',

package/src/run/progress-confirm.js

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