@accelerator-mzq/forge 1.4.0

package/dist/core/archive/pause-decisions-fence.js

@@ -0,0 +1,384 @@
+// src/core/archive/pause-decisions-fence.ts — plan-9c Task 2
+// 沿 design §2.1.5 fence 五类业务校验:
+//   - CRITICAL 重定向(CRITICAL 应走 forge 强 fence,不应进 pause)
+//   - WARNING + 未 ack → 拒签(SUGGESTION 例外)
+//   - option=1:target_artifact=proposal.md + target_anchor 包含 'What Changes'
+//   - option=2:tasks.md 中 task_ref 末段对应的行已勾选 [x]
+//   - option=3:proposal.md/design.md 含 scope-entries fenced YAML 块 + entry_id 匹配 + non_blocking_rationale 非空
+//   - option=4:other_rationale + other_acked_by 非空
+//
+// 沿 verify-findings-fence.ts 模块化模式;option=2/3 需读 fs 故 async
+import { readFile } from 'node:fs/promises';
+import { existsSync } from 'node:fs';
+import { join } from 'node:path';
+import { ok, failed, mergeResults } from '../validate/types.js';
+// v2 codex MAJOR 7 修订:复用 9b parseFencedYamlBlocks,删除自写 extractYamlFencedBlocks + 直接 parseYaml
+import { parseFencedYamlBlocks } from '../parse/fenced-yaml.js';
+// v3 codex MAJOR 6 修订:option=3 fence 加 scope-entries schema 子集校验(category/status 等)
+// v4 codex NEW-MAJOR B4 修订:不调用整文件 validateScopeEntries(会被同文件其他段坏 YAML 误拦本 pause)
+//                              改用 parseMarkdown 找 target_anchor 对应 section,只在该段内跑 schema 子集校验
+import { parseMarkdown } from '../parse/markdown.js';
+import { ANCHOR_TO_CATEGORY, isScopeCategory, isScopeStatus, } from '../schemas/scope-entries.js';
+/**
+ * pause_decisions fence 五类业务校验(沿 design §2.1.5)
+ * @param marker — verify-passed / review-passed 等 marker 对象(Record 形)
+ * @param changeDir — change 目录绝对路径(需读 proposal.md / tasks.md / design.md)
+ * @param file — 可选错误报告用 marker 文件路径
+ *
+ * v4 codex NEW-MAJOR A6 + B4 联动修订:fence 不再需要 ctx 参数(v3 加 ctx 是为给
+ * `validateScopeEntries` 算 finding_hash;但 v4 NEW-MAJOR B4 改用 `parseMarkdown` 局部段
+ * 校验后,fence 内部不再调 validateScopeEntries,ctx 自然 unused → 沿 YAGNI 移除)
+ */
+export async function validatePauseDecisionsFence(marker, changeDir, file) {
+    const decisions = marker.pause_decisions;
+    if (!Array.isArray(decisions))
+        return ok(); // 老 marker 缺 → 通过
+    const results = [];
+    for (let i = 0; i < decisions.length; i++) {
+        const p = decisions[i];
+        const fieldBase = `pause_decisions[${i}]`;
+        // —— 1. CRITICAL 重定向:不应进 pause ——
+        if (p.severity === 'CRITICAL') {
+            results.push(failed({
+                artifact: 'marker',
+                field: `${fieldBase}.severity`,
+                message: `pause_decision id=${p.id} severity=CRITICAL — CRITICAL 应走 forge 强 fence,不应进 Fluid Pause(沿 design §2.1.2)`,
+                file,
+            }));
+            continue; // CRITICAL 拒签后不再校验其他规则(避免 cascade)
+        }
+        // —— 2. WARNING + 未 ack → 拒签(SUGGESTION 例外) ——
+        if (p.severity === 'WARNING') {
+            if (!p.severity_acked_by || !p.severity_acked_at) {
+                results.push(failed({
+                    artifact: 'marker',
+                    field: `${fieldBase}.severity_acked_by`,
+                    message: `WARNING pause_decision 必须有 severity_acked_by + severity_acked_at(沿 design §2.1.5)`,
+                    file,
+                }));
+            }
+        }
+        // SUGGESTION + 未 ack → 通过(fence 不要求 ack)
+        // —— 3. option 五分支业务校验 ——
+        if (p.chosen_option === 1) {
+            // option=1 扩 scope:必须改 proposal.md `## What Changes`
+            // TODO(9e1):本 task 仅校验 marker 字段一致性;design §2.1.5 line 262 要求"diff 内含 What Changes 段变更"
+            // 真实 git diff 段级校验留给 9e1 archive_summary 集成 — 沿 plan-9c §7.5 已知降级声明
+            if (p.target_artifact !== 'proposal.md') {
+                results.push(failed({
+                    artifact: 'marker',
+                    field: `${fieldBase}.target_artifact`,
+                    message: `option=1(扩 scope)必须 target_artifact='proposal.md',实际:${p.target_artifact}`,
+                    file,
+                }));
+            }
+            if (!p.target_anchor.includes('What Changes')) {
+                results.push(failed({
+                    artifact: 'marker',
+                    field: `${fieldBase}.target_anchor`,
+                    message: `option=1(扩 scope)必须 target_anchor 包含 'What Changes',实际:${p.target_anchor}`,
+                    file,
+                }));
+            }
+        }
+        else if (p.chosen_option === 2) {
+            // option=2 加 task:tasks.md 中 task_ref 末段对应的行已勾选 [x]
+            const tasksRes = await checkOption2TaskChecked(p, changeDir, fieldBase, file);
+            results.push(tasksRes);
+        }
+        else if (p.chosen_option === 3) {
+            // option=3 转 out-of-scope:scope-entries 有对应 entry + non_blocking_rationale 非空
+            if (!p.non_blocking_rationale) {
+                results.push(failed({
+                    artifact: 'marker',
+                    field: `${fieldBase}.non_blocking_rationale`,
+                    message: `option=3(转 out-of-scope)必须 non_blocking_rationale 非空(沿 design §2.1.5)`,
+                    file,
+                }));
+            }
+            // v4 codex NEW-MAJOR B4 修订:fence 只校验 target_anchor 对应段,不传 ctx 进 checkOption3
+            //   (因不再调 validateScopeEntries 整文件,ctx 也不用作 finding_hash 绑定)
+            const scopeRes = await checkOption3ScopeEntry(p, changeDir, fieldBase, file);
+            results.push(scopeRes);
+        }
+        else if (p.chosen_option === 4) {
+            // option=4 Other:other_rationale + other_acked_by 必填
+            if (!p.other_rationale) {
+                results.push(failed({
+                    artifact: 'marker',
+                    field: `${fieldBase}.other_rationale`,
+                    message: `option=4(Other)必须 other_rationale 非空`,
+                    file,
+                }));
+            }
+            if (!p.other_acked_by) {
+                results.push(failed({
+                    artifact: 'marker',
+                    field: `${fieldBase}.other_acked_by`,
+                    message: `option=4(Other)必须 other_acked_by 非空`,
+                    file,
+                }));
+            }
+        }
+    }
+    return mergeResults(...results);
+}
+/**
+ * option=2 校验:tasks.md 中 task_ref 末段对应的 task 行已勾选 [x]
+ * task_ref 格式:'tasks.md#task-3' → 末段 'task-3' 用作 grep key
+ */
+async function checkOption2TaskChecked(p, changeDir, fieldBase, file) {
+    const tasksPath = join(changeDir, 'tasks.md');
+    if (!existsSync(tasksPath)) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.task_ref`,
+            message: `option=2 校验失败:tasks.md 不存在(${tasksPath})`,
+            file,
+        });
+    }
+    const tasksContent = await readFile(tasksPath, 'utf8');
+    // 提取 task_ref 末段(支持 'tasks.md#task-3' / 'tasks.md#task-name' 等)
+    const taskKey = p.task_ref.split('#').pop() ?? '';
+    if (!taskKey) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.task_ref`,
+            message: `option=2 校验失败:task_ref 末段为空(${p.task_ref})`,
+            file,
+        });
+    }
+    // v3 codex MAJOR 4 修订:用精确 regex 匹配 `- [x] **taskKey**` 整体形式
+    // v4 codex NEW-MAJOR A4 修订:`\b` 在 `task-2-extra` 中 `2` 后接 `-` 仍是 word boundary
+    //                              → false positive。改用 negative lookahead `(?![\w-])`
+    // v5 codex MAJOR 2 修订:`\w` 无 `/u` flag 时仅 ASCII;中文/日文/俄文 task key `任务-3补充`
+    //                        中 `补` 非 `\w` 非 `-` → lookahead 通过 → 误匹配 `任务-3` 前缀。
+    //                        改用 Unicode property `\p{L}\p{N}_-`(Letter / Number / underscore / hyphen)
+    //                        + `/u` flag,精确拒绝任何字母数字下划线连字符为后缀的扩展形式
+    // v6 codex MAJOR A4 续修:v5 只给 bare 分支加 lookahead,**bold 分支 `\*\*taskKey\*\*` 后未加**
+    //                          → `- [x] **task-2**-extra` / `- [x] **task-2**补充` 仍误匹配 prefix 形式。
+    //                          v6 给 bold 分支末尾同样加 `(?![\p{L}\p{N}_-])` 闭合 bold 后缀扩展漏洞
+    // 形式:`^\s*-\s*\[[ x]\]\s*(?:\*\*<taskKey>\*\*(?![\p{L}\p{N}_-])|<taskKey>(?![\p{L}\p{N}_-]))`,flag `iu`
+    // 测试:`task-2`/`任务-3` → `- [x] <taskKey> ...` ✓ / `<taskKey>-extra` / `<taskKey>补充` ✗ /
+    //       `- [x] **task-2** added` ✓(空格非 `\p{L}\p{N}_-`) / `**task-2**-extra` ✗(v6 修订拒绝)
+    const taskKeyEscaped = taskKey.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+    const taskItemRe = new RegExp(`^\\s*-\\s*\\[([ x])\\]\\s*(?:\\*\\*${taskKeyEscaped}\\*\\*(?![\\p{L}\\p{N}_-])|${taskKeyEscaped}(?![\\p{L}\\p{N}_-]))`, 'iu');
+    const lines = tasksContent.split('\n');
+    const matchedLines = lines
+        .map((line) => ({ line, m: line.match(taskItemRe) }))
+        .filter((x) => x.m !== null);
+    if (matchedLines.length === 0) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.task_ref`,
+            message: `option=2 校验失败:tasks.md 中找不到 task item ${taskKey}(需 \`- [x] **${taskKey}**\` 形式)`,
+            file,
+        });
+    }
+    const checkedLines = matchedLines.filter((x) => (x.m?.[1] ?? '').toLowerCase() === 'x');
+    if (checkedLines.length === 0) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.task_ref`,
+            message: `option=2 校验失败:tasks.md 中 task item ${taskKey} 行未勾选 [x]`,
+            file,
+        });
+    }
+    return ok();
+}
+/**
+ * option=3 校验:proposal.md / design.md 含 scope-entries fenced YAML 块 +
+ *   通过 `triggered_by.source='pause_decisions' AND triggered_by.id=<pause.id>` 反向查找匹配 entry
+ *   (沿 9b §2.6 scope-entries schema TriggeredByRef 字段)
+ *
+ * v2 codex MAJOR 6:不再把 task_ref 末段当 scope entry id;用 triggered_by 反向查找
+ * v2 codex MAJOR 7:复用 9b parseFencedYamlBlocks,YAML parse 失败抛 FencedYamlParseError → 拒签
+ * v3 codex MAJOR 6(新):option=3 fence 加 scope-entries schema 子集校验
+ *                       (反向加固 — 防止用户在 propose 后篡改 scope-entries YAML 块)
+ * v3 codex MAJOR 7(新):限制 target_artifact ∈ {'proposal.md', 'design.md'} +
+ *                       target_anchor 白名单 ∈ {'## Out of Scope', '## Future Work'}
+ * v3 codex MINOR 8:triggered_by.id 用 String() normalize 比较,避免 string '1' vs number 1 漏拒
+ * v4 codex NEW-MAJOR B4(新):只校验 target_anchor 对应那段(不跑整 artifact validateScopeEntries),
+ *                            避免同文件其他段坏 YAML 误拦本 pause
+ */
+async function checkOption3ScopeEntry(p, changeDir, fieldBase, file) {
+    // v3 MAJOR 7:target_artifact 白名单
+    if (p.target_artifact !== 'proposal.md' && p.target_artifact !== 'design.md') {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.target_artifact`,
+            message: `option=3 校验失败:target_artifact 必须 ∈ {'proposal.md', 'design.md'},实际 ${p.target_artifact}`,
+            file,
+        });
+    }
+    // v3 MAJOR 7:target_anchor 白名单
+    if (p.target_anchor !== '## Out of Scope' && p.target_anchor !== '## Future Work') {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.target_anchor`,
+            message: `option=3 校验失败:target_anchor 必须 ∈ {'## Out of Scope', '## Future Work'},实际 ${p.target_anchor}`,
+            file,
+        });
+    }
+    const artifactPath = join(changeDir, p.target_artifact);
+    if (!existsSync(artifactPath)) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.target_artifact`,
+            message: `option=3 校验失败:${p.target_artifact} 不存在`,
+            file,
+        });
+    }
+    const content = await readFile(artifactPath, 'utf8');
+    // v4 codex NEW-MAJOR B4:用 parseMarkdown 找 target_anchor 对应 section,只在该段内校验
+    //   (不调 validateScopeEntries 整文件,避免被同文件其他段坏 YAML 误拦本 pause)
+    const md = parseMarkdown(content);
+    const targetAnchorId = p.target_anchor === '## Out of Scope' ? 'forge-oos' : 'forge-future-work';
+    const targetSection = md.sections.find((sec) => sec.anchor === targetAnchorId);
+    if (!targetSection) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.target_anchor`,
+            message: `option=3 校验失败:${p.target_artifact} 找不到 {#${targetAnchorId}} anchor 段(target_anchor=${p.target_anchor})`,
+            file,
+        });
+    }
+    // v2 MAJOR 7:用 9b parseFencedYamlBlocks 只对该段 body 抽 YAML 块
+    let yamlBlocks;
+    try {
+        yamlBlocks = parseFencedYamlBlocks(targetSection.body);
+    }
+    catch (err) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.target_artifact`,
+            message: `option=3 校验失败:${p.target_artifact} 段 ${p.target_anchor} YAML 块解析失败(${err.message})`,
+            file,
+        });
+    }
+    if (yamlBlocks.length === 0) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.target_anchor`,
+            message: `option=3 校验失败:${p.target_artifact} 段 ${p.target_anchor} 内无 scope-entries fenced YAML 块`,
+            file,
+        });
+    }
+    // v3 MAJOR 6(新)+ v4 NEW-MAJOR B4:仅校验本段 scope-entries 子集 schema(不跑整 artifact)
+    const block = yamlBlocks[0];
+    if (block.schema !== 'forge-scope-entries/v1') {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.target_anchor`,
+            message: `option=3 校验失败:段 ${p.target_anchor} 内 YAML 块 schema 非 forge-scope-entries/v1(实际:${String(block.schema)})`,
+            file,
+        });
+    }
+    if (block.anchor_id !== targetAnchorId) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.target_anchor`,
+            message: `option=3 校验失败:段 ${p.target_anchor} 内 YAML 块 anchor_id (${String(block.anchor_id)}) ≠ enclosing section anchor (${targetAnchorId})`,
+            file,
+        });
+    }
+    const entries = block.entries;
+    if (!Array.isArray(entries)) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.target_anchor`,
+            message: `option=3 校验失败:段 ${p.target_anchor} 内 entries 不是数组`,
+            file,
+        });
+    }
+    // v2 MAJOR 6:反向查找 — 遍历本段 entries,找 triggered_by 匹配本 pause_decision.id
+    // v3 MINOR 8:用 String() normalize 比较,接受 yaml 中 id 是 number 或 string 两种形式
+    // v5 codex MAJOR 1+3 修订:补 id / description / reason 字段校验对齐 9b validateScopeEntries
+    //                          完整不变量(scope-entries.ts:120-128)。**找到 triggered_by 匹配的 entry**
+    //                          后才校验该 entry 的字段完整性 — 不匹配的 entry 不校验(避免误拦其他 entry)
+    // v6 codex MAJOR B2 修订:v5 在匹配第一个 entry 后 `return ok()`,后续 entry 不校验。
+    //                          但 design 语义 pause id ↔ scope entry 一对一,出现多条 triggered_by 引用
+    //                          同一 pause.id 是数据异常(可能篡改/逻辑错)→ **exactly one 否则拒签**:
+    //                          先收集所有匹配 entry,数量 ≠ 1 直接拒签;数量 = 1 才做完整字段校验
+    const expectedCategory = ANCHOR_TO_CATEGORY[targetAnchorId];
+    const matchedEntries = [];
+    for (const entry of entries) {
+        if (!entry || typeof entry !== 'object')
+            continue;
+        const e = entry;
+        const triggeredBy = e.triggered_by;
+        if (!triggeredBy ||
+            triggeredBy.source !== 'pause_decisions' ||
+            String(triggeredBy.id) !== String(p.id) // v3 MINOR 8:normalize 类型
+        ) {
+            continue;
+        }
+        matchedEntries.push(e);
+    }
+    // v6 MAJOR B2:exactly one
+    if (matchedEntries.length === 0) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.id`,
+            message: `option=3 校验失败:${p.target_artifact} scope-entries 段 ${p.target_anchor} 内无 entry.triggered_by={source:'pause_decisions', id:${p.id}} 反向引用本 pause_decision(沿 9b §2.6 TriggeredByRef)`,
+            file,
+        });
+    }
+    if (matchedEntries.length > 1) {
+        // v6 codex B4 NIT 修订:缺 id 或非 string 时输出占位,避免 'undefined' 误导
+        const matchedIds = matchedEntries
+            .map((e) => (typeof e.id === 'string' && e.id.length > 0 ? e.id : '<missing-id>'))
+            .join(', ');
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.id`,
+            message: `option=3 校验失败:${p.target_artifact} 段 ${p.target_anchor} 内有 ${matchedEntries.length} 条 entry triggered_by 引用本 pause id=${p.id}(应 exactly one,实际 entry ids: [${matchedIds}])— 数据异常,拒签(v6 codex MAJOR B2 修订)`,
+            file,
+        });
+    }
+    // 唯一匹配 entry — 做完整字段校验(对齐 9b validateScopeEntries 不变量)
+    // matchedEntries.length === 1 已由上方 exactly-one 检查保证,但 TS 不推断,需显式 guard
+    const e = matchedEntries[0];
+    if (typeof e.id !== 'string' || e.id.length === 0) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.id`,
+            message: `option=3 校验失败:匹配的 scope entry 缺 id(non-empty string)(沿 9b scope-entries.ts:121)`,
+            file,
+        });
+    }
+    if (typeof e.description !== 'string' || e.description.length === 0) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.id`,
+            message: `option=3 校验失败:匹配的 scope entry id=${e.id} 缺 description(non-empty string)(沿 9b scope-entries.ts:125)`,
+            file,
+        });
+    }
+    if (typeof e.reason !== 'string' || e.reason.length === 0) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.id`,
+            message: `option=3 校验失败:匹配的 scope entry id=${e.id} 缺 reason 必填论证(沿 9b scope-entries.ts:129 + design §2.6.3)`,
+            file,
+        });
+    }
+    if (!isScopeCategory(e.category) || e.category !== expectedCategory) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.id`,
+            message: `option=3 校验失败:匹配的 scope entry id=${e.id} category=${String(e.category)} ≠ anchor ${targetAnchorId} 默认映射 ${expectedCategory}(沿 9b scope-entries.ts:133)`,
+            file,
+        });
+    }
+    if (!isScopeStatus(e.status)) {
+        return failed({
+            artifact: 'marker',
+            field: `${fieldBase}.id`,
+            message: `option=3 校验失败:匹配的 scope entry id=${e.id} status=${String(e.status)} 非合法(沿 9b scope-entries.ts:142)`,
+            file,
+        });
+    }
+    return ok();
+}
+//# sourceMappingURL=pause-decisions-fence.js.map

package/dist/core/archive/pause-decisions-fence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pause-decisions-fence.js","sourceRoot":"","sources":["../../../src/core/archive/pause-decisions-fence.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAC7D,gCAAgC;AAChC,wDAAwD;AACxD,0CAA0C;AAC1C,6EAA6E;AAC7E,iDAAiD;AACjD,6GAA6G;AAC7G,mDAAmD;AACnD,EAAE;AACF,4DAA4D;AAE5D,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAyB,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACvF,8FAA8F;AAC9F,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,oFAAoF;AACpF,iFAAiF;AACjF,8FAA8F;AAC9F,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,aAAa,GAEd,MAAM,6BAA6B,CAAC;AAErC;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,MAA+B,EAC/B,SAAiB,EACjB,IAAa;IAEb,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,CAAC;IACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,EAAE,CAAC,CAAC,kBAAkB;IAE9D,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAkB,CAAC;QACxC,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,CAAC;QAE1C,kCAAkC;QAClC,IAAI,CAAC,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC9B,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;gBACL,QAAQ,EAAE,QAAQ;gBAClB,KAAK,EAAE,GAAG,SAAS,WAAW;gBAC9B,OAAO,EAAE,qBAAqB,CAAC,CAAC,EAAE,iFAAiF;gBACnH,IAAI;aACL,CAAC,CACH,CAAC;YACF,SAAS,CAAC,mCAAmC;QAC/C,CAAC;QAED,+CAA+C;QAC/C,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,CAAC,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,CAAC,iBAAiB,EAAE,CAAC;gBACjD,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;oBACL,QAAQ,EAAE,QAAQ;oBAClB,KAAK,EAAE,GAAG,SAAS,oBAAoB;oBACvC,OAAO,EAAE,mFAAmF;oBAC5F,IAAI;iBACL,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;QACD,yCAAyC;QAEzC,0BAA0B;QAC1B,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;YAC1B,qDAAqD;YACrD,wFAAwF;YACxF,oEAAoE;YACpE,IAAI,CAAC,CAAC,eAAe,KAAK,aAAa,EAAE,CAAC;gBACxC,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;oBACL,QAAQ,EAAE,QAAQ;oBAClB,KAAK,EAAE,GAAG,SAAS,kBAAkB;oBACrC,OAAO,EAAE,wDAAwD,CAAC,CAAC,eAAe,EAAE;oBACpF,IAAI;iBACL,CAAC,CACH,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC9C,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;oBACL,QAAQ,EAAE,QAAQ;oBAClB,KAAK,EAAE,GAAG,SAAS,gBAAgB;oBACnC,OAAO,EAAE,0DAA0D,CAAC,CAAC,aAAa,EAAE;oBACpF,IAAI;iBACL,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;YACjC,oDAAoD;YACpD,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YAC9E,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;YACjC,8EAA8E;YAC9E,IAAI,CAAC,CAAC,CAAC,sBAAsB,EAAE,CAAC;gBAC9B,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;oBACL,QAAQ,EAAE,QAAQ;oBAClB,KAAK,EAAE,GAAG,SAAS,yBAAyB;oBAC5C,OAAO,EAAE,uEAAuE;oBAChF,IAAI;iBACL,CAAC,CACH,CAAC;YACJ,CAAC;YACD,6EAA6E;YAC7E,6DAA6D;YAC7D,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YAC7E,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;YACjC,qDAAqD;YACrD,IAAI,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC;gBACvB,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;oBACL,QAAQ,EAAE,QAAQ;oBAClB,KAAK,EAAE,GAAG,SAAS,kBAAkB;oBACrC,OAAO,EAAE,sCAAsC;oBAC/C,IAAI;iBACL,CAAC,CACH,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;gBACtB,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;oBACL,QAAQ,EAAE,QAAQ;oBAClB,KAAK,EAAE,GAAG,SAAS,iBAAiB;oBACpC,OAAO,EAAE,qCAAqC;oBAC9C,IAAI;iBACL,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,YAAY,CAAC,GAAG,OAAO,CAAC,CAAC;AAClC,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,uBAAuB,CACpC,CAAgB,EAChB,SAAiB,EACjB,SAAiB,EACjB,IAAa;IAEb,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC9C,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,WAAW;YAC9B,OAAO,EAAE,8BAA8B,SAAS,GAAG;YACnD,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACvD,gEAAgE;IAChE,MAAM,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IAClD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,WAAW;YAC9B,OAAO,EAAE,+BAA+B,CAAC,CAAC,QAAQ,GAAG;YACrD,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,4DAA4D;IAC5D,+EAA+E;IAC/E,kFAAkF;IAClF,2EAA2E;IAC3E,4EAA4E;IAC5E,mGAAmG;IACnG,8DAA8D;IAC9D,kFAAkF;IAClF,6FAA6F;IAC7F,iFAAiF;IACjF,wGAAwG;IACxG,uFAAuF;IACvF,uFAAuF;IACvF,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,IAAI,MAAM,CAC3B,sCAAsC,cAAc,8BAA8B,cAAc,uBAAuB,EACvH,IAAI,CACL,CAAC;IACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,YAAY,GAAG,KAAK;SACvB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;SACpD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAC/B,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,WAAW;YAC9B,OAAO,EAAE,yCAAyC,OAAO,gBAAgB,OAAO,UAAU;YAC1F,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC;IACxF,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,WAAW;YAC9B,OAAO,EAAE,sCAAsC,OAAO,WAAW;YACjE,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,EAAE,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,KAAK,UAAU,sBAAsB,CACnC,CAAgB,EAChB,SAAiB,EACjB,SAAiB,EACjB,IAAa;IAEb,iCAAiC;IACjC,IAAI,CAAC,CAAC,eAAe,KAAK,aAAa,IAAI,CAAC,CAAC,eAAe,KAAK,WAAW,EAAE,CAAC;QAC7E,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,kBAAkB;YACrC,OAAO,EAAE,sEAAsE,CAAC,CAAC,eAAe,EAAE;YAClG,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,+BAA+B;IAC/B,IAAI,CAAC,CAAC,aAAa,KAAK,iBAAiB,IAAI,CAAC,CAAC,aAAa,KAAK,gBAAgB,EAAE,CAAC;QAClF,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,gBAAgB;YACnC,OAAO,EAAE,6EAA6E,CAAC,CAAC,aAAa,EAAE;YACvG,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,eAAe,CAAC,CAAC;IACxD,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,kBAAkB;YACrC,OAAO,EAAE,iBAAiB,CAAC,CAAC,eAAe,MAAM;YACjD,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAErD,2EAA2E;IAC3E,4DAA4D;IAC5D,MAAM,EAAE,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,cAAc,GAClB,CAAC,CAAC,aAAa,KAAK,iBAAiB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,mBAAmB,CAAC;IAC5E,MAAM,aAAa,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC;IAC/E,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,gBAAgB;YACnC,OAAO,EAAE,iBAAiB,CAAC,CAAC,eAAe,UAAU,cAAc,4BAA4B,CAAC,CAAC,aAAa,GAAG;YACjH,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IAED,2DAA2D;IAC3D,IAAI,UAAqB,CAAC;IAC1B,IAAI,CAAC;QACH,UAAU,GAAG,qBAAqB,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,kBAAkB;YACrC,OAAO,EAAE,iBAAiB,CAAC,CAAC,eAAe,MAAM,CAAC,CAAC,aAAa,eAAgB,GAAa,CAAC,OAAO,GAAG;YACxG,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,gBAAgB;YACnC,OAAO,EAAE,iBAAiB,CAAC,CAAC,eAAe,MAAM,CAAC,CAAC,aAAa,iCAAiC;YACjG,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IAED,6EAA6E;IAC7E,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAA4B,CAAC;IACvD,IAAI,KAAK,CAAC,MAAM,KAAK,wBAAwB,EAAE,CAAC;QAC9C,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,gBAAgB;YACnC,OAAO,EAAE,mBAAmB,CAAC,CAAC,aAAa,gDAAgD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG;YAClH,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,cAAc,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,gBAAgB;YACnC,OAAO,EAAE,mBAAmB,CAAC,CAAC,aAAa,wBAAwB,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,iCAAiC,cAAc,GAAG;YAC5I,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,gBAAgB;YACnC,OAAO,EAAE,mBAAmB,CAAC,CAAC,aAAa,iBAAiB;YAC5D,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IAED,sEAAsE;IACtE,yEAAyE;IACzE,mFAAmF;IACnF,yFAAyF;IACzF,6EAA6E;IAC7E,qEAAqE;IACrE,uFAAuF;IACvF,8EAA8E;IAC9E,qEAAqE;IACrE,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,cAAc,CAAC,CAAC;IAC5D,MAAM,cAAc,GAA8B,EAAE,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,SAAS;QAClD,MAAM,CAAC,GAAG,KAAgC,CAAC;QAC3C,MAAM,WAAW,GAAG,CAAC,CAAC,YAA8C,CAAC;QACrE,IACE,CAAC,WAAW;YACZ,WAAW,CAAC,MAAM,KAAK,iBAAiB;YACxC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,0BAA0B;UAClE,CAAC;YACD,SAAS;QACX,CAAC;QACD,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IACD,0BAA0B;IAC1B,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,KAAK;YACxB,OAAO,EAAE,iBAAiB,CAAC,CAAC,eAAe,oBAAoB,CAAC,CAAC,aAAa,wDAAwD,CAAC,CAAC,EAAE,kDAAkD;YAC5L,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,4DAA4D;QAC5D,MAAM,UAAU,GAAG,cAAc;aAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;aACjF,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,KAAK;YACxB,OAAO,EAAE,iBAAiB,CAAC,CAAC,eAAe,MAAM,CAAC,CAAC,aAAa,OAAO,cAAc,CAAC,MAAM,sCAAsC,CAAC,CAAC,EAAE,iCAAiC,UAAU,mCAAmC;YACpN,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,uDAAuD;IACvD,uEAAuE;IACvE,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAA4B,CAAC;IACvD,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,KAAK;YACxB,OAAO,EAAE,iFAAiF;YAC1F,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpE,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,KAAK;YACxB,OAAO,EAAE,oCAAoC,CAAC,CAAC,EAAE,6DAA6D;YAC9G,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,KAAK;YACxB,OAAO,EAAE,oCAAoC,CAAC,CAAC,EAAE,2DAA2D;YAC5G,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,gBAAgB,EAAE,CAAC;QACpE,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,KAAK;YACxB,OAAO,EAAE,oCAAoC,CAAC,CAAC,EAAE,aAAa,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,cAAc,SAAS,gBAAgB,6BAA6B;YACjK,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,GAAG,SAAS,KAAK;YACxB,OAAO,EAAE,oCAAoC,CAAC,CAAC,EAAE,WAAW,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,iCAAiC;YAC7G,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,EAAE,CAAC;AACd,CAAC"}

package/dist/core/archive/process-evidence-fence.d.ts

@@ -0,0 +1,110 @@
+import type { ProcessEvidence, TddEventChain } from '../schemas/process-evidence.js';
+import type { AckLogEntry, EvidenceHelperEntry } from '../ack-log.js';
+/** ProcessEvidenceFenceContext — fence ctx 一次性读全(避免重复 IO) */
+export interface ProcessEvidenceFenceContext {
+    changeId: string;
+    changeRoot: string;
+    cwd: string;
+    /** marker.process_evidence(可能 undefined — legacy marker / 缺 freeze) */
+    processEvidence: ProcessEvidence | undefined;
+    /** marker.process_evidence_staging_hash 快照(可能 undefined) */
+    markerStagingHash: string | undefined;
+    /** marker.ack_log_tail_hash + entry_count 快照 */
+    markerAckLogTailHash: string | undefined;
+    markerAckLogEntryCount: number | undefined;
+    /** marker.created_by_tool_version(plan-9j 写入);v1 修订 Codex 一轮 B-3 用 */
+    markerCreatedByToolVersion: string | undefined;
+    /** legacy 豁免标记(plan-9j legacy-exemption.ts 写;v1 修订 Codex 一轮 B-3 用) */
+    legacyExempt: boolean;
+    /** 实际 staging.yaml 内 staging_hash(若文件存在);用于与 marker 快照 cross-check */
+    actualStagingHash: string | undefined;
+    /** 全 JSONL ack-log entries(任何 kind) */
+    ackLogEntries: AckLogEntry[];
+    /** evidence-helper projection(子集,用于不变量 9 内容 hash 比对) */
+    helperEntries: EvidenceHelperEntry[];
+    /** tasks.md 计数(不变量 7 用,WARNING 已 freeze-time 处理;本 fence 不再算) */
+    tasksCount: number;
+    /** archive HEAD sha(不变量 14 用) */
+    archiveHead: string | null;
+    /** process.env.CI === 'true' */
+    isCiMode: boolean;
+    /** ForgeConfig.process_verification sanitize 后的完整配置(v7 修订 Codex 七轮 BLOCKER 1) */
+    config: {
+        mode: 'full' | 'sample' | 'hash-only';
+        sample_ratio: number;
+        test_timeout_per_task: number;
+        max_parallel_reruns: number;
+    };
+    /** ForgeConfig.test sanitize 后(v8 修订 Codex 八轮 BLOCKER:runRerunFence 真读) */
+    testConfig: {
+        reporter: 'junit' | 'tap' | 'vitest-json';
+        test_command: string;
+    };
+    /**
+     * v1 修订 Codex 一轮 M-4:加 reviewMarker 字段
+     *  review marker 也含 process_evidence + 三 hash 字段(--kind review freeze 写);
+     *  fence 跑两套校验(verify 和 review 各自的 process_evidence)
+     */
+    reviewMarker?: Record<string, unknown>;
+    reviewProcessEvidence?: ProcessEvidence;
+    reviewMarkerStagingHash?: string;
+    reviewMarkerAckLogTailHash?: string;
+    reviewMarkerAckLogEntryCount?: number;
+}
+/** ProcessEvidenceFinding — fence 输出 finding 项 */
+export interface ProcessEvidenceFinding {
+    /** 1..14 */
+    invariant: number;
+    /** CRITICAL | WARNING(本 fence 主要返 CRITICAL;WARNING 已 freeze-time 处理) */
+    severity: 'CRITICAL' | 'WARNING';
+    message: string;
+    taskRef?: string;
+}
+/**
+ * parseSemverMajor — 取 semver 字符串的 major 部分(v3 修订 Codex 三轮 B-1)
+ * 沿 plan-9j src/core/archive/version-retrograde-fence.ts parseSemver 模式但仅返 major
+ *
+ * @param v semver 字符串(如 "1.0.0" / "0.4.0-beta.1+build.5")
+ * @returns major 数字(无法解析返 0)
+ */
+declare function parseSemverMajor(v: string): number;
+/**
+ * seededSample — deterministic 抽样 N 个元素(v8 修订 Codex 八轮 BLOCKER)
+ * 用 seed(changeId)生成可重现 PRNG → Fisher-Yates 部分洗牌 → 取前 N
+ * 沿 mulberry32 简洁 PRNG(无外部依赖)
+ *
+ * @param items 全集数组
+ * @param n 抽样数量(若 > items.length 返全集)
+ * @param seed 字符串 seed(用 changeId 保 fence 可重现)
+ * @returns 抽样后的子集(保留原顺序由 seed 决定,跨平台 deterministic)
+ */
+export declare function seededSample<T>(items: T[], n: number, seed: string): T[];
+/**
+ * buildProcessEvidenceFenceContext — fence 入口,一次读全(brainstorm spec §7.2)
+ *
+ * v1 修订(Codex 一轮 M-4):接收 verifyMarker + reviewMarker 双参数
+ *   review marker 也含 process_evidence(--kind review freeze 写),fence 跑两套校验
+ */
+export declare function buildProcessEvidenceFenceContext(args: {
+    changeId: string;
+    changeRoot: string;
+    cwd: string;
+    verifyMarker: Record<string, unknown>;
+    reviewMarker?: Record<string, unknown>;
+    legacyExempt?: boolean;
+    config: ProcessEvidenceFenceContext['config'];
+    testConfig: ProcessEvidenceFenceContext['testConfig'];
+}): Promise<ProcessEvidenceFenceContext>;
+/**
+ * runFieldFence — 跑字段类不变量 1-4 / 8 / 9 / 11 / 12 / 14
+ *
+ * 注:不变量 7(verify_invocations 计数)+ 10(env_hash)是 WARNING,已在 freeze-time
+ *   写 marker.verify_findings;archive 阶段不重复(沿 brainstorm spec §3 两段闭合)
+ *
+ * @param ctx buildProcessEvidenceFenceContext 返回
+ * @returns ProcessEvidenceFinding[]
+ */
+export declare function runFieldFence(ctx: ProcessEvidenceFenceContext): ProcessEvidenceFinding[];
+export { parseSemverMajor };
+export type { TddEventChain };
+//# sourceMappingURL=process-evidence-fence.d.ts.map

package/dist/core/archive/process-evidence-fence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"process-evidence-fence.d.ts","sourceRoot":"","sources":["../../../src/core/archive/process-evidence-fence.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AACrF,OAAO,KAAK,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAItE,6DAA6D;AAC7D,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,GAAG,EAAE,MAAM,CAAC;IACZ,uEAAuE;IACvE,eAAe,EAAE,eAAe,GAAG,SAAS,CAAC;IAC7C,4DAA4D;IAC5D,iBAAiB,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,gDAAgD;IAChD,oBAAoB,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,sBAAsB,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3C,sEAAsE;IACtE,0BAA0B,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/C,sEAAsE;IACtE,YAAY,EAAE,OAAO,CAAC;IACtB,sEAAsE;IACtE,iBAAiB,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,uCAAuC;IACvC,aAAa,EAAE,WAAW,EAAE,CAAC;IAC7B,wDAAwD;IACxD,aAAa,EAAE,mBAAmB,EAAE,CAAC;IACrC,gEAAgE;IAChE,UAAU,EAAE,MAAM,CAAC;IACnB,iCAAiC;IACjC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,gCAAgC;IAChC,QAAQ,EAAE,OAAO,CAAC;IAClB,iFAAiF;IACjF,MAAM,EAAE;QACN,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,WAAW,CAAC;QACtC,YAAY,EAAE,MAAM,CAAC;QACrB,qBAAqB,EAAE,MAAM,CAAC;QAC9B,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;IACF,2EAA2E;IAC3E,UAAU,EAAE;QACV,QAAQ,EAAE,OAAO,GAAG,KAAK,GAAG,aAAa,CAAC;QAC1C,YAAY,EAAE,MAAM,CAAC;KACtB,CAAC;IACF;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,qBAAqB,CAAC,EAAE,eAAe,CAAC;IACxC,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,4BAA4B,CAAC,EAAE,MAAM,CAAC;CACvC;AAED,kDAAkD;AAClD,MAAM,WAAW,sBAAsB;IACrC,YAAY;IACZ,SAAS,EAAE,MAAM,CAAC;IAClB,wEAAwE;IACxE,QAAQ,EAAE,UAAU,GAAG,SAAS,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;GAMG;AACH,iBAAS,gBAAgB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAG3C;AAED;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,EAAE,CA2BxE;AAED;;;;;GAKG;AACH,wBAAsB,gCAAgC,CAAC,IAAI,EAAE;IAC3D,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,MAAM,EAAE,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IAC9C,UAAU,EAAE,2BAA2B,CAAC,YAAY,CAAC,CAAC;CACvD,GAAG,OAAO,CAAC,2BAA2B,CAAC,CA4EvC;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,2BAA2B,GAAG,sBAAsB,EAAE,CAwPxF;AA4GD,OAAO,EAAE,gBAAgB,EAAE,CAAC;AAG5B,YAAY,EAAE,aAAa,EAAE,CAAC"}