@accelerator-mzq/forge 1.4.0

package/dist/core/upgrade/resign-markers.js

@@ -0,0 +1,245 @@
+// src/core/upgrade/resign-markers.ts — plan-9j Task 2
+// `forge upgrade --resign-markers <changeId>` option flag 主流程(沿 v3 BLOCKER 1 — 不是 subcommand)
+// 沿 design §3.4.4 行为表 + §2.3.5 简码迁移 + §3.4.4.1 精确豁免
+// v6 BLOCKER 2 修订:补齐所有 import(v5 stash 路径用 copyFile/mkdir/rm + basename 但没 import)
+import { readFile, writeFile, mkdir, copyFile, rm } from 'node:fs/promises';
+import { existsSync } from 'node:fs';
+import { join, basename } from 'node:path';
+import { parse as parseYaml, stringify as stringifyYaml } from 'yaml';
+import { spawnSync } from 'node:child_process';
+import { appendAckLog } from '../ack-log.js';
+// v9 round 2 修(plan-9j Task 5 code quality reviewer I-2):SEMVER_MAJOR_RE 提升模块顶层
+// 原在 resignOneMarker 函数体内,每次调用重新编译;模块常量避免重复编译 + 与 sister-pattern 一致
+const SEMVER_MAJOR_RE = /^(\d+)\./;
+/** 一次性入口 — 对 change 目录两 marker(.verify-passed + .review-passed)处理
+ *
+ * v7 BLOCKER 1 修订:加 forgeCliPath 参数(沿调用链传到 proposeForCSimcode 真调 ack CLI)
+ * caller(upgrade.ts action handler)需传 dist/cli/index.js 真实路径;测试可注入 mock CLI 路径
+ */
+export async function resignChangeMarkers(forgeRoot, changeId, forgeCliPath, cliVersion = '1.0.0') {
+    const changeDir = join(forgeRoot, 'changes', changeId);
+    const results = [];
+    for (const markerName of ['.verify-passed', '.review-passed']) {
+        const markerPath = join(changeDir, markerName);
+        if (!existsSync(markerPath))
+            continue;
+        // v3 MAJOR 4:传 forgeRoot 入,resignOneMarker 用 forgeRoot 拼 stash 路径
+        // v7 BLOCKER 1:传 forgeCliPath 入,resignOneMarker → proposeForCSimcode spawn 真 ack CLI
+        results.push(await resignOneMarker(markerPath, changeDir, changeId, forgeRoot, forgeCliPath, cliVersion));
+    }
+    return results;
+}
+/** 单 marker resign — 三步:简码映射 / 字段添加 / ack-log 写入(v3 MAJOR 4 + v7 BLOCKER 1:加 forgeRoot + forgeCliPath 参数) */
+async function resignOneMarker(markerPath, changeDir, changeId, forgeRoot, forgeCliPath, cliVersion) {
+    const text = await readFile(markerPath, 'utf8');
+    const marker = parseYaml(text);
+    // 步骤 0:若已 resigned(`resigned_by_tool_version` 字段存在)或原生 v1.0.0+ → skip
+    // v3 BLOCKER 3 修订:判定依据是 `resigned_by_tool_version` 字段(沿 v2 选项 C),
+    // 不再用 `created_by_tool_version >= 1.0.0` 判定(原 v1 逻辑覆写 created,v3 改保留)
+    // (SEMVER_MAJOR_RE 已提升到模块顶层 — v9 round 2 修 plan-9j Task 5 reviewer I-2)
+    const alreadyResigned = typeof marker.resigned_by_tool_version === 'string';
+    // v9 round 2 修(plan-9j code quality reviewer I-1):用 SEMVER 严格判定 + major 比较,防 invalid string 误 skip
+    // 沿 marker-schema.ts:29 SEMVER_RE 同模式,只取 major 部分
+    const createdRaw = marker.created_by_tool_version;
+    const createdMatch = typeof createdRaw === 'string' ? SEMVER_MAJOR_RE.exec(createdRaw) : null;
+    const isNativeV10 = createdMatch !== null && parseInt(createdMatch[1], 10) >= 1;
+    if (alreadyResigned || isNativeV10) {
+        return {
+            kind: 'skipped-already-v1',
+            message: `${markerPath}: 已是 v1.0+(resigned=${marker.resigned_by_tool_version ?? '<none>'} / created=${marker.created_by_tool_version ?? '<none>'}),无需 resign`,
+            markerPath,
+        };
+    }
+    // 步骤 1:review_outcomes 简码映射(沿 design §2.3.5)
+    let needsCPropose = false;
+    const pendingPaths = [];
+    if (Array.isArray(marker.review_outcomes)) {
+        const outcomes = marker.review_outcomes;
+        for (let i = 0; i < outcomes.length; i++) {
+            const o = outcomes[i];
+            if (o.severity === 'S') {
+                o.severity = 'CRITICAL';
+            }
+            else if (o.severity === 'L') {
+                o.severity = 'SUGGESTION';
+            }
+            else if (o.severity === 'C' || o.severity === 'blocking') {
+                // C 简码 / blocking 字符串 — Task 5 修订:先检查 ack-log 是否已有对应 resign-c-simcode confirm
+                // 若已有 confirm 且携带 target_severity → 直接替换 severity,走 resign 路径
+                // 若无 confirm → 走 ack.ts propose 路径(交互式询问 target severity)
+                const confirmedSeverity = await lookupConfirmedCSimcode(changeDir, String(i));
+                if (confirmedSeverity === 'WARNING' || confirmedSeverity === 'SUGGESTION') {
+                    // 已 confirm → 用 target_severity 替换 C 简码
+                    o.severity = confirmedSeverity;
+                }
+                else {
+                    // 尚未 confirm → propose 路径
+                    // v7 BLOCKER 1 修订:传 forgeCliPath(从 resignChangeMarkers 接收的参数),不是 changeDir
+                    needsCPropose = true;
+                    // exitCode 此处不用(propose 写 pending 后 exit 1 是预期行为,caller 检查 needsCPropose 标志)
+                    const { pendingDirAfter } = await proposeForCSimcode(forgeCliPath, changeId, i);
+                    pendingPaths.push(pendingDirAfter);
+                }
+            }
+        }
+    }
+    if (needsCPropose) {
+        return {
+            kind: 'needs-c-propose',
+            message: `${markerPath}: 含 C 简码 review_outcome,已写 pending file 到 ${pendingPaths.length} 个;\n` +
+                `请运行 \`forge ack confirm <changeId> <findingId>\` 或 \`/forge:ack-confirm\` slash 命令处理后重跑 resign-markers`,
+            markerPath,
+            pendingPaths,
+        };
+    }
+    // v3 BLOCKER 5 + v3 MAJOR 4:阶段事务 stash/rollback — 用 forgeRoot 拼 stash 路径
+    // 沿 upgrade.ts:95 现有 STASH 模式(projectRoot/.cache),保持模块入口接收 forgeRoot 参数
+    // 而非 changeDir 相对路径(避免 `..`/`..` 跳出 changeDir 后路径 fragile)
+    const stashDir = join(forgeRoot, '.cache', `resign-markers-stash-${process.pid}`);
+    await mkdir(stashDir, { recursive: true });
+    const stashPath = join(stashDir, basename(markerPath));
+    await copyFile(markerPath, stashPath);
+    // 步骤 2:加 resigned_by_tool_version 字段(superset additive),保留 created 不变
+    // v3 BLOCKER 2 修订:不覆写原 created_by_tool_version(保留原值),加 resigned_by_tool_version 新字段
+    // 沿 design §3.4.4:resign 后 marker 区分 created(原始)vs resigned(升级时机)
+    // 老 marker 缺 created 字段时,只设 resigned 字段(created 隐含 <1.0.0)
+    marker.resigned_by_tool_version = cliVersion;
+    // 步骤 3:改标 process_evidence_unavailable_legacy meta(不自动填空 verify_findings/pause_decisions/process_evidence)
+    // 沿 design §3.4.4 + §3.4.4.1 — 填空 = 工具帮 AI 伪造证据,违反 AI 反向加固
+    marker.process_evidence_unavailable_legacy = true;
+    // 步骤 4:写回 marker(v3 BLOCKER 5:try/catch 包裹 — ack-log 失败时 restore stash)
+    try {
+        await writeFile(markerPath, stringifyYaml(marker), 'utf8');
+    }
+    catch (writeErr) {
+        // writeFile 失败 → restore stash 直接抛
+        await copyFile(stashPath, markerPath).catch(() => { });
+        await rm(stashDir, { recursive: true, force: true }).catch(() => { });
+        throw writeErr;
+    }
+    // 步骤 5:写 ack-log 一行 action=resign — 失败时回滚 writeFile
+    const gitHead = getGitHeadOrNull(changeDir);
+    try {
+        await appendAckLog(changeDir, {
+            schema: 'forge-ack-log/v1',
+            kind: 'ack',
+            timestamp: new Date().toISOString().replace(/\.\d{3}Z$/, 'Z'),
+            action: 'resign',
+            change_id: changeId,
+            finding_id: null,
+            user: 'cli-upgrade',
+            rationale: `forge upgrade --resign-markers: ${cliVersion}`,
+            git_head: gitHead,
+            finding_hash: null,
+            extra: { markerPath, originalVersion: '<1.0.0', targetVersion: cliVersion },
+        });
+    }
+    catch (ackErr) {
+        // v3 BLOCKER 5:ack-log 写失败 → restore stash 让 marker 字段未变
+        await copyFile(stashPath, markerPath).catch(() => { });
+        await rm(stashDir, { recursive: true, force: true }).catch(() => { });
+        throw ackErr;
+    }
+    // 全成功 → 清理 stash
+    await rm(stashDir, { recursive: true, force: true }).catch(() => { });
+    return {
+        kind: 'resigned',
+        message: `${markerPath}: resigned to ${cliVersion}(原 created_by_tool_version 保留)+ legacy meta`,
+        markerPath,
+    };
+}
+/**
+ * C 简码 propose — **真调** `forge ack propose` CLI(沿 v6 BLOCKER 1 修订 + v3 BLOCKER 4 数字 findingId)
+ *
+ * v6 BLOCKER 1:不再自写 pending YAML — 真 spawn forge ack propose 子命令(沿 9a propose/confirm 协议)
+ * 让 ack-log + pending file 完全走 9a 现状路径,plan-9j 仅提供 changeId + findingId + action,
+ * --target-severity 由 user 在后续 ack confirm 时指定(Task 6.1 已扩 9a 加该 flag)
+ */
+async function proposeForCSimcode(forgeCliPath, // dist/cli/index.js 路径(测试可注入 mock)
+changeId, outcomeIndex) {
+    // v3 BLOCKER 4:findingId 用数字索引(Windows 路径合规 + 9a listPending 正则匹配)
+    const findingId = String(outcomeIndex);
+    // v9 round 2 修(plan-9j code quality reviewer I-2):显式 cwd 绑定,消除父子 cwd 隐式继承依赖
+    const cwd = process.cwd();
+    // v6 BLOCKER 1:真 spawn forge ack propose(CI=false 让 propose 不被 9a CI 拒绝)
+    const res = spawnSync('node', [
+        forgeCliPath,
+        'ack',
+        'propose',
+        changeId,
+        '--finding',
+        findingId,
+        '--action',
+        'resign-c-simcode',
+        '--rationale',
+        `forge upgrade --resign-markers: C 简码需 user 判定 target severity`,
+    ], { encoding: 'utf8', env: { ...process.env, CI: 'false' }, cwd });
+    return {
+        exitCode: res.status ?? -1,
+        pendingDirAfter: join(cwd, 'forge', 'changes', changeId, '.evidence', 'pending-acks'),
+    };
+}
+/**
+ * lookupConfirmedCSimcode — 检查 ack-log.jsonl 是否已有对应 resign-c-simcode confirm 条目
+ *
+ * 沿 Task 5 修订:重跑 forge upgrade --resign-markers 时,若已有 user confirm + target_severity
+ * 则直接用 target_severity 替换 C 简码,无需再 propose。
+ *
+ * @param changeDir change 根目录(含 .evidence/ack-log.jsonl)
+ * @param findingId C 简码 outcome 的 index 字符串(与 propose 时一致)
+ * @returns target_severity('WARNING' | 'SUGGESTION') 若有 confirm,否则 null
+ */
+async function lookupConfirmedCSimcode(changeDir, findingId) {
+    const ackLogPath = join(changeDir, '.evidence', 'ack-log.jsonl');
+    if (!existsSync(ackLogPath))
+        return null;
+    try {
+        const text = await readFile(ackLogPath, 'utf8');
+        // v9 round 2 修(plan-9j Task 5 code quality reviewer I-1):逐行 try/catch 解析
+        // 原 .map((line) => JSON.parse(line)) 任一行损坏(如写入中断尾行截断)→ 整批 ack-log 不可读 → 用户已 confirm 的 C 简码被忽略 → 重复 propose 困惑
+        const entries = [];
+        for (const line of text.split('\n')) {
+            if (!line.trim())
+                continue;
+            try {
+                entries.push(JSON.parse(line));
+            }
+            catch {
+                // 单行损坏跳过,不影响其他行
+            }
+        }
+        // 找 action=resign-c-simcode + finding_id 匹配 + target_severity 合法的最新条目
+        for (let i = entries.length - 1; i >= 0; i--) {
+            const e = entries[i];
+            if (e &&
+                e.kind === 'ack' &&
+                e.action === 'resign-c-simcode' &&
+                String(e.finding_id) === findingId) {
+                if (e.target_severity === 'WARNING' || e.target_severity === 'SUGGESTION') {
+                    return e.target_severity;
+                }
+            }
+        }
+        return null;
+    }
+    catch {
+        // ack-log 读取失败 → 保守返回 null,走 propose 路径
+        return null;
+    }
+}
+/** 获取 git HEAD(沿 archive.ts:isProjectActuallyGit 同模式) */
+function getGitHeadOrNull(cwd) {
+    try {
+        return spawnSync('git', ['rev-parse', 'HEAD'], {
+            cwd,
+            encoding: 'utf8',
+            stdio: ['ignore', 'pipe', 'ignore'],
+        })
+            .stdout.toString()
+            .trim();
+    }
+    catch {
+        return null;
+    }
+}
+//# sourceMappingURL=resign-markers.js.map

package/dist/core/upgrade/resign-markers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resign-markers.js","sourceRoot":"","sources":["../../../src/core/upgrade/resign-markers.ts"],"names":[],"mappings":"AAAA,sDAAsD;AACtD,8FAA8F;AAC9F,oDAAoD;AAEpD,mFAAmF;AACnF,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,SAAS,IAAI,aAAa,EAAE,MAAM,MAAM,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,gFAAgF;AAChF,oEAAoE;AACpE,MAAM,eAAe,GAAG,UAAU,CAAC;AAkBnC;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,SAAiB,EACjB,QAAgB,EAChB,YAAoB,EACpB,aAAqB,OAAO;IAE5B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACvD,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,KAAK,MAAM,UAAU,IAAI,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,EAAE,CAAC;QAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAC/C,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;YAAE,SAAS;QACtC,kEAAkE;QAClE,qFAAqF;QACrF,OAAO,CAAC,IAAI,CACV,MAAM,eAAe,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,CAAC,CAC5F,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,6GAA6G;AAC7G,KAAK,UAAU,eAAe,CAC5B,UAAkB,EAClB,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,YAAoB,EACpB,UAAkB;IAElB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAA4B,CAAC;IAE1D,sEAAsE;IACtE,kEAAkE;IAClE,sEAAsE;IACtE,wEAAwE;IACxE,MAAM,eAAe,GAAG,OAAO,MAAM,CAAC,wBAAwB,KAAK,QAAQ,CAAC;IAC5E,mGAAmG;IACnG,kDAAkD;IAClD,MAAM,UAAU,GAAG,MAAM,CAAC,uBAAuB,CAAC;IAClD,MAAM,YAAY,GAAG,OAAO,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9F,MAAM,WAAW,GAAG,YAAY,KAAK,IAAI,IAAI,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IACjF,IAAI,eAAe,IAAI,WAAW,EAAE,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,GAAG,UAAU,uBAAuB,MAAM,CAAC,wBAAwB,IAAI,QAAQ,cAAc,MAAM,CAAC,uBAAuB,IAAI,QAAQ,aAAa;YAC7J,UAAU;SACX,CAAC;IACJ,CAAC;IAED,6CAA6C;IAC7C,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAiD,CAAC;QAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAA4B,CAAC;YACjD,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;gBACvB,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC;YAC1B,CAAC;iBAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;gBAC9B,CAAC,CAAC,QAAQ,GAAG,YAAY,CAAC;YAC5B,CAAC;iBAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAC3D,8EAA8E;gBAC9E,8DAA8D;gBAC9D,0DAA0D;gBAC1D,MAAM,iBAAiB,GAAG,MAAM,uBAAuB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9E,IAAI,iBAAiB,KAAK,SAAS,IAAI,iBAAiB,KAAK,YAAY,EAAE,CAAC;oBAC1E,wCAAwC;oBACxC,CAAC,CAAC,QAAQ,GAAG,iBAAiB,CAAC;gBACjC,CAAC;qBAAM,CAAC;oBACN,0BAA0B;oBAC1B,2EAA2E;oBAC3E,aAAa,GAAG,IAAI,CAAC;oBACrB,6EAA6E;oBAC7E,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,kBAAkB,CAAC,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;oBAChF,YAAY,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO;YACL,IAAI,EAAE,iBAAiB;YACvB,OAAO,EACL,GAAG,UAAU,6CAA6C,YAAY,CAAC,MAAM,OAAO;gBACpF,wGAAwG;YAC1G,UAAU;YACV,YAAY;SACb,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,wEAAwE;IACxE,2DAA2D;IAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,wBAAwB,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAClF,MAAM,KAAK,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IACvD,MAAM,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAEtC,sEAAsE;IACtE,oFAAoF;IACpF,kEAAkE;IAClE,2DAA2D;IAC3D,MAAM,CAAC,wBAAwB,GAAG,UAAU,CAAC;IAE7C,2GAA2G;IAC3G,2DAA2D;IAC3D,MAAM,CAAC,mCAAmC,GAAG,IAAI,CAAC;IAElD,wEAAwE;IACxE,IAAI,CAAC;QACH,MAAM,SAAS,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,QAAQ,EAAE,CAAC;QAClB,mCAAmC;QACnC,MAAM,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACtD,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACrE,MAAM,QAAQ,CAAC;IACjB,CAAC;IAED,oDAAoD;IACpD,MAAM,OAAO,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAC5C,IAAI,CAAC;QACH,MAAM,YAAY,CAAC,SAAS,EAAE;YAC5B,MAAM,EAAE,kBAAkB;YAC1B,IAAI,EAAE,KAAK;YACX,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC;YAC7D,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,IAAI;YAChB,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,mCAAmC,UAAU,EAAE;YAC1D,QAAQ,EAAE,OAAO;YACjB,YAAY,EAAE,IAAI;YAClB,KAAK,EAAE,EAAE,UAAU,EAAE,eAAe,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE;SAC5E,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,MAAM,EAAE,CAAC;QAChB,yDAAyD;QACzD,MAAM,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACtD,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACrE,MAAM,MAAM,CAAC;IACf,CAAC;IAED,iBAAiB;IACjB,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAErE,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,GAAG,UAAU,iBAAiB,UAAU,6CAA6C;QAC9F,UAAU;KACX,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,kBAAkB,CAC/B,YAAoB,EAAE,mCAAmC;AACzD,QAAgB,EAChB,YAAoB;IAEpB,mEAAmE;IACnE,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;IACvC,4EAA4E;IAC5E,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAC1B,yEAAyE;IACzE,MAAM,GAAG,GAAG,SAAS,CACnB,MAAM,EACN;QACE,YAAY;QACZ,KAAK;QACL,SAAS;QACT,QAAQ;QACR,WAAW;QACX,SAAS;QACT,UAAU;QACV,kBAAkB;QAClB,aAAa;QACb,+DAA+D;KAChE,EACD,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,CAChE,CAAC;IACF,OAAO;QACL,QAAQ,EAAE,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC;QAC1B,eAAe,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,cAAc,CAAC;KACtF,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,KAAK,UAAU,uBAAuB,CACpC,SAAiB,EACjB,SAAiB;IAEjB,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;IACjE,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAChD,yEAAyE;QACzE,8GAA8G;QAC9G,MAAM,OAAO,GAAoB,EAAE,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;gBAAE,SAAS;YAC3B,IAAI,CAAC;gBACH,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAkB,CAAC,CAAC;YAClD,CAAC;YAAC,MAAM,CAAC;gBACP,gBAAgB;YAClB,CAAC;QACH,CAAC;QACD,sEAAsE;QACtE,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACrB,IACE,CAAC;gBACD,CAAC,CAAC,IAAI,KAAK,KAAK;gBAChB,CAAC,CAAC,MAAM,KAAK,kBAAkB;gBAC/B,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,SAAS,EAClC,CAAC;gBACD,IAAI,CAAC,CAAC,eAAe,KAAK,SAAS,IAAI,CAAC,CAAC,eAAe,KAAK,YAAY,EAAE,CAAC;oBAC1E,OAAO,CAAC,CAAC,eAAe,CAAC;gBAC3B,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,wCAAwC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,yDAAyD;AACzD,SAAS,gBAAgB,CAAC,GAAW;IACnC,IAAI,CAAC;QACH,OAAO,SAAS,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE;YAC7C,GAAG;YACH,QAAQ,EAAE,MAAM;YAChB,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC;SACpC,CAAC;aACC,MAAM,CAAC,QAAQ,EAAE;aACjB,IAAI,EAAE,CAAC;IACZ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/core/validate/archive-summary-schema.d.ts

@@ -0,0 +1,8 @@
+import { type ValidationResult } from './types.js';
+/**
+ * 校验 archive_summary 对象的 schema 合法性
+ * @param m 已解析的对象
+ * @param file 可选错误报告用 archive_summary.yaml 路径
+ */
+export declare function validateArchiveSummarySchema(m: unknown, file?: string): ValidationResult;
+//# sourceMappingURL=archive-summary-schema.d.ts.map

package/dist/core/validate/archive-summary-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"archive-summary-schema.d.ts","sourceRoot":"","sources":["../../../src/core/validate/archive-summary-schema.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,KAAK,gBAAgB,EAA4B,MAAM,YAAY,CAAC;AAwB7E;;;;GAIG;AACH,wBAAgB,4BAA4B,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAyMxF"}

package/dist/core/validate/archive-summary-schema.js

@@ -0,0 +1,186 @@
+// src/core/validate/archive-summary-schema.ts — plan-9e1 Task 1
+// validateArchiveSummarySchema:校验 archive_summary 顶级字段
+// 不校验业务规则(handoff 三类聚合是否齐全)— 那是 Task 2 builder 与 e2e 的事
+// 沿 marker-schema.ts checkXxx helper 同结构
+import { ok, failed, mergeResults } from './types.js';
+import { ARCHIVE_SUMMARY_ISO_8601_RE, SEMVER_RE } from '../schemas/archive-summary.js';
+// plan-9e2 Task 3:派生 EXPECTED_INVARIANT_COUNT 从 FENCE_INVARIANT_NAMES.length(自动跟随 invariant 数演化)
+import { FENCE_INVARIANT_NAMES } from '../archive/fence.js';
+/**
+ * plan-9e2 v2 codex 一轮 plan review MAJOR 5 修订:模块级派生常量
+ * 沿 brainstorm spec §3.5 + DoD 显式要求"派生常量"语义 — 不放函数内 const,模块级单源
+ * 后续若 invariant 数演化(plan-v1.1+),本常量自动跟随 FENCE_INVARIANT_NAMES.length
+ */
+const EXPECTED_INVARIANT_COUNT = FENCE_INVARIANT_NAMES.length;
+/**
+ * plan-9e2 Task 3 quality review I-1 修订:placeholder=false 路径必填的 4 个 number 字段
+ * 沿仓库约定:SCREAMING_SNAKE_CASE = 模块级常量(参 marker-schema.ts 模块级 const 模式)
+ * 与 EXPECTED_INVARIANT_COUNT 对称,避免函数内 inline 声明违约
+ */
+const REQUIRED_FIELDS = [
+    'invariants_passed',
+    'invariants_with_warning',
+    'invariants_failed',
+    'legacy_exempt',
+];
+/**
+ * 校验 archive_summary 对象的 schema 合法性
+ * @param m 已解析的对象
+ * @param file 可选错误报告用 archive_summary.yaml 路径
+ */
+export function validateArchiveSummarySchema(m, file) {
+    if (!m || typeof m !== 'object') {
+        return failed({
+            artifact: 'change',
+            message: 'archive_summary must be a YAML mapping',
+            file,
+        });
+    }
+    const obj = m;
+    const results = [];
+    // 1. schema literal
+    if (obj.schema !== 'forge-archive-summary/v1') {
+        results.push(failed({
+            artifact: 'change',
+            field: 'schema',
+            message: `schema must be literal 'forge-archive-summary/v1' (got: ${JSON.stringify(obj.schema)})`,
+            file,
+        }));
+    }
+    // 2. version semver
+    if (typeof obj.version !== 'string' || !SEMVER_RE.test(obj.version)) {
+        results.push(failed({
+            artifact: 'change',
+            field: 'version',
+            message: 'must be semver string (major.minor.patch)',
+            file,
+        }));
+    }
+    // 3. archived_at ISO 8601
+    if (typeof obj.archived_at !== 'string' || !ARCHIVE_SUMMARY_ISO_8601_RE.test(obj.archived_at)) {
+        results.push(failed({
+            artifact: 'change',
+            field: 'archived_at',
+            message: 'must be ISO 8601 UTC (YYYY-MM-DDTHH:MM:SSZ)',
+            file,
+        }));
+    }
+    // 4. change_id 非空 string
+    if (typeof obj.change_id !== 'string' || !obj.change_id) {
+        results.push(failed({
+            artifact: 'change',
+            field: 'change_id',
+            message: 'must be non-empty string',
+            file,
+        }));
+    }
+    // 5. verify_passed object
+    if (!obj.verify_passed ||
+        typeof obj.verify_passed !== 'object' ||
+        Array.isArray(obj.verify_passed)) {
+        results.push(failed({
+            artifact: 'change',
+            field: 'verify_passed',
+            message: 'must be object',
+            file,
+        }));
+    }
+    // 6. review_passed object
+    if (!obj.review_passed ||
+        typeof obj.review_passed !== 'object' ||
+        Array.isArray(obj.review_passed)) {
+        results.push(failed({
+            artifact: 'change',
+            field: 'review_passed',
+            message: 'must be object',
+            file,
+        }));
+    }
+    // 7. process_evidence_summary 必填 object(9e1 仅 placeholder,9e2 接 9g 真实统计;两态都得过 schema)
+    if (!obj.process_evidence_summary ||
+        typeof obj.process_evidence_summary !== 'object' ||
+        Array.isArray(obj.process_evidence_summary)) {
+        results.push(failed({
+            artifact: 'change',
+            field: 'process_evidence_summary',
+            message: 'must be object (9e1 placeholder, 9e2 接 9g 真实统计)',
+            file,
+        }));
+    }
+    // plan-9e2 Task 3:placeholder=false 路径严格校验(v2 codex 一轮 MAJOR 修订:4 字段 + sum 不变式)
+    if (obj.process_evidence_summary &&
+        typeof obj.process_evidence_summary === 'object' &&
+        !Array.isArray(obj.process_evidence_summary)) {
+        const peSummary = obj.process_evidence_summary;
+        if (peSummary.placeholder === false) {
+            // EXPECTED_INVARIANT_COUNT 与 REQUIRED_FIELDS 都从模块顶层引用(I-1 quality review 修订)
+            // 1. 4 字段必填 + number
+            for (const field of REQUIRED_FIELDS) {
+                if (typeof peSummary[field] !== 'number') {
+                    results.push(failed({
+                        artifact: 'change',
+                        field: `process_evidence_summary.${field}`,
+                        message: `required number when placeholder=false`,
+                        file,
+                    }));
+                }
+            }
+            // 仅当 4 字段全部为 number 才走值域 + sum 不变式(避免 NaN 干扰)
+            if (REQUIRED_FIELDS.every((f) => typeof peSummary[f] === 'number')) {
+                // 2. 值域 [0, EXPECTED_INVARIANT_COUNT]
+                for (const field of REQUIRED_FIELDS) {
+                    const v = peSummary[field];
+                    if (v < 0 || v > EXPECTED_INVARIANT_COUNT) {
+                        results.push(failed({
+                            artifact: 'change',
+                            field: `process_evidence_summary.${field}`,
+                            message: `must be in [0, ${EXPECTED_INVARIANT_COUNT}]`,
+                            file,
+                        }));
+                    }
+                }
+                // 3. sum 不变式(v2 codex 一轮 MAJOR 修订:4 字段 sum)
+                const sum = peSummary.invariants_passed +
+                    peSummary.invariants_with_warning +
+                    peSummary.invariants_failed +
+                    peSummary.legacy_exempt;
+                if (sum !== EXPECTED_INVARIANT_COUNT) {
+                    results.push(failed({
+                        artifact: 'change',
+                        field: 'process_evidence_summary',
+                        message: `sum invariant: ${sum} !== ${EXPECTED_INVARIANT_COUNT}`,
+                        file,
+                    }));
+                }
+            }
+        }
+        // placeholder=true 路径不变(9e1 容忍)
+    }
+    // 8-10. 三数组字段
+    if (!Array.isArray(obj.handoff_to_backlog)) {
+        results.push(failed({
+            artifact: 'change',
+            field: 'handoff_to_backlog',
+            message: 'must be array',
+            file,
+        }));
+    }
+    if (!Array.isArray(obj.acked_warnings)) {
+        results.push(failed({
+            artifact: 'change',
+            field: 'acked_warnings',
+            message: 'must be array',
+            file,
+        }));
+    }
+    if (!Array.isArray(obj.pending_suggestions)) {
+        results.push(failed({
+            artifact: 'change',
+            field: 'pending_suggestions',
+            message: 'must be array',
+            file,
+        }));
+    }
+    return results.length === 0 ? ok() : mergeResults(...results);
+}
+//# sourceMappingURL=archive-summary-schema.js.map

package/dist/core/validate/archive-summary-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"archive-summary-schema.js","sourceRoot":"","sources":["../../../src/core/validate/archive-summary-schema.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,uDAAuD;AACvD,wDAAwD;AACxD,yCAAyC;AAEzC,OAAO,EAAyB,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC7E,OAAO,EAAE,2BAA2B,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AACvF,iGAAiG;AACjG,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D;;;;GAIG;AACH,MAAM,wBAAwB,GAAG,qBAAqB,CAAC,MAAM,CAAC;AAE9D;;;;GAIG;AACH,MAAM,eAAe,GAAG;IACtB,mBAAmB;IACnB,yBAAyB;IACzB,mBAAmB;IACnB,eAAe;CACP,CAAC;AAEX;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAAC,CAAU,EAAE,IAAa;IACpE,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,OAAO,EAAE,wCAAwC;YACjD,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,MAAM,GAAG,GAAG,CAA4B,CAAC;IACzC,MAAM,OAAO,GAAuB,EAAE,CAAC;IAEvC,oBAAoB;IACpB,IAAI,GAAG,CAAC,MAAM,KAAK,0BAA0B,EAAE,CAAC;QAC9C,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,QAAQ;YACf,OAAO,EAAE,2DAA2D,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG;YACjG,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IAED,oBAAoB;IACpB,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACpE,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,SAAS;YAChB,OAAO,EAAE,2CAA2C;YACpD,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IAED,0BAA0B;IAC1B,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9F,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,aAAa;YACpB,OAAO,EAAE,6CAA6C;YACtD,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IAED,yBAAyB;IACzB,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;QACxD,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,0BAA0B;YACnC,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IAED,0BAA0B;IAC1B,IACE,CAAC,GAAG,CAAC,aAAa;QAClB,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ;QACrC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,EAChC,CAAC;QACD,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,eAAe;YACtB,OAAO,EAAE,gBAAgB;YACzB,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IAED,0BAA0B;IAC1B,IACE,CAAC,GAAG,CAAC,aAAa;QAClB,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ;QACrC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,EAChC,CAAC;QACD,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,eAAe;YACtB,OAAO,EAAE,gBAAgB;YACzB,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IAED,sFAAsF;IACtF,IACE,CAAC,GAAG,CAAC,wBAAwB;QAC7B,OAAO,GAAG,CAAC,wBAAwB,KAAK,QAAQ;QAChD,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,EAC3C,CAAC;QACD,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,0BAA0B;YACjC,OAAO,EAAE,iDAAiD;YAC1D,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IAED,gFAAgF;IAChF,IACE,GAAG,CAAC,wBAAwB;QAC5B,OAAO,GAAG,CAAC,wBAAwB,KAAK,QAAQ;QAChD,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,EAC5C,CAAC;QACD,MAAM,SAAS,GAAG,GAAG,CAAC,wBAAmD,CAAC;QAC1E,IAAI,SAAS,CAAC,WAAW,KAAK,KAAK,EAAE,CAAC;YACpC,6EAA6E;YAE7E,qBAAqB;YACrB,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;gBACpC,IAAI,OAAO,SAAS,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;oBACzC,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;wBACL,QAAQ,EAAE,QAAQ;wBAClB,KAAK,EAAE,4BAA4B,KAAK,EAAE;wBAC1C,OAAO,EAAE,wCAAwC;wBACjD,IAAI;qBACL,CAAC,CACH,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,8CAA8C;YAC9C,IAAI,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,SAAS,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;gBACnE,sCAAsC;gBACtC,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;oBACpC,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAW,CAAC;oBACrC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,wBAAwB,EAAE,CAAC;wBAC1C,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;4BACL,QAAQ,EAAE,QAAQ;4BAClB,KAAK,EAAE,4BAA4B,KAAK,EAAE;4BAC1C,OAAO,EAAE,kBAAkB,wBAAwB,GAAG;4BACtD,IAAI;yBACL,CAAC,CACH,CAAC;oBACJ,CAAC;gBACH,CAAC;gBACD,4CAA4C;gBAC5C,MAAM,GAAG,GACN,SAAS,CAAC,iBAA4B;oBACtC,SAAS,CAAC,uBAAkC;oBAC5C,SAAS,CAAC,iBAA4B;oBACtC,SAAS,CAAC,aAAwB,CAAC;gBACtC,IAAI,GAAG,KAAK,wBAAwB,EAAE,CAAC;oBACrC,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;wBACL,QAAQ,EAAE,QAAQ;wBAClB,KAAK,EAAE,0BAA0B;wBACjC,OAAO,EAAE,kBAAkB,GAAG,QAAQ,wBAAwB,EAAE;wBAChE,IAAI;qBACL,CAAC,CACH,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,gCAAgC;IAClC,CAAC;IAED,cAAc;IACd,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,oBAAoB;YAC3B,OAAO,EAAE,eAAe;YACxB,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,eAAe;YACxB,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC5C,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;YACL,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,eAAe;YACxB,IAAI;SACL,CAAC,CACH,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,OAAO,CAAC,CAAC;AAChE,CAAC"}

package/dist/core/validate/auto-findings.d.ts

@@ -0,0 +1,36 @@
+import type { Finding } from '../schemas/severity.js';
+/**
+ * 把 verify-domain 自动 candidate 转换为 Finding。
+ * 用于 validateChange 在 specs/tasks/marker 检测出 CRITICAL 时,产带 finding_hash 的输出。
+ *
+ * 沿 design §2.2.3 + master §3.12.1:8 必填字段 + finding_hash
+ * 沿 design §2.3.3 candidate_type:coverage_gap / test_failure 等
+ *
+ * plan-9d v2 m-2 修订:用独立 nextFindingId 避免 fs/schema error 也算进 finding id,
+ * 保持 finding id 是连续 local sequence(1, 2, 3, ...)而非 results.length-based
+ */
+export interface AutoFindingInput {
+    /** finding id — 调用方用 FindingIdSequence 单调递增 */
+    id: number;
+    dimension: 'completeness' | 'correctness' | 'coherence';
+    check_type: string;
+    evidence: string;
+    recommendation: string;
+    /** 运行时 ctx — 来自 validateChange */
+    contentHash: string;
+    gitHead: string;
+}
+export declare function buildAutoCriticalFinding(input: AutoFindingInput): Finding;
+/**
+ * Finding id 计数器 — validateChange 调用时为每个真实产生的 Finding 单调递增。
+ * 不计入 fs/schema 类 ValidationError(沿 v2 m-2 修订)。
+ *
+ * 用法:
+ *   const ids = new FindingIdSequence();
+ *   const finding = buildAutoCriticalFinding({ id: ids.next(), ... });
+ */
+export declare class FindingIdSequence {
+    private current;
+    next(): number;
+}
+//# sourceMappingURL=auto-findings.d.ts.map

package/dist/core/validate/auto-findings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"auto-findings.d.ts","sourceRoot":"","sources":["../../../src/core/validate/auto-findings.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAsB,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAG1E;;;;;;;;;GASG;AACH,MAAM,WAAW,gBAAgB;IAC/B,+CAA+C;IAC/C,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,cAAc,GAAG,aAAa,GAAG,WAAW,CAAC;IACxD,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,MAAM,CAAC;IACvB,kCAAkC;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAkBzE;AAED;;;;;;;GAOG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,OAAO,CAAK;IACpB,IAAI,IAAI,MAAM;CAGf"}

package/dist/core/validate/auto-findings.js

@@ -0,0 +1,38 @@
+// src/core/validate/auto-findings.ts — plan-9d Task 4 (v2)
+// 把自动可判的 verify-domain candidate 转换为 Finding(含 finding_hash)
+// Reference 9a Finding / FindingHashPayload + computeFindingHash;不重定义 hash 算法
+import { computeFindingHash } from './finding-hash.js';
+export function buildAutoCriticalFinding(input) {
+    const payload = {
+        content_hash: input.contentHash,
+        git_head: input.gitHead,
+        dimension: input.dimension,
+        check_type: input.check_type,
+        severity: 'CRITICAL',
+        automated: true,
+        evidence: input.evidence,
+        recommendation: input.recommendation,
+    };
+    const finding_hash = computeFindingHash(payload);
+    return {
+        ...payload,
+        id: input.id,
+        resolved: false,
+        finding_hash,
+    };
+}
+/**
+ * Finding id 计数器 — validateChange 调用时为每个真实产生的 Finding 单调递增。
+ * 不计入 fs/schema 类 ValidationError(沿 v2 m-2 修订)。
+ *
+ * 用法:
+ *   const ids = new FindingIdSequence();
+ *   const finding = buildAutoCriticalFinding({ id: ids.next(), ... });
+ */
+export class FindingIdSequence {
+    current = 0;
+    next() {
+        return ++this.current;
+    }
+}
+//# sourceMappingURL=auto-findings.js.map

package/dist/core/validate/auto-findings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"auto-findings.js","sourceRoot":"","sources":["../../../src/core/validate/auto-findings.ts"],"names":[],"mappings":"AAAA,2DAA2D;AAC3D,6DAA6D;AAC7D,8EAA8E;AAG9E,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAwBvD,MAAM,UAAU,wBAAwB,CAAC,KAAuB;IAC9D,MAAM,OAAO,GAAuB;QAClC,YAAY,EAAE,KAAK,CAAC,WAAW;QAC/B,QAAQ,EAAE,KAAK,CAAC,OAAO;QACvB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,UAAU;QACpB,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,cAAc,EAAE,KAAK,CAAC,cAAc;KACrC,CAAC;IACF,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACjD,OAAO;QACL,GAAG,OAAO;QACV,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,QAAQ,EAAE,KAAK;QACf,YAAY;KACb,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,iBAAiB;IACpB,OAAO,GAAG,CAAC,CAAC;IACpB,IAAI;QACF,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC;IACxB,CAAC;CACF"}

package/dist/core/validate/candidate-validators.d.ts

@@ -0,0 +1,22 @@
+import type { CandidateType, Finding } from '../schemas/severity.js';
+/** 单个 candidate 验证结果 */
+export interface CandidateValidationResult {
+    verified: boolean;
+    reason: string;
+}
+/**
+ * 单个 candidate validator 签名
+ * 后续 9d/9g/9j 各自实现具体 candidate_type 的验证逻辑
+ */
+export type CandidateValidator = (finding: Finding) => Promise<CandidateValidationResult>;
+/**
+ * 6 类 candidate_type → validator 注册表
+ * 键顺序遵循 CandidateType 定义顺序(test_failure 排首位)
+ */
+export declare const CANDIDATE_VALIDATORS: Record<CandidateType, CandidateValidator>;
+/**
+ * 顶层入口:检查 finding 是否为 CRITICAL candidate,并分发到对应的 stub validator
+ * 非 candidate finding(severity_candidate 未设置)直接返回 verified:true
+ */
+export declare function validateCandidate(finding: Finding): Promise<CandidateValidationResult>;
+//# sourceMappingURL=candidate-validators.d.ts.map

package/dist/core/validate/candidate-validators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"candidate-validators.d.ts","sourceRoot":"","sources":["../../../src/core/validate/candidate-validators.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAErE,wBAAwB;AACxB,MAAM,WAAW,yBAAyB;IACxC,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,yBAAyB,CAAC,CAAC;AAQ1F;;;GAGG;AACH,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,aAAa,EAAE,kBAAkB,CAa1E,CAAC;AAEF;;;GAGG;AACH,wBAAsB,iBAAiB,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAY5F"}

package/dist/core/validate/candidate-validators.js

@@ -0,0 +1,46 @@
+// candidate-validators.ts: Task 7(plan-9a §8) — 6 类 candidate_type 验证框架(stub 骨架)
+// 本 plan 全部 stub 返回 not_implemented;后续计划:
+//   - 9d 实施 test_failure / hash_mismatch
+//   - 9g 实施 evidence_missing / coverage_gap
+//   - 9j 实施 api_contract / manual_claim
+/** 统一 stub 返回值:本 plan 期内全部 candidate 路径均返回此值 */
+const NOT_IMPLEMENTED = {
+    verified: false,
+    reason: 'not_implemented',
+};
+/**
+ * 6 类 candidate_type → validator 注册表
+ * 键顺序遵循 CandidateType 定义顺序(test_failure 排首位)
+ */
+export const CANDIDATE_VALIDATORS = {
+    // 9d 实施:测试失败类 candidate 验证
+    test_failure: async () => NOT_IMPLEMENTED,
+    // 9d 实施:hash 不匹配类 candidate 验证
+    hash_mismatch: async () => NOT_IMPLEMENTED,
+    // 9g 实施:evidence 缺失类 candidate 验证
+    evidence_missing: async () => NOT_IMPLEMENTED,
+    // 9g 实施:覆盖率缺口类 candidate 验证
+    coverage_gap: async () => NOT_IMPLEMENTED,
+    // 9j 实施:API 契约类 candidate 验证
+    api_contract: async () => NOT_IMPLEMENTED,
+    // 9j 实施:手动声明类 candidate 验证
+    manual_claim: async () => NOT_IMPLEMENTED,
+};
+/**
+ * 顶层入口:检查 finding 是否为 CRITICAL candidate,并分发到对应的 stub validator
+ * 非 candidate finding(severity_candidate 未设置)直接返回 verified:true
+ */
+export async function validateCandidate(finding) {
+    if (finding.severity_candidate !== 'CRITICAL') {
+        // 非 candidate finding 直接通过(本框架仅处理升级到 CRITICAL 的候选)
+        return { verified: true, reason: 'not-a-candidate' };
+    }
+    if (!finding.candidate_type) {
+        // severity_candidate=CRITICAL 但缺少 candidate_type,数据异常
+        return { verified: false, reason: 'missing-candidate_type' };
+    }
+    // 根据 candidate_type 分发到对应的 stub validator
+    const validator = CANDIDATE_VALIDATORS[finding.candidate_type];
+    return validator(finding);
+}
+//# sourceMappingURL=candidate-validators.js.map

package/dist/core/validate/candidate-validators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"candidate-validators.js","sourceRoot":"","sources":["../../../src/core/validate/candidate-validators.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,0CAA0C;AAC1C,yCAAyC;AACzC,4CAA4C;AAC5C,wCAAwC;AAgBxC,gDAAgD;AAChD,MAAM,eAAe,GAA8B;IACjD,QAAQ,EAAE,KAAK;IACf,MAAM,EAAE,iBAAiB;CAC1B,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAA8C;IAC7E,2BAA2B;IAC3B,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,eAAe;IACzC,+BAA+B;IAC/B,aAAa,EAAE,KAAK,IAAI,EAAE,CAAC,eAAe;IAC1C,kCAAkC;IAClC,gBAAgB,EAAE,KAAK,IAAI,EAAE,CAAC,eAAe;IAC7C,4BAA4B;IAC5B,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,eAAe;IACzC,6BAA6B;IAC7B,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,eAAe;IACzC,2BAA2B;IAC3B,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,eAAe;CAC1C,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,OAAgB;IACtD,IAAI,OAAO,CAAC,kBAAkB,KAAK,UAAU,EAAE,CAAC;QAC9C,mDAAmD;QACnD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;QAC5B,sDAAsD;QACtD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC;IAC/D,CAAC;IACD,0CAA0C;IAC1C,MAAM,SAAS,GAAG,oBAAoB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAC/D,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC;AAC5B,CAAC"}

package/dist/core/validate/change.d.ts

@@ -0,0 +1,3 @@
+import { type ValidationResult } from './types.js';
+export declare function validateChange(changeDir: string): Promise<ValidationResult>;
+//# sourceMappingURL=change.d.ts.map

package/dist/core/validate/change.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"change.d.ts","sourceRoot":"","sources":["../../../src/core/validate/change.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,KAAK,gBAAgB,EAA4B,MAAM,YAAY,CAAC;AAQ7E,wBAAsB,cAAc,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAuLjF"}