@accelerator-mzq/forge 1.4.0

package/dist/core/parse/specs.js

@@ -0,0 +1,58 @@
+// specs/<name>.md 解析器 — Given/When/Then scenario
+import { parseMarkdown } from './markdown.js';
+// 匹配 **Keyword** 开头的步骤行，提取关键字和正文
+const STEP_RE = /^\*\*(Given|When|Then|And|But)\*\*\s+(.+)$/i;
+/**
+ * 解析 specs markdown 文件，抽取标题和 Given/When/Then scenario 列表。
+ */
+export function parseSpec(text) {
+    const md = parseMarkdown(text);
+    // 找到 H1 作为 spec 标题
+    const titleSection = md.sections.find((s) => s.level === 1);
+    const title = titleSection?.heading ?? '';
+    // 找所有 "## Scenario: <id>" 章节
+    const scenarioSections = md.sections.filter((s) => s.level === 2 && /^Scenario:/i.test(s.heading));
+    const scenarios = scenarioSections.map((sec) => {
+        // 从 heading 提取 scenario id
+        const idMatch = sec.heading.match(/^Scenario:\s*(\S.*)$/i);
+        const id = idMatch?.[1]?.trim() ?? '';
+        const given = [];
+        const when = [];
+        const then = [];
+        // 跟踪当前所在子句，用于 And/But 归并
+        let currentClause = null;
+        // 逐行解析步骤
+        for (const rawLine of sec.body.split('\n')) {
+            const line = rawLine.trim();
+            const m = line.match(STEP_RE);
+            if (!m)
+                continue;
+            const keyword = m[1].toLowerCase();
+            const body = m[2].trim();
+            if (keyword === 'given') {
+                currentClause = 'given';
+                given.push(body);
+            }
+            else if (keyword === 'when') {
+                currentClause = 'when';
+                when.push(body);
+            }
+            else if (keyword === 'then') {
+                currentClause = 'then';
+                then.push(body);
+            }
+            else if (keyword === 'and' || keyword === 'but') {
+                // And/But 归入当前所在子句
+                if (currentClause === 'given')
+                    given.push(body);
+                else if (currentClause === 'when')
+                    when.push(body);
+                else if (currentClause === 'then')
+                    then.push(body);
+            }
+        }
+        return { id, given, when, then, rawBody: sec.body };
+    });
+    return { title, scenarios };
+}
+//# sourceMappingURL=specs.js.map

package/dist/core/parse/specs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"specs.js","sourceRoot":"","sources":["../../../src/core/parse/specs.ts"],"names":[],"mappings":"AAAA,iDAAiD;AAEjD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAwB9C,iCAAiC;AACjC,MAAM,OAAO,GAAG,6CAA6C,CAAC;AAE9D;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,MAAM,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAE/B,mBAAmB;IACnB,MAAM,YAAY,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,YAAY,EAAE,OAAO,IAAI,EAAE,CAAC;IAE1C,6BAA6B;IAC7B,MAAM,gBAAgB,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CACtD,CAAC;IAEF,MAAM,SAAS,GAAe,gBAAgB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACzD,2BAA2B;QAC3B,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAEtC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,yBAAyB;QACzB,IAAI,aAAa,GAAqC,IAAI,CAAC;QAE3D,SAAS;QACT,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC9B,IAAI,CAAC,CAAC;gBAAE,SAAS;YAEjB,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;YAE1B,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;gBACxB,aAAa,GAAG,OAAO,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;iBAAM,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;gBAC9B,aAAa,GAAG,MAAM,CAAC;gBACvB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,CAAC;iBAAM,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;gBAC9B,aAAa,GAAG,MAAM,CAAC;gBACvB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,CAAC;iBAAM,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;gBAClD,mBAAmB;gBACnB,IAAI,aAAa,KAAK,OAAO;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;qBAC3C,IAAI,aAAa,KAAK,MAAM;oBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;qBAC9C,IAAI,aAAa,KAAK,MAAM;oBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;QAED,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC"}

package/dist/core/parse/tasks.d.ts

@@ -0,0 +1,33 @@
+/** parseTasks 函数的返回结构 */
+export interface ParsedTasks {
+    /** 文档标题(# 一级 heading) */
+    title: string;
+    /** 所有 checkbox 任务项 */
+    items: TaskItem[];
+    /** 全部跑完后写入(详见 spec §3.1 T3 step 4) */
+    appliedCommits?: {
+        taskId: string;
+        hash: string;
+    }[];
+    /** git HEAD at completion */
+    finalHead?: string;
+}
+/** 单个任务 checkbox 项 */
+export interface TaskItem {
+    /** task id(从 "- [x] task-1: ..." 抽出) */
+    id: string;
+    /** 描述(冒号后) */
+    description: string;
+    /** [x] = true / [ ] = false */
+    checked: boolean;
+    /** 该 task 所在的二级 section heading(若非顶层) */
+    section?: string;
+    /** 行号(1-indexed) */
+    lineNumber: number;
+}
+/**
+ * 解析 tasks.md 文本。
+ * 提取所有 checkbox 任务项及 applied_commits / final_head。
+ */
+export declare function parseTasks(text: string): ParsedTasks;
+//# sourceMappingURL=tasks.d.ts.map

package/dist/core/parse/tasks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tasks.d.ts","sourceRoot":"","sources":["../../../src/core/parse/tasks.ts"],"names":[],"mappings":"AAIA,yBAAyB;AACzB,MAAM,WAAW,WAAW;IAC1B,yBAAyB;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,sBAAsB;IACtB,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,sCAAsC;IACtC,cAAc,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACpD,6BAA6B;IAC7B,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,sBAAsB;AACtB,MAAM,WAAW,QAAQ;IACvB,wCAAwC;IACxC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,+BAA+B;IAC/B,OAAO,EAAE,OAAO,CAAC;IACjB,yCAAyC;IACzC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oBAAoB;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB;AAOD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAoCpD"}

package/dist/core/parse/tasks.js

@@ -0,0 +1,82 @@
+// tasks.md 解析器 — checkbox + applied_commits
+import { parseMarkdown } from './markdown.js';
+// 匹配 checkbox 行："- [x] task-id: description" 格式
+const TASK_RE = /^\s*- \[([ x])\]\s+([\w-]+)\s*:\s*(.+)$/;
+// 匹配 applied_commits 块中的单项："  - task-id: commithash"
+const APPLIED_RE = /^\s*-\s+([\w-]+)\s*:\s*([a-f0-9]+)\s*$/;
+/**
+ * 解析 tasks.md 文本。
+ * 提取所有 checkbox 任务项及 applied_commits / final_head。
+ */
+export function parseTasks(text) {
+    // 使用 markdown 解析器获取章节结构
+    const md = parseMarkdown(text);
+    // 取第一个一级 heading 作为标题
+    const titleSection = md.sections.find((s) => s.level === 1);
+    const title = titleSection?.heading ?? '';
+    const items = [];
+    const lines = text.split('\n');
+    // 跟踪当前所在的二级 section 名称
+    let currentSection;
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i] ?? '';
+        // 检测二级 heading（##）以更新 section 上下文
+        const headingMatch = line.match(/^##\s+(.+)$/);
+        if (headingMatch) {
+            currentSection = headingMatch[1]?.trim();
+            continue;
+        }
+        // 匹配 checkbox 行
+        const m = line.match(TASK_RE);
+        if (m) {
+            items.push({
+                id: m[2],
+                description: m[3].trim(),
+                checked: m[1] === 'x',
+                section: currentSection,
+                lineNumber: i + 1,
+            });
+        }
+    }
+    // 提取 applied_commits 和 final_head 块
+    const { appliedCommits, finalHead } = extractAppliedCommits(text);
+    return { title, items, appliedCommits, finalHead };
+}
+/**
+ * 从文本中提取 applied_commits 块和 final_head。
+ * 格式为：
+ *   applied_commits:
+ *     - task-id: commithash
+ *   final_head: commithash
+ */
+function extractAppliedCommits(text) {
+    const lines = text.split('\n');
+    // 查找 "applied_commits:" 行的位置
+    const appliedIdx = lines.findIndex((l) => /^applied_commits:\s*$/.test(l));
+    if (appliedIdx < 0)
+        return {};
+    const appliedCommits = [];
+    let finalHead;
+    // 从 applied_commits: 行之后逐行解析
+    for (let i = appliedIdx + 1; i < lines.length; i++) {
+        const line = lines[i] ?? '';
+        // 匹配 commit 项
+        const m = line.match(APPLIED_RE);
+        if (m) {
+            appliedCommits.push({ taskId: m[1], hash: m[2] });
+            continue;
+        }
+        // 匹配 final_head 行（允许前导空格，兼容 Prettier 格式化后的缩进）
+        const headMatch = line.match(/^\s*final_head:\s+([a-f0-9]+)\s*$/);
+        if (headMatch) {
+            finalHead = headMatch[1];
+            break;
+        }
+        // 空行跳过，其他行结束解析
+        if (line.trim() === '')
+            continue;
+        break;
+    }
+    return { appliedCommits, finalHead };
+}
+//# sourceMappingURL=tasks.js.map

package/dist/core/parse/tasks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tasks.js","sourceRoot":"","sources":["../../../src/core/parse/tasks.ts"],"names":[],"mappings":"AAAA,4CAA4C;AAE5C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AA4B9C,gDAAgD;AAChD,MAAM,OAAO,GAAG,yCAAyC,CAAC;AAC1D,qDAAqD;AACrD,MAAM,UAAU,GAAG,wCAAwC,CAAC;AAE5D;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,wBAAwB;IACxB,MAAM,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAC/B,sBAAsB;IACtB,MAAM,YAAY,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,YAAY,EAAE,OAAO,IAAI,EAAE,CAAC;IAE1C,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,uBAAuB;IACvB,IAAI,cAAkC,CAAC;IAEvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,kCAAkC;QAClC,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC/C,IAAI,YAAY,EAAE,CAAC;YACjB,cAAc,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;YACzC,SAAS;QACX,CAAC;QACD,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,CAAC,EAAE,CAAC;YACN,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,CAAC,CAAC,CAAC,CAAE;gBACT,WAAW,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE;gBACzB,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG;gBACrB,OAAO,EAAE,cAAc;gBACvB,UAAU,EAAE,CAAC,GAAG,CAAC;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,oCAAoC;IACpC,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAClE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC;AACrD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,qBAAqB,CAAC,IAAY;IAIzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,6BAA6B;IAC7B,MAAM,UAAU,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAE9B,MAAM,cAAc,GAAuC,EAAE,CAAC;IAC9D,IAAI,SAA6B,CAAC;IAElC,6BAA6B;IAC7B,KAAK,IAAI,CAAC,GAAG,UAAU,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,cAAc;QACd,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACjC,IAAI,CAAC,EAAE,CAAC;YACN,cAAc,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;YACpD,SAAS;QACX,CAAC;QACD,8CAA8C;QAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;QAClE,IAAI,SAAS,EAAE,CAAC;YACd,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YACzB,MAAM;QACR,CAAC;QACD,eAAe;QACf,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,SAAS;QACjC,MAAM;IACR,CAAC;IAED,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC;AACvC,CAAC"}

package/dist/core/parse/yaml.d.ts

@@ -0,0 +1,13 @@
+import type { ForgeConfig } from '../schema/index.js';
+/** YAML 解析失败或必需字段缺失时抛此 error */
+export declare class ConfigParseError extends Error {
+    readonly cause?: unknown | undefined;
+    constructor(message: string, cause?: unknown | undefined);
+}
+/**
+ * 解析 forge/config.yaml 文本。
+ * - YAML 解析失败 → ConfigParseError
+ * - 缺 schema 字段 → ConfigParseError("missing schema field")
+ */
+export declare function parseConfig(text: string): ForgeConfig;
+//# sourceMappingURL=yaml.d.ts.map

package/dist/core/parse/yaml.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"yaml.d.ts","sourceRoot":"","sources":["../../../src/core/parse/yaml.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEtD,gCAAgC;AAChC,qBAAa,gBAAiB,SAAQ,KAAK;aAId,KAAK,CAAC,EAAE,OAAO;gBADxC,OAAO,EAAE,MAAM,EACU,KAAK,CAAC,EAAE,OAAO,YAAA;CAK3C;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAuBrD"}

package/dist/core/parse/yaml.js

@@ -0,0 +1,39 @@
+// forge/config.yaml 解析器
+import { parse as parseYAML } from 'yaml';
+/** YAML 解析失败或必需字段缺失时抛此 error */
+export class ConfigParseError extends Error {
+    cause;
+    // cause 使用 override 避免与 Error.cause 冲突
+    constructor(message, cause) {
+        super(message);
+        this.cause = cause;
+        this.name = 'ConfigParseError';
+    }
+}
+/**
+ * 解析 forge/config.yaml 文本。
+ * - YAML 解析失败 → ConfigParseError
+ * - 缺 schema 字段 → ConfigParseError("missing schema field")
+ */
+export function parseConfig(text) {
+    let parsed;
+    try {
+        // 调用 yaml v2 的 parse，strict 模式下格式错误会抛异常
+        parsed = parseYAML(text);
+    }
+    catch (err) {
+        throw new ConfigParseError('YAML parse failed', err);
+    }
+    // 根节点必须是 mapping（对象）
+    if (!parsed || typeof parsed !== 'object') {
+        throw new ConfigParseError('config.yaml must be a YAML mapping at root');
+    }
+    const obj = parsed;
+    // schema 字段是必填项
+    if (typeof obj.schema !== 'string') {
+        throw new ConfigParseError('missing schema field (string)');
+    }
+    // 先转 unknown 再转 ForgeConfig，schema 已验证为 string
+    return obj;
+}
+//# sourceMappingURL=yaml.js.map

package/dist/core/parse/yaml.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"yaml.js","sourceRoot":"","sources":["../../../src/core/parse/yaml.ts"],"names":[],"mappings":"AAAA,wBAAwB;AAExB,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAG1C,gCAAgC;AAChC,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IAId;IAH3B,uCAAuC;IACvC,YACE,OAAe,EACU,KAAe;QAExC,KAAK,CAAC,OAAO,CAAC,CAAC;QAFU,UAAK,GAAL,KAAK,CAAU;QAGxC,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,wCAAwC;QACxC,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,gBAAgB,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC;IACvD,CAAC;IAED,qBAAqB;IACrB,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC1C,MAAM,IAAI,gBAAgB,CAAC,4CAA4C,CAAC,CAAC;IAC3E,CAAC;IAED,MAAM,GAAG,GAAG,MAAiC,CAAC;IAE9C,gBAAgB;IAChB,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACnC,MAAM,IAAI,gBAAgB,CAAC,+BAA+B,CAAC,CAAC;IAC9D,CAAC;IAED,+CAA+C;IAC/C,OAAO,GAA6B,CAAC;AACvC,CAAC"}

package/dist/core/process-evidence-freeze-warnings.d.ts

@@ -0,0 +1,24 @@
+import type { ProcessEvidence } from './schemas/process-evidence.js';
+import type { VerifyFinding } from './markers/types.js';
+import type { AckLogEntry } from './ack-log.js';
+export interface FreezeWarningsResult {
+    /** WARNING finding(写 marker.verify_findings) */
+    warnings: VerifyFinding[];
+    /** CRITICAL finding(freeze 时 exit 1) */
+    criticals: VerifyFinding[];
+}
+/**
+ * computeFreezeWarnings — freeze 时算 fence-ctx WARNING + CRITICAL
+ *
+ * 不变量映射:
+ *   - 7  verify_invocations 计数 < task 数 → WARNING(check_type='invariant-7-verify-count')
+ *   - 10 env_hash 漂移(lockfile/node/os 与当前不一致)→ WARNING(check_type='invariant-10-env-drift')
+ *   - 11 tdd_exemption 非空但 ack-log 无对应条目 → CRITICAL
+ *   - 12 mode != full 但 acked_by 缺 → CRITICAL
+ *
+ * @param processEvidence freeze 时凝固的 process_evidence
+ * @param changeRoot change 根目录(读 tasks.md 计 task 数 + getGitHead)
+ * @param ackLogEntries 全 ack-log entries(用于 11/12 cross-check)
+ */
+export declare function computeFreezeWarnings(processEvidence: ProcessEvidence, changeRoot: string, ackLogEntries: AckLogEntry[]): FreezeWarningsResult;
+//# sourceMappingURL=process-evidence-freeze-warnings.d.ts.map

package/dist/core/process-evidence-freeze-warnings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"process-evidence-freeze-warnings.d.ts","sourceRoot":"","sources":["../../src/core/process-evidence-freeze-warnings.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAIhD,MAAM,WAAW,oBAAoB;IACnC,gDAAgD;IAChD,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,wCAAwC;IACxC,SAAS,EAAE,aAAa,EAAE,CAAC;CAC5B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,qBAAqB,CACnC,eAAe,EAAE,eAAe,EAChC,UAAU,EAAE,MAAM,EAClB,aAAa,EAAE,WAAW,EAAE,GAC3B,oBAAoB,CAoGtB"}

package/dist/core/process-evidence-freeze-warnings.js

@@ -0,0 +1,153 @@
+// src/core/process-evidence-freeze-warnings.ts — plan-9g Task 4
+// freeze-time WARNING 算法(沿 brainstorm spec §3 WARNING 流转两段)
+//
+// freeze 阶段只能算 fence-ctx 字段类 WARNING(不变量 7 + 10);
+// 不变量 11/12 是 CRITICAL,失败时返 criticals 数组让 freeze 子命令 exit 1;
+// 不变量 5/6/13/14 是 archive 阶段 worktree 重跑产,freeze 时不算
+//
+// finding_hash 沿 plan-9a computeFindingHash 8 字段 schema
+// dimension='process_evidence'(plan-9g Task 1.4 扩 enum)
+import { existsSync, readFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { execFileSync } from 'node:child_process';
+// plan-9g §5.3 末 line 3684-3691 修正:实际函数在 validate/finding-hash.ts(NOT schemas/severity.ts)
+import { computeFindingHash } from './validate/finding-hash.js';
+/**
+ * computeFreezeWarnings — freeze 时算 fence-ctx WARNING + CRITICAL
+ *
+ * 不变量映射:
+ *   - 7  verify_invocations 计数 < task 数 → WARNING(check_type='invariant-7-verify-count')
+ *   - 10 env_hash 漂移(lockfile/node/os 与当前不一致)→ WARNING(check_type='invariant-10-env-drift')
+ *   - 11 tdd_exemption 非空但 ack-log 无对应条目 → CRITICAL
+ *   - 12 mode != full 但 acked_by 缺 → CRITICAL
+ *
+ * @param processEvidence freeze 时凝固的 process_evidence
+ * @param changeRoot change 根目录(读 tasks.md 计 task 数 + getGitHead)
+ * @param ackLogEntries 全 ack-log entries(用于 11/12 cross-check)
+ */
+export function computeFreezeWarnings(processEvidence, changeRoot, ackLogEntries) {
+    const warnings = [];
+    const criticals = [];
+    // ctx 用于 mkFinding 算 git_head(满足 marker-schema GIT_HEAD_RE 40-hex)
+    const ctx = { changeRoot };
+    // 不变量 7:verify_invocations 总数 ≥ task 数
+    const tasksCount = countTasksInTasksMd(changeRoot);
+    if (processEvidence.verify_invocations.length < tasksCount) {
+        warnings.push(mkFinding({
+            invariant: 7,
+            severity: 'WARNING',
+            check_type: 'invariant-7-verify-count',
+            evidence: `verify_invocations.length=${processEvidence.verify_invocations.length}; tasks count=${tasksCount}`,
+            recommendation: 'subagent 实施完每 task 必须调 forge evidence record-verify;若主代理已统一跑 change-level verify 视为可接受 → forge ack propose --action ack-warning',
+        }, ctx));
+    }
+    // 不变量 10:env_hash 一致性(lockfile_hash 不校:freeze 时 CWD 可能不同;校 node/os 两因子)
+    const currentEnv = {
+        node_version: process.version.slice(1),
+        os_platform: process.platform,
+    };
+    if (processEvidence.env_hash.node_version !== currentEnv.node_version ||
+        processEvidence.env_hash.os_platform !== currentEnv.os_platform) {
+        warnings.push(mkFinding({
+            invariant: 10,
+            severity: 'WARNING',
+            check_type: 'invariant-10-env-drift',
+            evidence: `marker env: node=${processEvidence.env_hash.node_version} os=${processEvidence.env_hash.os_platform};` +
+                ` current env: node=${currentEnv.node_version} os=${currentEnv.os_platform}`,
+            recommendation: '使用 hermetic CI 或重跑 verify 同步 env_hash;若环境差异客观 → forge ack propose --action ack-warning',
+        }, ctx));
+    }
+    // 不变量 11:tdd_exemption 非空但 ack-log 无对应条目 → CRITICAL
+    // v8.1 round 2 (C-2 fix):plan §5.1.2 字面 lookup `e.extra?.task_ref === chain.task_ref` 与
+    //   AckEntry.extra schema 不符(ack.ts 写入的 extra 字段为 {proposed_at, target_severity},不含 task_ref)。
+    //   永久 false → 任何 tdd_exemption != null change 永久 CRITICAL exit 1。
+    // 简化 Option C:用 action='ack-tdd-exemption' 存在性检测(失去 per-task 精度)。
+    // Observation:per-task 精度损失 — 若某 change 有 3 task 全 tdd_exemption 但仅 1 个 ack,
+    //   所有 3 个都通过 lookup。Plan-9z polish 时改 AckEntry.extra 加 task_ref + ack propose 加
+    //   --task-ref option 修复。
+    for (const chain of processEvidence.tdd_event_chain) {
+        if (chain.tdd_exemption !== null) {
+            const hasAck = ackLogEntries.some((e) => e.kind === 'ack' && e.action === 'ack-tdd-exemption');
+            if (!hasAck) {
+                criticals.push(mkFinding({
+                    invariant: 11,
+                    severity: 'CRITICAL',
+                    check_type: 'invariant-11-tdd-exemption-no-ack',
+                    evidence: `task_ref=${chain.task_ref} has tdd_exemption=${JSON.stringify(chain.tdd_exemption)} but no ack-tdd-exemption entry in ack-log`,
+                    recommendation: '跑 forge ack propose --action ack-tdd-exemption --finding <task-id>',
+                }, ctx));
+            }
+        }
+    }
+    // 不变量 12:mode != full 但 acked_by 缺 → CRITICAL
+    if (processEvidence.process_verification_mode !== 'full' &&
+        !processEvidence.process_verification_mode_acked_by) {
+        criticals.push(mkFinding({
+            invariant: 12,
+            severity: 'CRITICAL',
+            check_type: 'invariant-12-mode-no-ack',
+            evidence: `mode=${processEvidence.process_verification_mode}; acked_by=null`,
+            recommendation: '跑 forge ack propose --action ack-mode 写 acked_by',
+        }, ctx));
+    }
+    return { warnings, criticals };
+}
+/**
+ * mkFinding — 构造 VerifyFinding 单条
+ *
+ * v8.1 round 2 (C-1 fix):plan §5.1.2 字面 placeholder 'sha256:freeze-placeholder' / 'freeze-placeholder'
+ *   不符合 marker-schema.ts:585-604 校验(SHA256_RE = /^sha256:[a-f0-9]{64}$/,GIT_HEAD_RE = /^[a-f0-9]{40}$/)。
+ *   archive 阶段 marker validator 拒签。
+ * 修正:
+ *   - content_hash:全 0 SHA256(满足 regex + 标志 placeholder)
+ *   - git_head:从 git rev-parse HEAD 拿真实 40-hex;非 git repo → 全 0 40-hex
+ */
+function mkFinding(input, ctx) {
+    // C-1 fix:content_hash / git_head 必须满足 marker-schema 正则,否则 archive 拒签
+    const gitHead = getGitHead(ctx.changeRoot) ?? '0'.repeat(40);
+    const payload = {
+        content_hash: `sha256:${'0'.repeat(64)}`, // 全 0 SHA256 placeholder,满足 ^sha256:[a-f0-9]{64}$
+        git_head: gitHead, // 真实 40-hex 或全 0(non-git fallback)
+        dimension: 'process_evidence',
+        check_type: input.check_type,
+        severity: input.severity,
+        automated: true,
+        evidence: input.evidence,
+        recommendation: input.recommendation,
+    };
+    const finding_hash = computeFindingHash(payload);
+    return {
+        id: input.invariant, // 沿不变量编号作 id(brainstorm M-2 dedup)
+        resolved: false,
+        finding_hash,
+        ...payload,
+    };
+}
+/**
+ * getGitHead — 获取 git HEAD SHA(本地版,避免循环依赖 evidence.ts)
+ *
+ * 沿 ack.ts / evidence.ts 同模式:execFileSync + try/catch,非 git 仓库返回 null。
+ */
+function getGitHead(cwd) {
+    try {
+        return execFileSync('git', ['rev-parse', 'HEAD'], {
+            cwd,
+            encoding: 'utf8',
+            stdio: ['ignore', 'pipe', 'ignore'],
+        }).trim();
+    }
+    catch {
+        return null;
+    }
+}
+/** 统计 tasks.md 中 task 数量(沿 plan-9j parseTasks 同模式) */
+function countTasksInTasksMd(changeRoot) {
+    const tasksPath = join(changeRoot, 'tasks.md');
+    if (!existsSync(tasksPath))
+        return 0;
+    const content = readFileSync(tasksPath, 'utf8');
+    // 简单 count `- [ ]` 或 `- [x]`(沿 plan-9j parseTasks 同模式)
+    const matches = content.match(/^\s*- \[[ x]\]/gm);
+    return matches?.length ?? 0;
+}
+//# sourceMappingURL=process-evidence-freeze-warnings.js.map

package/dist/core/process-evidence-freeze-warnings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"process-evidence-freeze-warnings.js","sourceRoot":"","sources":["../../src/core/process-evidence-freeze-warnings.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,4DAA4D;AAC5D,EAAE;AACF,kDAAkD;AAClD,6DAA6D;AAC7D,qDAAqD;AACrD,EAAE;AACF,wDAAwD;AACxD,wDAAwD;AAExD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAIlD,2FAA2F;AAC3F,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAShE;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,qBAAqB,CACnC,eAAgC,EAChC,UAAkB,EAClB,aAA4B;IAE5B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,mEAAmE;IACnE,MAAM,GAAG,GAAiB,EAAE,UAAU,EAAE,CAAC;IAEzC,uCAAuC;IACvC,MAAM,UAAU,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACnD,IAAI,eAAe,CAAC,kBAAkB,CAAC,MAAM,GAAG,UAAU,EAAE,CAAC;QAC3D,QAAQ,CAAC,IAAI,CACX,SAAS,CACP;YACE,SAAS,EAAE,CAAC;YACZ,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,0BAA0B;YACtC,QAAQ,EAAE,6BAA6B,eAAe,CAAC,kBAAkB,CAAC,MAAM,iBAAiB,UAAU,EAAE;YAC7G,cAAc,EACZ,iIAAiI;SACpI,EACD,GAAG,CACJ,CACF,CAAC;IACJ,CAAC;IAED,wEAAwE;IACxE,MAAM,UAAU,GAAG;QACjB,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACtC,WAAW,EAAE,OAAO,CAAC,QAAQ;KAC9B,CAAC;IACF,IACE,eAAe,CAAC,QAAQ,CAAC,YAAY,KAAK,UAAU,CAAC,YAAY;QACjE,eAAe,CAAC,QAAQ,CAAC,WAAW,KAAK,UAAU,CAAC,WAAW,EAC/D,CAAC;QACD,QAAQ,CAAC,IAAI,CACX,SAAS,CACP;YACE,SAAS,EAAE,EAAE;YACb,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,wBAAwB;YACpC,QAAQ,EACN,oBAAoB,eAAe,CAAC,QAAQ,CAAC,YAAY,OAAO,eAAe,CAAC,QAAQ,CAAC,WAAW,GAAG;gBACvG,sBAAsB,UAAU,CAAC,YAAY,OAAO,UAAU,CAAC,WAAW,EAAE;YAC9E,cAAc,EACZ,wFAAwF;SAC3F,EACD,GAAG,CACJ,CACF,CAAC;IACJ,CAAC;IAED,oDAAoD;IACpD,wFAAwF;IACxF,+FAA+F;IAC/F,mEAAmE;IACnE,kEAAkE;IAClE,6EAA6E;IAC7E,iFAAiF;IACjF,0BAA0B;IAC1B,KAAK,MAAM,KAAK,IAAI,eAAe,CAAC,eAAe,EAAE,CAAC;QACpD,IAAI,KAAK,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAK,CAAyB,CAAC,MAAM,KAAK,mBAAmB,CACrF,CAAC;YACF,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,SAAS,CAAC,IAAI,CACZ,SAAS,CACP;oBACE,SAAS,EAAE,EAAE;oBACb,QAAQ,EAAE,UAAU;oBACpB,UAAU,EAAE,mCAAmC;oBAC/C,QAAQ,EAAE,YAAY,KAAK,CAAC,QAAQ,sBAAsB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,aAAa,CAAC,4CAA4C;oBACzI,cAAc,EAAE,oEAAoE;iBACrF,EACD,GAAG,CACJ,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,8CAA8C;IAC9C,IACE,eAAe,CAAC,yBAAyB,KAAK,MAAM;QACpD,CAAC,eAAe,CAAC,kCAAkC,EACnD,CAAC;QACD,SAAS,CAAC,IAAI,CACZ,SAAS,CACP;YACE,SAAS,EAAE,EAAE;YACb,QAAQ,EAAE,UAAU;YACpB,UAAU,EAAE,0BAA0B;YACtC,QAAQ,EAAE,QAAQ,eAAe,CAAC,yBAAyB,iBAAiB;YAC5E,cAAc,EAAE,kDAAkD;SACnE,EACD,GAAG,CACJ,CACF,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACjC,CAAC;AAcD;;;;;;;;;GASG;AACH,SAAS,SAAS,CAAC,KAAqB,EAAE,GAAiB;IACzD,sEAAsE;IACtE,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG;QACd,YAAY,EAAE,UAAU,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,kDAAkD;QAC5F,QAAQ,EAAE,OAAO,EAAE,mCAAmC;QACtD,SAAS,EAAE,kBAA2B;QACtC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,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,EAAE,EAAE,KAAK,CAAC,SAAS,EAAE,mCAAmC;QACxD,QAAQ,EAAE,KAAK;QACf,YAAY;QACZ,GAAG,OAAO;KACX,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,GAAW;IAC7B,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE;YAChD,GAAG;YACH,QAAQ,EAAE,MAAM;YAChB,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC;SACpC,CAAC,CAAC,IAAI,EAAE,CAAC;IACZ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,sDAAsD;AACtD,SAAS,mBAAmB,CAAC,UAAkB;IAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC/C,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAChD,uDAAuD;IACvD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAClD,OAAO,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC;AAC9B,CAAC"}

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

@@ -0,0 +1,5 @@
+export * from './types.js';
+export * from './writing-plans-config.js';
+export * from './stage-extensions-config.js';
+export * from './model-tiers-config.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/schema/index.ts"],"names":[],"mappings":"AACA,cAAc,YAAY,CAAC;AAC3B,cAAc,2BAA2B,CAAC;AAC1C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,yBAAyB,CAAC"}

package/dist/core/schema/index.js

@@ -0,0 +1,6 @@
+// src/core/schema/index.ts
+export * from './types.js';
+export * from './writing-plans-config.js';
+export * from './stage-extensions-config.js';
+export * from './model-tiers-config.js';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/schema/index.ts"],"names":[],"mappings":"AAAA,2BAA2B;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,2BAA2B,CAAC;AAC1C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,yBAAyB,CAAC"}

package/dist/core/schema/model-tiers-config.d.ts

@@ -0,0 +1,41 @@
+import type { ForgeConfig, ModelTier } from './types.js';
+/** 三个合法 model tier 值(单一来源) */
+export declare const MODEL_TIER_VALUES: readonly ["haiku", "sonnet", "opus"];
+/** tier 强弱序数:升级 = 序数变大;identity = 相等;降级 = 变小 */
+export declare const MODEL_TIER_RANK: {
+    readonly haiku: 0;
+    readonly sonnet: 1;
+    readonly opus: 2;
+};
+/** resolveModelTiers 的返回类型:三档都解析为具体模型 */
+export interface ResolvedModelTiers {
+    haiku: ModelTier;
+    sonnet: ModelTier;
+    opus: ModelTier;
+}
+/** validateModelTierAssignment 的返回类型 */
+export type ModelTierAssignmentResult = {
+    ok: true;
+} | {
+    ok: false;
+    reason: 'invalid-field' | 'invalid-value' | 'downgrade';
+};
+/**
+ * 读取侧:把 ForgeConfig.model_tiers 解析成填满的 { haiku, sonnet, opus }。
+ * 永远返回合法值、永不抛异常(配置层 graceful degradation)。
+ *
+ * @param config — forge/config.yaml 解析结果(可缺 model_tiers 段)
+ * @param warn — 注入 console.warn 用于测试 / 自定义 logger;默认 console.warn
+ * @returns 填满三档的 ResolvedModelTiers;缺失 / malformed / 非法值 / 降级均回退 identity,opus 恒为 'opus'
+ */
+export declare function resolveModelTiers(config: ForgeConfig | undefined, warn?: (msg: string) => void): ResolvedModelTiers;
+/**
+ * 写入侧:校验一次 `forge config set model_tiers.<tier> <value>` 赋值。
+ * fail-fast —— 不 sanitize。reason 优先级固定:invalid-field → invalid-value → downgrade。
+ *
+ * @param tier — 待写入的 tier 键;非可重映射(haiku/sonnet)即 invalid-field
+ * @param value — 待写入的模型值;非 MODEL_TIER_VALUES 枚举即 invalid-value
+ * @returns `{ ok: true }` 合法(identity / 升级);否则 `{ ok: false, reason }`,reason 取首个命中
+ */
+export declare function validateModelTierAssignment(tier: string, value: string): ModelTierAssignmentResult;
+//# sourceMappingURL=model-tiers-config.d.ts.map

package/dist/core/schema/model-tiers-config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-tiers-config.d.ts","sourceRoot":"","sources":["../../../src/core/schema/model-tiers-config.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAGzD,8BAA8B;AAC9B,eAAO,MAAM,iBAAiB,sCAAuC,CAAC;AAEtE,gDAAgD;AAChD,eAAO,MAAM,eAAe;;;;CAA4C,CAAC;AAEzE,yCAAyC;AACzC,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,SAAS,CAAC;IACjB,MAAM,EAAE,SAAS,CAAC;IAClB,IAAI,EAAE,SAAS,CAAC;CACjB;AAED,wCAAwC;AACxC,MAAM,MAAM,yBAAyB,GACjC;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GACZ;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,eAAe,GAAG,eAAe,GAAG,WAAW,CAAA;CAAE,CAAC;AAiB3E;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,WAAW,GAAG,SAAS,EAC/B,IAAI,GAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAiC,GACvD,kBAAkB,CAsCpB;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,GACZ,yBAAyB,CAY3B"}

package/dist/core/schema/model-tiers-config.js

@@ -0,0 +1,85 @@
+// model_tiers 配置:读取侧 resolver + 写入侧 validator。
+// 读写两侧共享 MODEL_TIER_VALUES / MODEL_TIER_RANK,避免规则漂移。
+// 详见 docs/specs/2026-05-17-model-tier-mapping-design.md §2.1。
+import { DEFAULT_MODEL_TIERS } from './types.js';
+/** 三个合法 model tier 值(单一来源) */
+export const MODEL_TIER_VALUES = ['haiku', 'sonnet', 'opus'];
+/** tier 强弱序数:升级 = 序数变大;identity = 相等;降级 = 变小 */
+export const MODEL_TIER_RANK = { haiku: 0, sonnet: 1, opus: 2 };
+/** 可重映射的 tier 键(opus 不可重映射,不在内) */
+const REMAPPABLE_TIERS = ['haiku', 'sonnet'];
+function isModelTier(v) {
+    return typeof v === 'string' && MODEL_TIER_VALUES.includes(v);
+}
+/** tier 是否落在可重映射集合(单一来源 REMAPPABLE_TIERS;同款 includes 写法) */
+function isRemappableTier(v) {
+    return REMAPPABLE_TIERS.includes(v);
+}
+/**
+ * 读取侧:把 ForgeConfig.model_tiers 解析成填满的 { haiku, sonnet, opus }。
+ * 永远返回合法值、永不抛异常(配置层 graceful degradation)。
+ *
+ * @param config — forge/config.yaml 解析结果(可缺 model_tiers 段)
+ * @param warn — 注入 console.warn 用于测试 / 自定义 logger;默认 console.warn
+ * @returns 填满三档的 ResolvedModelTiers;缺失 / malformed / 非法值 / 降级均回退 identity,opus 恒为 'opus'
+ */
+export function resolveModelTiers(config, warn = (msg) => console.warn(msg)) {
+    const result = { ...DEFAULT_MODEL_TIERS };
+    const raw = config?.model_tiers;
+    // 规则2:缺失 → 全 identity(无 warn)
+    if (raw === undefined)
+        return result;
+    // 规则3:malformed —— model_tiers 不是对象 → 全 identity + warn
+    if (raw === null || typeof raw !== 'object' || Array.isArray(raw)) {
+        warn('forge config: model_tiers 不是对象,已忽略,全部 tier 按 identity');
+        return result;
+    }
+    const obj = raw;
+    // 规则3:未知键 → 忽略 + warn
+    for (const key of Object.keys(obj)) {
+        if (key !== 'haiku' && key !== 'sonnet') {
+            warn(`forge config: model_tiers.${key} 不是可重映射 tier(仅 haiku/sonnet),已忽略`);
+        }
+    }
+    for (const tier of REMAPPABLE_TIERS) {
+        const value = obj[tier];
+        if (value === undefined)
+            continue; // 规则2:缺键 → identity
+        if (!isModelTier(value)) {
+            // 规则4:非法值 → warn + identity
+            warn(`forge config: model_tiers.${tier} 值 "${String(value)}" 非法,已按 identity`);
+            continue;
+        }
+        if (MODEL_TIER_RANK[value] < MODEL_TIER_RANK[tier]) {
+            // 规则5:降级 → warn + identity
+            warn(`forge config: model_tiers.${tier} → ${value} 是降级,已拒绝、按 identity`);
+            continue;
+        }
+        // 规则1:单次查表 —— value 即派发模型,不二次解析
+        result[tier] = value;
+    }
+    // 规则6:result.opus 来自 DEFAULT_MODEL_TIERS,从未被触碰,恒为 'opus'
+    return result;
+}
+/**
+ * 写入侧:校验一次 `forge config set model_tiers.<tier> <value>` 赋值。
+ * fail-fast —— 不 sanitize。reason 优先级固定:invalid-field → invalid-value → downgrade。
+ *
+ * @param tier — 待写入的 tier 键;非可重映射(haiku/sonnet)即 invalid-field
+ * @param value — 待写入的模型值;非 MODEL_TIER_VALUES 枚举即 invalid-value
+ * @returns `{ ok: true }` 合法(identity / 升级);否则 `{ ok: false, reason }`,reason 取首个命中
+ */
+export function validateModelTierAssignment(tier, value) {
+    // 复用 REMAPPABLE_TIERS 单一来源 —— tier 非 haiku/sonnet → invalid-field
+    if (!isRemappableTier(tier)) {
+        return { ok: false, reason: 'invalid-field' };
+    }
+    if (!isModelTier(value)) {
+        return { ok: false, reason: 'invalid-value' };
+    }
+    if (MODEL_TIER_RANK[value] < MODEL_TIER_RANK[tier]) {
+        return { ok: false, reason: 'downgrade' };
+    }
+    return { ok: true };
+}
+//# sourceMappingURL=model-tiers-config.js.map

package/dist/core/schema/model-tiers-config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-tiers-config.js","sourceRoot":"","sources":["../../../src/core/schema/model-tiers-config.ts"],"names":[],"mappings":"AAAA,+CAA+C;AAC/C,qDAAqD;AACrD,8DAA8D;AAG9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEjD,8BAA8B;AAC9B,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAU,CAAC;AAEtE,gDAAgD;AAChD,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAW,CAAC;AAczE,mCAAmC;AACnC,MAAM,gBAAgB,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAU,CAAC;AAKtD,SAAS,WAAW,CAAC,CAAU;IAC7B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAK,iBAAuC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AACvF,CAAC;AAED,4DAA4D;AAC5D,SAAS,gBAAgB,CAAC,CAAS;IACjC,OAAQ,gBAAsC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAA+B,EAC/B,OAA8B,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;IAExD,MAAM,MAAM,GAAuB,EAAE,GAAG,mBAAmB,EAAE,CAAC;IAC9D,MAAM,GAAG,GAAY,MAAM,EAAE,WAAW,CAAC;IAEzC,8BAA8B;IAC9B,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACrC,wDAAwD;IACxD,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,IAAI,CAAC,uDAAuD,CAAC,CAAC;QAC9D,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,GAAG,GAAG,GAA8B,CAAC;IAC3C,sBAAsB;IACtB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACxC,IAAI,CAAC,6BAA6B,GAAG,kCAAkC,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS,CAAC,oBAAoB;QACvD,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,4BAA4B;YAC5B,IAAI,CAAC,6BAA6B,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YAC9E,SAAS;QACX,CAAC;QACD,IAAI,eAAe,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,2BAA2B;YAC3B,IAAI,CAAC,6BAA6B,IAAI,MAAM,KAAK,qBAAqB,CAAC,CAAC;YACxE,SAAS;QACX,CAAC;QACD,gCAAgC;QAChC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACvB,CAAC;IACD,yDAAyD;IACzD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAAY,EACZ,KAAa;IAEb,kEAAkE;IAClE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAChD,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAChD,CAAC;IACD,IAAI,eAAe,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAC5C,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC"}

package/dist/core/schema/process-verification-config.d.ts

@@ -0,0 +1,18 @@
+import type { ForgeConfig } from './types.js';
+/** 默认值类型(sanitize 后必填三字段返回) */
+export interface SanitizedProcessVerificationConfig {
+    mode: 'full' | 'sample' | 'hash-only';
+    sample_ratio: number;
+    test_timeout_per_task: number;
+    max_parallel_reruns: number;
+}
+/**
+ * 验证并 sanitize process_verification 配置。
+ * 永远返回合法值(用 default fallback,不抛错 — 配置层 graceful degradation)。
+ *
+ * @param config — forge/config.yaml 解析结果(可缺 process_verification 段)
+ * @param warn — 注入 console.warn 用于测试 / 自定义 logger
+ * @returns 合法的 SanitizedProcessVerificationConfig
+ */
+export declare function validateProcessVerificationConfig(config: ForgeConfig | undefined, warn?: (msg: string) => void): SanitizedProcessVerificationConfig;
+//# sourceMappingURL=process-verification-config.d.ts.map

package/dist/core/schema/process-verification-config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"process-verification-config.d.ts","sourceRoot":"","sources":["../../../src/core/schema/process-verification-config.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAG9C,+BAA+B;AAC/B,MAAM,WAAW,kCAAkC;IACjD,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,WAAW,CAAC;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;;GAOG;AACH,wBAAgB,iCAAiC,CAC/C,MAAM,EAAE,WAAW,GAAG,SAAS,EAC/B,IAAI,GAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAiC,GACvD,kCAAkC,CAwEpC"}