sillyspec 3.32.9 → 3.32.10

package/src/verify-probes.js

@@ -1952,7 +1952,7 @@ function prefillMatrixCells(item, testFiles, hint) {
  * @param {{ applicable: boolean, tasks: Array<{task: string, acceptance: string[], testFiles: string[], hints: Record<number, {terms: string[], files: string[], anchors?: Array<{term: string, file: string, line: number}>}>}> }} p7
  * @returns {string[]} 行数组（含段标题；调用方自理前后空行）
  */
-function renderProbe7Lines(p7) {
+export function renderProbe7Lines(p7) {
   const L = [PROBE7_HEADING]
   if (!p7 || !p7.applicable) {
     L.push('- 不适用（无 TaskCard）')
@@ -1986,8 +1986,12 @@ function renderProbe7Lines(p7) {
     L.push('| acceptance 条目 | 归属测试文件 | 关键词命中（提示，命中≠判定） | 判定 | 证据 |')
     L.push('|---|---|---|---|---|')
     t.acceptance.forEach((item, i) => {
+      // 展示帽（坑 probe-noise-and-commit-suggest-quality 坑A，2026-10-15 消费仓实证：宽目录
+      // allowed_paths 递归把 82 个测试文件全量塞进单格（单行数千字符 ×3 行），信号全淹——照
+      // 探针 3 既有 slice 截断先例收敛为前 5 + 「共 N 个」折叠；路径经 mdEscapeCell 防竖线破表）
       const attribCell = (t.testFiles && t.testFiles.length > 0)
-        ? t.testFiles.map(f => `\`${f}\``).join('<br>')
+        ? t.testFiles.slice(0, 5).map(f => `\`${mdEscapeCell(f, 120)}\``).join('<br>')
+          + (t.testFiles.length > 5 ? `<br>…共 ${t.testFiles.length} 个（目录级候选全量在 facts/trace，归属按关键词命中与证据锚点收窄）` : '')
         : '无归属测试——判定大概率 uncovered'
       const h = (t.hints && t.hints[i]) || null
       const hintCell = h
@@ -2251,7 +2255,9 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
             if (t && isProbe7TestPath(t) && !fromDependents.includes(t)) fromDependents.push(t)
           }
         }
-        const testFiles = [...new Set([...fromAllowed, ...fromReview, ...fromDependents])]
+        // 收集帽（坑 probe-noise-and-commit-suggest-quality 坑A）：目录级 allowed_paths 递归可卷
+        // 入整仓测试树（实证 82 个）——去重后截前 20（展示层另有 5 个硬帽；hints/trace 消费同集）
+        const testFiles = [...new Set([...fromAllowed, ...fromReview, ...fromDependents])].slice(0, 20)
         // 无归属卡注入 FR 关联回归既有用例候选（task-02；有归属卡 existingTests 恒空——零噪音）
         const existingTests = []
         if (frLinkedExisting && testFiles.length === 0) {
@@ -2259,7 +2265,7 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
             if (isProbe7TestPath(f) && !existingTests.includes(f)) existingTests.push(f)
           }
         }
-        const finalTestFiles = existingTests.length > 0 ? [...new Set([...testFiles, ...existingTests])] : testFiles
+        const finalTestFiles = existingTests.length > 0 ? [...new Set([...testFiles, ...existingTests])].slice(0, 20) : testFiles
         probe7.tasks.push({
           task: card.task,
           acceptance: card.acceptance,
@@ -2663,6 +2669,33 @@ const API_MATRIX_HEADING = '## 接口验证覆盖矩阵'
 // 权限矩阵段有对应行或显式豁免（「无权限约束」）——warning 计算归 task-05，此处只定集合。
 const API_MATRIX_WRITE_METHODS = new Set(['POST', 'PUT', 'DELETE', 'PATCH'])
 
+/**
+ * design.md 接口段实况解析面（gate/derive 预检注入用，2026-10-14-gate-verify-apiface-preflight）：
+ * 与 backfillFactsFromMdAndTests 落盘的 facts.apiFace 同形同源（同一 parseDesignApiTable、同一
+ * writeEndpoints 过滤——单一产物源，禁第二套解析文法），零落盘。背景：facts.apiFace 唯一生产者
+ * 是 run verify --done 收尾前置 backfill（run/gates.js），gate 路径不回填且 --init 刻意不落键 →
+ * 预检 parseSet 空/旧 → design接口表# 锚点恒空指（平台 6 轮 gate 实证）。gate 侧经本 helper
+ * 实况解析后经 context.apiFaceLive 注入 validator（stage-contract 零 import 纪律：注入不做
+ * 函数调用），「预检过=必过」对锚点核对成立；design.md 缺失/不可读返回 null（调用方不注入，
+ * 退回 facts 口径——2026-10-14 评审 P1：空面注入会覆写有效 facts.apiFace 反致误阻断）、解析
+ * 异常由调用方 fail-soft 承接（不注入退回 facts）。
+ * @param {string} designPath changeDir/design.md 路径（缺失/不可读 → null=不注入信号）
+ * @returns {{ endpoints: Array<{method: string, path: string, rowIdx: number}>, declared: number|null, writeEndpoints: Array }|null}
+ */
+export function computeApiFaceFromDesign(designPath) {
+  let designText = null
+  if (existsSync(designPath)) {
+    try { designText = readFileSync(designPath, 'utf8') } catch { designText = null }
+  }
+  if (designText === null) return null
+  const face = parseDesignApiTable(designText)
+  return {
+    endpoints: face.endpoints,
+    declared: face.declared,
+    writeEndpoints: face.endpoints.filter(e => e && API_MATRIX_WRITE_METHODS.has(e.method)),
+  }
+}
+
 /**
  * 渲染「## 接口验证覆盖矩阵」段（task-04）。
  * 三态：解析有端点 → 逐端点预填行（判定列 `<待填：五选一>` 占位，同 probe7 预填口径供 agent
@@ -2731,7 +2764,12 @@ export function buildVerifyFacts(result, { changeName, now } = {}) {
   // v2（2026-09-08-ir-verify-facts）：probes 机器段原样；conclusion/tests/requiredEvidence/
   // runtimeEvidence/factsConsistency 五段是 slot-backfill/实测回填段（D-001@v2），--init 快照
   // 不落键（writeVerifyFacts 分段合并时保留既有固化段），由 backfillFactsFromMdAndTests 填。
-  return {
+  // apiFace 例外（坑 verify-close-gate-staggered-exposure 建议③连带，2026-10-15 消费仓实证）：
+  // --init 即落键——runVerifyProbes 的 apiFace 与 --done backfill 同源同形（computeApiFaceFromDesign），
+  // 原「刻意不落」使「重跑 --init 刷新 facts」救不了空指预检（报错文案也没提这一点），且空指
+  // 诊断方向被误导去改 design 文档。键只在值在场时出现（undefined 值键会在 writeVerifyFacts
+  // 合并 spread 时覆盖 prev 固化段）。
+  const factsSkeleton = {
     schemaVersion: 2,
     change: changeName,
     generatedAt: now || new Date().toISOString(),
@@ -2796,6 +2834,8 @@ export function buildVerifyFacts(result, { changeName, now } = {}) {
       },
     },
   }
+  if (result && result.apiFace && typeof result.apiFace === 'object') factsSkeleton.apiFace = result.apiFace
+  return factsSkeleton
 }
 
 /**
@@ -2832,7 +2872,16 @@ export function writeVerifyFacts(changeDir, result, changeName, opts = {}) {
   try {
     const prev = JSON.parse(readFileSync(factsPath, 'utf8'))
     if (prev && prev.schemaVersion === FACTS_SCHEMA_VERSION) {
+      // backfill 固化段保留（坑 verify-close-gate-staggered-exposure，2026-10-15）：旧白名单只保
+      // 五段，re-init 会把 --done 回填的 apiFace/consumerHints/handover/dbScriptDeclarations 等
+      // 整个抹掉（--init 后预检又空指）。此处先铺 prev 固化段再被 fresh 覆盖：apiFace 由 fresh
+      // 侧重算（同源 computeApiFaceFromDesign，值应等价），fresh 未带的键原样保留。
+      const preservedBackfill = {}
+      for (const k of ['apiFace', 'consumerHints', 'handover', 'dbScriptDeclarations', 'matrixPartialRows', 'smokeRan']) {
+        if (prev[k] !== undefined) preservedBackfill[k] = prev[k]
+      }
       facts = {
+        ...preservedBackfill,
         ...fresh,
         conclusion: prev.conclusion,
         tests: prev.tests,
@@ -3140,20 +3189,14 @@ export function backfillFactsFromMdAndTests(factsPath, { verifyMd, testCheckResu
   // validator 判 N=0 走零行为注记）；与 runVerifyProbes 同一解析器（单一产物源）。
   {
     const changeDir = dirname(factsPath)
-    const designPath = join(changeDir, 'design.md')
-    let designText = null
-    if (existsSync(designPath)) {
-      try { designText = readFileSync(designPath, 'utf8') } catch { designText = null }
-    }
-    const face = parseDesignApiTable(designText || '')
-    facts.apiFace = {
-      endpoints: face.endpoints,
-      declared: face.declared,
-      writeEndpoints: face.endpoints.filter(e => e && API_MATRIX_WRITE_METHODS.has(e.method)),
-    }
+    // backfill 契约=恒落对象面（缺失/不可读 → 空面，基线口径不变）：helper 的 null 是 gate
+    // 注入通道的「不注入」信号，非 backfill 落盘形态（2026-10-14 评审 P3——null 落盘会让
+    // 「design 蒸发×矩阵段缺失×严格档」窄角从基线 error 降 warning，重构不得夹带行为变化）。
+    facts.apiFace = computeApiFaceFromDesign(join(changeDir, 'design.md'))
+      || { endpoints: [], declared: null, writeEndpoints: [] }
     let designPaths = []
-    if (designText !== null) {
-      try { designPaths = parseFileChangeListDetailed(designPath).map(e => String(e.path)) } catch { designPaths = [] }
+    if (existsSync(join(changeDir, 'design.md'))) {
+      try { designPaths = parseFileChangeListDetailed(join(changeDir, 'design.md')).map(e => String(e.path)) } catch { designPaths = [] }
     }
     facts.consumerHints = classifyConsumerHints(designPaths)
   }

package/templates/agents-instruction.md

@@ -15,7 +15,7 @@
 `--input` 过门格式（轻量道首次调用即过，勿靠报错学；引号内换行合法，下例可照抄）：
 
 ```bash
-sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>
+sillyspec flow start --change <YYYY-MM-DD-名> --input "<一句中文概括（首行即变更标题）；随后动机与背景
 
 成功标准：
 - <可验证标准>"