sillyspec 3.32.9 → 3.32.10

package/src/run/complete.js

@@ -493,25 +493,26 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
               .filter((h) => !_hits.some((x) => x.file === h.file && x.id === h.id && (x.change || '') === (h.change || '')))
             _hits.push(..._viaImpact)
           } catch { /* 图构建/键解析 fail-soft——词面命中面不受影响 */ }
-          // 已回应不重弹：decisions.md 正文已含「命中 id＋域文件名」共现（小白鼠回应形态
-          // 「unmapped.md D-001@v1」）→ 视为已甄别过，静默；同轮查询串仍含其词面属预期。
+          // 已回应不重弹：decisions.md 某行同时含「命中 id＋域文件名（或命中条目变更名）」（小白鼠
+          // 回应形态「unmapped.md D-001@v1」）→ 视为已甄别过，静默。行级共现（2026-10-14-decision-id-p2-hardening
+          // 收紧：文件级共现时本变更自身同号 id + 正文常见词 backend/unmapped 撞车会静默吞掉他变更命中）。
           const _answered = _dm
             ? (h) => {
                 const _dom = String(h.file || '').replace(/^decisions\//, '').replace(/\.md$/, '')
-                return _dm.includes(h.id) && _dm.includes(_dom)
+                return _dm.split(/\r?\n/).some((line) => line.includes(h.id) && (line.includes(_dom) || (h.change && line.includes(h.change))))
               }
             : () => false
           const _echoHits = _hits.filter((h) => !_answered(h))
           const _entries = km.matched ? (km.entries || []) : []
           if (_echoHits.length > 0 || _entries.length > 0) {
-            const { deathPathNote } = await import('../knowledge-match.js')
+            const { deathPathNote, decisionChangeQualifier } = await import('../knowledge-match.js')
             console.warn(`\n⚠️ [knowledge-gate] 方案/决策知识命中（设计时点防复潮提示，warn 不阻断）：`)
             for (const h of _echoHits.slice(0, 5)) {
               const _note = h.status === 'rejected'
                 ? ` 否决理由：${h.reason || '（未记录）'}`
                 : h.deathPath ? ` ⚰️死路注记：${deathPathNote(h.reason)}` : ''
               const _via = h.viaImpact ? ` 🧭impact 可达（键：${h.impactKey}）` : ''
-              console.warn(`   - ${h.id} ${h.title}（${h.file}）status=${h.status || '?'}${_note}${_via}`)
+              console.warn(`   - ${h.id} ${h.title}（${h.file}｜${decisionChangeQualifier(h.change)}）status=${h.status || '?'}${_note}${_via}`)
             }
             for (const e of _entries.slice(0, 3)) {
               const _base = e.anchor ? `${e.file}#${e.anchor}` : e.file
@@ -673,40 +674,9 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
   // 勾选回归 agent 手动（完成=实现+测试绿+wt-commit 即勾，同 thin 工作单元语义），假勾防线由
   // detectExecuteBatchFinish 内 checkExecuteCodeEvidence 代码证据核验 + verify 测试对账承担。
   if (stageName === 'execute' && changeName) {
-    // 自动勾选（full-autopilot-parity，R21 thin 实证迁移）：execute --done 时解析 run 内提交的
-    // task-NN token，自动勾选 tasks.md 未勾条目——agent 手动勾选是 R19/R20 的行为惯性（tick-loop-nudge
-    // 提示词无效），机器代勾与 thin 的 flow done 同逻辑。fail-soft。
-    try {
-      const _tasksMdPath = join(specBase, 'changes', changeName, 'tasks.md')
-      if (existsSync(_tasksMdPath)) {
-        const _runIdFile = join(resolveRuntimeRoot(platformOpts, specBase), `current-execute-run-id-${changeName}`)
-        let _tickCommits = ''
-        try {
-          if (existsSync(_runIdFile)) {
-            _tickCommits = gitQuiet(cwd, ['log', '--format=%B%x1e', 'HEAD~20..HEAD']) || ''
-          }
-        } catch {}
-        if (!_tickCommits) _tickCommits = gitQuiet(cwd, ['log', '--format=%B%x1e', '-20']) || ''
-        if (_tickCommits) {
-          const _texts = String(_tickCommits).split('\x1e').map(x => x.trim()).filter(Boolean).join('\n')
-          const _evidenced = new Set()
-          for (const m of _texts.matchAll(/task-(\d{1,2})/gi)) _evidenced.add(String(Number(m[1])).padStart(2, '0'))
-          if (_evidenced.size > 0) {
-            let _md = readFileSync(_tasksMdPath, 'utf8')
-            let _ticked = 0
-            for (const nn of _evidenced) {
-              const re = new RegExp(`^- \\[ \\](.*task-${nn}[:\\s])`, 'm')
-              if (re.test(_md)) { _md = _md.replace(re, `- [x]$1`); _ticked++ }
-            }
-            if (_ticked > 0) {
-              const { writeAtomicSync } = await import('../fs-atomic.js')
-              writeAtomicSync(_tasksMdPath, _md)
-              console.log(`✅ [自动勾选] ${_ticked} 个任务有提交证据但未勾——已机器代勾（full-autopilot-parity）`)
-            }
-          }
-        }
-      }
-    } catch { /* auto-tick fail-soft */ }
+    // 自动勾选（full-autopilot-parity，R21 thin 实证迁移）：代勾判据/实现见
+    // autoTickTasksFromCommitSubjects（subject token × allowed_paths 实现事实锚）。
+    await autoTickTasksFromCommitSubjects({ changeName, cwd, specBase, platformOpts })
     const _bf = await detectExecuteBatchFinish({ pm, stageName, changeName, cwd, specBase, platformOpts, steps })
     if (_bf.batched && _bf.aligned > 0) {
       console.log(`\n🚀 execute 批量完成：plan 全勾 + 代码核验通过，一次性补完 ${_bf.aligned} 个剩余 step → 进入阶段完成分支`)
@@ -1532,8 +1502,10 @@ export function shouldAutoCheckTask(r, endToEnd, ctx = null, changeName = '') {
   if (isExplicitReviewWrite(r.review)) return true
 
   // W2 task-04 草稿零 diff 守卫（FR-03）
-  // ctx 给定且 review 为自动草稿时，要求 changedFiles 非空且实测 diff 非空
-  if (ctx && r.review?.reviewerNotes && r.review.reviewerNotes.includes('auto-generated draft')) {
+  // review 为自动草稿时，要求 changedFiles 非空且实测 diff 非空。ctx 缺席（直写/主仓形态
+  // buildDraftContext 返 null）同样保守不勾——原「ctx=null 直接放行」使 cannot_verify 草稿
+  // 无任何实现核验即被代勾（坑 wt-commit-auto-tick-unimplemented-tasks 连带，2026-10-15）。
+  if (r.review?.reviewerNotes && r.review.reviewerNotes.includes('auto-generated draft')) {
     const taskId = r.review.task || 'task-NN'
     const unlockCmd = `sillyspec review write${changeName ? ` --change ${changeName}` : ' --change <变更名>'} --task ${taskId} --spec pass --quality pass --force --changed-files <文件>`
     const changedFiles = r.review.changedFiles || []
@@ -1541,8 +1513,8 @@ export function shouldAutoCheckTask(r, endToEnd, ctx = null, changeName = '') {
       console.warn(`⚠️ 草稿 review changedFiles 为空，跳过自动勾选（task=${taskId}）——解锁：${unlockCmd}（纯验证任务用 --changed-files "" + --evidence "<验证说明>"）`)
       return false
     }
-    if (!ctx.gitDir || !ctx.base || !ctx.head) {
-      console.warn(`⚠️ ctx 信息不完整（gitDir=${ctx.gitDir}, base=${ctx.base}, head=${ctx.head}），跳过草稿 diff 校验，保守不勾（task=${taskId}）——解锁：${unlockCmd}`)
+    if (!ctx || !ctx.gitDir || !ctx.base || !ctx.head) {
+      console.warn(`⚠️ ctx 缺席或不完整（gitDir=${ctx && ctx.gitDir}, base=${ctx && ctx.base}, head=${ctx && ctx.head}），跳过草稿 diff 校验，保守不勾（task=${taskId}）——解锁：${unlockCmd}`)
       return false
     }
     // 预取路径：一次全量 diff 文件集内存归属（autoCheckPlanFromReviews/批量路径已 prefetch）
@@ -1572,6 +1544,86 @@ export function shouldAutoCheckTask(r, endToEnd, ctx = null, changeName = '') {
 
   return true
 }
+/**
+ * execute --done 的 full-autopilot 代勾（独立函数供测试直驱；completeStep execute 分支调用）。
+ *
+ * 实现事实锚（坑 wt-commit-auto-tick-unimplemented-tasks，2026-10-15 消费仓两次实证：原按
+ * %B 提交全文提 token——task-01 提交正文提及 task-02/03/04 即全被误勾，批量完成判定与续跑
+ * 跳过双失真）：证据源收敛为提交 subject 行（%s）的 task-NN token，且任务卡 allowed_paths
+ * 在场时要求「提及该 task 的提交触及面 × allowed_paths」交叠（parseAllowedPaths +
+ * pathMatches，与草稿归属同口径）；无卡面/无 allowed_paths 退化为仅 subject token。无锚不勾。
+ * fail-soft（异常零行为）。
+ * @param {{ changeName: string, cwd: string, specBase: string, platformOpts?: object }} opts
+ */
+export async function autoTickTasksFromCommitSubjects({ changeName, cwd, specBase, platformOpts = {} }) {
+  try {
+    const _tasksMdPath = join(specBase, 'changes', changeName, 'tasks.md')
+    if (!existsSync(_tasksMdPath)) return { ticked: 0, skippedNoAnchor: 0 }
+    const _runIdFile = join(resolveRuntimeRoot(platformOpts, specBase), `current-execute-run-id-${changeName}`)
+    let _tickLog = ''
+    try {
+      if (existsSync(_runIdFile)) {
+        _tickLog = gitQuiet(cwd, ['log', '--name-only', '--format=%x1e%s', 'HEAD~20..HEAD'], { trim: false }) || ''
+      }
+    } catch {}
+    if (!_tickLog) _tickLog = gitQuiet(cwd, ['log', '--name-only', '--format=%x1e%s', '-20'], { trim: false }) || ''
+    if (_tickLog) {
+      // 逐提交解析：首行 = subject（token 证据面——正文散文提及不是实现证据），其余行 = 该提交触及文件
+      const _evidenced = new Map()
+      for (const _chunk of String(_tickLog).split('\x1e')) {
+        const _lines = String(_chunk || '').split('\n').map(x => x.trim()).filter(Boolean)
+        if (_lines.length === 0) continue
+        for (const m of _lines[0].matchAll(/task-(\d{1,2})/gi)) {
+          const nn = String(Number(m[1])).padStart(2, '0')
+          if (!_evidenced.has(nn)) _evidenced.set(nn, new Set())
+          for (const f of _lines.slice(1)) _evidenced.get(nn).add(f)
+        }
+      }
+      if (_evidenced.size > 0) {
+        // 任务卡 allowed_paths 索引（卡面读取失败 → 无卡面口径：仅 subject token）
+        const _allowedByTask = new Map()
+        let _pathMatches = null
+        try {
+          const { parseAllowedPaths } = await import('../stages/plan-postcheck.js')
+          ;({ pathMatches: _pathMatches } = await import('../change-list.js'))
+          const _tasksDir = join(specBase, 'changes', changeName, 'tasks')
+          for (const nn of _evidenced.keys()) {
+            const _cardPath = join(_tasksDir, `task-${nn}.md`)
+            if (existsSync(_cardPath)) {
+              const _paths = parseAllowedPaths(readFileSync(_cardPath, 'utf8'))
+                .map(p => String(p).replace(/^NEW:\s*/, '').trim()).filter(Boolean)
+              if (_paths.length > 0) _allowedByTask.set(nn, _paths)
+            }
+          }
+        } catch { /* 卡面读取失败 → 无锚退化为仅 subject token（与无卡面同口径） */ }
+        let _md = readFileSync(_tasksMdPath, 'utf8')
+        let _ticked = 0
+        let _skippedNoAnchor = 0
+        for (const [nn, _files] of _evidenced) {
+          const _allowed = _allowedByTask.get(nn)
+          if (_allowed && _pathMatches && ![..._files].some(f => _allowed.some(p => _pathMatches(f, p)))) {
+            _skippedNoAnchor++
+            continue // subject 提及但触及面与声明面零交叠——无实现事实锚不勾
+          }
+          const re = new RegExp(`^- \\[ \\](.*task-${nn}[:\\s])`, 'm')
+          if (re.test(_md)) { _md = _md.replace(re, `- [x]$1`); _ticked++ }
+        }
+        if (_ticked > 0) {
+          const { writeAtomicSync } = await import('../fs-atomic.js')
+          writeAtomicSync(_tasksMdPath, _md)
+          console.log(`✅ [自动勾选] ${_ticked} 个任务有实现证据（提交 subject token${_allowedByTask.size > 0 ? ' × allowed_paths 交叠' : ''}）但未勾——已机器代勾（full-autopilot-parity）`)
+        }
+        if (_skippedNoAnchor > 0) {
+          console.log(`ℹ️ [自动勾选] ${_skippedNoAnchor} 个 task 号有 subject token 但触及面与 allowed_paths 零交叠——不代勾（无实现事实锚），完成时请人工核对勾选`)
+        }
+        return { ticked: _ticked, skippedNoAnchor: _skippedNoAnchor }
+      }
+    }
+    return { ticked: 0, skippedNoAnchor: 0 }
+  } catch { /* auto-tick fail-soft */ }
+  return { ticked: 0, skippedNoAnchor: 0 }
+}
+
 export async function autoCheckPlanFromReviews({ stageName, changeName, cwd, platformOpts }) {
   if (stageName !== 'execute' || !changeName) {
     return { autoChecked: false, checkedCount: 0, skippedCount: 0 }
@@ -1713,7 +1765,7 @@ export function detectVerifyBatchFinish({ changeName, specBase, steps }) {
   }
 }
 
-async function detectExecuteBatchFinish({ pm, stageName, changeName, cwd, specBase, platformOpts, steps }) {  if (stageName !== 'execute' || !changeName) return { batched: false, aligned: 0 }
+export async function detectExecuteBatchFinish({ pm, stageName, changeName, cwd, specBase, platformOpts, steps }) {  if (stageName !== 'execute' || !changeName) return { batched: false, aligned: 0 }
   try {
     const changeDir = join(specBase, 'changes', changeName)
     const { total: planTotal, checked: planChecked } = pm.readPlanCheckboxStatus(changeDir)
@@ -1747,6 +1799,23 @@ async function detectExecuteBatchFinish({ pm, stageName, changeName, cwd, specBa
     // → 每个 task 进 blockedTasks → 批量完成静默失效
     const runtimeRoot = resolveRuntimeRoot(platformOpts, specBase)
     const runIdFile = join(runtimeRoot, `current-execute-run-id-${changeName}`)
+    // ── 缺席草稿自动补齐（坑 task-review-retired-archive-mismatch，2026-10-15 归档门口实证）──
+    // Task Review 层退役（2026-09-26）后 execute 批量完成不再产 per-task review.json，但本函数
+    // 下方复核循环与 archive step2 完成度判定（真相源=review.json verdict）仍以它在场为前提——
+    // 正常走完五阶段的变更到归档门口必然全量「review.json 缺失」。退役时 generateTaskReviewDrafts
+    // 只摘了调用点（函数本体与 backfill-reviews 手动通道都在）：此处对缺失面重新接线——机械
+    // 幂等（已存在不覆盖人工/子代理 verdict），失败 fail-open 不阻断批量（最坏退回修复前形态，
+    // 下方复核循环照旧拦）。挂在 runId marker 读取之前：run 缺失时生成器建 run + 写 marker，
+    // 下方循环一次读盘即见。
+    try {
+      const { generateTaskReviewDrafts } = await import('../task-review.js')
+      const draftOut = await generateTaskReviewDrafts({ changeName, cwd, platformOpts })
+      if (draftOut && draftOut.generated > 0) {
+        console.log(`📝 [批量完成前置] 自动补 ${draftOut.generated} 份 per-task review 草稿（机械幂等；archive 完成度真相源在场——草稿 verdict=cannot_verify 仍由 verify 兑证/人工复核升级，summarizeTaskCompletion 单列可见）`)
+      }
+    } catch (e) {
+      console.warn(`⚠️ per-task 草稿自动补齐异常（fail-open，批量完成继续走既有复核循环）: ${(e && e.message) || e}`)
+    }
     const blockedTasks = []
     const { readReview, isValidExecuteRunId } = await import('../task-review.js')
     // runId marker 对全部 task 恒定：循环外一次读盘（原实现逐 task 重复 readFileSync 同一文件）

package/src/run/gates.js

@@ -958,6 +958,99 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
       writeVerifyGatePointer({ runtimeRoot: reconcileRuntimeRoot, changeName, blocked: true, note: 'target_files ②类（missing_declared）阻断' })
       docGateFailures.push({ type: 'gate_rollback', detail: 'verify-contract', label: 'target_files 对账阻断（②类「声明未做」——计划落空，明细见上）' })
     }
+    // ── 探针一致性 / draft 篡改门禁 / ceremony 双跑三门（坑 verify-close-gate-staggered-exposure，
+    //    2026-10-15 消费仓四轮 --done 实证：三门原在实测门之后逐个 fail-fast——每轮先付 195s
+    //    实测再见一个新文档问题，四轮纯往返约 20 分钟。三门数据面（facts 已于 runValidators 前
+    //    backfill、verify-result.md 正文/sidecar、ceremony tier 文件、git diff）与实测结果零数据
+    //    依赖——照 required-evidence/reconcile 先例前移并入 docGateFailures 收集（R16 聚合一次
+    //    全列），失败统一在检查点 A 回滚（进度不丢，修复后重跑 --done）。──
+    // 探针一致性（task-03 / ir-stage-p3b D-002@v1 方案A）：「#### 探针 N」机械预填段长在 agent
+    // 可编辑的正文里，其防篡改基准是正文锚点而非 verify-facts.json（删底稿绕不过防护）。
+    // checkProbeConsistency 重跑只读探针与正文锚点对账，分级（D-003）：probe1/probe6 不符 =
+    // ERROR → 收集阻断（正文预填段疑似被篡改）；probe3/probe5 环境敏感维度 + R-06 HEAD 前进
+    // 降级 = WARNING → 放行告警（drift）；skipped/degraded → 放行提示。
+    // 接线形态照 P3a reconcile 先例：envelope + print（ERROR 时 console.error 逐条 mismatch +
+    // supportedFixes）+ verify-runs 落盘 + docGateFailures。
+    const { checkProbeConsistency } = await import('../verify-postcheck.js')  // isStrictChange 复用本块 reconcile 段既有 import
+    const probeCheck = checkProbeConsistency({
+      // 四参与 reconcile 同源取值：cwd/specBase/changeName 原样透传；runtimeRoot 复用上方
+      // reconcileRuntimeRoot（resolveRuntimeRoot(platformOpts, specBase)）——checkProbeConsistency
+      // 的锚点产物实际都在 changeDir，此参为统一传参签名对齐预留，口径一处定义不二算
+      cwd, specBase, changeName,
+      runtimeRoot: reconcileRuntimeRoot,
+      // IR 严格档（2026-09-07-ir-hardening D-002@v1）：created_at ≥ IR_STRICT_SINCE 的变更
+      // 探针子节全缺 = ERROR（存量 skip 语义零变化）；fail-open（读不到 → false 落豁免）
+      strictMode: isStrictChange({ pm, cwd, changeName }),
+    })
+    const probeEnvelope = buildProbeConsistencyEnvelope(probeCheck)
+    const probeBlocked = printProbeConsistencyCheck(probeCheck, probeEnvelope)
+    // 探针7 covered 证据锚点 advisory（坑 probe7-covered-anchor-missing，2026-09-15 复盘：7 行
+    // covered 证据缺 file:line 被审查打回——预填说明已载明口径，机器在 --done 时点再拦一道，
+    // 省一轮人工往返）。advisory 不阻断；独立模块零环（verify-probes 是多会话冲突面，不碰）。
+    try {
+      const { checkProbe7AnchorCoverage } = await import('../probe7-anchor-check.js')
+      const p7ReportPath = join(specBase, 'changes', changeName, 'verify-result.md')
+      if (existsSync(p7ReportPath)) {
+        const p7Anchor = checkProbe7AnchorCoverage(readFileSync(p7ReportPath, 'utf8'))
+        if (p7Anchor.applicable && p7Anchor.missingAnchors.length > 0) {
+          console.warn(`\n⚠️ 探针7 锚点校验：${p7Anchor.missingAnchors.length}/${p7Anchor.coveredRows} 行判定为 covered 但证据列缺 file:line / \`.test.\` 文件名 / 反引号路径锚点（advisory 不阻断，审查会要求回补）：`)
+          for (const m of p7Anchor.missingAnchors.slice(0, 10)) {
+            console.warn(`   - ${m.task}：${m.acceptance || '(空 acceptance)'}——证据当前为「${m.evidence || '(空)'}」，应给 \`测试文件路径:行号\` 首命中锚点、\`.test.\` 测试文件名或反引号包裹的路径/测试名（行号可省）`)
+          }
+          if (p7Anchor.missingAnchors.length > 10) console.warn(`   …还有 ${p7Anchor.missingAnchors.length - 10} 行`)
+        }
+      }
+    } catch { /* 锚点校验异常 fail-soft 不影响 gate */ }
+    // 结果落盘（对齐 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) {
+      writeVerifyGatePointer({ runtimeRoot: reconcileRuntimeRoot, changeName, blocked: true, note: '探针一致性抽查 error 阻断' })
+      docGateFailures.push({ type: 'gate_rollback', detail: 'verify-contract', label: '探针一致性抽查 error 阻断（明细见上）' })
+    }
+    // ── verify 填槽制篡改门禁（r5l 方案3 / 评审护栏#2 承重件，v2 件二）──
+    // verify-probes --init --draft 生成的机器预填段（任务完成度/风险等级/测试结果/决策追踪）带
+    // sha256 指纹标记 + .runtime sidecar 台账；--done 对账：标记被删 / 内容哈希失配 → 收集阻断
+    // （heredoc 整份重写的典型形态——Write 可用与否均免疫，机制修法不做生成侧劝说）。修改机器
+    // 段唯一通道 verify-probes --amend-draft（重锚 + amendment 审计）。无 sidecar（未用 draft /
+    // 存量变更）→ not-applicable 零红；门禁自身异常 fail-soft（对齐探针抽查 degraded 语义）。
+    try {
+      const { checkDraftIntegrity } = await import('../verify-draft.js')
+      const draftCheck = checkDraftIntegrity({
+        mdPath: join(specBase, 'changes', changeName, 'verify-result.md'),
+        changeName, runtimeRoot: reconcileRuntimeRoot,
+      })
+      if (draftCheck.applicable && !draftCheck.ok) {
+        console.error(`\n❌ verify-result.md 机器预填段篡改门禁：${draftCheck.violations.length} 处失配——draft 预填段被整份重写或标记被删/被手工重锚。`)
+        for (const v of draftCheck.violations) console.error(`   - ${v}`)
+        console.error('   修复：还原机器段原文（AGENT 槽——结论枚举/移交项/审查叙述——不受本门限制）；确要修改机器段，跑 sillyspec verify-probes --change ' + changeName + ' --amend-draft 留痕重锚后重新 --done。')
+        writeVerifyGatePointer({ runtimeRoot: reconcileRuntimeRoot, changeName, blocked: true, note: 'draft 篡改门禁阻断' })
+        docGateFailures.push({ type: 'gate_rollback', detail: 'verify-contract', label: 'verify-result.md 机器预填段篡改门禁（明细见上）' })
+      }
+    } catch { /* 门禁异常 fail-soft（不是篡改，对齐探针 degraded 放行） */ }
+    // ── ceremony 双跑收口·第一出口（2026-09-18-ceremony-risk-pricing task-04 / FR-03 / D-003；
+    //    execute 评审 FAIL 项补接线）：声明档（.runtime/ceremony-tier-<change>.json 开跑定价）vs
+    //    实际 diff 重跑 blast+span 的事实档，mismatch（severity=error，懒 agent 低报）汇入收集
+    //    硬 flag 面（照 reconcile/probe 先例检查点 A 统一回滚，修复后重跑 --done 进度不丢）。
+    //    检查/记账/种子收敛在 runCeremonyDualRunCheck 单点（archive 出口 complete-handlers.js
+    //    runArchiveCeremonyDualRunExit 同款消费）；skipped（档位文件缺失=存量变更零红门禁）/
+    //    degraded（git 不可用降级）零噪音放行；整体 fail-soft——检查自身异常降级放行（异常
+    //    不是低报，对齐 archive 出口同款处置）。specBase/runtimeRoot 与四邻检查同源。──
+    try {
+      const { runCeremonyDualRunCheck, printCeremonyDualRunCheck } = await import('../verify-postcheck.js')
+      const ceremonyCheck = await runCeremonyDualRunCheck({
+        cwd, specBase, changeName,
+        runtimeRoot: reconcileRuntimeRoot,
+      })
+      printCeremonyDualRunCheck(ceremonyCheck)
+      if (ceremonyCheck.status === 'mismatch' && ceremonyCheck.severity === 'error') {
+        docGateFailures.push({ type: 'gate_rollback', detail: 'verify-contract', label: 'ceremony 双跑 mismatch（声明档低报，明细见上）' })
+      }
+    } catch (e) {
+      console.warn(`⚠️  Ceremony 双跑对账异常降级放行（不阻断 verify，fail-soft）: ${(e && e.message) || e}`)
+    }
   }
   // ── 收集模式检查点 A（verify）：纯文档门全清后才进入实测门（test/lint/parity/probe 保持
   //    fail-fast 不变）。brainstorm/plan/execute 不走本检查点（其实测面为空，检查点 B 收口）。──
@@ -1351,95 +1444,6 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     const { runVerifyDeletionCheck, printVerifyDeletionCheck } = await import('../verify-postcheck.js')
     const deletionCheck = runVerifyDeletionCheck({ cwd, specBase, changeName })
     printVerifyDeletionCheck(deletionCheck)
-    // ── 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, isStrictChange } = await import('../verify-postcheck.js')
-    const probeCheck = checkProbeConsistency({
-      // 四参与 reconcile 同源取值：cwd/specBase/changeName 原样透传；runtimeRoot 复用上方
-      // reconcileRuntimeRoot（resolveRuntimeRoot(platformOpts, specBase)）——checkProbeConsistency
-      // 的锚点产物实际都在 changeDir，此参为统一传参签名对齐预留，口径一处定义不二算
-      cwd, specBase, changeName,
-      runtimeRoot: reconcileRuntimeRoot,
-      // IR 严格档（2026-09-07-ir-hardening D-002@v1）：created_at ≥ IR_STRICT_SINCE 的变更
-      // 探针子节全缺 = ERROR（存量 skip 语义零变化）；fail-open（读不到 → false 落豁免）
-      strictMode: isStrictChange({ pm, cwd, changeName }),
-    })
-    const probeEnvelope = buildProbeConsistencyEnvelope(probeCheck)
-    const probeBlocked = printProbeConsistencyCheck(probeCheck, probeEnvelope)
-    // 探针7 covered 证据锚点 advisory（坑 probe7-covered-anchor-missing，2026-09-15 复盘：7 行
-    // covered 证据缺 file:line 被审查打回——预填说明已载明口径，机器在 --done 时点再拦一道，
-    // 省一轮人工往返）。advisory 不阻断；独立模块零环（verify-probes 是多会话冲突面，不碰）。
-    try {
-      const { checkProbe7AnchorCoverage } = await import('../probe7-anchor-check.js')
-      const p7ReportPath = join(specBase, 'changes', changeName, 'verify-result.md')
-      if (existsSync(p7ReportPath)) {
-        const p7Anchor = checkProbe7AnchorCoverage(readFileSync(p7ReportPath, 'utf8'))
-        if (p7Anchor.applicable && p7Anchor.missingAnchors.length > 0) {
-          console.warn(`\n⚠️ 探针7 锚点校验：${p7Anchor.missingAnchors.length}/${p7Anchor.coveredRows} 行判定为 covered 但证据列缺 file:line / \`.test.\` 文件名 / 反引号路径锚点（advisory 不阻断，审查会要求回补）：`)
-          for (const m of p7Anchor.missingAnchors.slice(0, 10)) {
-            console.warn(`   - ${m.task}：${m.acceptance || '(空 acceptance)'}——证据当前为「${m.evidence || '(空)'}」，应给 \`测试文件路径:行号\` 首命中锚点、\`.test.\` 测试文件名或反引号包裹的路径/测试名（行号可省）`)
-          }
-          if (p7Anchor.missingAnchors.length > 10) console.warn(`   …还有 ${p7Anchor.missingAnchors.length - 10} 行`)
-        }
-      }
-    } catch { /* 锚点校验异常 fail-soft 不影响 gate */ }
-    // 结果落盘（对齐 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) {
-      writeVerifyGatePointer({ runtimeRoot: reconcileRuntimeRoot, changeName, blocked: true, note: '探针一致性抽查 error 阻断' })
-      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-contract' })
-    }
-    // ── verify 填槽制篡改门禁（r5l 方案3 / 评审护栏#2 承重件，v2 件二）──
-    // verify-probes --init --draft 生成的机器预填段（任务完成度/风险等级/测试结果/决策追踪）带
-    // sha256 指纹标记 + .runtime sidecar 台账；--done 对账：标记被删 / 内容哈希失配 → 阻断回滚
-    // （heredoc 整份重写的典型形态——Write 可用与否均免疫，机制修法不做生成侧劝说）。修改机器
-    // 段唯一通道 verify-probes --amend-draft（重锚 + amendment 审计）。无 sidecar（未用 draft /
-    // 存量变更）→ not-applicable 零红；门禁自身异常 fail-soft（对齐探针抽查 degraded 语义）。
-    try {
-      const { checkDraftIntegrity } = await import('../verify-draft.js')
-      const draftCheck = checkDraftIntegrity({
-        mdPath: join(specBase, 'changes', changeName, 'verify-result.md'),
-        changeName, runtimeRoot: reconcileRuntimeRoot,
-      })
-      if (draftCheck.applicable && !draftCheck.ok) {
-        console.error(`\n❌ verify-result.md 机器预填段篡改门禁：${draftCheck.violations.length} 处失配——draft 预填段被整份重写或标记被删/被手工重锚。`)
-        for (const v of draftCheck.violations) console.error(`   - ${v}`)
-        console.error('   修复：还原机器段原文（AGENT 槽——结论枚举/移交项/审查叙述——不受本门限制）；确要修改机器段，跑 sillyspec verify-probes --change ' + changeName + ' --amend-draft 留痕重锚后重新 --done。')
-        writeVerifyGatePointer({ runtimeRoot: reconcileRuntimeRoot, changeName, blocked: true, note: 'draft 篡改门禁阻断' })
-        return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-contract' })
-      }
-    } catch { /* 门禁异常 fail-soft（不是篡改，对齐探针 degraded 放行） */ }
-    // ── ceremony 双跑收口·第一出口（2026-09-18-ceremony-risk-pricing task-04 / FR-03 / D-003；
-    //    execute 评审 FAIL 项补接线）：声明档（.runtime/ceremony-tier-<change>.json 开跑定价）vs
-    //    实际 diff 重跑 blast+span 的事实档，mismatch（severity=error，懒 agent 低报）汇入 verify
-    //    errors 硬 flag 面——阻断回滚（照 reconcile/probe 先例 rollbackCompletionAndReturn，修复后
-    //    重跑 --done 进度不丢）。检查/记账/种子收敛在 runCeremonyDualRunCheck 单点（archive 出口
-    //    complete-handlers.js runArchiveCeremonyDualRunExit 同款消费）；skipped（档位文件缺失=存量
-    //    变更零红门禁）/degraded（git 不可用降级）零噪音放行；整体 fail-soft——检查自身异常降级
-    //    放行（异常不是低报，对齐 archive 出口同款处置）。specBase/runtimeRoot 与四邻检查同源
-    //    （reconcileRuntimeRoot=resolveRuntimeRoot(platformOpts, specBase)，口径一处定义不二算）。──
-    try {
-      const { runCeremonyDualRunCheck, printCeremonyDualRunCheck } = await import('../verify-postcheck.js')
-      const ceremonyCheck = await runCeremonyDualRunCheck({
-        cwd, specBase, changeName,
-        runtimeRoot: reconcileRuntimeRoot,
-      })
-      printCeremonyDualRunCheck(ceremonyCheck)
-      if (ceremonyCheck.status === 'mismatch' && ceremonyCheck.severity === 'error') {
-        return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-contract' })
-      }
-    } catch (e) {
-      console.warn(`⚠️  Ceremony 双跑对账异常降级放行（不阻断 verify，fail-soft）: ${(e && e.message) || e}`)
-    }
     // ── 行号漂移自动重锚（2026-09-09 §7-6：quick --done 已接，verify/archive 收尾补接）──
     // 本变更 diff 中的 .md 文档经 autoReanchorDocRefs 定点重锚（fixable 唯一/优选命中才改 +
     // 同口径回执），消灭「src 改动平移行号 → 下次 docs gate 拦」的人工往返。挂 verify 收尾即

package/src/run/prompt.js

@@ -1390,7 +1390,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
   if (stageName === 'brainstorm' && promptText.includes('{DECISION_HITS}')) {
     try {
       const { matchKnowledgeHybrid } = await import('../knowledge-vector.js')
-      const { deathPathNote } = await import('../knowledge-match.js')
+      const { deathPathNote, decisionChangeQualifier } = await import('../knowledge-match.js')
       const decSpecBase = resolvePromptSpecBase(platformOpts, cwd)
       const decKnowledgeDir = join(decSpecBase, 'knowledge')
       // taskContext：changeName（brainstorm Step2 时 tasks.md 尚未生成，变更名是唯一稳定任务
@@ -1402,10 +1402,10 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
       let decInjected = ''
       if (rejectedHits.length > 0) {
         const lines = [
-          '⚠️ 否决决策/死路注记提示（历史已否决或已记死路，防复潮）——下列决策此前已被否决或已记死路。看到理由后，除非复潮条件明确满足，不要在本次方案中重新提出；若认为复潮条件已满足，须在本变更 decisions.md 记录新版本条目（D-xxx@vN+1）说明依据：'
+          '⚠️ 否决决策/死路注记提示（历史已否决或已记死路，防复潮）——下列决策此前已被否决或已记死路。看到理由后，除非复潮条件明确满足，不要在本次方案中重新提出；若认为复潮条件已满足，须在本变更 decisions.md 记录新版本条目（D-xxx@vN+1）说明依据；跨变更引用他条目须带变更名限定（变更名#D-xxx@vN——同号不同变更互不相干）：'
         ]
         for (const h of rejectedHits.slice(0, 5)) {
-          lines.push(`- ${h.id} ${h.title}（${h.file}）${h.status === 'rejected' ? '' : ' ⚰️死路注记'}`)
+          lines.push(`- ${h.id} ${h.title}（${h.file}｜${decisionChangeQualifier(h.change)}）${h.status === 'rejected' ? '' : ' ⚰️死路注记'}`)
           lines.push(`  - ${h.status === 'rejected' ? '否决理由' : '死路'}：${h.status === 'rejected' ? (h.reason || '（未记录）') : deathPathNote(h.reason)}`)
           lines.push(`  - 复潮条件：${h.revisitWhen || '（未记录）'}`)
         }

package/src/run/stage.js

@@ -417,7 +417,7 @@ export async function runStage(pm, progress, stageName, cwd, changeName, skipApp
       // 进程内直调 runCommand 的入口（测试/编程调用）与 --change 指向不存在会话的形态。
       console.error(`❌ quick 通道已退役，无法启动 quick 会话（若带 --change 则该会话不存在或已清理）。`)
       console.error(`   新工作请走轻量变更（--input 引号内换行合法，可照抄）：`)
-      console.error('   sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>')
+      console.error('   sillyspec flow start --change <YYYY-MM-DD-名> --input "<一句中文概括（首行即变更标题）；随后动机与背景')
       console.error('')
       console.error('   成功标准：')
       console.error('   - <可验证标准>"')

package/src/sentinel-assertions.js

@@ -165,6 +165,48 @@ export function detectBatchCheckCadence(events) {
   return worst;
 }
 
+/**
+ * 侧车勾选突发检测（2026-10-14-tick-burst-sidecar-gate，纯函数）：task-ticks.jsonl 的毫秒级
+ * 时戳按相邻间隔窗口分簇——CLI 逐格快连点（收口一把点的官方路径形态）在事件流里是单格精确跳，
+ * 10-07 采样去重后对 detectBatchCheckCadence 不可见（近期实证：6 格 2 秒内/4 格 1 秒内零检出）；
+ * 侧车是 CLI tick 的事实源（随归档进 git、不受观测盲窗影响），收口节奏门回退消费本函数——
+ * CLI 与直接 Edit 两条路径同判。
+ * 语义：tickLog 同任务取最早（幂等重勾防御）+ 坏行跳过（task 形态/时戳有限性）+ 排序后按
+ * gap<=windowMs（缺省 60s，opts.windowMs 覆写）分簇；最大簇 size>=2 → 返回与事件流同形的
+ * batchTick 记录。from/to 是 CLI 勾序计数（Edit 翻格不记侧车，与事件流 checked N→M 计数空间
+ * 不同源）——resolveBatchTickAction 只消费跳幅（to-from）与 ts，语义等价；detail 带「侧车突发」
+ * 标注防口径混淆。fail-open：不足两格/空输入/全坏行 → null。
+ */
+export function detectTickBurst(tickLog, opts = {}) {
+  const windowMs = Number.isFinite(opts.windowMs) ? opts.windowMs : 60_000;
+  const byTask = new Map();
+  for (const r of Array.isArray(tickLog) ? tickLog : []) {
+    const task = String((r && r.task) || '').trim();
+    const ts = Number(r && r.ts);
+    if (!/^task-\d+$/.test(task) || !Number.isFinite(ts)) continue;
+    const prev = byTask.get(task);
+    if (prev === undefined || ts < prev) byTask.set(task, ts);
+  }
+  const ticks = [...byTask.values()].sort((a, b) => a - b);
+  if (ticks.length < 2) return null;
+  let worst = null;
+  let start = 0;
+  for (let i = 1; i <= ticks.length; i++) {
+    if (i < ticks.length && ticks[i] - ticks[i - 1] <= windowMs) continue;
+    const size = i - start;
+    if (size >= 2 && (!worst || size > worst.size)) {
+      worst = { size, from: start, to: i, ts: ticks[start], spanMs: ticks[i - 1] - ticks[start] };
+    }
+    start = i;
+  }
+  if (!worst) return null;
+  return {
+    from: worst.from, to: worst.to, size: worst.size, spanMs: worst.spanMs, ts: worst.ts,
+    source: 'tick-burst',
+    detail: `checked ${worst.from}→${worst.to}（task tick 侧车突发 ${worst.size} 格）`,
+  };
+}
+
 /**
  * 单拍勾选门决策（2026-09-29-batch-tick-gate，纯函数）：检出单拍跳（batchTick 非 null）
  * 时的收口动作裁决。镜像豁免分支退役（2026-10-07-thin-tasks-v3——任务面统一为 agent
@@ -193,4 +235,4 @@ export function resolveBatchTickAction({ batchTick, nonMirrorCount = null, allow
   return { action: 'reject', reason: 'agent-batch-tick' };
 }
 
-export default { detectFakeCheckCompletion, detectBatchCheckCadence };
+export default { detectFakeCheckCompletion, detectBatchCheckCadence, detectTickBurst };

package/src/stage-contract.js

@@ -1059,8 +1059,12 @@ const API_COVERAGE_HEADING_RE = /^## 接口验证覆盖矩阵/m
 const API_ENDPOINT_CELL_RE = /(GET|POST|PUT|DELETE|PATCH|HEAD|OPTIONS)\s+(\/[^\s|]+)/
 /** 声明占位行（D-005 零解析降级侧，骨架「本变更接口面：N 端点（agent 声明）」字面同源） */
 const API_DECLARED_ROW_RE = /本变更接口面[：:]\s*(\d+)\s*端点/
-/** design接口表# 锚点提取（解析级校验用——防空指，Grill #10：非物理行号，METHOD /path 形态） */
-const API_ANCHOR_DESIGN_API_RE = /design接口表#\s*(GET|POST|PUT|DELETE|PATCH|HEAD|OPTIONS)\s+(\/[^\s|，。；;）)]+)/g
+/** design接口表# 锚点提取（解析级校验用——防空指，Grill #10：非物理行号，METHOD /path 形态）。
+ *  字符类左右括号对称排除（坑 verify-close-gate-staggered-exposure，2026-10-15 消费仓 node 直调
+ *  实证：原只排右括号）不排左括号（——`GET /api/x（注记）` 的路径吞成 `/api/x（注记`，与解析面
+ *  永不匹配 → 恒空指，报错文案却指向「design.md 未命中」误导排查方向）。中文（英文、全/半角
+ *  四形与既有分隔符一并终止捕获。 */
+const API_ANCHOR_DESIGN_API_RE = /design接口表#\s*(GET|POST|PUT|DELETE|PATCH|HEAD|OPTIONS)\s+(\/[^\s|，。；;（）()]+)/g
 /** 探索行标记（骨架文法注释字面同源：证据列含 [探索]） */
 const API_EXPLORATION_MARK_RE = /\[探索\]/
 
@@ -1261,9 +1265,16 @@ export function judgeApiCoverageMatrix(args) {
     }
   }
   if (anchorViolations.length > 0) {
+    // 空指诊断（坑 verify-close-gate-staggered-exposure 建议③，2026-10-15 实证：报错只说「未命中
+    // 解析面」不展示解析面实际内容——「锚点吞字」与「design 缺表」分不清，agent 被引去改 design
+    // 文档白做功。附上 parseSet 实际端点集一眼对齐）。
+    const parseFaceDesc = parseSet.size > 0
+      ? [...parseSet].join('；')
+      : '（解析面为空——design.md 接口段未解析到端点，先表格化接口段再跑 verify-probes --init）'
     errors.push(
       `接口验证覆盖矩阵有 ${anchorViolations.length} 项证据锚点缺失/空指` +
       `（covered/partial 证据须含锚点五形态之一，可复制样例：design接口表#POST /api/xx（# 后必须 METHOD /path 且命中 design 接口段解析面，仅表名/行号不计）/ 权限矩阵[admin×读] / 契约表@任务卡字段清单 / DDL@users.id / 载荷@e2e_body.json；covered-service 证据须含测试锚点三形态之一：\`.test.\` 文件名 / file:line / 反引号包裹的测试名）：${anchorViolations.join('；')}。` +
+      `design 接口段实际解析面端点集：${parseFaceDesc}——design接口表# 锚点路径须与之逐字一致。` +
       `修复：在证据列补真实锚点（design接口表# 锚点须与 design.md 接口段端点一致，防编造端点）。`
     )
   }
@@ -1419,6 +1430,9 @@ function extractPermissionMatrixText(designMd) {
  *   - tasks/ 不存在（quick 会话/旧变更）或 verify-result.md 未落盘（中间步骤）→ no-op
  *   - factsExpected=false（存量未跑管线，resolveFactsExpected 同源口径）→ no-op 零行为
  *   - verify-facts.json（apiFace/consumerHints/handover，缺失容 null——fail-closed 归纯函数）
+ *   - context.apiFaceLive（可选，2026-10-14-gate-verify-apiface-preflight）：gate/derive 预检侧
+ *     以同一解析器实况解析 design.md 注入（与 --done backfill 产物同形同源，零落盘）——在场时
+ *     覆写 facts.apiFace 作解析产出集（过期 facts 不得赢），未注入行为与现状完全一致
  *   - 矩阵段 MD 槽解析（X-05 防篡改锚点：锚定当前文档实态）
  *   - resolveChangeRisk 声明面判级（design 文件清单 × blast 声明 + explicit，task-03）
  *   - design.md 权限矩阵段提取（fs 只读，壳非纯函数）
@@ -1441,9 +1455,18 @@ export function validateApiCoverageMatrix(cwd, changeName, context = {}) {
   // 2026-09-19-ceremony-pricing-five-cuts task-03：声明面判级（design 文件清单 × blast 声明 +
   // explicit；level 为五级词兼容字段——evidenceRequired → integration-critical）
   const riskProfile = resolveChangeRiskForChangeDir(changeDir, context.specRoot || specRoot || join(cwd, '.sillyspec'))
+  // gate/derive 预检注入（2026-10-14-gate-verify-apiface-preflight FR-01/FR-02）：facts.apiFace
+  // 唯一生产者是 run verify --done 收尾前置 backfill（run/gates.js），gate 路径不回填且 --init
+  // 刻意不落键 → 预检 parseSet 空/旧 → design接口表# 锚点恒空指（平台 6 轮 gate 实证）。调用方
+  // （machine-interface runGate/derive）以同一解析器实况解析 design.md 经 context.apiFaceLive
+  // 传入（本模块零 import verify-probes 纪律：注入不做函数调用）——与 --done backfill 产物同形
+  // 同源，在场时必须覆写 facts（过期 facts 不得赢），未注入时行为与现状完全一致。
+  const apiFace = context.apiFaceLive && typeof context.apiFaceLive === 'object'
+    ? context.apiFaceLive
+    : (facts && facts.apiFace && typeof facts.apiFace === 'object' ? facts.apiFace : null)
   return judgeApiCoverageMatrix({
     matrix: extractApiCoverageMatrixSlots(readFileSync(verifyResultPath, 'utf8')),
-    apiFace: facts && facts.apiFace && typeof facts.apiFace === 'object' ? facts.apiFace : null,
+    apiFace,
     consumerHints: facts && facts.consumerHints && typeof facts.consumerHints === 'object' ? facts.consumerHints : null,
     facts,
     factsExpected: true,