@mingyuxu/check 0.1.0

package/dist/ontology/loader.d.ts

@@ -0,0 +1,44 @@
+export interface OntologyObject {
+    name: string;
+    key: string;
+    ext: boolean;
+    properties: Record<string, string>;
+}
+export interface OntologyLink {
+    name: string;
+    from: string;
+    to: string;
+    card: string;
+    core: boolean;
+}
+export interface CoreInvariant {
+    id: string;
+    rule: string;
+}
+export type OntologyLayerId = "meta" | "finance" | "regulation" | "verification" | "runtime_learning";
+export interface OntologyLayer {
+    id: OntologyLayerId;
+    name: string;
+    description: string;
+    objects: string[];
+}
+export interface Ontology {
+    version: string;
+    layers: Record<OntologyLayerId, OntologyLayer>;
+    vocabularies: Record<string, string[]>;
+    structs: Record<string, Record<string, string>>;
+    objects: Record<string, OntologyObject>;
+    links: OntologyLink[];
+    coreInvariants: CoreInvariant[];
+}
+type YamlNode = string | YamlNode[] | {
+    [k: string]: YamlNode;
+} | null;
+export declare function parseYaml(text: string): Record<string, YamlNode>;
+/** 定位 ontology 文件：<root>/knowledge（项目自定义）→ 包内随发布的默认（<pkg>/knowledge）。 */
+export declare function ontologyPath(root?: string): string | null;
+export declare function loadOntology(root?: string): Ontology;
+/** 结构校验：link 两端类型已定义、基数格式合法、vocab(x) 引用存在、核心不变式齐全。返回问题清单（空=通过）。 */
+export declare function validateOntology(o: Ontology): string[];
+export {};
+//# sourceMappingURL=loader.d.ts.map

package/dist/ontology/loader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../../src/ontology/loader.ts"],"names":[],"mappings":"AASA,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,OAAO,CAAC;IACb,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC;AACD,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,CAAC;CACf;AACD,MAAM,WAAW,aAAa;IAAG,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;CAAE;AAC5D,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,SAAS,GAAG,YAAY,GAAG,cAAc,GAAG,kBAAkB,CAAC;AACtG,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,eAAe,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;IAC/C,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAChD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACxC,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,cAAc,EAAE,aAAa,EAAE,CAAC;CACjC;AAGD,KAAK,QAAQ,GAAG,MAAM,GAAG,QAAQ,EAAE,GAAG;IAAE,CAAC,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAA;CAAE,GAAG,IAAI,CAAC;AA4GvE,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAKhE;AAsCD,yEAAyE;AACzE,wBAAgB,YAAY,CAAC,IAAI,GAAE,MAAsB,GAAG,MAAM,GAAG,IAAI,CAWxE;AAED,wBAAgB,YAAY,CAAC,IAAI,GAAE,MAAsB,GAAG,QAAQ,CAInE;AAED,mEAAmE;AACnE,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,QAAQ,GAAG,MAAM,EAAE,CAuCtD"}

package/dist/ontology/loader.js

@@ -0,0 +1,254 @@
+/**
+ * Ontology 加载器 —— 读 knowledge/ontology/verification.yaml，解析成类型化模型并校验。
+ * 零依赖：内置一个针对本文件结构的 YAML 子集解析器（块映射/块序列/流映射{}/流序列[]/标量）。
+ * 语义层是领域层的类型词汇表；harness 不认识它，check 域按接口消费（v3/v4/v5）。
+ */
+import { existsSync, readFileSync } from "node:fs";
+import { join, dirname } from "node:path";
+import { fileURLToPath } from "node:url";
+function stripComments(raw) {
+    const out = [];
+    for (const line0 of raw.split("\n")) {
+        const line = line0.replace(/\t/g, "  ");
+        if (!line.trim() || /^\s*#/.test(line))
+            continue; // 空行 / 整行注释
+        const noComment = line.replace(/\s+#.*$/, ""); // 行尾注释（# 前须有空格；本文件值内无 #）
+        const indent = noComment.length - noComment.trimStart().length;
+        out.push({ indent, text: noComment.trim() });
+    }
+    return out;
+}
+/** 顶层逗号切分（尊重引号与 []{} 嵌套）——供流映射/流序列用。 */
+function splitTop(s) {
+    const parts = [];
+    let depth = 0, q = null, buf = "";
+    for (const ch of s) {
+        if (q) {
+            buf += ch;
+            if (ch === q)
+                q = null;
+            continue;
+        }
+        if (ch === '"' || ch === "'") {
+            q = ch;
+            buf += ch;
+            continue;
+        }
+        if (ch === "[" || ch === "{") {
+            depth++;
+            buf += ch;
+            continue;
+        }
+        if (ch === "]" || ch === "}") {
+            depth--;
+            buf += ch;
+            continue;
+        }
+        if (ch === "," && depth === 0) {
+            parts.push(buf.trim());
+            buf = "";
+            continue;
+        }
+        buf += ch;
+    }
+    if (buf.trim())
+        parts.push(buf.trim());
+    return parts;
+}
+function unquote(s) {
+    const t = s.trim();
+    if ((t.startsWith('"') && t.endsWith('"')) || (t.startsWith("'") && t.endsWith("'")))
+        return t.slice(1, -1);
+    return t;
+}
+/** 解析一个标量 / 内联流映射 {} / 内联流序列 []。 */
+function parseInline(s) {
+    const t = s.trim();
+    if (t.startsWith("[") && t.endsWith("]")) {
+        const inner = t.slice(1, -1).trim();
+        return inner ? splitTop(inner).map((x) => unquote(x)) : [];
+    }
+    if (t.startsWith("{") && t.endsWith("}")) {
+        const inner = t.slice(1, -1).trim();
+        const map = {};
+        if (inner)
+            for (const pair of splitTop(inner)) {
+                const i = pair.indexOf(":");
+                map[pair.slice(0, i).trim()] = unquote(pair.slice(i + 1));
+            }
+        return map;
+    }
+    return unquote(t);
+}
+/** 递归解析块结构，返回 [节点, 下一行索引]。 */
+function parseBlock(lines, i, indent) {
+    if (lines[i].text.startsWith("- ") || lines[i].text === "-") {
+        const arr = [];
+        while (i < lines.length && lines[i].indent === indent && (lines[i].text.startsWith("- ") || lines[i].text === "-")) {
+            const rest = lines[i].text.replace(/^-\s*/, "");
+            if (rest.startsWith("{") || rest.startsWith("[")) {
+                arr.push(parseInline(rest));
+                i++;
+                continue;
+            }
+            if (rest.includes(":")) { // 块映射作为序列项（如 core_invariants）
+                const map = {};
+                const j = rest.indexOf(":");
+                const k = rest.slice(0, j).trim(), v = rest.slice(j + 1).trim();
+                map[k] = v ? parseInline(v) : null;
+                i++;
+                const childIndent = indent + 2; // "- " 之后对齐的续行
+                while (i < lines.length && lines[i].indent >= childIndent && !lines[i].text.startsWith("- ")) {
+                    const [subv, ni] = parseKeyValue(lines, i, lines[i].indent);
+                    Object.assign(map, subv);
+                    i = ni;
+                }
+                arr.push(map);
+                continue;
+            }
+            arr.push(parseInline(rest));
+            i++;
+        }
+        return [arr, i];
+    }
+    return parseMapping(lines, i, indent);
+}
+function parseMapping(lines, i, indent) {
+    const map = {};
+    while (i < lines.length && lines[i].indent === indent && !lines[i].text.startsWith("- ")) {
+        const [kv, ni] = parseKeyValue(lines, i, indent);
+        Object.assign(map, kv);
+        i = ni;
+    }
+    return [map, i];
+}
+function parseKeyValue(lines, i, indent) {
+    const line = lines[i].text;
+    const j = line.indexOf(":");
+    const key = line.slice(0, j).trim();
+    const val = line.slice(j + 1).trim();
+    if (val)
+        return [{ [key]: parseInline(val) }, i + 1];
+    // 值在下方缩进块
+    if (i + 1 < lines.length && lines[i + 1].indent > indent) {
+        const [child, ni] = parseBlock(lines, i + 1, lines[i + 1].indent);
+        return [{ [key]: child }, ni];
+    }
+    return [{ [key]: null }, i + 1];
+}
+export function parseYaml(text) {
+    const lines = stripComments(text);
+    if (!lines.length)
+        return {};
+    const [node] = parseMapping(lines, 0, lines[0].indent);
+    return node;
+}
+// ── 装配成类型化 Ontology ─────────────────────────────────────────────
+function asStr(v) { return typeof v === "string" ? v : ""; }
+function toOntology(raw) {
+    const layerIds = ["meta", "finance", "regulation", "verification", "runtime_learning"];
+    const layerRaw = (raw.layers ?? {});
+    const layers = Object.fromEntries(layerIds.map((id) => [id, {
+            id,
+            name: asStr(layerRaw[id]?.name) || id,
+            description: asStr(layerRaw[id]?.description),
+            objects: Array.isArray(layerRaw[id]?.objects) ? layerRaw[id].objects.map(String) : [],
+        }]));
+    const objectsRaw = (raw.objects ?? {});
+    const objects = {};
+    for (const [name, def] of Object.entries(objectsRaw)) {
+        objects[name] = {
+            name,
+            key: asStr(def?.key),
+            ext: def?.ext === "true" || def?.ext === true,
+            properties: (def?.properties ?? {}),
+        };
+    }
+    const links = (raw.links ?? []).map((l) => ({
+        name: asStr(l.name), from: asStr(l.from), to: asStr(l.to), card: asStr(l.card),
+        core: l.core === "true" || l.core === true,
+    }));
+    const coreInvariants = (raw.core_invariants ?? []).map((c) => ({ id: asStr(c.id), rule: asStr(c.rule) }));
+    return {
+        version: asStr(raw.version),
+        layers,
+        vocabularies: (raw.vocabularies ?? {}),
+        structs: (raw.structs ?? {}),
+        objects, links, coreInvariants,
+    };
+}
+/** 定位 ontology 文件：<root>/knowledge（项目自定义）→ 包内随发布的默认（<pkg>/knowledge）。 */
+export function ontologyPath(root = process.cwd()) {
+    const proj = join(root, "knowledge", "ontology", "verification.yaml");
+    if (existsSync(proj))
+        return proj;
+    try {
+        const here = dirname(fileURLToPath(import.meta.url)); // <pkg>/{src|dist}/ontology
+        for (const up of ["../..", "../../..", "../../../.."]) { // 包内 knowledge（src/dist/装到 node_modules 皆命中）
+            const p = join(here, up, "knowledge", "ontology", "verification.yaml");
+            if (existsSync(p))
+                return p;
+        }
+    }
+    catch { /* ignore */ }
+    return null;
+}
+export function loadOntology(root = process.cwd()) {
+    const p = ontologyPath(root);
+    if (!p)
+        throw new Error("找不到 knowledge/ontology/verification.yaml");
+    return toOntology(parseYaml(readFileSync(p, "utf-8")));
+}
+/** 结构校验：link 两端类型已定义、基数格式合法、vocab(x) 引用存在、核心不变式齐全。返回问题清单（空=通过）。 */
+export function validateOntology(o) {
+    const issues = [];
+    const known = new Set(Object.keys(o.objects));
+    const assigned = new Map();
+    for (const layer of Object.values(o.layers)) {
+        for (const object of layer.objects) {
+            if (!known.has(object))
+                issues.push(`层 ${layer.name}: 对象「${object}」未定义`);
+            const rows = assigned.get(object) ?? [];
+            rows.push(layer.id);
+            assigned.set(object, rows);
+        }
+    }
+    for (const object of known) {
+        const rows = assigned.get(object) ?? [];
+        if (!rows.length)
+            issues.push(`对象 ${object}: 未归入五层目录`);
+        if (rows.length > 1)
+            issues.push(`对象 ${object}: 同时归入 ${rows.join("、")}`);
+    }
+    for (const l of o.links) {
+        if (!l.name)
+            issues.push("有 link 缺 name");
+        if (!known.has(l.from))
+            issues.push(`link ${l.name}: from「${l.from}」未定义`);
+        if (!known.has(l.to))
+            issues.push(`link ${l.name}: to「${l.to}」未定义`);
+        if (!/^[0-9n]\.\.[0-9nm]$/.test(l.card))
+            issues.push(`link ${l.name}: 基数「${l.card}」格式非法`);
+    }
+    for (const [name, obj] of Object.entries(o.objects)) {
+        if (!obj.key)
+            issues.push(`对象 ${name}: 缺 key`);
+        for (const [prop, ty] of Object.entries(obj.properties)) {
+            const m = /vocab\(([^)]+)\)/.exec(String(ty));
+            if (m && !(m[1] in o.vocabularies))
+                issues.push(`对象 ${name}.${prop}: 引用未定义词表 vocab(${m[1]})`);
+        }
+    }
+    const invIds = new Set(o.coreInvariants.map((c) => c.id));
+    for (const req of ["target-has-rubric", "judgment-on-target", "judgment-grounded"]) {
+        if (!invIds.has(req))
+            issues.push(`缺核心不变式：${req}`);
+    }
+    const coreLinks = new Set(o.links.filter((l) => l.core).map((l) => l.name));
+    for (const req of ["judgedBy", "evaluates", "groundedIn"]) {
+        if (!coreLinks.has(req))
+            issues.push(`核心关系未标记 core: ${req}`);
+    }
+    return issues;
+}
+//# sourceMappingURL=loader.js.map

package/dist/ontology/loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loader.js","sourceRoot":"","sources":["../../src/ontology/loader.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAqCzC,SAAS,aAAa,CAAC,GAAW;IAChC,MAAM,GAAG,GAAuC,EAAE,CAAC;IACnD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS,CAAM,YAAY;QACnE,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAU,yBAAyB;QACjF,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC;QAC/D,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,wCAAwC;AACxC,SAAS,QAAQ,CAAC,CAAS;IACzB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC,GAAkB,IAAI,EAAE,GAAG,GAAG,EAAE,CAAC;IACjD,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QACnB,IAAI,CAAC,EAAE,CAAC;YAAC,GAAG,IAAI,EAAE,CAAC;YAAC,IAAI,EAAE,KAAK,CAAC;gBAAE,CAAC,GAAG,IAAI,CAAC;YAAC,SAAS;QAAC,CAAC;QACvD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAAC,CAAC,GAAG,EAAE,CAAC;YAAC,GAAG,IAAI,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QAC9D,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAAC,KAAK,EAAE,CAAC;YAAC,GAAG,IAAI,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QAC/D,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAAC,KAAK,EAAE,CAAC;YAAC,GAAG,IAAI,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QAC/D,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YAAC,GAAG,GAAG,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QAC9E,GAAG,IAAI,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,OAAO,CAAC,CAAS;IACxB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5G,OAAO,CAAC,CAAC;AACX,CAAC;AAED,oCAAoC;AACpC,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,CAAC;IACD,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACpC,MAAM,GAAG,GAA6B,EAAE,CAAC;QACzC,IAAI,KAAK;YAAE,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAC5B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5D,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC;AAED,8BAA8B;AAC9B,SAAS,UAAU,CAAC,KAAyC,EAAE,CAAS,EAAE,MAAc;IACtF,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;QAC5D,MAAM,GAAG,GAAe,EAAE,CAAC;QAC3B,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACnH,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAChD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAC,CAAC,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YACjG,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAA4B,8BAA8B;gBACjF,MAAM,GAAG,GAA6B,EAAE,CAAC;gBACzC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAChE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACnC,CAAC,EAAE,CAAC;gBACJ,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,CAAC,CAAoB,eAAe;gBAClE,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,WAAW,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7F,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBAC5D,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;oBACzB,CAAC,GAAG,EAAE,CAAC;gBACT,CAAC;gBACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACd,SAAS;YACX,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YAAC,CAAC,EAAE,CAAC;QACnC,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,YAAY,CAAC,KAAK,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,YAAY,CAAC,KAAyC,EAAE,CAAS,EAAE,MAAc;IACxF,MAAM,GAAG,GAA6B,EAAE,CAAC;IACzC,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACzF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACvB,CAAC,GAAG,EAAE,CAAC;IACT,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,aAAa,CAAC,KAAyC,EAAE,CAAS,EAAE,MAAc;IACzF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACpC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,IAAI,GAAG;QAAE,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,UAAU;IACV,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC;QACzD,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClE,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACvD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,mEAAmE;AACnE,SAAS,KAAK,CAAC,CAAW,IAAY,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE9E,SAAS,UAAU,CAAC,GAA6B;IAC/C,MAAM,QAAQ,GAAsB,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,cAAc,EAAE,kBAAkB,CAAC,CAAC;IAC1G,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAwB,CAAC;IAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE;YAC1D,EAAE;YACF,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE;YACrC,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC;YAC7C,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;SACtF,CAAC,CAAC,CAA2C,CAAC;IAC/C,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAwB,CAAC;IAC9D,MAAM,OAAO,GAAmC,EAAE,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC,GAAG;YACd,IAAI;YACJ,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;YACpB,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK,MAAM,IAAI,GAAG,EAAE,GAAG,KAAK,IAAI;YAC7C,UAAU,EAAE,CAAC,GAAG,EAAE,UAAU,IAAI,EAAE,CAA2B;SAC9D,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAoB,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9E,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;KAC3C,CAAC,CAAC,CAAC;IACJ,MAAM,cAAc,GAAqB,CAAC,GAAG,CAAC,eAAe,IAAI,EAAE,CAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACtI,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QAC3B,MAAM;QACN,YAAY,EAAE,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAA6B;QAClE,OAAO,EAAE,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAA2C;QACtE,OAAO,EAAE,KAAK,EAAE,cAAc;KAC/B,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,YAAY,CAAC,OAAe,OAAO,CAAC,GAAG,EAAE;IACvD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,mBAAmB,CAAC,CAAC;IACtE,IAAI,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAG,4BAA4B;QACpF,KAAK,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,6CAA6C;YACpG,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,UAAU,EAAE,mBAAmB,CAAC,CAAC;YACvE,IAAI,UAAU,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;IACxB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAAe,OAAO,CAAC,GAAG,EAAE;IACvD,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IACpE,OAAO,UAAU,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,gBAAgB,CAAC,CAAW;IAC1C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACnC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,QAAQ,MAAM,MAAM,CAAC,CAAC;YACzE,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACpB,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,MAAM,MAAM,WAAW,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,MAAM,MAAM,UAAU,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,CAAC,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC1C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC;QAC1E,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC;IAC5F,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,GAAG,CAAC,GAAG;YAAE,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,SAAS,CAAC,CAAC;QAC/C,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACxD,MAAM,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,IAAI,mBAAmB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,KAAK,MAAM,GAAG,IAAI,CAAC,mBAAmB,EAAE,oBAAoB,EAAE,mBAAmB,CAAC,EAAE,CAAC;QACnF,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,UAAU,GAAG,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5E,KAAK,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,YAAY,CAAC,EAAE,CAAC;QAC1D,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,iBAAiB,GAAG,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/ontology/runtime-graph.d.ts

@@ -0,0 +1,22 @@
+import type { Judgment } from "../schemas/judgment.js";
+import type { EvaluationContracts } from "../forge/contracts.js";
+export interface CheckRunGraphInput {
+    runId: string;
+    scenarioKey: string;
+    packRef: string;
+    startedAt: number;
+    completedAt: number;
+    documents: Array<{
+        document_id: string;
+        source_file?: string;
+    }>;
+    judgments: Judgment[];
+}
+export interface RuntimeGraphReceipt {
+    revision: number;
+    objects: number;
+    links: number;
+}
+export declare function recordCheckRun(home: string, input: CheckRunGraphInput, ontologyRoot?: string): RuntimeGraphReceipt;
+export declare function recordEvaluationContracts(home: string, contracts: EvaluationContracts, ontologyRoot?: string): RuntimeGraphReceipt;
+//# sourceMappingURL=runtime-graph.d.ts.map

package/dist/ontology/runtime-graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-graph.d.ts","sourceRoot":"","sources":["../../src/ontology/runtime-graph.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAIjE,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,KAAK,CAAC;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChE,SAAS,EAAE,QAAQ,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,kBAAkB,EAAE,YAAY,GAAE,MAAa,GAAG,mBAAmB,CAqBxH;AAED,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,mBAAmB,EAAE,YAAY,GAAE,MAAa,GAAG,mBAAmB,CAgBxI"}

package/dist/ontology/runtime-graph.js

@@ -0,0 +1,111 @@
+/** 把核查与评测事实写回场景本体图。这里记录已发生的事实，不做 Agent 推理。 */
+import { existsSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { loadOntology } from "./loader.js";
+import { ScenarioOntologyStore } from "./store.js";
+export function recordCheckRun(home, input, ontologyRoot = home) {
+    const store = preparedStore(home, ontologyRoot);
+    const graph = store.transact(`check_run:${input.runId}`, (tx) => {
+        tx.upsertObject({
+            type: "CheckRun", id: input.runId,
+            data: {
+                run_id: input.runId, scenario_ref: input.scenarioKey, pack_ref: input.packRef,
+                started_at: input.startedAt, completed_at: input.completedAt, status: "completed",
+                document_count: input.documents.length,
+            },
+        });
+        for (const document of input.documents) {
+            tx.upsertObject({
+                type: "Document", id: document.document_id,
+                data: { document_id: document.document_id, doc_type: extensionOf(document.source_file), source_file: document.source_file },
+            });
+            tx.upsertLink({ type: "checkedDocument", from: input.runId, to: document.document_id });
+        }
+        for (const judgment of input.judgments)
+            addJudgment(tx, input.runId, judgment);
+    });
+    return { revision: graph.revision, objects: graph.objects.length, links: graph.links.length };
+}
+export function recordEvaluationContracts(home, contracts, ontologyRoot = home) {
+    const store = preparedStore(home, ontologyRoot);
+    const graph = store.transact(`evaluation_run:${contracts.run.eval_run_id}`, (tx) => {
+        tx.upsertObject({ type: "EvaluationSuite", id: contracts.suite.suite_id, data: { ...contracts.suite } });
+        tx.upsertObject({ type: "EvaluationRun", id: contracts.run.eval_run_id, data: { ...contracts.run } });
+        tx.upsertObject({ type: "EvaluationReport", id: contracts.report.report_id, data: { ...contracts.report } });
+        tx.upsertLink({ type: "usesSuite", from: contracts.run.eval_run_id, to: contracts.suite.suite_id });
+        tx.upsertLink({ type: "hasEvaluationReport", from: contracts.run.eval_run_id, to: contracts.report.report_id });
+        for (const failure of contracts.failures) {
+            ensureTarget(tx, failure.target_id);
+            tx.upsertObject({ type: "FailurePattern", id: failure.failure_id, data: { ...failure } });
+            tx.upsertLink({ type: "containsFailure", from: contracts.report.report_id, to: failure.failure_id });
+            tx.upsertLink({ type: "failureOnTarget", from: failure.failure_id, to: failure.target_id });
+        }
+    });
+    return { revision: graph.revision, objects: graph.objects.length, links: graph.links.length };
+}
+function addJudgment(tx, runId, judgment) {
+    ensureTarget(tx, judgment.evaluates);
+    const judgmentId = `${runId}:${judgment.judgment_id}`;
+    tx.upsertObject({
+        type: "Judgment", id: judgmentId,
+        data: { ...judgment, judgment_id: judgmentId, source_judgment_id: judgment.judgment_id },
+    });
+    tx.upsertLink({ type: "producesJudgment", from: runId, to: judgmentId });
+    tx.upsertLink({ type: "evaluates", from: judgmentId, to: judgment.evaluates });
+    tx.upsertLink({ type: "onDocument", from: judgmentId, to: judgment.on_document });
+    for (const [index, evidence] of judgment.grounded_in.entries()) {
+        const evidenceId = `${judgmentId}:evidence:${index + 1}`;
+        tx.upsertObject({
+            type: "Evidence", id: evidenceId,
+            data: {
+                evidence_id: evidenceId, quote: evidence.quote,
+                locator: normalizeLocator(evidence.locator, evidenceId), extracted_value: evidence.extracted_value,
+            },
+        });
+        tx.upsertLink({ type: "groundedIn", from: judgmentId, to: evidenceId });
+    }
+}
+/** 老场景没有 store.json 时，从兼容投影初始化；仍没有目标时由运行事实补最小合法骨架。 */
+function preparedStore(home, ontologyRoot) {
+    const store = new ScenarioOntologyStore(home, loadOntology(ontologyRoot));
+    if (store.read().objects.length)
+        return store;
+    const objects = readRows(join(home, "build", "domain", "objects.json"), "objects");
+    const links = readRows(join(home, "build", "domain", "links.json"), "links");
+    if (objects.length)
+        store.replace(objects, links, "bootstrap_from_compatibility_projection");
+    return store;
+}
+function ensureTarget(tx, targetId) {
+    const exists = tx.objects.some((row) => row.type === "VerificationTarget" && row.id === targetId);
+    if (exists)
+        return;
+    const rubricId = `${targetId}:runtime-rubric`;
+    tx.upsertObject({
+        type: "VerificationTarget", id: targetId,
+        data: { target_id: targetId, name: targetId, task_type: "predicate", status: "active", meta: { runtime_bootstrap: true } },
+    });
+    tx.upsertObject({ type: "Rubric", id: rubricId, data: { rubric_id: rubricId, criteria: "由冻结包运行时恢复" } });
+    tx.upsertLink({ type: "judgedBy", from: targetId, to: rubricId });
+}
+function readRows(path, key) {
+    if (!existsSync(path))
+        return [];
+    try {
+        const value = JSON.parse(readFileSync(path, "utf-8"));
+        return Array.isArray(value) ? value : Array.isArray(value?.[key]) ? value[key] : [];
+    }
+    catch {
+        return [];
+    }
+}
+function extensionOf(path) {
+    const match = path?.match(/\.([^.\/]+)$/);
+    return match?.[1]?.toLowerCase() ?? "unknown";
+}
+function normalizeLocator(locator, fallback) {
+    if (locator && typeof locator === "object")
+        return locator;
+    return { block_id: locator == null ? fallback : String(locator) };
+}
+//# sourceMappingURL=runtime-graph.js.map

package/dist/ontology/runtime-graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-graph.js","sourceRoot":"","sources":["../../src/ontology/runtime-graph.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,qBAAqB,EAAiC,MAAM,YAAY,CAAC;AAkBlF,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,KAAyB,EAAE,eAAuB,IAAI;IACjG,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,aAAa,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE;QAC9D,EAAE,CAAC,YAAY,CAAC;YACd,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK;YACjC,IAAI,EAAE;gBACJ,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO;gBAC7E,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,YAAY,EAAE,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW;gBACjF,cAAc,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM;aACvC;SACF,CAAC,CAAC;QACH,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACvC,EAAE,CAAC,YAAY,CAAC;gBACd,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,CAAC,WAAW;gBAC1C,IAAI,EAAE,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE;aAC5H,CAAC,CAAC;YACH,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;QAC1F,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS;YAAE,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,IAAY,EAAE,SAA8B,EAAE,eAAuB,IAAI;IACjH,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,kBAAkB,SAAS,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE;QACjF,EAAE,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACzG,EAAE,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,SAAS,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE,GAAG,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACtG,EAAE,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC7G,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QACpG,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;QAChH,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACzC,YAAY,CAAC,EAAE,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YACpC,EAAE,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,EAAE,EAAE,CAAC,CAAC;YAC1F,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;YACrG,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;AAChG,CAAC;AAED,SAAS,WAAW,CAAC,EAA4B,EAAE,KAAa,EAAE,QAAkB;IAClF,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,UAAU,GAAG,GAAG,KAAK,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;IACtD,EAAE,CAAC,YAAY,CAAC;QACd,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU;QAChC,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,kBAAkB,EAAE,QAAQ,CAAC,WAAW,EAAE;KACzF,CAAC,CAAC;IACH,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;IACzE,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IAC/E,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;IAClF,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/D,MAAM,UAAU,GAAG,GAAG,UAAU,aAAa,KAAK,GAAG,CAAC,EAAE,CAAC;QACzD,EAAE,CAAC,YAAY,CAAC;YACd,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU;YAChC,IAAI,EAAE;gBACJ,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK;gBAC9C,OAAO,EAAE,gBAAgB,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,eAAe,EAAE,QAAQ,CAAC,eAAe;aACnG;SACF,CAAC,CAAC;QACH,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED,sDAAsD;AACtD,SAAS,aAAa,CAAC,IAAY,EAAE,YAAoB;IACvD,MAAM,KAAK,GAAG,IAAI,qBAAqB,CAAC,IAAI,EAAE,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC;IAC1E,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC9C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,CAAC,EAAE,SAAS,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7E,IAAI,OAAO,CAAC,MAAM;QAAE,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,yCAAyC,CAAC,CAAC;IAC7F,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,EAA4B,EAAE,QAAgB;IAClE,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,oBAAoB,IAAI,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC;IAClG,IAAI,MAAM;QAAE,OAAO;IACnB,MAAM,QAAQ,GAAG,GAAG,QAAQ,iBAAiB,CAAC;IAC9C,EAAE,CAAC,YAAY,CAAC;QACd,IAAI,EAAE,oBAAoB,EAAE,EAAE,EAAE,QAAQ;QACxC,IAAI,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,EAAE;KAC3H,CAAC,CAAC;IACH,EAAE,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;IACxG,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,GAAW;IACzC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QACtD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtF,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,EAAE,CAAC;IAAC,CAAC;AACxB,CAAC;AAED,SAAS,WAAW,CAAC,IAAa;IAChC,MAAM,KAAK,GAAG,IAAI,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;IAC1C,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,SAAS,CAAC;AAChD,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAgB,EAAE,QAAgB;IAC1D,IAAI,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,OAAkC,CAAC;IACtF,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;AACpE,CAAC"}

package/dist/ontology/store.d.ts

@@ -0,0 +1,65 @@
+import type { Ontology } from "./loader.js";
+import type { DomainLinkRow, DomainObjectRow } from "../domain/registers.js";
+export interface StoredOntologyObject extends DomainObjectRow {
+    revision: number;
+    updated_at: string;
+}
+export interface StoredOntologyLink extends DomainLinkRow {
+    revision: number;
+    updated_at: string;
+}
+export interface ScenarioOntologyGraph {
+    schema_version: number;
+    ontology_version: string;
+    revision: number;
+    updated_at: string;
+    objects: StoredOntologyObject[];
+    links: StoredOntologyLink[];
+    validation: {
+        valid: boolean;
+        issues: string[];
+    };
+}
+export declare const CURRENT_GRAPH_SCHEMA_VERSION = 1;
+export interface OntologyGraphTransaction {
+    upsertObject(row: DomainObjectRow): void;
+    removeObject(type: string, id: string): void;
+    upsertLink(row: DomainLinkRow): void;
+    removeLink(type: string, from: string, to: string): void;
+    readonly objects: DomainObjectRow[];
+    readonly links: DomainLinkRow[];
+}
+type LegacyGraph = Partial<ScenarioOntologyGraph> & {
+    schema_version?: number;
+};
+/** store.json 的兼容入口。以后升级只在这里逐版追加，不让业务代码承担迁移。 */
+export declare function migrateScenarioGraph(raw: LegacyGraph, ontologyVersion: string): ScenarioOntologyGraph;
+export interface OntologyQuery {
+    type?: string;
+    text?: string;
+    limit?: number;
+}
+export declare class ScenarioOntologyStore {
+    readonly home: string;
+    readonly ontology: Ontology;
+    readonly path: string;
+    readonly eventsPath: string;
+    constructor(home: string, ontology: Ontology);
+    read(): ScenarioOntologyGraph;
+    replace(objects: DomainObjectRow[], links: DomainLinkRow[], reason: string): ScenarioOntologyGraph;
+    upsertObject(row: DomainObjectRow, reason: string): ScenarioOntologyGraph;
+    addLink(row: DomainLinkRow, reason: string): ScenarioOntologyGraph;
+    /** 多对象、多关系一次提交：只校验一次，也不会留下“对象已写、关系未写”的半成品。 */
+    transact(reason: string, mutate: (tx: OntologyGraphTransaction) => void): ScenarioOntologyGraph;
+    query(query?: OntologyQuery): StoredOntologyObject[];
+    neighbors(id: string): {
+        links: StoredOntologyLink[];
+        objects: StoredOntologyObject[];
+    };
+    private empty;
+    private write;
+    private event;
+}
+export declare function validateScenarioGraph(ontology: Ontology, objects: DomainObjectRow[], links: DomainLinkRow[]): string[];
+export {};
+//# sourceMappingURL=store.d.ts.map

package/dist/ontology/store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/ontology/store.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE7E,MAAM,WAAW,oBAAqB,SAAQ,eAAe;IAAG,QAAQ,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE;AACtG,MAAM,WAAW,kBAAmB,SAAQ,aAAa;IAAG,QAAQ,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE;AAElG,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAChC,KAAK,EAAE,kBAAkB,EAAE,CAAC;IAC5B,UAAU,EAAE;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CAClD;AAED,eAAO,MAAM,4BAA4B,IAAI,CAAC;AAE9C,MAAM,WAAW,wBAAwB;IACvC,YAAY,CAAC,GAAG,EAAE,eAAe,GAAG,IAAI,CAAC;IACzC,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7C,UAAU,CAAC,GAAG,EAAE,aAAa,GAAG,IAAI,CAAC;IACrC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IACzD,QAAQ,CAAC,OAAO,EAAE,eAAe,EAAE,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,aAAa,EAAE,CAAC;CACjC;AAED,KAAK,WAAW,GAAG,OAAO,CAAC,qBAAqB,CAAC,GAAG;IAAE,cAAc,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhF,gDAAgD;AAChD,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,GAAG,qBAAqB,CAqBrG;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,qBAAa,qBAAqB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;gBAEhB,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ;IAO5C,IAAI,IAAI,qBAAqB;IAK7B,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,qBAAqB;IAsBlG,YAAY,CAAC,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,GAAG,qBAAqB;IAOzE,OAAO,CAAC,GAAG,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,qBAAqB;IAKlE,8CAA8C;IAC9C,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,wBAAwB,KAAK,IAAI,GAAG,qBAAqB;IAgB/F,KAAK,CAAC,KAAK,GAAE,aAAkB,GAAG,oBAAoB,EAAE;IAQxD,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC;QAAC,OAAO,EAAE,oBAAoB,EAAE,CAAA;KAAE;IAOvF,OAAO,CAAC,KAAK;IAWb,OAAO,CAAC,KAAK;IAOb,OAAO,CAAC,KAAK;CAId;AAUD,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,MAAM,EAAE,CA8BtH"}