sillyspec 3.28.9 → 3.28.11

package/src/sync.js

@@ -18,7 +18,7 @@ import { safeGit } from './git-helper.js';
 import { openDatabase } from './db-engine.js';
 import { PLATFORM_MANAGED_FILENAME, QUICK_SID_RE } from './run/shared.js';
 import { syncSpecTree } from './spec-sync.js';
-import { bindSyncNoiseFromCwd, syncConnectionWarn, isConnectionClassStatus, noteSyncSuccess, syncChangeDeletedLog, syncChangeDeletedWarn, noteChangeDeletedResolved } from './sync-noise.js';
+import { bindSyncNoiseFromCwd, syncConnectionWarn, isConnectionClassStatus, noteSyncSuccess, syncChangeDeletedLog, syncChangeDeletedWarn, noteChangeDeletedResolved, syncSelfHealWarn } from './sync-noise.js';
 
 // sync 是 best-effort（网络失败只 warn）：平台指针失效时不抛，跳过平台、回退本地。
 function safePlatformSpecDir(cwd) {
@@ -844,7 +844,9 @@ export class SyncManager {
       // 说明赢者是本机自己人——刷新 base_ts 重试一次即收敛，不落冲突文件（外来推送不可能
       // 推进本机 DB 的 base_ts，不满足条件自然落回下方真冲突分支，零误放行）
       if (attempt < MAX_PUSH_ATTEMPTS && await this._localBaseTsCovers(changeName, platformLastPushedAt)) {
-        console.warn(`⚠️ [sync] push 409 自竞态判定：本机并发推送已回填 base_ts（平台 ts=${platformLastPushedAt}），刷新后自动重试`);
+        // 409 自愈键控闸（2026-09-15 复盘：自愈不阻断但每步刷屏）——首报可见、窗口内同变更
+        // 同类型静默；手动 platform sync（manual）旁路
+        syncSelfHealWarn(changeName, 'self-race', `⚠️ [sync] push 409 自竞态判定：本机并发推送已回填 base_ts（平台 ts=${platformLastPushedAt}），刷新后自动重试`, { noMute: manual });
         continue;
       }
 
@@ -863,7 +865,8 @@ export class SyncManager {
               'UPDATE changes SET last_synced_platform_ts = MAX(?, COALESCE(last_synced_platform_ts, ?)) WHERE name = ?'
             ).run(platformLastPushedAt || pushedAt, platformLastPushedAt || pushedAt, changeName);
           } catch {}
-          console.warn(`⚠️ [sync] push 409 内容一致自愈: 平台 ts=${platformLastPushedAt} 为外来噪声重推（六表内容与本地一致），base_ts 已推进，不落冲突文件`);
+          // 409 自愈键控闸同上（kind=content-equal）
+          syncSelfHealWarn(changeName, 'content-equal', `⚠️ [sync] push 409 内容一致自愈: 平台 ts=${platformLastPushedAt} 为外来噪声重推（六表内容与本地一致），base_ts 已推进，不落冲突文件`, { noMute: manual });
           return { synced: 1, errors: [], selfHealed: true, reason: 'push 409 平台内容与本地一致（外来噪声重推），base_ts 已推进' };
         }
       } catch { /* 比对失败维持原判（fail-closed 到真冲突分支） */ }
@@ -895,7 +898,8 @@ export class SyncManager {
             pm._ensureDB(this.cwd).getDb().prepare(
               'UPDATE changes SET last_synced_platform_ts = MAX(?, COALESCE(last_synced_platform_ts, ?)) WHERE name = ?'
             ).run(healTs, healTs, changeName);
-            console.warn(`⚠️ [sync] push 409 自回声判定：平台 ts=${platformLastPushedAt} 为本机自推回声（血统 ${platLin}，推送者 ${platformLastPusher || '未回传·窗口判定'}），base_ts 已推进到 ${healTs}，自动重推`);
+            // 409 自愈键控闸同上（kind=self-echo）
+            syncSelfHealWarn(changeName, 'self-echo', `⚠️ [sync] push 409 自回声判定：平台 ts=${platformLastPushedAt} 为本机自推回声（血统 ${platLin}，推送者 ${platformLastPusher || '未回传·窗口判定'}），base_ts 已推进到 ${healTs}，自动重推`, { noMute: manual });
             if (attempt < MAX_PUSH_ATTEMPTS) continue;
             // 重试额度耗尽（attempt=2 仍进此分支，理论少见）：不落冲突文件——base 已推进，
             // 下次常规同步按新 base 直接推送收敛
@@ -1116,6 +1120,28 @@ export class SyncManager {
       return { synced: 0, errors: [...errors, '无可用文档'] };
     }
 
+    // 无变化推送去重（2026-09-17 用户反馈⑥-②，ql-20260917-005）：每条 CLI 命令的自动同步都
+    // 全量 POST 四件套 + 打「已同步 N 个文档」——内容未变时的重复推送是纯噪音/流量，也放大
+    // 「同步在反复回写」的干扰体感。四件套内容集合的 sha256 与上次成功推送比对，一致即跳过
+    // （debug 一行）；marker 读取失败/缺失按「有变化」处理（多推一次无害，fail-open）。
+    // manual 路径不去重（显式意图，允许空跑确认链路）。
+    let docsFingerprint = null;
+    try {
+      docsFingerprint = createHash('sha256')
+        .update(DOCUMENT_FILES.map(f => `${f}\u0000${documents[f] ?? ''}`).join('\u0001'))
+        .digest('hex');
+    } catch { /* 指纹失败按有变化处理 */ }
+    if (!manual && docsFingerprint) {
+      const markerPath = join(safePlatformSpecDir(this.cwd) || join(this.cwd, '.sillyspec'), '.runtime', `sync-docs-lastpush-${changeName}.json`);
+      try {
+        const prev = JSON.parse(readFileSync(markerPath, 'utf8'));
+        if (prev && prev.hash === docsFingerprint) {
+          debugLog(`[sync] 四件套内容与上次成功推送一致，跳过文档直推: ${changeName}`);
+          return { synced: 0, errors, deduped: true };
+        }
+      } catch { /* 无 marker / 损坏 = 首推或按有变化处理 */ }
+    }
+
     const docUrl = `${platform.url}/api/changes/${encodeURIComponent(changeName)}/documents`;
     const result = await fetchJson(docUrl, {
       method: 'POST',
@@ -1131,6 +1157,14 @@ export class SyncManager {
       return { synced: 0, errors: [...errors, '文档同步请求失败'] };
     }
 
+    // 推送成功才落指纹 marker（失败不落——下轮重推）
+    if (docsFingerprint) {
+      try {
+        const runtimeDir = join(safePlatformSpecDir(this.cwd) || join(this.cwd, '.sillyspec'), '.runtime');
+        mkdirSync(runtimeDir, { recursive: true });
+        writeFileSync(join(runtimeDir, `sync-docs-lastpush-${changeName}.json`), JSON.stringify({ hash: docsFingerprint, at: Date.now() }) + '\n', 'utf8');
+      } catch { /* marker 失败只损失去重（下轮多推一次），不影响同步 */ }
+    }
     console.log(`[sync] 已同步 ${syncedCount} 个文档: ${changeName}`);
     return { synced: syncedCount, errors };
   }
@@ -1722,6 +1756,8 @@ export class SyncManager {
       return { ok: false, pulled: false, specDir, reason: `删除本地 specDir 失败${holdHint}: ${err.message}` };
     }
     try {
+      let pulledFiles = 0;
+      const crlfEntries = [];
       for (const e of entries) {
         _assertSafeTarName(e.name.replace(/\/+$/, ''), specDir);
         const fullPath = join(specDir, e.name);
@@ -1730,8 +1766,23 @@ export class SyncManager {
         } else {
           mkdirSync(dirname(fullPath), { recursive: true });
           writeFileSync(fullPath, e.data);
+          pulledFiles++;
+          if (e.data && e.data.length < 4 * 1024 * 1024) crlfEntries.push([e.name, e.data]); // CRLF 画像采样（超 4MB 大文件跳过采样，写入不受影响）
         }
       }
+      // 批量写入留痕（2026-09-17 反馈⑥②法证收口）：整树解包=逐字节回放，他机 CRLF 内容
+      // 原样落盘——审计行记 时间/触发面/文件数/CRLF 命中数（fail-open）。
+      try {
+        const { appendWriteAudit, detectCrlfFiles, WRITE_AUDIT_FILE_CAP } = await import('./write-audit.js');
+        const crlfPaths = detectCrlfFiles(crlfEntries);
+        appendWriteAudit(specDir, {
+          via: 'pull-spec-bundle',
+          files: pulledFiles,
+          crlfPaths: crlfPaths.slice(0, WRITE_AUDIT_FILE_CAP),
+          crlfCount: crlfPaths.length,
+          force: opts.force === true,
+        });
+      } catch { /* 审计 fail-open */ }
       if (localYamlSaved !== null) {
         mkdirSync(specDir, { recursive: true }); // 空 bundle（零条目）时树根未被条目重建
         writeAtomicSync(localYamlPath, localYamlSaved); // fs-atomic 契约：hook/probe 并发读 local.yaml
@@ -1812,6 +1863,7 @@ export class SyncManager {
     let overwritten = 0;
     let removed = 0;
     const skipped = [];
+    const writtenEntries = []; // [path, data] 对——写后审计 CRLF 画像用（2026-09-17 反馈⑥②法证收口）
     for (const p of normalized) {
       try {
         _assertSafeTarName(p, specDir);
@@ -1821,6 +1873,7 @@ export class SyncManager {
           mkdirSync(dirname(full), { recursive: true });
           writeFileSync(full, data);
           overwritten++;
+          writtenEntries.push([p, data]);
         } else if (existsSync(join(specDir, p))) {
           // 服务器已无该文件（远端删除）→ 接受服务器 = 删本地
           rmSync(join(specDir, p), { force: true });
@@ -1831,6 +1884,26 @@ export class SyncManager {
       }
     }
 
+    // 批量写入留痕（2026-09-17 用户反馈⑥②法证收口）：take-platform 是「单命令批量整文件
+    // 重写 + 逐字节保留来源行尾」的回放面——他机 CRLF 内容会原样落盘且事后无任何日志可查
+    // （console 打印即蒸发，实证只能靠 mtime 考古）。落一条审计行：时间/触发面/文件集/CRLF
+    // 命中。fail-open：审计失败不影响覆盖结果。
+    try {
+      const { appendWriteAudit, detectCrlfFiles, WRITE_AUDIT_FILE_CAP } = await import('./write-audit.js');
+      const crlfPaths = detectCrlfFiles(writtenEntries);
+      if (crlfPaths.length > 0) {
+        console.warn(`⚠️ [sync] take-platform 覆盖的 ${crlfPaths.length} 个文件内容为 CRLF 行尾（他机编辑器产物按字节回放，本仓自产文件一律 LF）——git add 时 autocrlf 会提示转换，属预期：${crlfPaths.slice(0, 5).join('、')}${crlfPaths.length > 5 ? ' 等' : ''}（明细见 .runtime/write-audit.jsonl）`);
+      }
+      appendWriteAudit(specDir, {
+        via: 'platform-resolve-take-platform',
+        overwritten, removed,
+        files: writtenEntries.map(([p]) => p).slice(0, WRITE_AUDIT_FILE_CAP)
+          .concat(writtenEntries.length > WRITE_AUDIT_FILE_CAP ? [`…+${writtenEntries.length - WRITE_AUDIT_FILE_CAP}`] : []),
+        crlfPaths: crlfPaths.slice(0, WRITE_AUDIT_FILE_CAP),
+        crlfCount: crlfPaths.length,
+      });
+    } catch { /* 审计 fail-open */ }
+
     // 基线快照刷新（best-effort）：被覆盖路径回写当前盘面 hash（= 服务器内容 hash）、被删
     // 路径移除条目——下次同步这些路径按「本地未改动」豁免回推（take-platform 语义闭环）。
     try {

package/src/task-review.js

@@ -341,8 +341,11 @@ export function readReview(reviewPath) {
  * （ql-20260915-001 修复②，坑 review-write-draft-marker-stuck：execute 期间反复
  * 「草稿 review changedFiles 为空，跳过自动勾选」，主仓文档面任务自动勾选断链。）
  *
- * 判据：reviewProvenanceStamp 落的 writtenBy 以 'writeTaskReview' 开头（含 ':force' 变体）。
- * 显式写入带 agent 供给的 verdict（非草稿兜底通道），即使 reviewerNotes 字面残留
+ * 判据：reviewProvenanceStamp 落的 writtenBy 以显式写入通道前缀开头——writeTaskReview
+ * （`sillyspec review write`，含 ':force' 变体）或 adoptTaskReviewMechanics（adopt 通道
+ * 一键重算代填，落 writtenBy=adoptTaskReviewMechanics#pid；task-05 / FR-08 补入：该通道
+ * 合并写入的 review 带 agent 供给 verdict，此前被判草稿、跨仓 task 自动勾选断链）。
+ * 两通道均为显式写入（非草稿兜底通道），即使 reviewerNotes 字面残留
  * 'auto-generated draft'（agent 升级草稿时 --notes 引用/复述草稿文案、或 adopt 通道合并
  * 保留旧 notes 的变体）也一律按非草稿处理——verdict 判定不再受草稿零 diff 守卫限制。
  *
@@ -352,8 +355,11 @@ export function readReview(reviewPath) {
  * @param {object|null} review readReview 返回的 review 对象
  * @returns {boolean}
  */
+const EXPLICIT_REVIEW_WRITE_PREFIXES = ['writeTaskReview', 'adoptTaskReviewMechanics']
+
 export function isExplicitReviewWrite(review) {
-  return typeof review?.writtenBy === 'string' && review.writtenBy.startsWith('writeTaskReview')
+  if (typeof review?.writtenBy !== 'string') return false
+  return EXPLICIT_REVIEW_WRITE_PREFIXES.some(p => review.writtenBy.startsWith(p))
 }
 
 /**
@@ -1249,6 +1255,70 @@ function resolveAttributionDiffFiles({ cwd, changeName, specBase, platformOpts =
   return { mode: 'main-window', diffFiles: resolveVerifyChangedFiles(cwd, changeName, null, { specBase }), notes, meta, mergeGitDir }
 }
 
+/**
+ * worktree/in-place 改动文件集：porcelain 未提交 ∪ committed merge-base 补齐——口径单一化。
+ * 口径出处：D-004@v1（worktree 归因唯一事实源 = worktree 分支 diff + porcelain，决策库
+ * decisions/worktree.md）+ 变更 2026-09-15-worktree-dual-truth-gates §4 / FR-04；坑④
+ * worktree-tick-guard-commit-only（2026-09-15 实证）：勾选守卫 prefetchDiffFileSet
+ * （run/complete.js）只算 base..head（已提交），子代理默认不 commit 时守卫恒空跳过勾选——
+ * 本 helper 是「草稿归属并入段（generateTaskReviewDrafts）」与「勾选守卫（prefetchDiffFileSet）」
+ * 两处的单一真相。已知残留 R-09：resolveVerifyChangedFiles（verify-postcheck.js）内另有同型
+ * 补齐段（form A 专属：滤网保 .sillyspec/docs/** 交付物，与本 helper 的整前缀滤网不同），
+ * 本次不动，待该函数下次触碰时统一。
+ *
+ * 行为契约：
+ *   - meta 缺省时内部 WorktreeManager.getMeta 自取（try/catch → null）。
+ *   - gitDir = meta.worktreePath（mode 非 in-place-fallback 且目录存在）否则 cwd——
+ *     in-place 退化取 cwd（保住现状 in-place 主仓 porcelain 并入，不丢，R-08）；
+ *     meta 完全缺失时同样取 cwd（与被并入段 mergeGitDir 语义一致）。
+ *   - porcelain：status --porcelain --untracked-files=all（parsePorcelainFiles 解析），
+ *     滤 .sillyspec 前缀（与被替换的草稿并入段同口径）。
+ *   - committed 补齐（仅 gitDir !== cwd，防双并）：merge-base(主仓 HEAD, wtHEAD)..wtHEAD
+ *     的 diff --name-only——worktree 内已 commit 的改动对主仓 base..head 与 status 双不可见
+ *     （「先提交则 diff 空」时序两难）；git 失败 fail-open 忽略。
+ *   - 返回正斜杠归一去重数组；任何 git 异常 → 已收集部分或 []（fail-open，不阻断调用方）。
+ *
+ * @param {string} cwd 主仓根
+ * @param {string} changeName 变更名
+ * @param {object|null} [meta] 预取的 worktree meta（缺省内部 getMeta 自取）
+ * @param {object} [opts] 预留（对齐 design 接口签名）
+ * @returns {string[]} 正斜杠归一文件集（git 失败 → 已收集部分或 []，fail-open）
+ */
+export function collectWorktreeChangedFiles(cwd, changeName, meta = null, opts = {}) {
+  const files = new Set()
+  if (!cwd || !changeName) return []
+  let m = meta
+  if (m == null) {
+    try { m = new WorktreeManager({ cwd }).getMeta(changeName) } catch { m = null }
+  }
+  const gitDir = (m?.worktreePath && m.mode !== 'in-place-fallback' && existsSync(m.worktreePath))
+    ? m.worktreePath
+    : cwd
+  const keep = (p) => p && p !== '.sillyspec' && !p.startsWith('.sillyspec/')
+  // 未提交：worktree（in-place 退化=主仓）porcelain 全量（含 untracked）
+  try {
+    const st = runGit(gitDir, ['status', '--porcelain', '--untracked-files=all'], { trim: false })
+    for (const p of parsePorcelainFiles(st)) if (keep(p)) files.add(p)
+  } catch { /* porcelain 失败 → 返回已收集部分（fail-open） */ }
+  // 已提交补齐：merge-base(主仓 HEAD, wtHEAD)（= 创建锚点）..wtHEAD 的 commit diff。
+  // in-place（gitDir===cwd）时已提交改动在主仓 diff 内，跳过防双并；失败 fail-open 忽略。
+  if (gitDir !== cwd) {
+    try {
+      const mainHead = runGit(cwd, ['rev-parse', 'HEAD'])
+      const wtHead = runGit(gitDir, ['rev-parse', 'HEAD'])
+      const mb = (mainHead && wtHead) ? runGit(gitDir, ['merge-base', wtHead, mainHead]) : null
+      if (mb) {
+        const out = String(runGit(gitDir, ['diff', '--name-only', mb, wtHead]) || '')
+        for (let p of out.split('\n')) {
+          p = p.replace(/^"|"$/g, '').replace(/\\/g, '/').trim()
+          if (keep(p)) files.add(p)
+        }
+      }
+    } catch { /* 已提交补齐失败忽略（fail-open，不拖垮未提交并入） */ }
+  }
+  return [...files]
+}
+
 /**
  * worktree execute「主 agent 直接实现」模式收尾兜底：per-task review.json 缺失时，
  * 据 git diff base..head 按 task allowed_paths 归属，自动落盘 cannot_verify 草稿。
@@ -1339,32 +1409,17 @@ export async function generateTaskReviewDrafts({ changeName, cwd, platformOpts =
   // worktree-branch/cleaned 归因的未提交并入已在 resolveAttributionDiffFiles 内按同口径完成。
   if (attribution.mergeGitDir) {
     try {
-      const wtGitDir = attribution.mergeGitDir
-      const wtStatus = runGit(wtGitDir, ['status', '--porcelain', '--untracked-files=all'], { trim: false })
-      const wtFiles = parsePorcelainFiles(wtStatus)
-        .map(p => String(p).replace(/\\/g, '/'))
-        .filter(p => p !== '.sillyspec' && !p.startsWith('.sillyspec/'))
-      // 已提交口径补齐（2026-09-10 用户反馈②「先提交则 diff 空」：worktree 内已 commit 的改动
-      // 对主仓 base..head 与 status 双不可见，草稿 changedFiles 恒空）——merge-base(主仓 HEAD,
-      // worktree HEAD)（= 创建锚点）..worktree HEAD 的 commit diff 并入，与
-      // resolveVerifyChangedFiles 的同款补齐同源（verify-postcheck.js，两处口径须同步改）。
-      // in-place 退化（wtGitDir===cwd）时已提交改动在主仓 diff 内，跳过防双并；git 失败 fail-open。
-      let committedFiles = []
-      if (wtGitDir !== cwd) {
-        try {
-          const mainHead = runGit(cwd, ['rev-parse', 'HEAD'])
-          const wtHead = runGit(wtGitDir, ['rev-parse', 'HEAD'])
-          const mb = (mainHead && wtHead) ? runGit(wtGitDir, ['merge-base', wtHead, mainHead]) : null
-          if (mb) {
-            committedFiles = String(runGit(wtGitDir, ['diff', '--name-only', mb, wtHead]) || '')
-              .split('\n').map(p => p.replace(/^"|"$/g, '').replace(/\\/g, '/').trim())
-              .filter(p => p && p !== '.sillyspec' && !p.startsWith('.sillyspec/'))
-          }
-        } catch { /* 已提交补齐失败退回 status-only（fail-open，不拖垮未提交并入） */ }
-      }
-      if (wtFiles.length > 0 || committedFiles.length > 0) {
-        diffFiles = [...new Set([...(Array.isArray(diffFiles) ? diffFiles : []), ...wtFiles, ...committedFiles])]
-        console.log(`[sillyspec] 草稿归属并入 worktree 改动 ${wtFiles.length + committedFiles.length} 个（未提交 ${wtFiles.length} + 已提交 ${committedFiles.length}，按 allowed_paths 归属）`)
+      // D-004@v1 口径单一化（坑④ worktree-tick-guard-commit-only，2026-09-15 实证）：原手写
+      // 并入段（porcelain 未提交 + committed merge-base 补齐两段）收口为
+      // collectWorktreeChangedFiles 单一真相——勾选守卫 prefetchDiffFileSet（run/complete.js）
+      // 与本草稿归属自此消费同一口径（原「两处口径须同步改」注记就此作废，单一真相在 helper）。
+      // in-place（mergeGitDir===cwd）时 helper 同取 cwd porcelain（现状主仓并入不丢）。
+      // resolveVerifyChangedFiles（verify-postcheck.js）内另有同型补齐段（form A 专属，滤网保
+      // .sillyspec/docs/** 交付物），已知残留 R-09，本次不动。
+      const mergedFiles = collectWorktreeChangedFiles(cwd, changeName, attribution.meta)
+      if (mergedFiles.length > 0) {
+        diffFiles = [...new Set([...(Array.isArray(diffFiles) ? diffFiles : []), ...mergedFiles])]
+        console.log(`[sillyspec] 草稿归属并入 worktree 改动 ${mergedFiles.length} 个（未提交 porcelain + 已提交 merge-base 补齐，按 allowed_paths 归属）`)
       }
     } catch { /* working-tree 并入失败退回 commit diff 口径（fail-open，不阻断草稿） */ }
   }

package/src/verify-facts-schema.js

@@ -8,6 +8,12 @@
  * 双层写入模型（D-001@v2）：机器数据（probes/tests/factsConsistency）CLI 直写；判断层
  * （结论枚举/证据状态/回执声明）经 verify-result.md 受控槽段录入、--done 时 CLI 解析固化
  * （slot-backfill），单向渲染约束对象是机器数据。
+ *
+ * PASS 封顶事实面扩展（2026-09-17-pass-cap-semantics task-01 / D-011）：db 脚本执行声明的
+ * 录入文法（X-03）= 回执槽条目 command 含 db/<file>.sql，或声明行「已对目标库执行：db/<file>.sql」，
+ * 解析器 parseDbScriptDeclarations 落 verify-probes.js（producer：backfillFactsFromMdAndTests
+ * 产出 facts.dbScriptDeclarations；跨仓消费方：worktree-apply 兜底声明门按「文件集 ∩ db/*.sql
+ * ⊆ parseDbScriptDeclarations(verifyMd)」对账）。
  */
 export const FACTS_SCHEMA_VERSION = 2
 
@@ -52,6 +58,14 @@ const EVIDENCE_LINE_RE = /^- (task-\d+):\s*(satisfied|missing|partial)\b([^\n]*)
  */
 const RECEIPT_LINE_RE = /^- claim:\s*([^|｜\n]+)[|｜]\s*command:\s*([^|｜\n]+)[|｜]\s*exit:\s*(\d+)\s*[|｜]\s*log:\s*(.+)$/
 
+/**
+ * 多行 YAML 形态续行：`  key: value`（缩进键值行，2026-09-16-friction5-hardening FR-01 / D-001@v1）。
+ * 单行管道形态 agent 手写时列错位/字段序调换/多行书写整行不命中 → 回执槽收 0 条 →
+ * integration-critical 误报无绿回执——多行聚合根除形态自由度问题；字段序无关（command 可在
+ * claim 前），聚合遇首个不匹配行（下一列表项/非缩进行/空行/标题）即止。
+ */
+const RECEIPT_CONT_LINE_RE = /^[ \t]+([A-Za-z_][\w-]*):\s*(.*)$/
+
 /**
  * 解析 verify-result.md 的两个受控槽段（D-001@v2 slot-backfill 录入界面）。
  * 占位形态（<待填：三选一> / <待填：0 或非 0>）不含枚举词，行首锚定 + 枚举词双保险 fail-closed。
@@ -101,15 +115,47 @@ export function parseEvidenceSlots(mdText) {
 
   const runtimeEvidence = []
   if (receiptBody) {
-    for (const line of receiptBody) {
-      const m = line.match(RECEIPT_LINE_RE)
-      if (!m) continue
-      runtimeEvidence.push({
-        claim: m[1].trim(),
-        command: m[2].trim(),
-        exitCode: Number(m[3]),
-        logPath: m[4].split(/[|｜]/)[0].trim().replace(/^`|`$/g, ''),
-      })
+    // 回执双形态解析（FR-01 / D-001@v1）：①单行管道形态 RECEIPT_LINE_RE 命中即收（正则与
+    // 字段语义逐字节不变，存量回执零回归）；②不命中且行首 `- claim:` 起头时进入多行 YAML
+    // 聚合——收集缩进续行（RECEIPT_CONT_LINE_RE）为 key→value（值 trim、剥首尾成对反引号），
+    // 首行行内剩余只作 claim 值（claim 含管道符不截断）；四字段 = claim/command 非空（trim 后）
+    // + exit 纯数字 + log 非空（值内 ｜/| 尾注取首段，同单行口径），齐才 push——任一缺失/空
+    // 整条不收（fail-closed 宁漏不误收，坑 receipt-fullwidth-parse 形态自由度的根除收口）。
+    const stripPairedBackticks = (v) => {
+      const t = v.trim()
+      return t.length >= 2 && t.startsWith('`') && t.endsWith('`') ? t.slice(1, -1) : t
+    }
+    for (let i = 0; i < receiptBody.length; i++) {
+      const m = receiptBody[i].match(RECEIPT_LINE_RE)
+      if (m) {
+        runtimeEvidence.push({
+          claim: m[1].trim(),
+          command: m[2].trim(),
+          exitCode: Number(m[3]),
+          logPath: m[4].split(/[|｜]/)[0].trim().replace(/^`|`$/g, ''),
+        })
+        continue
+      }
+      const head = receiptBody[i].match(/^-\s*claim:\s*(.*)$/)
+      if (!head) continue
+      const fields = {}
+      let j = i + 1
+      while (j < receiptBody.length) {
+        const cm = receiptBody[j].match(RECEIPT_CONT_LINE_RE)
+        if (!cm) break
+        if (!(cm[1] in fields)) fields[cm[1]] = stripPairedBackticks(cm[2])
+        j++
+      }
+      i = j - 1 // 聚合消费至 j-1，回退一格交还外层 for 推进
+      const claim = [head[1].trim(), typeof fields.claim === 'string' ? fields.claim.trim() : '']
+        .filter(s => s.length > 0).join(' ').trim()
+      const command = typeof fields.command === 'string' ? fields.command : ''
+      const exit = typeof fields.exit === 'string' ? fields.exit.trim() : ''
+      const log = typeof fields.log === 'string'
+        ? fields.log.split(/[|｜]/)[0].trim().replace(/^`|`$/g, '')
+        : ''
+      if (!claim || !command || !/^\d+$/.test(exit) || !log) continue
+      runtimeEvidence.push({ claim, command, exitCode: Number(exit), logPath: log })
     }
   }
 
@@ -144,5 +190,28 @@ export function validateFactsV2(facts) {
       errors.push(`requiredEvidence[${item.task}] satisfied 但 verifiedFiles 为空`)
     }
   }
+  // PASS 封顶事实面五字段 additive 登记（2026-09-17-pass-cap-semantics task-01 / D-011 故障面）：
+  // 字段不在场一律不报错（存量 facts 零迁移通过，producer=backfillFactsFromMdAndTests 首次
+  // backfill 产出）；在场才校验类型/枚举。schemaVersion 保持 2。
+  if (facts.integrationRan != null && !['ran', 'not-ran'].includes(facts.integrationRan)) {
+    errors.push(`integrationRan 非法枚举值：${facts.integrationRan}`)
+  }
+  if (facts.dbScriptDeclarations != null
+    && (!Array.isArray(facts.dbScriptDeclarations) || !facts.dbScriptDeclarations.every(x => typeof x === 'string'))) {
+    errors.push('dbScriptDeclarations 应为 string[]')
+  }
+  if (facts.matrixPartialRows != null
+    && (!Number.isInteger(facts.matrixPartialRows) || facts.matrixPartialRows < 0)) {
+    errors.push(`matrixPartialRows 应为非负整数，实际 ${facts.matrixPartialRows}`)
+  }
+  if (facts.runtimeEndpointExcluded != null && typeof facts.runtimeEndpointExcluded !== 'boolean') {
+    errors.push(`runtimeEndpointExcluded 应为 boolean，实际 ${typeof facts.runtimeEndpointExcluded}`)
+  }
+  const handoverItems = (facts.handover && Array.isArray(facts.handover.items)) ? facts.handover.items : []
+  for (const [i, item] of handoverItems.entries()) {
+    if (item && item.severity != null && !['blocking', 'advisory'].includes(item.severity)) {
+      errors.push(`handover.items[${i}] severity 非法枚举值：${item.severity}`)
+    }
+  }
   return { ok: errors.length === 0, errors }
 }