sillyspec 3.29.5 → 3.30.0

package/src/verify-probes.js

@@ -28,11 +28,13 @@ import { existsSync, readFileSync, readdirSync, statSync, writeFileSync } from '
 import { join, dirname, basename, resolve, isAbsolute, relative } from 'path'
 import { gitQuiet, unquoteGitPath } from './git-helper.js'
 import { hasUnconfirmedPrefill } from './prefill.js'
+import { runUiVisualProbe, renderUiVisualProbeLines, readUiVisualGate } from './ui-visual.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 { writeChangeTrace, orphanAccRef } from './test-bindings.js'
 import { parseAllowedPaths, parseRepo, parseRepoRegistry } from './stages/plan-postcheck.js'
 import { verifyApiParity, _readWorktreeMeta } from './contract-matrix.js'
 import { parseTaskFrontmatter } from './taskcard-frontmatter.js'
@@ -2222,6 +2224,36 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
           hints: buildAcceptanceHints(card.acceptance, testFiles, cwd, wtRoot, probe7CrossRoots),
         })
       }
+      // ── trace 落盘（2026-09-24-fr-test-bindings task-03，fr-test-binding 写侧）：矩阵归属
+      //    行→candidate（requirement_ids join→局部 FR 锚；无锚→orphan 指纹 row_id，D-005）。
+      //    预填≠确认（discovery=machine/confirmed_by=null）；fail-open：落盘异常不炸探针。──
+      try {
+        if (probe7.applicable && changeName) {
+          const traceRows = []
+          for (const t of probe7.tasks) {
+            if (!Array.isArray(t.testFiles) || t.testFiles.length === 0) continue
+            const card = cards.find(c => c.task === t.task)
+            const reqIds = ((String(card && card.raw || '').match(/^requirement_ids:\s*\[([^\]]*)\]/m) || [])[1] || '')
+              .split(',').map(x => x.trim().replace(/['"]/g, '')).filter(Boolean)
+            ;(t.acceptance || []).forEach((item, i) => {
+              traceRows.push({
+                anchor: reqIds[0] || null,
+                row_id: changeName + ':' + t.task + ':' + orphanAccRef(i, String(item)),
+                tests: t.testFiles,
+                reason: 'spec',
+                state: 'candidate',
+                discovery: 'machine',
+                confirmed_by: null,
+                source_change: changeName,
+              })
+            })
+          }
+          if (traceRows.length > 0) {
+            const w = writeChangeTrace(join(specBase, 'changes', changeName), changeName, traceRows)
+            if (w.changed) console.log('🔗 探针 7 绑定候选落盘：' + traceRows.length + ' 行 → ' + w.path)
+          }
+        }
+      } catch { /* trace 落盘 fail-open（探针行为不变，下次构建重试） */ }
     }
   }
 
@@ -2265,6 +2297,16 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
     probe11.warnings = [`探针 11 执行失败（fail-soft 跳过）：${e && e.message ? e.message : e}`]
   }
 
+  // ── 探针 12：UI 视觉证据（分级门；2026-09-27-ui-visual-guidance——过程引导的收口对账面：
+  // 只验证据在场不产新证据；缺证据默认 ⚠️，ui_visual_gate=error 升阻断；视觉降级无用户
+  // 裁决留痕恒 error（堵 D-004 型静默降级）。fail-soft 同 8-11。──
+  let probe12 = { applicable: false, uiTouched: false, level: 'ok', notes: [] }
+  try {
+    probe12 = runUiVisualProbe({ changeDir: join(specBase, 'changes', changeName), gate: readUiVisualGate(specBase) })
+  } catch (e) {
+    probe12.notes = [`探针 12 执行失败（fail-soft 跳过）：${e && e.message ? e.message : e}`]
+  }
+
   // ── 接口面 + 消费端归类（task-04 / FR-05 / D-005~D-007）：design.md 接口段 tolerant
   // 解析 + 清单消费端归类——骨架「## 接口验证覆盖矩阵」段预填与 facts 落盘
   // （backfillFactsFromMdAndTests）共用同一解析器（单一产物源，不各读各的）。fail-soft：
@@ -2278,7 +2320,7 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
     }
   } catch { /* design 读/解析异常 → 空面（fail-soft） */ }
 
-  return { probe1, probe3, probe5, probe6, probe7, probe8, probe9, probe10, apiFace, consumerHints }
+  return { probe1, probe3, probe5, probe6, probe7, probe8, probe9, probe10, probe12, apiFace, consumerHints }
 }
 
 /**
@@ -2390,6 +2432,8 @@ export function renderVerifyProbesReport(result) {
   L.push(...(renderProbe10Lines(result.probe10 || { applicable: false, checkedFiles: 0, unclearedFiles: [], notes: [] })))
   // 探针 11 紧随 10；旧 result 无 probe11 键 → 不适用兜底（8/9/10 同款零回归口径）。
   L.push(...(renderProbe11Lines(result.probe11 || { applicable: false, entryCount: 0, findings: [], warnings: [] })))
+  // 探针 12 紧随 11（UI 视觉证据分级门）；旧 result 无 probe12 键 → 不适用兜底零回归。
+  L.push(...(renderUiVisualProbeLines(result.probe12 || { applicable: false, notes: [] })))
   return L.join('\n')
 }
 
@@ -2587,10 +2631,15 @@ function renderApiCoverageMatrixLines(apiFace) {
   const declared = face && typeof face.declared === 'number' ? face.declared : null
   const L = [`${API_MATRIX_HEADING} [层：人工判断——CLI 预填复核]`]
   L.push('<!-- 口径注记（与探针 7 互指，R-07）：探针 7 = 验收项 × 测试承接面（每条 acceptance 由哪些测试承接）；本矩阵 = 接口端点 × 验证用例面（design 接口段每个端点由哪些验证用例/冒烟步骤覆盖）——两者并排互补，双矩阵并行存在。端点集来自 design.md 接口段 tolerant 解析（parseDesignApiTable：段头宽收 + 方法/路径双条件），预填≠结论，agent 逐行复核。判定枚举（五选一）：covered / covered-service / partial / uncovered / non-testable——covered-service 适用：端点行为由 service 层等非端点层测试锁定；证据须含测试文件锚点三形态之一（`.test.` / file:line / 反引号包裹的路径或测试名）。 -->')
-  L.push('<!-- 预填说明：端点行由 CLI 机械预填，判定/用例依据 ID/结果/证据由 agent 逐格填写——用例依据 ID 锚点五形态：design接口表#METHOD /path、权限矩阵[角色×动作]、契约表@行标识、DDL@列名、载荷@构造点路径（须真实命中对应表/段，防空指）。 -->')
+  L.push('<!-- 预填说明：端点行由 CLI 机械预填，判定/用例依据 ID/结果/证据由 agent 逐格填写——用例依据 ID 锚点五形态（可复制样例）：design接口表#POST /api/xx（# 后必须 METHOD /path，仅表名/行号/散文描述不计命中）、权限矩阵[admin×读]、契约表@任务卡字段清单、DDL@users.id、载荷@e2e_body.json（须真实命中对应表/段，防空指）。 -->')
   L.push('<!-- 文法注释：子行 = 端点行下一行、两空格缩进、以「↳ <消费端>:」前缀书写（消费端细分承接面，不计矩阵行账）；探索行 = 判定 uncovered 且证据列含 [探索] 标记（探索性验证不算覆盖）。 -->')
   if (endpoints.length === 0 && declared === null) {
-    L.push('- 无接口面（design 接口段解析零端点且无「本变更接口面：N 端点」声明行）——本变更若实际触碰接口，先补 design 接口段表格或声明行，再重跑 `verify-probes --change <变更名> --init --force` 重生成本段（⚠️ 全骨架重生成，手填结论会重置——先备份；quick-B 起 --force 通道存在）；判级 critical 的零面拦截归 validator')
+    // 分诊（2026-09-23 执行会话实证：散文式接口定义（### 标题+prose）解析零端点，提示被埋没——
+    // sectionHint 非空 = 接口段标题在场而行解析零，定向报「表格形态才进矩阵」，左移修复时机）
+    const sectionHeads = face && Array.isArray(face.sectionHint) ? face.sectionHint : []
+    L.push(sectionHeads.length > 0
+      ? `- 无接口面（检测到接口段标题「${sectionHeads[0]}」但表格解析零端点）——矩阵只解析表格形态（每端点一行 METHOD | path），散文式接口定义不进矩阵。修复：接口定义改为表格（每端点一行 METHOD /path）或加声明行「本变更接口面：N 端点」，再重跑 \`verify-probes --change <变更名> --init --force\` 重生成本段（⚠️ 全骨架重生成，手填结论会重置——先备份）；判级 critical 的零面拦截归 validator`
+      : `- 无接口面（design 接口段解析零端点且无「本变更接口面：N 端点」声明行）——本变更若实际触碰接口，先补 design 接口段表格或声明行，再重跑 \`verify-probes --change <变更名> --init --force\` 重生成本段（⚠️ 全骨架重生成，手填结论会重置——先备份）；判级 critical 的零面拦截归 validator`)
     return L
   }
   if (endpoints.length > 0 && declared !== null && declared !== endpoints.length) {
@@ -2747,6 +2796,13 @@ export function writeVerifyFacts(changeDir, result, changeName, opts = {}) {
   } catch { /* 首次落盘/v1/损坏 → 全新快照（v1 无固化段，直接升 v2） */ }
   writeFileSync(factsPath, JSON.stringify(facts, null, 2) + '\n')
   console.log(`📝 已刷新 verify-facts.json 机器底稿: ${factsPath}（v2 分段合并，固化段保留；CLI 全权写，勿手改）${opts.platformNote || ''}`)
+  // 左移警告（2026-09-23 执行会话实证：散文式接口定义到 verify 期才被零面拦下，表格形态要求
+  // 埋在骨架注记里没人看——--init 刷完 facts 就在控制台点名，修复时机从 verify 收口提前到此刻）
+  const face = result && result.apiFace
+  if (face && Array.isArray(face.sectionHint) && face.sectionHint.length > 0
+    && (!face.endpoints || face.endpoints.length === 0) && face.declared == null) {
+    console.warn(`⚠️ design 检测到接口段标题「${face.sectionHint[0]}」但表格解析零端点——接口验证覆盖矩阵只解析表格形态（每端点一行 METHOD | path），散文式接口定义不进矩阵。修复：design.md 接口定义改表格或加声明行「本变更接口面：N 端点」后重跑 --init。`)
+  }
   return { facts, path: factsPath }
 }