@accelerator-mzq/forge 1.4.0

package/dist/core/archive/fence.js

@@ -0,0 +1,218 @@
+// src/core/archive/fence.ts — plan-9a §9 立 stub framework + plan-9g 填实
+// 13 → 14 不变量(brainstorm spec v6 加不变量 14 green↞HEAD)
+// 9g 替换 stub 为真实分发:field fence(同步)+ rerun fence(async,Task 6)
+import { readFile } from 'node:fs/promises';
+import { existsSync } from 'node:fs';
+import { join, dirname } from 'node:path';
+import { parse as parseYaml } from 'yaml';
+import { parseConfig } from '../parse/index.js';
+import { validateProcessVerificationConfig } from '../schema/process-verification-config.js';
+import { buildProcessEvidenceFenceContext, runFieldFence, parseSemverMajor, } from './process-evidence-fence.js';
+// plan-9g Task 6:rerun fence top-level import(偏离 plan §7.1.2 dynamic import 字面;
+// 沿 Task 5 top-level import 一致性 — dynamic import 影响测试性能且 Task 5 已统一 top-level)
+import { runRerunFence } from './process-evidence-rerun.js';
+/** 14 不变量名(brainstorm v6 加第 14 个) */
+export const FENCE_INVARIANT_NAMES = [
+    'fence-1',
+    'fence-2',
+    'fence-3',
+    'fence-4',
+    'fence-5',
+    'fence-6',
+    'fence-7',
+    'fence-8',
+    'fence-9',
+    'fence-10',
+    'fence-11',
+    'fence-12',
+    'fence-13',
+    'fence-14', // plan-9g brainstorm v6 Codex 一轮 BLOCKER-2:green ↞ HEAD ancestor
+];
+/**
+ * plan-9e2 v2 codex 一轮 MAJOR 修订:legacy 路径下被精确豁免的 invariant 编号集合
+ * 沿 master §3.4.4.1:14 不变量中 #1-8/10/13 跳过(共 10 个),#9/11/12/14 保留校验
+ *
+ * 导出供测试断言用(`expect(LEGACY_EXEMPT_INVARIANTS.size).toBe(10)`)
+ * + summary builder buildProcessEvidenceSummary reference(但不直接用,通过 status='legacy-skip' 折数)
+ */
+export const LEGACY_EXEMPT_INVARIANTS = new Set([
+    1, 2, 3, 4, 5, 6, 7, 8, 10, 13,
+]);
+/**
+ * 横切 fence 检查入口(plan-9g 填实)
+ *
+ * 流程:
+ *   1. 从 changeRoot 读 .verify-passed + .review-passed marker
+ *   2. buildProcessEvidenceFenceContext 一次读全(marker / staging / ack-log / tasks / HEAD)
+ *   3. runFieldFence(ctx)— 不变量 1-4/8/9/11/12/14 同步
+ *   4. await runRerunFence(ctx)— 不变量 5/6/13(worktree 重跑;Task 6 实施)
+ *   5. CRITICAL → fence.ok=false → archive 拒签 exit 1
+ *
+ * @param changeRoot change 目录绝对路径
+ * @param _options FenceCheckOptions(allowStubFence 已无效,保留签名兼容)
+ */
+export async function crossCuttingFenceCheck(changeRoot, _options = {}) {
+    // 注:options.allowStubFence 已 deprecated;实际不影响 fence 行为(plan-9g 填实)
+    //     保留 parameter signature 兼容 archive.ts 旧调用代码
+    // 1. 从 changeRoot 读 marker(内部读取,不由 caller 传入 — 沿 plan-9a API)
+    const verifyPath = join(changeRoot, '.verify-passed');
+    const reviewPath = join(changeRoot, '.review-passed');
+    let verifyMarker = {};
+    try {
+        verifyMarker = parseYaml(await readFile(verifyPath, 'utf8'));
+    }
+    catch {
+        // verify marker 不存在 → 视为 legacy / pre-9g,fence 不强制(沿 superset additive)
+        return { ok: true, results: [], notImplementedCount: 0 };
+    }
+    // v1 修订 Codex 一轮 M-4:读 review marker(若存在)
+    let reviewMarker;
+    try {
+        if (existsSync(reviewPath)) {
+            const reviewContent = await readFile(reviewPath, 'utf8');
+            reviewMarker = parseYaml(reviewContent);
+        }
+    }
+    catch {
+        reviewMarker = undefined; // review marker 缺等价 verify-only 流程(已被 archive 主路径处理)
+    }
+    // changeId 从 changeRoot 末段推导
+    const changeId = changeRoot.split(/[/\\]/).pop() ?? 'unknown';
+    // project root: changeRoot 上溯两级(forge/changes/<id> → project)
+    const projectRoot = dirname(dirname(dirname(changeRoot)));
+    // **v2 修订 Codex 二轮 B-3**:legacyExempt 读 marker 内 `process_evidence_unavailable_legacy: true` 标志
+    //   (plan-9j --resign-markers 写入;沿 master spec §3.4.4.1)
+    const legacyExempt = verifyMarker.process_evidence_unavailable_legacy === true;
+    // v7 Codex 七轮 BLOCKER 1:读 forge/config.yaml + sanitize ProcessVerification 配置
+    let forgeConfig;
+    const configPath = join(projectRoot, 'forge', 'config.yaml');
+    try {
+        if (existsSync(configPath)) {
+            forgeConfig = parseConfig(await readFile(configPath, 'utf8'));
+        }
+    }
+    catch {
+        forgeConfig = undefined; // 缺 config 走默认
+    }
+    const sanitizedConfig = validateProcessVerificationConfig(forgeConfig);
+    // v8 Codex 八轮 BLOCKER:test config 从 forgeConfig.test 取(沿 §6 brainstorm spec)
+    const testConfig = {
+        reporter: (forgeConfig?.test?.reporter ?? 'junit'),
+        test_command: forgeConfig?.test?.test_command ?? 'pnpm test',
+    };
+    const ctx = await buildProcessEvidenceFenceContext({
+        changeId,
+        changeRoot,
+        cwd: projectRoot,
+        verifyMarker,
+        reviewMarker, // v1 M-4
+        legacyExempt, // v1 B-3
+        config: sanitizedConfig, // v7 Codex 七轮 BLOCKER 1
+        testConfig, // v8 Codex 八轮 BLOCKER
+    });
+    // 2. runFieldFence(同步)
+    const fieldFindings = runFieldFence(ctx);
+    // 3. **v3 修订(Codex 三轮 M-1)**:fence 对 verify + review 各跑 process_evidence 校验
+    //    含 review 侧 bypass 检测(review marker 存在但缺 process_evidence 也 CRITICAL)
+    //    沿 brainstorm spec §5.1 五源 cross-check;finding source 字段区分 verify / review
+    // plan-9e2 v2 quality fix I-1:reviewLegacyExempt 提到 if block 之前统一声明
+    //   bypass 检测(block 内)+ mapper 并集(step 5)共用同一变量,避免重复声明
+    const reviewLegacyExempt = reviewMarker?.process_evidence_unavailable_legacy === true;
+    const reviewFindings = [];
+    if (reviewMarker) {
+        // review 侧 bypass 检测(对称 verify 侧 B-3,v3 修订 Codex 三轮 M-1):
+        //   review marker 含 v1.0 marker version 标志(`created_by_tool_version >= 1.0.0`)
+        //   且无 legacy_exempt → 必须含 process_evidence;否则 CRITICAL
+        const reviewMarkerVersion = reviewMarker.created_by_tool_version;
+        const reviewIsV10Native = reviewMarkerVersion
+            ? parseSemverMajor(reviewMarkerVersion) >= 1
+            : false;
+        if (!ctx.reviewProcessEvidence) {
+            if (reviewIsV10Native && !reviewLegacyExempt) {
+                reviewFindings.push({
+                    invariant: 9,
+                    severity: 'CRITICAL',
+                    message: '[review] v1.0 marker missing process_evidence — 必须走 forge evidence freeze --kind review',
+                });
+            }
+        }
+        else {
+            // 构造 review-side ctx(processEvidence 替换为 reviewProcessEvidence)
+            const reviewCtx = {
+                ...ctx,
+                processEvidence: ctx.reviewProcessEvidence,
+                markerStagingHash: ctx.reviewMarkerStagingHash,
+                markerAckLogTailHash: ctx.reviewMarkerAckLogTailHash,
+                markerAckLogEntryCount: ctx.reviewMarkerAckLogEntryCount,
+            };
+            const reviewSideFindings = runFieldFence(reviewCtx);
+            // 标 source='review' 区分
+            for (const f of reviewSideFindings) {
+                reviewFindings.push({ ...f, message: `[review] ${f.message}` });
+            }
+        }
+    }
+    // 4. runRerunFence(async,Task 6 启用;不变量 5/6/13 worktree 重跑)
+    const rerunFindings = await runRerunFence(ctx);
+    // 5. 汇合 + 输出 FenceCheckResult(verify + review + rerun;v2 M-1 加 reviewFindings)
+    // plan-9e2 v2 codex 一轮 MAJOR 修订:同时筛 CRITICAL + WARNING + 取 verify||review legacy 并集
+    const allFindings = [...fieldFindings, ...reviewFindings, ...rerunFindings];
+    // plan-9e2 v2 codex 一轮 MAJOR 修订:legacyExempt 取 verify || review 并集
+    // 沿 fence.ts:115/153-164 当前已两源独立读约定;v1.0 精度损失 = 无法区分 verify-only / review-only legacy
+    // quality fix I-1:reviewLegacyExempt 已在上方 step 3 之前统一声明,此处复用
+    const effectiveLegacyExempt = legacyExempt || reviewLegacyExempt;
+    const results = mapFindingsToResults({
+        findings: allFindings,
+        effectiveLegacyExempt,
+    });
+    const ok = !results.some((r) => r.status === 'fail');
+    return {
+        ok,
+        results,
+        notImplementedCount: 0, // 9g 完成,permanent 0
+    };
+}
+/**
+ * mapFindingsToResults — 14 不变量 finding → FenceInvariantResult[14] 纯函数 mapper
+ *
+ * plan-9e2 v2 codex 一轮 MAJOR 修订:从内联代码提取为纯函数(沿 plan-9d / 9j 同模式),便于单元测试
+ *
+ * 优先级:fail > legacy-skip > warning > pass
+ *   1. 任一 invariant 有 CRITICAL → status='fail' / ok=false
+ *   2. legacy 路径下被豁免 invariant(在 LEGACY_EXEMPT_INVARIANTS 集合内)→ status='legacy-skip' / ok=true
+ *   3. 任一 invariant 有 WARNING(未被前两级覆盖)→ status='warning' / ok=true
+ *   4. 默认 → status='pass' / ok=true
+ *
+ * 精度损失:legacy 路径下被豁免 invariant 即使产 WARNING 也被吞为 'legacy-skip',不计入 warning
+ *           (沿 brainstorm spec §4.3 副作用,v1.0 接受,v1.1+ side-aware 拆分)
+ */
+export function mapFindingsToResults(opts) {
+    const { findings, effectiveLegacyExempt } = opts;
+    const criticalFindings = findings.filter((f) => f.severity === 'CRITICAL');
+    const warningFindings = findings.filter((f) => f.severity === 'WARNING');
+    return FENCE_INVARIANT_NAMES.map((name) => {
+        const inv = parseInt(name.replace('fence-', ''), 10);
+        // 1. fail 最高优先级
+        const fail = criticalFindings.find((f) => f.invariant === inv);
+        if (fail) {
+            return { invariant: name, ok: false, status: 'fail', reason: fail.message };
+        }
+        // 2. legacy-skip 次优先(legacy 路径下被豁免 invariant 不论是否产 WARNING 均标 skip)
+        if (effectiveLegacyExempt && LEGACY_EXEMPT_INVARIANTS.has(inv)) {
+            return {
+                invariant: name,
+                ok: true,
+                status: 'legacy-skip',
+                reason: 'legacy-exempt per master §3.4.4.1',
+            };
+        }
+        // 3. warning 次次优先(沿 design §2.7.3 #7/#10/#13)
+        const warn = warningFindings.find((f) => f.invariant === inv);
+        if (warn) {
+            return { invariant: name, ok: true, status: 'warning', reason: warn.message };
+        }
+        // 4. 真过
+        return { invariant: name, ok: true, status: 'pass', reason: 'pass' };
+    });
+}
+//# sourceMappingURL=fence.js.map

package/dist/core/archive/fence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fence.js","sourceRoot":"","sources":["../../../src/core/archive/fence.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,qDAAqD;AACrD,8DAA8D;AAE9D,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,iCAAiC,EAAE,MAAM,0CAA0C,CAAC;AAE7F,OAAO,EACL,gCAAgC,EAChC,aAAa,EACb,gBAAgB,GACjB,MAAM,6BAA6B,CAAC;AAKrC,gFAAgF;AAChF,+EAA+E;AAC/E,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AA0B5D,qCAAqC;AACrC,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,UAAU;IACV,UAAU;IACV,UAAU;IACV,UAAU;IACV,UAAU,EAAE,iEAAiE;CACrE,CAAC;AAIX;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC;IACnE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE;CAC/B,CAAC,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,UAAkB,EAClB,WAA8B,EAAE;IAEhC,mEAAmE;IACnE,iDAAiD;IAEjD,8DAA8D;IAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;IACtD,IAAI,YAAY,GAA4B,EAAE,CAAC;IAC/C,IAAI,CAAC;QACH,YAAY,GAAG,SAAS,CAAC,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAA4B,CAAC;IAC1F,CAAC;IAAC,MAAM,CAAC;QACP,wEAAwE;QACxE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,mBAAmB,EAAE,CAAC,EAAE,CAAC;IAC3D,CAAC;IAED,0CAA0C;IAC1C,IAAI,YAAiD,CAAC;IACtD,IAAI,CAAC;QACH,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3B,MAAM,aAAa,GAAG,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YACzD,YAAY,GAAG,SAAS,CAAC,aAAa,CAA4B,CAAC;QACrE,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,YAAY,GAAG,SAAS,CAAC,CAAC,qDAAqD;IACjF,CAAC;IAED,6BAA6B;IAC7B,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,SAAS,CAAC;IAC9D,8DAA8D;IAC9D,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAE1D,gGAAgG;IAChG,yDAAyD;IACzD,MAAM,YAAY,GACf,YAAY,CAAC,mCAA2D,KAAK,IAAI,CAAC;IAErF,8EAA8E;IAC9E,IAAI,WAAoC,CAAC;IACzC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAC7D,IAAI,CAAC;QACH,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3B,WAAW,GAAG,WAAW,CAAC,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,WAAW,GAAG,SAAS,CAAC,CAAC,eAAe;IAC1C,CAAC;IACD,MAAM,eAAe,GAAG,iCAAiC,CAAC,WAAW,CAAC,CAAC;IACvE,6EAA6E;IAC7E,MAAM,UAAU,GAAG;QACjB,QAAQ,EAAE,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,IAAI,OAAO,CAAoC;QACrF,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,IAAI,WAAW;KAC7D,CAAC;IAEF,MAAM,GAAG,GAAG,MAAM,gCAAgC,CAAC;QACjD,QAAQ;QACR,UAAU;QACV,GAAG,EAAE,WAAW;QAChB,YAAY;QACZ,YAAY,EAAE,SAAS;QACvB,YAAY,EAAE,SAAS;QACvB,MAAM,EAAE,eAAe,EAAE,wBAAwB;QACjD,UAAU,EAAE,sBAAsB;KACnC,CAAC,CAAC;IAEH,uBAAuB;IACvB,MAAM,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAEzC,4EAA4E;IAC5E,0EAA0E;IAC1E,+EAA+E;IAC/E,oEAAoE;IACpE,uDAAuD;IACvD,MAAM,kBAAkB,GACrB,YAAY,EAAE,mCAA2D,KAAK,IAAI,CAAC;IACtF,MAAM,cAAc,GAA6B,EAAE,CAAC;IACpD,IAAI,YAAY,EAAE,CAAC;QACjB,0DAA0D;QAC1D,+EAA+E;QAC/E,wDAAwD;QACxD,MAAM,mBAAmB,GAAG,YAAY,CAAC,uBAA6C,CAAC;QACvF,MAAM,iBAAiB,GAAG,mBAAmB;YAC3C,CAAC,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5C,CAAC,CAAC,KAAK,CAAC;QACV,IAAI,CAAC,GAAG,CAAC,qBAAqB,EAAE,CAAC;YAC/B,IAAI,iBAAiB,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBAC7C,cAAc,CAAC,IAAI,CAAC;oBAClB,SAAS,EAAE,CAAC;oBACZ,QAAQ,EAAE,UAAU;oBACpB,OAAO,EACL,yFAAyF;iBAC5F,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,gEAAgE;YAChE,MAAM,SAAS,GAAgC;gBAC7C,GAAG,GAAG;gBACN,eAAe,EAAE,GAAG,CAAC,qBAAqB;gBAC1C,iBAAiB,EAAE,GAAG,CAAC,uBAAuB;gBAC9C,oBAAoB,EAAE,GAAG,CAAC,0BAA0B;gBACpD,sBAAsB,EAAE,GAAG,CAAC,4BAA4B;aACzD,CAAC;YACF,MAAM,kBAAkB,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;YACpD,uBAAuB;YACvB,KAAK,MAAM,CAAC,IAAI,kBAAkB,EAAE,CAAC;gBACnC,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IAED,2DAA2D;IAC3D,MAAM,aAAa,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;IAE/C,+EAA+E;IAC/E,oFAAoF;IACpF,MAAM,WAAW,GAAG,CAAC,GAAG,aAAa,EAAE,GAAG,cAAc,EAAE,GAAG,aAAa,CAAC,CAAC;IAE5E,mEAAmE;IACnE,sFAAsF;IACtF,6DAA6D;IAC7D,MAAM,qBAAqB,GAAG,YAAY,IAAI,kBAAkB,CAAC;IAEjE,MAAM,OAAO,GAAG,oBAAoB,CAAC;QACnC,QAAQ,EAAE,WAAW;QACrB,qBAAqB;KACtB,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAErD,OAAO;QACL,EAAE;QACF,OAAO;QACP,mBAAmB,EAAE,CAAC,EAAE,oBAAoB;KAC7C,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAGpC;IACC,MAAM,EAAE,QAAQ,EAAE,qBAAqB,EAAE,GAAG,IAAI,CAAC;IACjD,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IAC3E,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IAEzE,OAAO,qBAAqB,CAAC,GAAG,CAAuB,CAAC,IAAI,EAAE,EAAE;QAC9D,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACrD,gBAAgB;QAChB,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,CAAC;QAC/D,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QAC9E,CAAC;QACD,oEAAoE;QACpE,IAAI,qBAAqB,IAAI,wBAAwB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/D,OAAO;gBACL,SAAS,EAAE,IAAI;gBACf,EAAE,EAAE,IAAI;gBACR,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,mCAAmC;aAC5C,CAAC;QACJ,CAAC;QACD,8CAA8C;QAC9C,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,CAAC;QAC9D,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QAChF,CAAC;QACD,QAAQ;QACR,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/core/archive/index.d.ts

@@ -0,0 +1,4 @@
+export * from './transaction.js';
+export * from './lock.js';
+export * from './recover.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/core/archive/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/archive/index.ts"],"names":[],"mappings":"AAEA,cAAc,kBAAkB,CAAC;AACjC,cAAc,WAAW,CAAC;AAC1B,cAAc,cAAc,CAAC"}

package/dist/core/archive/index.js

@@ -0,0 +1,6 @@
+// archive 模块公共 API 导出
+// Plan 3 Task 11 起:transaction;Task 12 加 lock;Task 13 加 recover
+export * from './transaction.js';
+export * from './lock.js';
+export * from './recover.js';
+//# sourceMappingURL=index.js.map

package/dist/core/archive/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/archive/index.ts"],"names":[],"mappings":"AAAA,sBAAsB;AACtB,gEAAgE;AAChE,cAAc,kBAAkB,CAAC;AACjC,cAAc,WAAW,CAAC;AAC1B,cAAc,cAAc,CAAC"}

package/dist/core/archive/legacy-exemption.d.ts

@@ -0,0 +1,14 @@
+import { type ValidationResult } from '../validate/types.js';
+/**
+ * legacy 精确豁免校验(沿 design §3.4.4.1)
+ *
+ * 规则:
+ * 1. 若 process_evidence_unavailable_legacy != true → 非 legacy,本函数不裁决,返通过(strict path 处理)
+ * 2. 若是 legacy + created_by_tool_version >=1.0.0 → 互斥拒签
+ * 3. 反向加固:legacy marker **不应该**有 tdd_exemption / process_verification_mode 字段
+ *
+ * @param marker .verify-passed / .review-passed 解析后 Record
+ * @param file 可选错误报告用 marker 文件路径
+ */
+export declare function validateLegacyExemption(marker: Record<string, unknown>, file?: string): ValidationResult;
+//# sourceMappingURL=legacy-exemption.d.ts.map

package/dist/core/archive/legacy-exemption.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"legacy-exemption.d.ts","sourceRoot":"","sources":["../../../src/core/archive/legacy-exemption.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,gBAAgB,EAA4B,MAAM,sBAAsB,CAAC;AAKvF;;;;;;;;;;GAUG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,IAAI,CAAC,EAAE,MAAM,GACZ,gBAAgB,CAoFlB"}

package/dist/core/archive/legacy-exemption.js

@@ -0,0 +1,82 @@
+// src/core/archive/legacy-exemption.ts — plan-9j Task 3
+// 沿 design §3.4.4.1 精确豁免表 + 反向加固
+// 13 不变量中 #1-8/10/13 跳过;#9/11/12 保留 + 反向加固;legacy=true ⊥ (created>=1.0.0 且 resigned 缺失) 互斥(v6 修订 resigned-aware)
+import { ok, failed, mergeResults } from '../validate/types.js';
+/** v0.4 marker 视为 legacy 的 semver 上界(<1.0.0) */
+const V10_SEMVER_RE = /^[1-9]\d*\./; // 主版本 >=1 即视为 v1.0.0+
+/**
+ * legacy 精确豁免校验(沿 design §3.4.4.1)
+ *
+ * 规则:
+ * 1. 若 process_evidence_unavailable_legacy != true → 非 legacy,本函数不裁决,返通过(strict path 处理)
+ * 2. 若是 legacy + created_by_tool_version >=1.0.0 → 互斥拒签
+ * 3. 反向加固:legacy marker **不应该**有 tdd_exemption / process_verification_mode 字段
+ *
+ * @param marker .verify-passed / .review-passed 解析后 Record
+ * @param file 可选错误报告用 marker 文件路径
+ */
+export function validateLegacyExemption(marker, file) {
+    // 1. 字段类型严格校验
+    const legacyMeta = marker.process_evidence_unavailable_legacy;
+    if (legacyMeta !== undefined && typeof legacyMeta !== 'boolean') {
+        return failed({
+            artifact: 'marker',
+            field: 'process_evidence_unavailable_legacy',
+            message: `process_evidence_unavailable_legacy must be boolean or omitted,实际:${typeof legacyMeta}`,
+            file,
+        });
+    }
+    // 2. 非 legacy → 本函数不裁决,返通过(strict path 处理)
+    if (legacyMeta !== true) {
+        return ok();
+    }
+    const results = [];
+    // 3. 互斥校验(v3 BLOCKER 2 resigned-aware):legacy=true ⊥ (created>=1.0.0 且 resigned 缺失)
+    // 沿 design §3.4.4.1 修订规则:resign 后 marker(含 resigned_by_tool_version)允许 legacy + version 共存
+    const version = marker.created_by_tool_version;
+    const resignedVersion = marker.resigned_by_tool_version;
+    if (typeof version === 'string' &&
+        V10_SEMVER_RE.test(version) &&
+        typeof resignedVersion !== 'string') {
+        results.push(failed({
+            artifact: 'marker',
+            field: 'process_evidence_unavailable_legacy',
+            message: `legacy=true 与 (created_by_tool_version >= 1.0.0 且 resigned_by_tool_version 缺失)互斥(实际 created=${version});` +
+                `**原生 v1.0** 创建的 marker 不允许 legacy 标记;resign 后 marker 应同时含 resigned 字段。沿 design §3.4.4.1 修订 + v2 BLOCKER 2 选项 C`,
+            file,
+        }));
+    }
+    // v3 BLOCKER 6 反向加固 #9 placeholder:legacy=true 时若含 process_evidence 整字段 → 拒签
+    // 沿 design §3.4.4.1 line 1798 关键不变量保留 + 9g 未完成 fail-closed
+    if (marker.process_evidence !== undefined && marker.process_evidence !== null) {
+        results.push(failed({
+            artifact: 'marker',
+            field: 'process_evidence',
+            message: `legacy marker 不应该有 process_evidence 整字段(legacy 没走 v1.0 process_evidence 协议;` +
+                `若有则疑似 tamper 或工具伪造,fence 拒签 — 沿 design §3.4.4.1 #9 反向加固,9g 未完成时 fail-closed)`,
+            file,
+        }));
+    }
+    // 4. 反向加固 #11:legacy marker 不应有 tdd_exemption 字段
+    if (marker.tdd_exemption !== undefined && marker.tdd_exemption !== null) {
+        results.push(failed({
+            artifact: 'marker',
+            field: 'tdd_exemption',
+            message: `tdd_exemption 字段不允许出现在 legacy marker 中(疑似 tamper:legacy marker 没走 v1.0 协议);` +
+                `沿 design §3.4.4.1 不变量 #11 反向加固`,
+            file,
+        }));
+    }
+    // 5. 反向加固 #12:legacy marker 不应有 process_verification_mode 字段
+    if (marker.process_verification_mode !== undefined && marker.process_verification_mode !== null) {
+        results.push(failed({
+            artifact: 'marker',
+            field: 'process_verification_mode',
+            message: `process_verification_mode 字段不允许出现在 legacy marker 中(同上反向加固);` +
+                `沿 design §3.4.4.1 不变量 #12`,
+            file,
+        }));
+    }
+    return mergeResults(...results);
+}
+//# sourceMappingURL=legacy-exemption.js.map

package/dist/core/archive/legacy-exemption.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"legacy-exemption.js","sourceRoot":"","sources":["../../../src/core/archive/legacy-exemption.ts"],"names":[],"mappings":"AAAA,wDAAwD;AACxD,iCAAiC;AACjC,iHAAiH;AAEjH,OAAO,EAAyB,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEvF,gDAAgD;AAChD,MAAM,aAAa,GAAG,aAAa,CAAC,CAAC,sBAAsB;AAE3D;;;;;;;;;;GAUG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAA+B,EAC/B,IAAa;IAEb,cAAc;IACd,MAAM,UAAU,GAAG,MAAM,CAAC,mCAAmC,CAAC;IAC9D,IAAI,UAAU,KAAK,SAAS,IAAI,OAAO,UAAU,KAAK,SAAS,EAAE,CAAC;QAChE,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,qCAAqC;YAC5C,OAAO,EAAE,qEAAqE,OAAO,UAAU,EAAE;YACjG,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IAED,2CAA2C;IAC3C,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,CAAC;IACd,CAAC;IAED,MAAM,OAAO,GAAuB,EAAE,CAAC;IAEvC,oFAAoF;IACpF,2FAA2F;IAC3F,MAAM,OAAO,GAAG,MAAM,CAAC,uBAAuB,CAAC;IAC/C,MAAM,eAAe,GAAG,MAAM,CAAC,wBAAwB,CAAC;IACxD,IACE,OAAO,OAAO,KAAK,QAAQ;QAC3B,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC;QAC3B,OAAO,eAAe,KAAK,QAAQ,EACnC,CAAC;QACD,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,qCAAqC;YAC5C,OAAO,EACL,+FAA+F,OAAO,IAAI;gBAC1G,gHAAgH;YAClH,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,2DAA2D;IAC3D,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9E,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,kBAAkB;YACzB,OAAO,EACL,6EAA6E;gBAC7E,8EAA8E;YAChF,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IAED,iDAAiD;IACjD,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QACxE,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,eAAe;YACtB,OAAO,EACL,6EAA6E;gBAC7E,gCAAgC;YAClC,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IAED,6DAA6D;IAC7D,IAAI,MAAM,CAAC,yBAAyB,KAAK,SAAS,IAAI,MAAM,CAAC,yBAAyB,KAAK,IAAI,EAAE,CAAC;QAChG,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,2BAA2B;YAClC,OAAO,EACL,6DAA6D;gBAC7D,2BAA2B;YAC7B,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IAED,OAAO,YAAY,CAAC,GAAG,OAAO,CAAC,CAAC;AAClC,CAAC"}

package/dist/core/archive/lock.d.ts

@@ -0,0 +1,46 @@
+export type LockMode = 'archive' | 'recover' | 'resume-summary' | 'legacy-bridge-map' | 'legacy-bridge-regenerate' | 'legacy-bridge-index' | 'legacy-bridge-resolve' | 'legacy-bridge-sync-check' | 'migrate';
+/** lock 文件内容结构 */
+interface LockData {
+    pid: number;
+    started_at: string;
+    mode: LockMode;
+}
+/** 当 lock 被另一个活进程持有时抛出 */
+export declare class LockHeldError extends Error {
+    readonly holder: LockData;
+    constructor(holder: LockData);
+}
+/**
+ * acquireLock 的可定制 lock 文件版本(决策 #23)。
+ *
+ * legacy-bridge 命令获 forge/.cache/legacy-bridge.lock(独立于 archive.lock);
+ * regenerate/index 同时获 archive.lock + legacy-bridge.lock(顺序固定:先 archive.lock 后 legacy-bridge.lock)。
+ *
+ * @param forgeRoot forge 根目录
+ * @param mode      操作 mode(也写入 lock 数据)
+ * @param lockName  lock 文件名,默认 'archive.lock'
+ * @returns         release 函数(幂等,可多次调用)
+ */
+export declare function acquireLockByPath(forgeRoot: string, mode: LockMode, lockName?: string): Promise<() => Promise<void>>;
+/**
+ * 获取 archive 进程锁(`.cache/archive.lock` 专用 wrapper)。
+ *
+ * 用 O_CREAT|O_EXCL 原子创建 .cache/archive.lock:
+ * - 若文件不存在 → 独占创建,写入 {pid, started_at, mode},返回 release 函数
+ * - 若文件已存在:
+ *   - 检查持有者 pid 是否存活(isPidAlive)
+ *   - stale(进程已死) → 删除 lock + 递归重试
+ *   - alive → 抛 LockHeldError
+ *
+ * **使用约定**:本函数仅供 archive / recover / **resume-summary**(plan-9e1 v3 NIT 1 修订)命令使用;
+ * legacy-bridge 命令应直接调 `acquireLockByPath(forgeRoot, mode, 'legacy-bridge.lock')`(决策 #23)。
+ *
+ * @param forgeRoot forge 根目录(含 .cache/ 子目录)
+ * @param mode      当前操作模式(LockMode union 支持 legacy-bridge-* 与 'migrate' 是为统一类型;
+ *                  实际 callsite 应仅传 'archive' / 'recover' / 'resume-summary';
+ *                  legacy-bridge-* 与 'migrate' 走 `acquireLockByPath` 路径)
+ * @returns         release 函数(幂等,可多次调用)
+ */
+export declare function acquireLock(forgeRoot: string, mode: LockMode): Promise<() => Promise<void>>;
+export {};
+//# sourceMappingURL=lock.d.ts.map

package/dist/core/archive/lock.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lock.d.ts","sourceRoot":"","sources":["../../../src/core/archive/lock.ts"],"names":[],"mappings":"AAYA,MAAM,MAAM,QAAQ,GAChB,SAAS,GACT,SAAS,GACT,gBAAgB,GAChB,mBAAmB,GACnB,0BAA0B,GAC1B,qBAAqB,GACrB,uBAAuB,GACvB,0BAA0B,GAC1B,SAAS,CAAC;AAEd,kBAAkB;AAClB,UAAU,QAAQ;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED,0BAA0B;AAC1B,qBAAa,aAAc,SAAQ,KAAK;aACV,MAAM,EAAE,QAAQ;gBAAhB,MAAM,EAAE,QAAQ;CAM7C;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,iBAAiB,CACrC,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,QAAQ,EACd,QAAQ,GAAE,MAAuB,GAChC,OAAO,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,CAiC9B;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAsB,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,CAEjG"}

package/dist/core/archive/lock.js

@@ -0,0 +1,98 @@
+// archive 进程锁 — Plan 3 Task 12;Plan 7 Phase A Task A2 扩展支持 legacy-bridge.lock
+// 用 O_CREAT|O_EXCL 独占创建 .cache/<lockName>,含 stale pid 检测
+import { writeFile, readFile, rm } from 'node:fs/promises';
+import { existsSync, openSync, closeSync, mkdirSync, constants } from 'node:fs';
+import { join, dirname } from 'node:path';
+/** 当 lock 被另一个活进程持有时抛出 */
+export class LockHeldError extends Error {
+    holder;
+    constructor(holder) {
+        super(`another forge archive is in progress (pid ${holder.pid}, mode ${holder.mode}, started ${holder.started_at})`);
+        this.holder = holder;
+        this.name = 'LockHeldError';
+    }
+}
+/**
+ * acquireLock 的可定制 lock 文件版本(决策 #23)。
+ *
+ * legacy-bridge 命令获 forge/.cache/legacy-bridge.lock(独立于 archive.lock);
+ * regenerate/index 同时获 archive.lock + legacy-bridge.lock(顺序固定:先 archive.lock 后 legacy-bridge.lock)。
+ *
+ * @param forgeRoot forge 根目录
+ * @param mode      操作 mode(也写入 lock 数据)
+ * @param lockName  lock 文件名,默认 'archive.lock'
+ * @returns         release 函数(幂等,可多次调用)
+ */
+export async function acquireLockByPath(forgeRoot, mode, lockName = 'archive.lock') {
+    const lockPath = join(forgeRoot, '.cache', lockName);
+    mkdirSync(dirname(lockPath), { recursive: true });
+    let fd;
+    try {
+        fd = openSync(lockPath, constants.O_CREAT | constants.O_EXCL | constants.O_WRONLY, 0o644);
+    }
+    catch (err) {
+        if (err.code === 'EEXIST') {
+            const data = JSON.parse(await readFile(lockPath, 'utf8'));
+            if (!isPidAlive(data.pid)) {
+                await rm(lockPath, { force: true });
+                return acquireLockByPath(forgeRoot, mode, lockName);
+            }
+            throw new LockHeldError(data);
+        }
+        throw err;
+    }
+    const data = {
+        pid: process.pid,
+        started_at: new Date().toISOString(),
+        mode,
+    };
+    await writeFile(lockPath, JSON.stringify(data, null, 2), { encoding: 'utf8', flag: 'w' });
+    closeSync(fd);
+    return async () => {
+        if (existsSync(lockPath)) {
+            await rm(lockPath, { force: true });
+        }
+    };
+}
+/**
+ * 获取 archive 进程锁(`.cache/archive.lock` 专用 wrapper)。
+ *
+ * 用 O_CREAT|O_EXCL 原子创建 .cache/archive.lock:
+ * - 若文件不存在 → 独占创建,写入 {pid, started_at, mode},返回 release 函数
+ * - 若文件已存在:
+ *   - 检查持有者 pid 是否存活(isPidAlive)
+ *   - stale(进程已死) → 删除 lock + 递归重试
+ *   - alive → 抛 LockHeldError
+ *
+ * **使用约定**:本函数仅供 archive / recover / **resume-summary**(plan-9e1 v3 NIT 1 修订)命令使用;
+ * legacy-bridge 命令应直接调 `acquireLockByPath(forgeRoot, mode, 'legacy-bridge.lock')`(决策 #23)。
+ *
+ * @param forgeRoot forge 根目录(含 .cache/ 子目录)
+ * @param mode      当前操作模式(LockMode union 支持 legacy-bridge-* 与 'migrate' 是为统一类型;
+ *                  实际 callsite 应仅传 'archive' / 'recover' / 'resume-summary';
+ *                  legacy-bridge-* 与 'migrate' 走 `acquireLockByPath` 路径)
+ * @returns         release 函数(幂等,可多次调用)
+ */
+export async function acquireLock(forgeRoot, mode) {
+    return acquireLockByPath(forgeRoot, mode, 'archive.lock');
+}
+/**
+ * 检查 pid 是否存活
+ *
+ * process.kill(pid, 0):向进程发信号 0(不实际发送信号),
+ * 仅验证进程是否存在及当前用户是否有权限访问。
+ * - 返回 true:进程存在
+ * - 返回 false:进程不存在(ESRCH)
+ * - 返回 true:EPERM(进程存在但无权限)
+ */
+function isPidAlive(pid) {
+    try {
+        process.kill(pid, 0); // 不发实际信号,仅验证存活
+        return true;
+    }
+    catch (err) {
+        // ESRCH = 进程不存在;其他错误(EPERM)= 进程存在但无权限
+        return err.code !== 'ESRCH';
+    }
+}
+//# sourceMappingURL=lock.js.map

package/dist/core/archive/lock.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lock.js","sourceRoot":"","sources":["../../../src/core/archive/lock.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,yDAAyD;AAEzD,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAChF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAyB1C,0BAA0B;AAC1B,MAAM,OAAO,aAAc,SAAQ,KAAK;IACV;IAA5B,YAA4B,MAAgB;QAC1C,KAAK,CACH,6CAA6C,MAAM,CAAC,GAAG,UAAU,MAAM,CAAC,IAAI,aAAa,MAAM,CAAC,UAAU,GAAG,CAC9G,CAAC;QAHwB,WAAM,GAAN,MAAM,CAAU;QAI1C,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC;IAC9B,CAAC;CACF;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,SAAiB,EACjB,IAAc,EACd,WAAmB,cAAc;IAEjC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAErD,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAElD,IAAI,EAAU,CAAC;IACf,IAAI,CAAC;QACH,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,GAAG,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC5F,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAK,GAA6B,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAa,CAAC;YACtE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACpC,OAAO,iBAAiB,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;YACtD,CAAC;YACD,MAAM,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;IAED,MAAM,IAAI,GAAa;QACrB,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,IAAI;KACL,CAAC;IACF,MAAM,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1F,SAAS,CAAC,EAAE,CAAC,CAAC;IAEd,OAAO,KAAK,IAAmB,EAAE;QAC/B,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzB,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACtC,CAAC;IACH,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,SAAiB,EAAE,IAAc;IACjE,OAAO,iBAAiB,CAAC,SAAS,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;AAC5D,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,UAAU,CAAC,GAAW;IAC7B,IAAI,CAAC;QACH,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,sCAAsC;QACtC,OAAQ,GAA6B,CAAC,IAAI,KAAK,OAAO,CAAC;IACzD,CAAC;AACH,CAAC"}

package/dist/core/archive/pause-decisions-fence.d.ts

@@ -0,0 +1,13 @@
+import { type ValidationResult } from '../validate/types.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 declare function validatePauseDecisionsFence(marker: Record<string, unknown>, changeDir: string, file?: string): Promise<ValidationResult>;
+//# sourceMappingURL=pause-decisions-fence.d.ts.map

package/dist/core/archive/pause-decisions-fence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pause-decisions-fence.d.ts","sourceRoot":"","sources":["../../../src/core/archive/pause-decisions-fence.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,gBAAgB,EAA4B,MAAM,sBAAsB,CAAC;AAcvF;;;;;;;;;GASG;AACH,wBAAsB,2BAA2B,CAC/C,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,SAAS,EAAE,MAAM,EACjB,IAAI,CAAC,EAAE,MAAM,GACZ,OAAO,CAAC,gBAAgB,CAAC,CA4G3B"}