sillyspec 3.28.0 → 3.28.3

package/src/verify-probes.js

@@ -13,6 +13,9 @@
  * verify-result.md 骨架：七章节固定结构 + 探针结果机械预填 + 其余章节 <!--TODO--> 占位。
  * 结论章节留「待填」——extractVerifyConclusion 找不到 PASS/FAIL 关键词即判不过，骨架不能
  * 直接过门（与 symbol-impact 骨架同款防偷懒语义）。
+ * P3b 增量：①章节标题行末尾 claims 层标注（可复跑探针/确定性检查/人工判断，纯后缀不新增行）；
+ * ②--init 同步落盘 verify-facts.json 机器底稿（探针命令行 + 首跑关键指标 + 时间戳，CLI 全权写，
+ * 供事后独立复跑审计；重复 --init 覆盖为最近一次 init 快照）。
  */
 import { existsSync, readFileSync, readdirSync, writeFileSync } from 'fs'
 import { join, dirname, basename } from 'path'
@@ -289,9 +292,85 @@ export function renderVerifyProbesReport(result) {
   return L.join('\n')
 }
 
+/**
+ * 从 runVerifyProbes 结果构造 verify-facts.json 机器底稿对象（P3b 可复跑审计底稿）。
+ * 命令行统一 `sillyspec verify-probes --change <name>`；指标 fail-soft——字段不可得时少列
+ * 该键而非报错（probe5 形态随 verifyApiParity 演进，宁可少列不可失真）。
+ * @param {{ probe1?: object, probe3?: object, probe5?: object, probe6?: object }} result
+ * @param {{ changeName?: string, now?: string }} [opts] now 缺省取当前时刻（ISO）
+ * @returns {{ schemaVersion: number, change: string, generatedAt: string, probes: object }}
+ */
+export function buildVerifyFacts(result, { changeName, now } = {}) {
+  const command = `sillyspec verify-probes --change ${changeName}`
+  // undefined 值键不进 metrics（「取不到的字段宁可少列」）
+  const defined = (o) => Object.fromEntries(Object.entries(o).filter(([, v]) => v !== undefined))
+  const len = (a) => (Array.isArray(a) ? a.length : undefined)
+  const num = (v) => (typeof v === 'number' ? v : undefined)
+  const p1 = (result && result.probe1) || {}
+  const p3 = (result && result.probe3) || {}
+  const p5 = (result && result.probe5) || {}
+  const p6 = (result && result.probe6) || {}
+  return {
+    schemaVersion: 1,
+    change: changeName,
+    generatedAt: now || new Date().toISOString(),
+    probes: {
+      probe1: {
+        command,
+        metrics: defined({
+          matches: len(p1.matches),
+          skippedFiles: len(p1.skippedFiles),
+          worktreeHits: num(p1.worktreeHits),
+          globEntries: len(p1.globEntries),
+        }),
+      },
+      probe3: {
+        command,
+        metrics: defined({
+          tasks: len(p3.tasks),
+          hasTest: Array.isArray(p3.tasks) ? p3.tasks.filter(t => t && t.hasTest).length : undefined,
+        }),
+      },
+      probe5: {
+        command,
+        metrics: defined({
+          backendEndpoints: num(p5.backendCount),
+          frontendCalls: num(p5.frontendCount),
+        }),
+      },
+      probe6: {
+        command,
+        metrics: defined({
+          deletions: len(p6.deletions),
+          unavailable: typeof p6.unavailable === 'boolean' ? p6.unavailable : undefined,
+        }),
+      },
+    },
+  }
+}
+
+/**
+ * verify-probes --init 落盘 verify-facts.json（CLI 全权写）。重复 --init 无条件覆盖——语义是
+ * 「最近一次机械预填的审计底稿快照」（骨架已存在跳过时 facts 照样刷新），agent 勿手改：
+ * 事后复跑审计的对照快照，防篡改一致性检查的对比基准是 verify-result.md 正文（非本文件）。
+ * @param {string} changeDir 变更目录（spec 根下 changes/<name>）
+ * @param {object} result runVerifyProbes 返回值
+ * @param {string} changeName 变更名（统一命令行呈现）
+ * @returns {{ facts: object, path: string }}
+ */
+export function writeVerifyFacts(changeDir, result, changeName) {
+  const facts = buildVerifyFacts(result, { changeName })
+  const factsPath = join(changeDir, 'verify-facts.json')
+  writeFileSync(factsPath, JSON.stringify(facts, null, 2) + '\n')
+  console.log(`📝 已刷新 verify-facts.json 机器底稿: ${factsPath}（CLI 全权写，勿手改）`)
+  return { facts, path: factsPath }
+}
+
 /**
  * 生成 verify-result.md 骨架（七章节；探针结果机械预填，语义章节 <!--TODO--> 占位）。
  * 结论章节留「待填」——extractVerifyConclusion 无 PASS/FAIL 关键词即判不过，骨架不能直接过门。
+ * 章节标题行末尾带 claims 层标注（P3b）：探针结果=可复跑探针 / 测试结果=确定性检查 / 其余=
+ * 人工判断——纯渲染层后缀，不新增行，verify gate 结论提取按关键词窗口制不受影响。
  * @returns {string|null} 骨架全文；无 design.md/tasks.md（非完整流程变更）→ null
  */
 export function generateVerifyResultSkeleton(result) {
@@ -301,33 +380,33 @@ export function generateVerifyResultSkeleton(result) {
     '> 探针结果已机械预填；其余章节把 `<!--TODO-->` 替换为真实内容。**结论必须写明 PASS / FAIL**——',
     '> 留「待填」会被 gate 判不过（fail-closed）。',
     '',
-    '## 结论：<待填：PASS 或 FAIL（+一句话理由）>',
+    '## 结论：<待填：PASS 或 FAIL（+一句话理由）> [层：人工判断]',
     '',
-    '## 任务完成度',
+    '## 任务完成度 [层：人工判断]',
     '<!--TODO: 逐 task 对照 tasks.md 勾选与验收标准，完成/未完成/存疑三态-->',
     '',
-    '## 设计一致性',
+    '## 设计一致性 [层：人工判断]',
     '<!--TODO: 实现与 design.md 的偏差（无偏差也显式写「一致」）-->',
     '',
-    '## 探针结果（CLI 机械预填）',
+    '## 探针结果（CLI 机械预填） [层：可复跑探针——gate 抽查防篡改]',
     renderVerifyProbesReport(result),
     '',
-    '## 测试结果',
+    '## 测试结果 [层：确定性检查——CLI 实测对账]',
     '<!--TODO: 测试命令 + 结果（通过数/失败数；known_failures 豁免逐条注明）-->',
     '',
-    '## 决策追踪矩阵（如存在 decisions.md；无则删本节）',
+    '## 决策追踪矩阵（如存在 decisions.md；无则删本节） [层：人工判断]',
     '<!--TODO: | 决策 ID | FR | Task | Evidence | 状态 |（D-xxx@vN → FR-xxx → task → 证据回指闭环）-->',
     '',
-    '## 技术债务',
+    '## 技术债务 [层：人工判断]',
     '<!--TODO: TODO/FIXME/HACK 统计（探针 1 的命中已预填在上方探针结果）-->',
     '',
-    '## 变更风险等级',
+    '## 变更风险等级 [层：人工判断]',
     '<!--TODO: doc-only / unit-sufficient / contract-required / integration-critical / deployment-critical；若 design.md frontmatter 有 risk_level 显式声明，写明「显式声明 = <等级>」+ 理由；若有命中被同句否定语境抑制（如「不新增 daemon 协议」），写明被抑制关键词与理由（抑制可审计，不许用来静默降级）-->',
     '',
-    '## Runtime Evidence',
+    '## Runtime Evidence [层：人工判断]',
     '<!--TODO: 关键命令输出/时间戳/commit hash 证据链；integration/deployment-critical 必填，按实际触碰的运行时组件写（启动命令/端点/请求响应/日志片段/生命周期终态断言/失败模式排除），未涉及的行写「不涉及」-->',
     '',
-    '## 代码审查',
+    '## 代码审查 [层：人工判断]',
     '<!--TODO: 问题列表 + 总体评价-->',
     '',
   ]

package/src/workflow.js

@@ -14,6 +14,7 @@ import { join, resolve, basename } from 'path'
 import jsYaml from 'js-yaml'
 import { WORKFLOW_STATUS } from './constants.js'
 import { contentNonEmpty, lineCount, missingSections, placeholderLineMatches } from './check-primitives.js'
+import { collectInvalidDocRefs } from './docs-check.js'
 
 // ─── Workflow 加载 ───
 
@@ -214,6 +215,35 @@ function checkOutput(outputDef, projectName, cwd, specBase) {
         }
         break
       }
+      case 'ref_exists': {
+        // 引用事实核验（archify 借鉴，2026-09-04）：层1+层2 联合核验，语义与
+        // scan-postcheck 的 scan_doc_ref_invalid 单一源（collectInvalidDocRefs）。
+        // min = 文档至少须含的 file:line 引用条数（缺省 1；显式 0 = 只核验有效性不求数量）。
+        if (existsSync(fullPath)) {
+          const min = check.min ?? 1
+          let verified
+          try {
+            verified = collectInvalidDocRefs(cwd, [{ name: rawPath, absPath: fullPath }])
+          } catch {
+            // 核验器故障 fail-open（与 scan-postcheck 的 checkScanDocRefs 同口径），不伪装成「引用数不足」
+            results.push({ passed: true, check: `ref_exists(${min})`, detail: '引用核验器异常，跳过（fail-open）' })
+            break
+          }
+          const enough = verified.totalRefs >= min
+          const passed = verified.invalid.length === 0 && enough
+          let detail = ''
+          if (!enough) {
+            const crossNote = verified.skippedCrossRepo > 0 ? `（另有 ${verified.skippedCrossRepo} 条 repo:// 跨仓引用未计入）` : ''
+            detail = `file:line 引用仅 ${verified.totalRefs} 条，要求至少 ${min} 条${crossNote}: ${rawPath}`
+          } else if (verified.invalid.length > 0) {
+            detail = `${verified.invalid.length} 条引用未通过核验: ${verified.invalid.slice(0, 3).map(i => `${i.ref}（${i.reason}）`).join('; ')} — ${rawPath}`
+          }
+          results.push({ passed, check: `ref_exists(${min})`, detail })
+        } else {
+          results.push({ passed: false, check: `ref_exists(${check.min ?? 1})`, detail: `文件不存在: ${rawPath}` })
+        }
+        break
+      }
       default:
         results.push({ passed: true, check: check.type, detail: `未知检查类型，跳过: ${check.type}` })
     }

package/templates/agents-instruction.md

@@ -11,7 +11,7 @@
 5. **执行顺序**：文档 → 读代码 → 写测试 → 写实现 → 跑测试 → 验收 → 更新文档。
 6. **判规模选档**：≤3 文件、范围明确走 `quick`；多阶段 / 架构级走完整流程。
 7. **代码先行不补流程（倒推 B 模式）**：代码若已先写好，**不回头补 brainstorm/plan 装样子**——用 `quick --done` 收尾 + 补 quicklog 条目，把已落盘改动如实登记进进度库。
-8. **实证核验再 `--done`**：`quick --done` 前，触及 `src`/`test` 的改动先 `npm test` + `npm run lint`；纯 doc/配置改动可跳过（lint 不扫 docs/，空转无信息），以落盘文件与测试结果为准，不信口头"已完成"。
+8. **实证核验再 `--done`**：触及 `src`/`test` 的改动，CLI 会在 `quick --done` 时**亲自实测** `.sillyspec/local.yaml` 的 `commands.test` / `commands.lint`（门禁：实测失败阻断 --done 回 pending；纯 doc/配置与未配置命令自动跳过；倒推 B 模式按 --files 声明边界兜底判定）。agent 侧预跑**可选**——想省「--done 被拦→修复→重跑」一轮时才预跑；纯 doc/配置改动无需跑。以落盘文件与测试结果为准，不信口头"已完成"。
 9. **中途停下不靠额外命令存进度**——进度已由上一次 `--done` 自动落盘；恢复时用 `sillyspec progress show` 查看进度，再用 `sillyspec run <stage>` 续跑，不直接 commit 半成品。
 10. **实现完成后对照文档验收**（design.md / 模块文档），并检查是否影响已有测试。
 11. **非测试逻辑本身有误时，禁止改测试来"通过"**——修逻辑，不修测试。

package/templates/prompts/taskcard-rules.md

@@ -10,6 +10,11 @@ TaskCard 格式规则（必须严格遵守）：
 - 不需要：修改文件章节、覆盖来源章节、接口定义章节、TDD 步骤章节、参考章节
 - frontmatter 必须以三减号结尾闭合（开头和结尾各一行 ---）。缺结尾会让 postcheck 提取不到 frontmatter，误报「字段缺失 / allowed_paths 为空」
 - allowed_paths 用块式写法（键名换行后每项一行「  - 路径」），不要用流式方括号 [path]——块式与所有校验器一致最稳
+- target_files 是可选字段：对账用精确文件级意图声明——列出本 task 计划改动的文件，供事后「计划改哪些 vs 实际改了哪些」对账；无明确文件级意图时保留骨架带出的 `target_files: []` 空占位不动，不猜清单（空 `[]` 是唯一允许的流式写法，填入实际路径后必须改块式）
+  - 格式：块式列表（`target_files:` 换行后每项一行「  - 路径」），精确文件路径、仓根相对、正斜杠；当前不存在、将由本 task 新建的文件加 `NEW:` 前缀
+  - 正例：`target_files:` + `  - src/taskcard.js`（已存在文件，精确路径）+ `  - NEW:src/foo.js`（本 task 将新建的文件）
+  - 反例：`  - src/**`（禁 glob）、`  - src/dir/`（禁目录前缀）、`  - C:\repo\src\a.js` 或 `  - /repo/src/a.js`（禁绝对路径）——对账按精确路径逐字匹配，任何非精确形态永不命中
+  - 与 allowed_paths 的语义区别（两者并存、不可互替）：allowed_paths 是 worktree 写入守卫白名单（子代理只被授权改这些路径），目录前缀与 glob 合法（覆盖性授权）；target_files 是对账用精确文件级意图声明，禁 glob、禁目录前缀、禁绝对路径——且 target_files 列出的每个文件都应落在 allowed_paths 的授权范围内
 - implementation / acceptance / constraints / verify 的每条列表项是 YAML plain scalar，避免以下特殊字符触发 ScannerError：
   - 冒号+空格（如代码签名 provider_id:str、queryUsage(id:string)）会被当映射键报 mapping values are not allowed here——去掉冒号后空格或改成中文描述
   - 花括号且内部含冒号或引号（如 JS 对象、JS 模板字面量）会报 expected block end——改用不含这些字符的中文描述

package/templates/workflows/scan-docs.yaml

@@ -21,9 +21,12 @@ roles:
             min: 20
           - type: contains_sections
             sections: ["技术栈", "架构概览"]
+          - type: ref_exists
+            min: 3
     constraints:
       - "禁止读源码全文，只用 grep/rg 搜索"
       - "Schema 只记表名+说明+字段数"
+      - "关键架构事实（模块职责/技术栈组件/数据存储）带反引号 path:line 引用，禁止猜行号——postcheck 逐条核验"
 
   - id: conventions
     name: "代码约定"
@@ -65,9 +68,12 @@ roles:
           - type: file_exists
           - type: min_lines
             min: 15
+          - type: ref_exists
+            min: 1
     constraints:
       - "STRUCTURE: 目录树+模块说明"
       - "INTEGRATIONS: 按类型分组外部依赖"
+      - "外部集成条目带反引号 path:line 引用（真实可核验），禁止猜行号"
 
   - id: quality
     name: "测试+债务+概览"

package/.claude/skills/verify-per-user/SKILL.md

@@ -1,6 +0,0 @@
----
-name: verify-per-user
-description: verify
----
-
-# test