@mingyuxu/check 0.1.0

package/dist/ontology/store.js

@@ -0,0 +1,179 @@
+/**
+ * 场景 Ontology 的磁盘权威存储。
+ * build/domain/objects.json 与 links.json 继续作为兼容投影；store.json 保存统一版本、修订号和校验状态。
+ */
+import { appendFileSync, existsSync, mkdirSync, readFileSync, renameSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+export const CURRENT_GRAPH_SCHEMA_VERSION = 1;
+/** store.json 的兼容入口。以后升级只在这里逐版追加，不让业务代码承担迁移。 */
+export function migrateScenarioGraph(raw, ontologyVersion) {
+    let graph = { ...raw };
+    let version = Number(graph.schema_version ?? 0);
+    if (version > CURRENT_GRAPH_SCHEMA_VERSION) {
+        throw new Error(`场景 Ontology store schema ${version} 高于当前支持版本 ${CURRENT_GRAPH_SCHEMA_VERSION}`);
+    }
+    if (version === 0) {
+        graph = {
+            ...graph,
+            schema_version: 1,
+            ontology_version: String(graph.ontology_version ?? ontologyVersion),
+            revision: Number(graph.revision ?? 0),
+            updated_at: String(graph.updated_at ?? ""),
+            objects: Array.isArray(graph.objects) ? graph.objects : [],
+            links: Array.isArray(graph.links) ? graph.links : [],
+            validation: graph.validation ?? { valid: true, issues: [] },
+        };
+        version = 1;
+    }
+    if (version !== CURRENT_GRAPH_SCHEMA_VERSION)
+        throw new Error(`缺少 Ontology store schema ${version} 的迁移器`);
+    return graph;
+}
+export class ScenarioOntologyStore {
+    home;
+    ontology;
+    path;
+    eventsPath;
+    constructor(home, ontology) {
+        this.home = home;
+        this.ontology = ontology;
+        this.path = join(home, "build", "domain", "store.json");
+        this.eventsPath = join(home, ".session", "ontology-events.jsonl");
+    }
+    read() {
+        if (!existsSync(this.path))
+            return this.empty();
+        return migrateScenarioGraph(JSON.parse(readFileSync(this.path, "utf-8")), this.ontology.version);
+    }
+    replace(objects, links, reason) {
+        const previous = this.read();
+        const revision = previous.revision + 1;
+        const at = new Date().toISOString();
+        const normalizedObjects = dedupe(objects, (row) => `${row.type}:${row.id}`).map((row) => ({ ...row, revision, updated_at: at }));
+        const normalizedLinks = dedupe(links, (row) => `${row.type}:${row.from}:${row.to}`).map((row) => ({ ...row, revision, updated_at: at }));
+        const issues = validateScenarioGraph(this.ontology, normalizedObjects, normalizedLinks);
+        const graph = {
+            schema_version: 1,
+            ontology_version: this.ontology.version,
+            revision,
+            updated_at: at,
+            objects: normalizedObjects,
+            links: normalizedLinks,
+            validation: { valid: issues.length === 0, issues },
+        };
+        if (issues.length)
+            throw new Error(`场景 Ontology 图校验失败：${issues.join("；")}`);
+        this.write(graph);
+        this.event("graph.replaced", { revision, reason, objects: graph.objects.length, links: graph.links.length });
+        return graph;
+    }
+    upsertObject(row, reason) {
+        const current = this.read();
+        const objects = current.objects.filter((item) => !(item.type === row.type && item.id === row.id));
+        objects.push(row);
+        return this.replace(objects, current.links, reason);
+    }
+    addLink(row, reason) {
+        const current = this.read();
+        return this.replace(current.objects, [...current.links, row], reason);
+    }
+    /** 多对象、多关系一次提交：只校验一次，也不会留下“对象已写、关系未写”的半成品。 */
+    transact(reason, mutate) {
+        const current = this.read();
+        const objectMap = new Map(current.objects.map((row) => [`${row.type}:${row.id}`, plainObject(row)]));
+        const linkMap = new Map(current.links.map((row) => [`${row.type}:${row.from}:${row.to}`, plainLink(row)]));
+        const tx = {
+            upsertObject(row) { objectMap.set(`${row.type}:${row.id}`, row); },
+            removeObject(type, id) { objectMap.delete(`${type}:${id}`); },
+            upsertLink(row) { linkMap.set(`${row.type}:${row.from}:${row.to}`, row); },
+            removeLink(type, from, to) { linkMap.delete(`${type}:${from}:${to}`); },
+            get objects() { return [...objectMap.values()]; },
+            get links() { return [...linkMap.values()]; },
+        };
+        mutate(tx);
+        return this.replace(tx.objects, tx.links, reason);
+    }
+    query(query = {}) {
+        const text = query.text?.trim().toLowerCase();
+        return this.read().objects.filter((row) => {
+            if (query.type && row.type !== query.type)
+                return false;
+            return !text || JSON.stringify(row).toLowerCase().includes(text);
+        }).slice(0, Math.max(1, Math.min(Number(query.limit ?? 100), 500)));
+    }
+    neighbors(id) {
+        const graph = this.read();
+        const links = graph.links.filter((row) => row.from === id || row.to === id);
+        const ids = new Set(links.flatMap((row) => [row.from, row.to]));
+        return { links, objects: graph.objects.filter((row) => ids.has(row.id)) };
+    }
+    empty() {
+        return {
+            schema_version: 1,
+            ontology_version: this.ontology.version,
+            revision: 0,
+            updated_at: "",
+            objects: [], links: [],
+            validation: { valid: true, issues: [] },
+        };
+    }
+    write(graph) {
+        mkdirSync(join(this.home, "build", "domain"), { recursive: true });
+        const temp = `${this.path}.tmp-${process.pid}`;
+        writeFileSync(temp, JSON.stringify(graph, null, 2), "utf-8");
+        renameSync(temp, this.path);
+    }
+    event(type, payload) {
+        mkdirSync(join(this.home, ".session"), { recursive: true });
+        appendFileSync(this.eventsPath, JSON.stringify({ type, at: new Date().toISOString(), ...payload }) + "\n", "utf-8");
+    }
+}
+function plainObject(row) {
+    return { type: row.type, id: row.id, data: row.data };
+}
+function plainLink(row) {
+    return { type: row.type, from: row.from, to: row.to };
+}
+export function validateScenarioGraph(ontology, objects, links) {
+    const issues = [];
+    const byType = new Map();
+    for (const row of objects) {
+        if (!ontology.objects[row.type])
+            issues.push(`未知对象类型 ${row.type}`);
+        const ids = byType.get(row.type) ?? new Set();
+        ids.add(row.id);
+        byType.set(row.type, ids);
+    }
+    const linkDefs = new Map(ontology.links.map((row) => [row.name, row]));
+    for (const row of links) {
+        const def = linkDefs.get(row.type);
+        if (!def) {
+            issues.push(`未知关系类型 ${row.type}`);
+            continue;
+        }
+        if (!byType.get(def.from)?.has(row.from))
+            issues.push(`${row.type}.from 缺 ${def.from}:${row.from}`);
+        if (!byType.get(def.to)?.has(row.to))
+            issues.push(`${row.type}.to 缺 ${def.to}:${row.to}`);
+    }
+    for (const target of byType.get("VerificationTarget") ?? []) {
+        const n = links.filter((row) => row.type === "judgedBy" && row.from === target).length;
+        if (n !== 1)
+            issues.push(`核心不变式 target-has-rubric 失败：${target} judgedBy=${n}`);
+    }
+    for (const judgment of byType.get("Judgment") ?? []) {
+        const evaluations = links.filter((row) => row.type === "evaluates" && row.from === judgment).length;
+        const grounding = links.filter((row) => row.type === "groundedIn" && row.from === judgment).length;
+        const object = objects.find((row) => row.type === "Judgment" && row.id === judgment);
+        if (evaluations !== 1)
+            issues.push(`核心不变式 judgment-on-target 失败：${judgment} evaluates=${evaluations}`);
+        if (grounding < 1 && !["needs_review", "not_applicable"].includes(String(object?.data.verdict))) {
+            issues.push(`核心不变式 judgment-grounded 失败：${judgment} 无 Evidence`);
+        }
+    }
+    return issues;
+}
+function dedupe(rows, key) {
+    return [...new Map(rows.map((row) => [key(row), row])).values()];
+}
+//# sourceMappingURL=store.js.map

package/dist/ontology/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../src/ontology/store.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACzG,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAiBjC,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC;AAa9C,gDAAgD;AAChD,MAAM,UAAU,oBAAoB,CAAC,GAAgB,EAAE,eAAuB;IAC5E,IAAI,KAAK,GAAgB,EAAE,GAAG,GAAG,EAAE,CAAC;IACpC,IAAI,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC;IAChD,IAAI,OAAO,GAAG,4BAA4B,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,4BAA4B,OAAO,aAAa,4BAA4B,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;QAClB,KAAK,GAAG;YACN,GAAG,KAAK;YACR,cAAc,EAAE,CAAC;YACjB,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB,IAAI,eAAe,CAAC;YACnE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC;YACrC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;YAC1C,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YAC1D,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YACpD,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE;SAC5D,CAAC;QACF,OAAO,GAAG,CAAC,CAAC;IACd,CAAC;IACD,IAAI,OAAO,KAAK,4BAA4B;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,OAAO,OAAO,CAAC,CAAC;IAC1G,OAAO,KAA8B,CAAC;AACxC,CAAC;AAQD,MAAM,OAAO,qBAAqB;IACvB,IAAI,CAAS;IACb,QAAQ,CAAW;IACnB,IAAI,CAAS;IACb,UAAU,CAAS;IAE5B,YAAY,IAAY,EAAE,QAAkB;QAC1C,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;QACxD,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACpE,CAAC;IAED,IAAI;QACF,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;QAChD,OAAO,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACnG,CAAC;IAED,OAAO,CAAC,OAA0B,EAAE,KAAsB,EAAE,MAAc;QACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,GAAG,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACpC,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACjI,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACzI,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,CAAC,QAAQ,EAAE,iBAAiB,EAAE,eAAe,CAAC,CAAC;QACxF,MAAM,KAAK,GAA0B;YACnC,cAAc,EAAE,CAAC;YACjB,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO;YACvC,QAAQ;YACR,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,iBAAiB;YAC1B,KAAK,EAAE,eAAe;YACtB,UAAU,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE;SACnD,CAAC;QACF,IAAI,MAAM,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5E,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAClB,IAAI,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7G,OAAO,KAAK,CAAC;IACf,CAAC;IAED,YAAY,CAAC,GAAoB,EAAE,MAAc;QAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAClG,OAAO,CAAC,IAAI,CAAC,GAA2B,CAAC,CAAC;QAC1C,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACtD,CAAC;IAED,OAAO,CAAC,GAAkB,EAAE,MAAc;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;IACxE,CAAC;IAED,8CAA8C;IAC9C,QAAQ,CAAC,MAAc,EAAE,MAA8C;QACrE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrG,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3G,MAAM,EAAE,GAA6B;YACnC,YAAY,CAAC,GAAG,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAClE,YAAY,CAAC,IAAI,EAAE,EAAE,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7D,UAAU,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1E,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACvE,IAAI,OAAO,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;YACjD,IAAI,KAAK,KAAK,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;SAC9C,CAAC;QACF,MAAM,CAAC,EAAE,CAAC,CAAC;QACX,OAAO,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACpD,CAAC;IAED,KAAK,CAAC,QAAuB,EAAE;QAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YACxC,IAAI,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YACxD,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,SAAS,CAAC,EAAU;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,IAAI,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5E,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IAC5E,CAAC;IAEO,KAAK;QACX,OAAO;YACL,cAAc,EAAE,CAAC;YACjB,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO;YACvC,QAAQ,EAAE,CAAC;YACX,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;YACtB,UAAU,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE;SACxC,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,KAA4B;QACxC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,QAAQ,OAAO,CAAC,GAAG,EAAE,CAAC;QAC/C,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC7D,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAEO,KAAK,CAAC,IAAY,EAAE,OAAgC;QAC1D,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;IACtH,CAAC;CACF;AAED,SAAS,WAAW,CAAC,GAAyB;IAC5C,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,SAAS,CAAC,GAAuB;IACxC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,QAAkB,EAAE,OAA0B,EAAE,KAAsB;IAC1G,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QACtD,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACvE,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC1D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,WAAW,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACpG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5F,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5D,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;QACvF,IAAI,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,8BAA8B,MAAM,aAAa,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QACpD,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;QACpG,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;QACnG,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC;QACrF,IAAI,WAAW,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,+BAA+B,QAAQ,cAAc,WAAW,EAAE,CAAC,CAAC;QACvG,IAAI,SAAS,GAAG,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAChG,MAAM,CAAC,IAAI,CAAC,8BAA8B,QAAQ,aAAa,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,MAAM,CAAI,IAAS,EAAE,GAAuB;IACnD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;AACnE,CAAC"}

package/dist/parsers/exec.d.ts

@@ -0,0 +1,9 @@
+export declare const DEFAULT_RUNNER: string;
+export interface ExecOpts {
+    runnerScript?: string;
+    workDir: string;
+    timeoutSeconds?: number;
+}
+/** 在独立进程里跑 adapter.mjs，把 inputPath 解析成文本。超时 kill；出错抛。 */
+export declare function runAdapter(adapterPath: string, inputPath: string, opts: ExecOpts): Promise<string>;
+//# sourceMappingURL=exec.d.ts.map

package/dist/parsers/exec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exec.d.ts","sourceRoot":"","sources":["../../src/parsers/exec.ts"],"names":[],"mappings":"AAWA,eAAO,MAAM,cAAc,QAAyD,CAAC;AAErF,MAAM,WAAW,QAAQ;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,yDAAyD;AACzD,wBAAsB,UAAU,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAwBxG"}

package/dist/parsers/exec.js

@@ -0,0 +1,41 @@
+/**
+ * 沙箱化执行一个解析器 adapter —— 独立 node 子进程 + 超时 kill，输出限制在 workDir 内。
+ * 注意信任边界：Node 无法自沙箱，adapter 仍能碰 fs/网络；隔离=独立进程+超时+爆炸半径限制，
+ * 真正的门是「探针必须产出有效文本才冻结」+ 冻结的 adapter.mjs 是可人工审阅的数据资产。
+ */
+import { spawn } from "node:child_process";
+import { existsSync, readFileSync, rmSync, mkdirSync } from "node:fs";
+import { join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { Sandbox } from "@mingyuxu/core";
+export const DEFAULT_RUNNER = fileURLToPath(new URL("./runner.js", import.meta.url));
+/** 在独立进程里跑 adapter.mjs，把 inputPath 解析成文本。超时 kill；出错抛。 */
+export async function runAdapter(adapterPath, inputPath, opts) {
+    const runner = opts.runnerScript ?? DEFAULT_RUNNER;
+    const sandbox = new Sandbox(opts.workDir);
+    mkdirSync(opts.workDir, { recursive: true });
+    const outPath = sandbox.checkWrite(join(opts.workDir, "parsed.txt")); // 越界即 fail-closed
+    const errPath = outPath + ".err";
+    for (const p of [outPath, errPath])
+        if (existsSync(p))
+            rmSync(p);
+    const timeout = (opts.timeoutSeconds ?? 60) * 1000;
+    await new Promise((resolve, reject) => {
+        const proc = spawn("node", [runner, adapterPath, inputPath, outPath], { stdio: ["ignore", "ignore", "pipe"] });
+        let stderr = "";
+        proc.stderr?.on("data", (d) => { stderr += String(d); });
+        const timer = setTimeout(() => { proc.kill("SIGKILL"); reject(new Error(`adapter 执行超时（>${opts.timeoutSeconds ?? 60}s），已 kill`)); }, timeout);
+        proc.on("error", (e) => { clearTimeout(timer); reject(e); });
+        proc.on("exit", (code) => {
+            clearTimeout(timer);
+            if (code === 0)
+                return resolve();
+            const detail = existsSync(errPath) ? readFileSync(errPath, "utf-8") : stderr || `退出码 ${code}`;
+            reject(new Error(`adapter 执行失败：\n${detail.slice(0, 800)}`));
+        });
+    });
+    if (!existsSync(outPath))
+        throw new Error("adapter 未产出文本");
+    return readFileSync(outPath, "utf-8");
+}
+//# sourceMappingURL=exec.js.map

package/dist/parsers/exec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exec.js","sourceRoot":"","sources":["../../src/parsers/exec.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACtE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAEzC,MAAM,CAAC,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAQrF,yDAAyD;AACzD,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,WAAmB,EAAE,SAAiB,EAAE,IAAc;IACrF,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,IAAI,cAAc,CAAC;IACnD,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1C,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,CAAG,kBAAkB;IAC1F,MAAM,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC;QAAE,IAAI,UAAU,CAAC,CAAC,CAAC;YAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAEjE,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;IACnD,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/G,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,iBAAiB,IAAI,CAAC,cAAc,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC7I,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YACvB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,IAAI,IAAI,KAAK,CAAC;gBAAE,OAAO,OAAO,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,OAAO,IAAI,EAAE,CAAC;YAC9F,MAAM,CAAC,IAAI,KAAK,CAAC,kBAAkB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,eAAe,CAAC,CAAC;IAC3D,OAAO,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AACxC,CAAC"}

package/dist/parsers/runner.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=runner.d.ts.map

package/dist/parsers/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../src/parsers/runner.ts"],"names":[],"mappings":""}

package/dist/parsers/runner.js

@@ -0,0 +1,26 @@
+/**
+ * 解析器 adapter 执行 runner —— 独立子进程里跑「agent 生成的」adapter.mjs（B 方案的隔离层）。
+ * argv: [node, runner.js, adapterPath, inputPath, outPath]
+ * 动态 import adapter → parse(inputPath) → 文本写 outPath；出错写 outPath+".err" 并退出 1。
+ * 进程隔离 + 超时 kill 由父进程（exec.ts）负责，限制生成代码的爆炸半径与挂起。
+ */
+import { writeFileSync } from "node:fs";
+import { pathToFileURL } from "node:url";
+async function main() {
+    const [, , adapterPath, inputPath, outPath] = process.argv;
+    try {
+        const mod = await import(pathToFileURL(adapterPath).href);
+        if (typeof mod.parse !== "function")
+            throw new Error("adapter 未导出 async function parse(absPath)");
+        const text = await mod.parse(inputPath);
+        if (typeof text !== "string")
+            throw new Error(`parse 应返回字符串，实得 ${typeof text}`);
+        writeFileSync(outPath, text, "utf-8");
+    }
+    catch (e) {
+        writeFileSync(outPath + ".err", e.stack ?? String(e), "utf-8");
+        process.exit(1);
+    }
+}
+main();
+//# sourceMappingURL=runner.js.map

package/dist/parsers/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/parsers/runner.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,KAAK,UAAU,IAAI;IACjB,MAAM,CAAC,EAAE,AAAD,EAAG,WAAW,EAAE,SAAS,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAC3D,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAClG,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,IAAI,EAAE,CAAC,CAAC;QAChF,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,aAAa,CAAC,OAAO,GAAG,MAAM,EAAG,CAAW,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AACD,IAAI,EAAE,CAAC"}

package/dist/parsers/store.d.ts

@@ -0,0 +1,32 @@
+import { type ExecOpts } from "./exec.js";
+export interface ParserManifest {
+    name: string;
+    formats: string[];
+    verified: boolean;
+    probe?: {
+        file: string;
+        chars: number;
+    };
+    tries?: number;
+    created_by?: string;
+}
+export declare function parserDirs(root?: string): string[];
+export interface ParserEntry extends ParserManifest {
+    dir: string;
+    adapterPath: string;
+}
+/** 枚举所有已冻结解析器（后出现的目录覆盖同名）。 */
+export declare function listParsers(dirs: string[]): ParserEntry[];
+/** 找一个已验证、能处理该扩展名的解析器。 */
+export declare function findAdapter(dirs: string[], ext: string): ParserEntry | null;
+export interface ParseResult {
+    text: string;
+    via: string;
+}
+/** 文件 → 文本：txt/md 原生读；其它格式路由到冻结 adapter（沙箱执行）；无匹配则给出可操作报错。 */
+export declare function parseDocument(path: string, opts: {
+    dirs?: string[];
+    workDir: string;
+} & Partial<ExecOpts>): Promise<ParseResult>;
+export declare const docId: (path: string) => string;
+//# sourceMappingURL=store.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/parsers/store.ts"],"names":[],"mappings":"AASA,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,WAAW,CAAC;AAEtD,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACxC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,wBAAgB,UAAU,CAAC,IAAI,GAAE,MAAsB,GAAG,MAAM,EAAE,CAEjE;AASD,MAAM,WAAW,WAAY,SAAQ,cAAc;IAAG,GAAG,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;CAAE;AAEzF,8BAA8B;AAC9B,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,WAAW,EAAE,CAWzD;AAED,0BAA0B;AAC1B,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAG3E;AAID,MAAM,WAAW,WAAW;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;CAAE;AAE3D,8DAA8D;AAC9D,wBAAsB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;IAAE,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAetI;AAED,eAAO,MAAM,KAAK,GAAI,MAAM,MAAM,KAAG,MAAgD,CAAC"}

package/dist/parsers/store.js

@@ -0,0 +1,64 @@
+/**
+ * 解析器仓库 —— 冻结的 adapter 是数据资产（不是启动配置）。发现 / 路由 / 解析文档。
+ * 目录：~/.vet/parsers/<name>/ 与 <root>/.vet/parsers/<name>/，各含 TOOL.md（工具说明）、
+ * adapter.mjs（合成并过门后冻结的胶水代码）、manifest.json（formats/verified/probe）。
+ * run 期只回放冻结 adapter，不现场生成代码。
+ */
+import { existsSync, readFileSync, readdirSync } from "node:fs";
+import { join, extname, basename } from "node:path";
+import { homedir } from "node:os";
+import { runAdapter } from "./exec.js";
+export function parserDirs(root = process.cwd()) {
+    return [join(homedir(), ".vet", "parsers"), join(root, ".vet", "parsers")];
+}
+function manifestOf(dir) {
+    const mp = join(dir, "manifest.json");
+    const ap = join(dir, "adapter.mjs");
+    if (!existsSync(mp) || !existsSync(ap))
+        return null;
+    try {
+        return JSON.parse(readFileSync(mp, "utf-8"));
+    }
+    catch {
+        return null;
+    }
+}
+/** 枚举所有已冻结解析器（后出现的目录覆盖同名）。 */
+export function listParsers(dirs) {
+    const byName = new Map();
+    for (const base of dirs) {
+        if (!existsSync(base))
+            continue;
+        for (const name of readdirSync(base)) {
+            const dir = join(base, name);
+            const m = manifestOf(dir);
+            if (m)
+                byName.set(m.name, { ...m, dir, adapterPath: join(dir, "adapter.mjs") });
+        }
+    }
+    return [...byName.values()];
+}
+/** 找一个已验证、能处理该扩展名的解析器。 */
+export function findAdapter(dirs, ext) {
+    const e = ext.toLowerCase();
+    return listParsers(dirs).find((p) => p.verified && p.formats.map((f) => f.toLowerCase()).includes(e)) ?? null;
+}
+const NATIVE = new Set([".txt", ".md", ".markdown"]);
+/** 文件 → 文本：txt/md 原生读；其它格式路由到冻结 adapter（沙箱执行）；无匹配则给出可操作报错。 */
+export async function parseDocument(path, opts) {
+    const ext = extname(path).toLowerCase();
+    if (NATIVE.has(ext) || ext === "")
+        return { text: readFileSync(path, "utf-8"), via: "native" };
+    const dirs = opts.dirs ?? parserDirs();
+    const adapter = findAdapter(dirs, ext);
+    if (!adapter) {
+        const have = listParsers(dirs).map((p) => `${p.name}(${p.formats.join(",")})`);
+        throw new Error(`没有能解析 ${ext} 的解析器。已有：${have.length ? have.join("、") : "无"}。\n` +
+            `新增（agent 读工具说明→合成 adapter→探针过门→冻结）：\n` +
+            `  vet parser add --name <名> --doc <TOOL.md> --formats ${ext} --probe <样本${ext}>`);
+    }
+    const text = await runAdapter(adapter.adapterPath, path, { workDir: opts.workDir, runnerScript: opts.runnerScript, timeoutSeconds: opts.timeoutSeconds });
+    return { text, via: adapter.name };
+}
+export const docId = (path) => basename(path).replace(/\.[^.]+$/, "");
+//# sourceMappingURL=store.js.map

package/dist/parsers/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../src/parsers/store.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,UAAU,EAAiB,MAAM,WAAW,CAAC;AAWtD,MAAM,UAAU,UAAU,CAAC,OAAe,OAAO,CAAC,GAAG,EAAE;IACrD,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,UAAU,CAAC,GAAW;IAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;IACpC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,IAAI,CAAC;QAAC,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAC9E,CAAC;AAID,8BAA8B;AAC9B,MAAM,UAAU,WAAW,CAAC,IAAc;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,SAAS;QAChC,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7B,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED,0BAA0B;AAC1B,MAAM,UAAU,WAAW,CAAC,IAAc,EAAE,GAAW;IACrD,MAAM,CAAC,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;IAC5B,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAChH,CAAC;AAED,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;AAIrD,8DAA8D;AAC9D,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAY,EAAE,IAA8D;IAC9G,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IACxC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;IAC/F,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,UAAU,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACvC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/E,MAAM,IAAI,KAAK,CACb,SAAS,GAAG,YAAY,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;YAC/D,uCAAuC;YACvC,yDAAyD,GAAG,eAAe,GAAG,GAAG,CAClF,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;IAC1J,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC"}

package/dist/parsers/synthesize.d.ts

@@ -0,0 +1,26 @@
+import { type ExecOpts } from "./exec.js";
+export interface LLMLike {
+    completeJson(system: string, user: string, mockFn?: () => Record<string, unknown>): Promise<Record<string, unknown>>;
+}
+export interface SynthOpts extends Partial<ExecOpts> {
+    name: string;
+    doc: string;
+    formats?: string[];
+    probeFile: string;
+    llm: LLMLike;
+    outDir: string;
+    workDir: string;
+    maxTries?: number;
+    mock?: () => Record<string, unknown>;
+}
+export interface SynthResult {
+    ok: boolean;
+    tries: number;
+    chars: number;
+    adapterPath: string;
+    formats: string[];
+}
+export declare function synthesizeAdapter(o: SynthOpts): Promise<SynthResult>;
+/** 读现有冻结 adapter 源码（供人工审阅）。 */
+export declare function readAdapterCode(dir: string): string;
+//# sourceMappingURL=synthesize.d.ts.map

package/dist/parsers/synthesize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthesize.d.ts","sourceRoot":"","sources":["../../src/parsers/synthesize.ts"],"names":[],"mappings":"AAQA,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGtD,MAAM,WAAW,OAAO;IACtB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACtH;AAgBD,MAAM,WAAW,SAAU,SAAQ,OAAO,CAAC,QAAQ,CAAC;IAClD,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,OAAO,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACtC;AAED,MAAM,WAAW,WAAW;IAAG,EAAE,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAC;CAAE;AAEnH,wBAAsB,iBAAiB,CAAC,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,CA2B1E;AAED,+BAA+B;AAC/B,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAGnD"}

package/dist/parsers/synthesize.js

@@ -0,0 +1,63 @@
+/**
+ * 解析器 adapter 合成（B 方案核心）—— agent 读工具说明 → 写胶水代码 → 探针过门 → 冻结。
+ * 只在 build/新增 时生成一次；生成的代码必须在沙箱里把探针文件解析出非空文本才冻结，
+ * 否则带着报错反思重试（有界）。冻结产物 adapter.mjs + manifest.json 是可审阅的数据资产。
+ * 守纪律：不通过门就不信任；run 期只回放冻结 adapter，绝不现场生成。
+ */
+import { existsSync, mkdirSync, writeFileSync, copyFileSync, readFileSync } from "node:fs";
+import { join, extname, basename } from "node:path";
+import { runAdapter } from "./exec.js";
+const SYSTEM = "你在为一个金融文档核查系统合成「解析器适配器」。读下面的工具说明，写一个 ESM 模块，" +
+    "导出 `export async function parse(absPath)`，返回该文档的纯文本内容（字符串）。" +
+    "允许用 node:child_process（execFileSync 调命令行工具）或 fetch（HTTP 服务）来驱动工具说明里描述的解析器。" +
+    "只返回纯文本，不要 JSON 包裹、不要解释。以 JSON 返回：{\"code\": \"<完整模块源码>\", \"notes\": \"<一句话>\"}。";
+function userPrompt(doc, formats, probeFile, lastErr) {
+    let u = `工具说明（TOOL.md）：\n${doc}\n\n需要处理的格式：${formats.join(", ")}\n` +
+        `探针文件（会用它执行你的代码来验证）：${probeFile}\n` +
+        `要求：parse(absPath) 收到探针文件的绝对路径，返回其纯文本；失败请抛异常。`;
+    if (lastErr)
+        u += `\n\n上一版执行失败，请修正后重写完整模块：\n${lastErr.slice(0, 600)}`;
+    return u;
+}
+export async function synthesizeAdapter(o) {
+    const formats = (o.formats?.length ? o.formats : [extname(o.probeFile).toLowerCase()]).map((f) => f.toLowerCase());
+    const maxTries = o.maxTries ?? 3;
+    mkdirSync(o.workDir, { recursive: true });
+    const draftPath = join(o.workDir, "adapter.mjs");
+    let lastErr;
+    for (let attempt = 1; attempt <= maxTries; attempt++) {
+        const res = o.mock ? o.mock() : await o.llm.completeJson(SYSTEM, userPrompt(o.doc, formats, o.probeFile, lastErr));
+        const code = String(res.code ?? "").trim();
+        if (!code) {
+            lastErr = "模型未返回 code 字段";
+            continue;
+        }
+        writeFileSync(draftPath, code, "utf-8");
+        try {
+            // 合成期探针用较短超时：生成的代码若挂起（如误让工具阻塞在 stdin）应快速失败并反思，而非耗满
+            const text = await runAdapter(draftPath, o.probeFile, { workDir: join(o.workDir, "probe"), runnerScript: o.runnerScript, timeoutSeconds: o.timeoutSeconds ?? 20 });
+            if (!text.trim()) {
+                lastErr = "探针解析产出为空文本";
+                continue;
+            }
+            // 过门 → 冻结
+            mkdirSync(o.outDir, { recursive: true });
+            copyFileSync(draftPath, join(o.outDir, "adapter.mjs"));
+            writeFileSync(join(o.outDir, "TOOL.md"), o.doc, "utf-8");
+            const manifest = { name: o.name, formats, verified: true, probe: { file: basename(o.probeFile), chars: text.length }, tries: attempt, created_by: "synthesized" };
+            writeFileSync(join(o.outDir, "manifest.json"), JSON.stringify(manifest, null, 2), "utf-8");
+            return { ok: true, tries: attempt, chars: text.length, adapterPath: join(o.outDir, "adapter.mjs"), formats };
+        }
+        catch (e) {
+            lastErr = e.message;
+        }
+    }
+    // 失败：留下最后草稿供人工排查，不冻结
+    throw new Error(`解析器 ${o.name} 合成失败（试了 ${maxTries} 次）：${lastErr}\n最后草稿：${existsSync(draftPath) ? draftPath : "无"}`);
+}
+/** 读现有冻结 adapter 源码（供人工审阅）。 */
+export function readAdapterCode(dir) {
+    const p = join(dir, "adapter.mjs");
+    return existsSync(p) ? readFileSync(p, "utf-8") : "";
+}
+//# sourceMappingURL=synthesize.js.map

package/dist/parsers/synthesize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthesize.js","sourceRoot":"","sources":["../../src/parsers/synthesize.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC3F,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,UAAU,EAAiB,MAAM,WAAW,CAAC;AAOtD,MAAM,MAAM,GACV,8CAA8C;IAC9C,6DAA6D;IAC7D,4EAA4E;IAC5E,kFAAkF,CAAC;AAErF,SAAS,UAAU,CAAC,GAAW,EAAE,OAAiB,EAAE,SAAiB,EAAE,OAAgB;IACrF,IAAI,CAAC,GAAG,mBAAmB,GAAG,eAAe,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QACjE,sBAAsB,SAAS,IAAI;QACnC,8CAA8C,CAAC;IACjD,IAAI,OAAO;QAAE,CAAC,IAAI,4BAA4B,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;IACtE,OAAO,CAAC,CAAC;AACX,CAAC;AAgBD,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,CAAY;IAClD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACnH,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC;IACjC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IACjD,IAAI,OAA2B,CAAC;IAEhC,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC;QACrD,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QACnH,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,OAAO,GAAG,eAAe,CAAC;YAAC,SAAS;QAAC,CAAC;QACnD,aAAa,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC;YACH,mDAAmD;YACnD,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC,CAAC;YACnK,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBAAC,OAAO,GAAG,YAAY,CAAC;gBAAC,SAAS;YAAC,CAAC;YACvD,UAAU;YACV,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACzC,YAAY,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;YACvD,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACzD,MAAM,QAAQ,GAAmB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;YAClL,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YAC3F,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,OAAO,EAAE,CAAC;QAC/G,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YAAC,OAAO,GAAI,CAAW,CAAC,OAAO,CAAC;QAAC,CAAC;IACjD,CAAC;IACD,qBAAqB;IACrB,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,YAAY,QAAQ,OAAO,OAAO,UAAU,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;AACtH,CAAC;AAED,+BAA+B;AAC/B,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;IACnC,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACvD,CAAC"}

package/dist/planner.d.ts

@@ -0,0 +1,89 @@
+import { Session, ToolRegistry, type OrchestratorAgent, type CommanderAgent, type Capability, type CapabilityResult, type PromotionState } from "@mingyuxu/core";
+import { Ledger } from "@mingyuxu/ai";
+import { Target } from "./schemas/index.js";
+import type { LLMLike } from "./workflows/context.js";
+import { ScenarioBuilder } from "./scenario-builder.js";
+export interface AgentOpts {
+    workspace: string;
+    policy: any;
+    llm: LLMLike;
+    root?: string;
+    ledger?: Ledger;
+}
+export declare class VerificationAgent implements OrchestratorAgent, CommanderAgent {
+    workspace: string;
+    root: string;
+    policy: any;
+    llm: LLMLike;
+    ledger: Ledger;
+    builder: ScenarioBuilder;
+    tools: ToolRegistry;
+    private curSession;
+    constructor(opts: AgentOpts);
+    private _lastNow;
+    confirmTargets(session: Session, o: {
+        drop?: number[];
+        feedback?: string;
+    }): Promise<string>;
+    now(): number;
+    ledgerSummary(): Record<string, unknown>;
+    capabilities(session: Session): Capability[];
+    executeCapability(session: Session, name: string): Promise<CapabilityResult>;
+    /** 仅供 DomainActionRegistry 的受控 handler 调用；外部必须走 executeCapability。 */
+    executeCapabilityUnchecked(session: Session, name: string): Promise<CapabilityResult>;
+    stateSnapshot(session: Session): Record<string, unknown>;
+    promotionState(session: Session): PromotionState;
+    private runNamedBuildCapability;
+    private deriveLifecycle;
+    start(o: {
+        scenarioKey: string;
+        goal: string;
+        rules: string;
+        samples: string;
+        taskType?: string;
+        oracle?: string;
+    }): Session;
+    resume(scenarioKey: string): Session;
+    runPhase(session: Session): Promise<void>;
+    selfEvaluate(session: Session): Promise<{
+        met: boolean | null;
+        summary: string;
+    }>;
+    reflect(session: Session): Promise<{
+        revised: boolean;
+        note: string;
+    }>;
+    private meetsStandard;
+    private readTestReport;
+    private analyze;
+    private observe;
+    private research;
+    private knowledgeRoot;
+    private propose;
+    /** v5 三寄存器真正接线：Ontology 对象实例 → Method 选择 → CheckSkill 数据资产。 */
+    private synthesizeCheckSkills;
+    /**
+     * Method 是构建期 prompt/program，不是标签。真实模型读取正文来生成目标级参数；
+     * 输出仍被字段白名单收口，Method 指定的 function_ref 由代码盖章，之后还必须过 eval。
+     */
+    private applyMethodRecipes;
+    private checkSkillsCurrent;
+    private test;
+    /** v3 attempt = 可复现沙箱 Scenario；每轮评测都保留输入、产物、分数和 trace 指针。 */
+    private snapshotAttempt;
+    private bakeoffIsolated;
+    private crossCheck;
+    private freeze;
+    private writeAsset;
+    private writeTargets;
+    loadTargets(session: Session): Target[];
+    private loadSpecs;
+    private schemaProfile;
+    private readSamples;
+    private showTargets;
+    private showSpecs;
+    private showReport;
+    private proposeKnowledge;
+}
+export declare function auditTargets(targets: Target[]): string[];
+//# sourceMappingURL=planner.d.ts.map

package/dist/planner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../src/planner.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,OAAO,EAAE,YAAY,EACrB,KAAK,iBAAiB,EAAE,KAAK,cAAc,EAAE,KAAK,UAAU,EAAE,KAAK,gBAAgB,EACnF,KAAK,cAAc,EACpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,MAAM,EAA4B,MAAM,oBAAoB,CAAC;AACtE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAwB,MAAM,uBAAuB,CAAC;AAoB9E,MAAM,WAAW,SAAS;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,GAAG,CAAC;IACZ,GAAG,EAAE,OAAO,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,qBAAa,iBAAkB,YAAW,iBAAiB,EAAE,cAAc;IACzE,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,GAAG,CAAC;IACZ,GAAG,EAAE,OAAO,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,eAAe,CAAC;IACzB,KAAK,EAAE,YAAY,CAAC;IACpB,OAAO,CAAC,UAAU,CAAwB;gBAE9B,IAAI,EAAE,SAAS;IAkB3B,OAAO,CAAC,QAAQ,CAAK;IAEf,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,MAAM,CAAC;IAkBlG,GAAG,IAAI,MAAM;IAIb,aAAa,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxC,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,EAAE;IAuBtC,iBAAiB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAIlF,sEAAsE;IAChE,0BAA0B,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;IA6B3F,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAqCxD,cAAc,CAAC,OAAO,EAAE,OAAO,GAAG,cAAc;YAmClC,uBAAuB;IAWrC,OAAO,CAAC,eAAe;IAUvB,KAAK,CAAC,CAAC,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO;IAY5H,MAAM,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO;IAG9B,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAazC,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC;QAAE,GAAG,EAAE,OAAO,GAAG,IAAI,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAYjF,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAkB5E,OAAO,CAAC,aAAa;IAQrB,OAAO,CAAC,cAAc;YAKR,OAAO;YAoCP,OAAO;IAWrB,OAAO,CAAC,QAAQ;IAsBhB,OAAO,CAAC,aAAa;YAYP,OAAO;IAsBrB,+DAA+D;YACjD,qBAAqB;IAqCnC;;;OAGG;YACW,kBAAkB;IAoChC,OAAO,CAAC,kBAAkB;YAQZ,IAAI;IAoClB,6DAA6D;IAC7D,OAAO,CAAC,eAAe;YA8BT,eAAe;YAmCf,UAAU;YAwBV,MAAM;IAgCpB,OAAO,CAAC,UAAU;IAMlB,OAAO,CAAC,YAAY;IAGpB,WAAW,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE;IAIvC,OAAO,CAAC,SAAS;IAIjB,OAAO,CAAC,aAAa;IAIrB,OAAO,CAAC,WAAW;IAMnB,OAAO,CAAC,WAAW;IAWnB,OAAO,CAAC,SAAS;IAMjB,OAAO,CAAC,UAAU;IAUlB,OAAO,CAAC,gBAAgB;CAKzB;AAGD,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAYxD"}