sillyspec 3.29.4 → 3.31.0

package/src/verify-probes.js

@@ -26,16 +26,18 @@
  */
 import { existsSync, readFileSync, readdirSync, statSync, writeFileSync } from 'fs'
 import { join, dirname, basename, resolve, isAbsolute, relative } from 'path'
-import jsYaml from 'js-yaml'
 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'
 import { RECEIPT_SOURCE_CROSS_LAYER_RE as RECEIPT_CROSS_LAYER_RE, RECEIPT_SOURCE_UNIT_RE as RECEIPT_UNIT_RE, CLI_SMOKE_SOURCE_MARK as SMOKE_RECEIPT_SOURCE_MARK } from './change-risk-profile.js'
 import { splitOwnVsForeignDiffFiles } from './foreign-declared.js'
 import { resolveSpecDir, resolveRuntimeRoot, detectWorktreeSpecDrift } from './run/shared.js'
@@ -1073,7 +1075,7 @@ function designHasSubmitEndpoint(text) {
 //   sectionHint（命中的接口段头列表，审计注记）。
 // 落盘面（数据通道=落盘即消费，stage-contract 零 import 纪律）：backfillFactsFromMdAndTests
 // 主路径写 facts.apiFace / facts.consumerHints，task-05 validator 经 facts 消费不经函数调用。
-const API_FACE_SECTION_RE = /接口|端点|api|rest/i
+const API_FACE_SECTION_RE = /接口|端点|\bapi\b|\brest\b/i // quick-B 词边界：OpenAPI 标题（api 前邻字母）不再误收进 sectionHint
 const API_FACE_METHOD_RE = /(?:^|[^A-Za-z])(GET|POST|PUT|DELETE|PATCH)(?![A-Za-z])/
 // 路径样式 token：/ 起始、前邻非字母数字（日期 2026/09/17 的 /09 前是数字段不认），
 // 首字符字母数字/_/-/{，后续段字符含 {}/: 模板形态（/orders/{id}、/orders/:id 全串命中）
@@ -1713,26 +1715,34 @@ const PROBE7_NONTESTABLE_RE = /文档|部署|doc|deploy|manual|config/i
 
 /**
  * 解析 task-NN.md frontmatter 的 acceptance（string/array 双形态归一为数组）。
- * 口径锚 src/stages/plan-postcheck.js acceptance best-effort 段（string → 原文单条、array →
- * 逐条）——不 import 它：parseTaskContracts 只返回 provides/expects_from 不含 acceptance。
+ * 解析归一 taskcard-frontmatter.js 单一源（2026-09-20-taskcard-yaml-hardgate：此前坏 YAML
+ * catch 返回 [] 冒充「无 acceptance」，探针 7 渲染假防御文案）——status 三态让调用方区分
+ * 「真无 acceptance」与「frontmatter 非法 YAML」。口径锚 src/stages/plan-postcheck.js
+ * acceptance best-effort 段（string → 原文单条、array → 逐条）。
  * @param {string} content task 卡全文
- * @returns {string[]|null} acceptance 条目数组；null = 无 frontmatter（调用方跳过该卡）；
- *   frontmatter 在场但无 acceptance / 非法 YAML → []（防御行，plan-postcheck 已拦缺失）
+ * @returns {{ status: 'no-frontmatter'|'invalid-yaml'|'ok', acceptance: string[],
+ *   error: {message: string, line: number, column: number}|null }}
+ *   no-frontmatter = 无 frontmatter（调用方跳过该卡）；invalid-yaml = frontmatter 非法 YAML
+ *   （acceptance 不可读，error 带文件 1 基行:列）；ok = 合法解析，acceptance 归一数组
+ *   （frontmatter 在场但无 acceptance → []，此时防御行为真——plan-postcheck 已拦缺失）
  */
 export function parseTaskAcceptance(content) {
-  const fmMatch = String(content || '').match(/^---\r?\n([\s\S]*?)\r?\n---/)
-  if (!fmMatch) return null
-  try {
-    const fmObj = jsYaml.load(fmMatch[1]) || {}
-    if (typeof fmObj.acceptance === 'string') {
-      const t = fmObj.acceptance.trim()
-      return t ? [t] : []
-    }
-    if (Array.isArray(fmObj.acceptance)) {
-      return fmObj.acceptance.filter(x => typeof x === 'string' && x.trim() !== '').map(x => x.trim())
+  const parsed = parseTaskFrontmatter(content)
+  if (!parsed.hasFrontmatter) return { status: 'no-frontmatter', acceptance: [], error: null }
+  if (!parsed.ok) return { status: 'invalid-yaml', acceptance: [], error: parsed.error }
+  const fmObj = parsed.fm || {}
+  if (typeof fmObj.acceptance === 'string') {
+    const t = fmObj.acceptance.trim()
+    return { status: 'ok', acceptance: t ? [t] : [], error: null }
+  }
+  if (Array.isArray(fmObj.acceptance)) {
+    return {
+      status: 'ok',
+      acceptance: fmObj.acceptance.filter(x => typeof x === 'string' && x.trim() !== '').map(x => x.trim()),
+      error: null,
     }
-  } catch { /* frontmatter 非法 YAML → 防御性空（plan-postcheck 侧已拦） */ }
-  return []
+  }
+  return { status: 'ok', acceptance: [], error: null }
 }
 
 /**
@@ -1939,6 +1949,12 @@ function renderProbe7Lines(p7) {
   for (const t of (p7.tasks || [])) {
     L.push('')
     L.push(`**${t.task}**`)
+    if (t.fmError) {
+      // 坏 YAML 如实陈述（2026-09-20-taskcard-yaml-hardgate）：非「无 acceptance」防御——
+      // plan 门禁 0b 硬校验应已拦截；已过 plan 门仍见此行 = 门禁失效信号（可反馈工具缺陷）
+      L.push(`- ⚠️ frontmatter 非法 YAML（${t.task}.md:${t.fmError.line}:${t.fmError.column} ${mdEscapeCell(t.fmError.message, 160)}）——acceptance 不可读，本行非「无 acceptance」防御；plan 门禁 frontmatter 硬校验应已拦截，若已过 plan 门仍见此行即门禁失效信号`)
+      continue
+    }
     if (!Array.isArray(t.acceptance) || t.acceptance.length === 0) {
       L.push('- （卡无 acceptance——防御，plan-postcheck 已拦）')
       continue
@@ -2138,10 +2154,17 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
       try {
         for (const f of readdirSync(tasksDir).filter(n => /^task-\d+\.md$/.test(n)).sort()) {
           const raw = readFileSync(join(tasksDir, f), 'utf8')
-          const acceptance = parseTaskAcceptance(raw)
-          if (acceptance === null) continue // 无 frontmatter → 跳过（plan-postcheck 已拦）
+          // 三态分流（2026-09-20-taskcard-yaml-hardgate）：no-frontmatter 跳卡（原 null 语义）；
+          // invalid-yaml 挂 fmError 进条目——渲染层区分「坏 YAML」与「真无 acceptance」防御行
+          const parsed = parseTaskAcceptance(raw)
+          if (parsed.status === 'no-frontmatter') continue // 无 frontmatter → 跳过（plan-postcheck 已拦）
           const fmId = (raw.match(/^id:\s*(\S+)/m) || [])[1]
-          cards.push({ task: fmId || f.replace(/\.md$/, ''), acceptance, raw })
+          cards.push({
+            task: fmId || f.replace(/\.md$/, ''),
+            acceptance: parsed.acceptance,
+            fmError: parsed.status === 'invalid-yaml' ? parsed.error : null,
+            raw,
+          })
         }
       } catch { /* tasks 目录不可读 → applicable 维持 false */ }
       probe7.applicable = cards.length > 0
@@ -2196,10 +2219,41 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
         probe7.tasks.push({
           task: card.task,
           acceptance: card.acceptance,
+          fmError: card.fmError || null,
           testFiles,
           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（探针行为不变，下次构建重试） */ }
     }
   }
 
@@ -2243,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：
@@ -2256,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 }
 }
 
 /**
@@ -2368,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')
 }
 
@@ -2565,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 --init` 刷新本段；判级 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) {
@@ -2582,7 +2653,7 @@ function renderApiCoverageMatrixLines(apiFace) {
     }
   } else {
     L.push(`| 本变更接口面：${declared} 端点（agent 声明） | <待填：五选一> | <待填：用例 ID> | <待填> | <待填：锚点> |`)
-    L.push('<!-- 解析零行降级（D-005）：接口面以 agent 声明为准（对账分母=声明数）；声明与实际不符时补 design 接口段表格后重跑 --init 刷新本段 -->')
+    L.push('<!-- 解析零行降级（D-005）：接口面以 agent 声明为准（对账分母=声明数）；声明与实际不符时补 design 接口段表格后重跑 --init --force 重生成本段（quick-B：--force 才有刷新通道，手填内容会重置先备份） -->')
   }
   L.push('<!-- advisory 尾注（warning 计算归 validator，本段只留位）：有消费端未填子行的端点将列于此（advisory——消费端归类=design 清单启发式，数据面 facts.consumerHints）；写端点（POST/PUT/DELETE/PATCH）未在权限矩阵段声明的将列于此（advisory——补行或显式豁免「无权限约束」，数据面 facts.apiFace.writeEndpoints；表缺行会让派生框架继承你的洞） -->')
   return L
@@ -2725,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 }
 }