@mingyuxu/check 0.1.0

package/dist/workflows/merge.d.ts

@@ -0,0 +1,4 @@
+/** 把一个 case 的多文档合并成一个 doc-tagged DocumentIR。从 Python merge.py 移植。 */
+import { DocumentIR } from "../schemas/payloads.js";
+export declare function mergeDocuments(docs: DocumentIR[]): DocumentIR;
+//# sourceMappingURL=merge.d.ts.map

package/dist/workflows/merge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../../src/workflows/merge.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,OAAO,EAAE,UAAU,EAAyB,MAAM,wBAAwB,CAAC;AAE3E,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,UAAU,CAiB7D"}

package/dist/workflows/merge.js

@@ -0,0 +1,21 @@
+/** 把一个 case 的多文档合并成一个 doc-tagged DocumentIR。从 Python merge.py 移植。 */
+import { DocumentIR, makeBlock } from "../schemas/payloads.js";
+export function mergeDocuments(docs) {
+    const blocks = [];
+    for (const d of docs) {
+        const received = d.metadata.received_at ?? "";
+        const doctype = d.metadata.doc_type ?? "";
+        for (const b of d.blocks) {
+            blocks.push(makeBlock(`${d.document_id}:${b.block_id}`, b.text, {
+                type: b.type,
+                section_path: [...(b.section_path ?? [])],
+                source: { ...(b.source ?? {}), document_id: d.document_id, received_at: received, doc_type: doctype },
+            }));
+        }
+    }
+    return new DocumentIR(docs.map((d) => d.document_id).join("+"), {
+        blocks,
+        metadata: { documents: docs.map((d) => d.document_id), merged: true },
+    });
+}
+//# sourceMappingURL=merge.js.map

package/dist/workflows/merge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.js","sourceRoot":"","sources":["../../src/workflows/merge.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAc,MAAM,wBAAwB,CAAC;AAE3E,MAAM,UAAU,cAAc,CAAC,IAAkB;IAC/C,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAI,CAAC,CAAC,QAAQ,CAAC,WAAsB,IAAI,EAAE,CAAC;QAC1D,MAAM,OAAO,GAAI,CAAC,CAAC,QAAQ,CAAC,QAAmB,IAAI,EAAE,CAAC;QACtD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE;gBAC9D,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;gBACzC,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE;aACtG,CAAC,CAAC,CAAC;QACN,CAAC;IACH,CAAC;IACD,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QAC9D,MAAM;QACN,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;KACtE,CAAC,CAAC;AACL,CAAC"}

package/dist/workflows/run.d.ts

@@ -0,0 +1,20 @@
+import { type RuntimeGraphReceipt } from "../ontology/runtime-graph.js";
+import type { LLMLike } from "./context.js";
+export interface RunResultRow {
+    document: string;
+    target_id: string;
+    outcome: unknown;
+    status: string;
+    evidence_count: number;
+}
+export declare function runScenario(workspace: string, scenarioKey: string, docPaths: string[], opts?: {
+    llm?: LLMLike | null;
+    now?: number;
+    parserDirs?: string[];
+}): Promise<{
+    scenario_key: string;
+    results: RunResultRow[];
+    out: string;
+    ontology: RuntimeGraphReceipt;
+}>;
+//# sourceMappingURL=run.d.ts.map

package/dist/workflows/run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/workflows/run.ts"],"names":[],"mappings":"AASA,OAAO,EAAkB,KAAK,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACxF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,wBAAsB,WAAW,CAC/B,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAAE,EAClB,IAAI,GAAE;IAAE,GAAG,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;CAAO,GACvE,OAAO,CAAC;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,YAAY,EAAE,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,mBAAmB,CAAA;CAAE,CAAC,CAqDxG"}

package/dist/workflows/run.js

@@ -0,0 +1,66 @@
+/** 生产线执行 —— 冻结场景包即 CLI（run 期，0 agent 决策）。从 Python run.py 移植核心。 */
+import { existsSync, readFileSync, writeFileSync, mkdirSync } from "node:fs";
+import { join } from "node:path";
+import { DocumentIR } from "../schemas/payloads.js";
+import { loadPack } from "../knowledge/loader.js";
+import { loadBuiltinComponents } from "../nodes/base.js";
+import { parseDocument, docId as toDocId, parserDirs } from "../parsers/store.js";
+import { toJudgment } from "../schemas/judgment.js";
+import { judgmentToTrace, writeTraces } from "../forge/trace.js";
+import { recordCheckRun } from "../ontology/runtime-graph.js";
+export async function runScenario(workspace, scenarioKey, docPaths, opts = {}) {
+    await loadBuiltinComponents();
+    const home = join(workspace, scenarioKey);
+    const packDir = join(home, "pack");
+    if (!existsSync(join(packDir, "pack.json")))
+        throw new Error(`场景 ${scenarioKey} 还没有冻结生产线（缺 ${packDir}/pack.json）——先完成 build 并 approve。`);
+    if (!existsSync(join(packDir, "freeze_manifest.json")))
+        throw new Error(`缺 freeze_manifest.json：${packDir} 不是过了晋升门的冻结包。`);
+    const pack = loadPack(packDir);
+    const executor = pack.executor("", { llm: opts.llm });
+    const skillRefs = Object.fromEntries(pack.targets.map((t) => {
+        const p = join(packDir, "targets", t.target_id, "skill.json");
+        try {
+            const skill = JSON.parse(readFileSync(p, "utf-8"));
+            return [t.target_id, String(skill.id ?? `${t.target_id}@${skill.version ?? "unknown"}`)];
+        }
+        catch {
+            return [t.target_id, `${scenarioKey}:${t.target_id}`];
+        }
+    }));
+    const stamp = String(Math.floor(opts.now ?? Date.now() / 1000));
+    const runDir = join(home, "runs", `run-${stamp}`);
+    mkdirSync(join(runDir, "results"), { recursive: true });
+    const rows = [];
+    const judgments = [];
+    const documents = [];
+    const nowTs = Math.floor(opts.now ?? Date.now() / 1000);
+    for (const p of docPaths) {
+        // txt/md 原生读；docx/pdf 等路由到冻结解析器 adapter（沙箱执行）——无匹配则可操作报错
+        const { text, via } = await parseDocument(p, { dirs: opts.parserDirs ?? parserDirs(), workDir: join(runDir, "parse", toDocId(p)) });
+        if (via !== "native")
+            writeFileSync(join(runDir, "results", `${toDocId(p)}.parsed.txt`), text, "utf-8");
+        const docId = toDocId(p);
+        documents.push({ document_id: docId, source_file: p });
+        const res = await executor.runDocument(new DocumentIR(docId), pack.targets, { rawText: text });
+        for (const r of res.results) {
+            const outcome = r.value != null ? r.value : r.comparison ? `${r.comparison.actual} vs ${r.comparison.expected}` : r.verdict;
+            rows.push({ document: docId, target_id: r.target_id, outcome, status: r.status, evidence_count: (r.evidence ?? []).length });
+            // Judgment 一等化：把扁平结果升成带血缘的决策对象（强制 grounding 不变式）
+            judgments.push(toJudgment({ target_id: r.target_id, status: r.status, outcome: { kind: "verdict", verdict: r.verdict, value: r.value, comparison: r.comparison }, evidence: r.evidence ?? [], confidence: r.confidence ?? null, provenance: r.provenance ?? {}, checks: [], unit: {}, derived: {}, sub_results: [] }, { document_id: docId, now: nowTs, checkskill_ref: skillRefs[r.target_id] ?? `${scenarioKey}:${r.target_id}` }));
+        }
+    }
+    const payload = { scenario_key: scenarioKey, stamp, results: rows };
+    const out = join(runDir, "results", "results.json");
+    writeFileSync(out, JSON.stringify(payload, null, 2), "utf-8");
+    // 落 Judgment（一等决策对象）与 trace（反思输入）
+    writeFileSync(join(runDir, "results", "judgments.json"), JSON.stringify(judgments, null, 2), "utf-8");
+    writeTraces(join(home, "traces", `run-${stamp}`), judgments.map((j) => judgmentToTrace(j)));
+    const ontology = recordCheckRun(home, {
+        runId: `run-${stamp}`, scenarioKey, packRef: packDir,
+        startedAt: nowTs, completedAt: Math.floor(opts.now ?? Date.now() / 1000), documents, judgments,
+    });
+    writeFileSync(join(runDir, "results", "ontology_receipt.json"), JSON.stringify(ontology, null, 2), "utf-8");
+    return { ...payload, out, ontology };
+}
+//# sourceMappingURL=run.js.map

package/dist/workflows/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/workflows/run.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,KAAK,IAAI,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,EAAE,UAAU,EAAiB,MAAM,wBAAwB,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,cAAc,EAA4B,MAAM,8BAA8B,CAAC;AAWxF,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,SAAiB,EACjB,WAAmB,EACnB,QAAkB,EAClB,OAAsE,EAAE;IAExE,MAAM,qBAAqB,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACnC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,MAAM,WAAW,eAAe,OAAO,mCAAmC,CAAC,CAAC;IACzI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,OAAO,eAAe,CAAC,CAAC;IAE1H,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QAC9D,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;YACnD,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC,OAAO,IAAI,SAAS,EAAE,CAAC,CAAC,CAAC;QAC3F,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,WAAW,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QAAC,CAAC;IACpE,CAAC,CAAC,CAAC,CAAC;IACJ,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,KAAK,EAAE,CAAC,CAAC;IAClD,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAExD,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,MAAM,SAAS,GAAwD,EAAE,CAAC;IAC1E,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,yDAAyD;QACzD,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,MAAM,aAAa,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,IAAI,UAAU,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpI,IAAI,GAAG,KAAK,QAAQ;YAAE,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACxG,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,SAAS,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,WAAW,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/F,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAgB,EAAE,CAAC;YACrC,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,OAAO,CAAC,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5H,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAC7H,iDAAiD;YACjD,SAAS,CAAC,IAAI,CAAC,UAAU,CACvB,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,EAC1R,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,GAAG,WAAW,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACpE,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;IACpD,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9D,kCAAkC;IAClC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,gBAAgB,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACtG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,KAAK,EAAE,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE;QACpC,KAAK,EAAE,OAAO,KAAK,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO;QACpD,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,EAAE,SAAS,EAAE,SAAS;KAC/F,CAAC,CAAC;IACH,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,uBAAuB,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC5G,OAAO,EAAE,GAAG,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AACvC,CAAC"}

package/knowledge/methods/prose-rule.method.md

@@ -0,0 +1,21 @@
+---
+method_id: prose-rule
+version: "1"
+applies_to_rule_kind: "*"
+produces: [VerificationTarget, Rubric, EvidenceRequirement, CheckSkill]
+emits_function: judge.prose_grounded
+---
+# 通用散文规则 → 核查技能 · 方法论（fallback meta-skill）
+
+仅当没有更具体的 Method 时使用。它保留规则原文的判据，不把未知规则强行改写成阈值或计算逻辑。
+
+## 合成配方
+1. 一条 RuleClause 只生成一个最小 VerificationTarget 和一个 Rubric。
+2. applicability 不明确时使用 always，不推测产品范围。
+3. retrieval 只采用条文及样本中真实出现的关键词和章节线索。
+4. judge 使用 grounded prose rubric；必须引用原文证据才能 pass/fail。
+5. 没有足够证据或判据存在歧义时输出 needs_review。
+
+## 反思分流
+- 个别目标错判：只修该 CheckSkill 的 retrieval/rubric。
+- 同类规则持续系统性错判：新增专用 Method，不在本 fallback 中堆场景特例。

package/knowledge/methods/ratio-limit.method.md

@@ -0,0 +1,31 @@
+---
+method_id: ratio-limit
+version: "3"
+applies_to_rule_kind: ratio_limit
+produces: [VerificationTarget, Rubric]
+emits_function: judge.threshold_compare
+---
+# 比例限制类规则 → 核查技能 · 方法论（meta-skill）
+
+构建期由 Build Loop 消费：读一条 ratio_limit 的 RuleClause，产出 VerificationTarget + Rubric，
+并给出判定 Function 的骨架。跨场景复用——所有「比例限制」规则都走这一份方法。
+
+## 识别
+条文含「不得超过 / 不低于 + 百分比 + 某类资产/指标」→ 归为 ratio_limit。
+
+## 抽取配方（怎么生成 Target + Rubric）
+1. 抽 metric（如「债权投资比例」）、operator（<= / >=）、threshold（如 40）、unit（percent）。
+2. task_type = comparison；outcome_domain.kind = verdict。
+3. Rubric.constraint = { op, value, unit }；criteria 用原文判据。
+4. retrieval：chapter_keywords=投资范围/投资比例；content_keywords=metric 关键词 + 「比例」「%」。
+5. evidence_contract：必须引用原文的比例数字，否则 verdict = needs_review。
+
+## 判定逻辑骨架（生成 judge Function 的规格）
+从证据中抽 metric 值 → 与 constraint 比较 → 给出 verdict + 引用原文。
+- 抽不到数值 → needs_review（不猜）。
+- 命中多处 → 取约束最紧的一处，其余入证据列表。
+
+## 反思要点（评测不达标时改哪）
+- 漏召（该判没判）→ 放宽 retrieval 关键词 / 章节线索。
+- 误报（比例判错）→ 检查 metric 抽取与单位换算（万分之 vs 百分之）。
+- 系统性偏差 → 升级本方法到 v4，一次修复惠及所有比例规则。

package/knowledge/ontology/verification.yaml

@@ -0,0 +1,268 @@
+# 核查领域 Ontology —— 语义层（对象/属性/关系）的正式 schema。
+# 设计原则：极小稳定核心（core: true 的三条关系） + 其余加法/软层可演进。
+# 词表(vocabularies)加值不改 schema；对象带 ext=true 即支持 meta:{} 扩展袋。
+# 版本随破坏性变更递增；CheckSkill 记它构建时的 ontology 版本。
+version: "verification@1.0"
+
+# 五层目录不是五套割裂的库，而是同一对象图的职责分区。
+# 当前只登记已经有 schema/运行时的类型；后续新增类型按层追加，不需要改 Agent 控制流。
+layers:
+  meta:
+    name: 元本体层
+    description: 定义构建方法、类型和系统可表达的能力
+    objects: [Method]
+  finance:
+    name: 金融领域层
+    description: 相对稳定的金融产品、指标、分类和业务概念
+    objects: [ProductType]
+  regulation:
+    name: 规则监管层
+    description: 法规、条款、约束、例外和适用条件
+    objects: [Regulation, RuleClause]
+  verification:
+    name: 核查场景层
+    description: 核查目标、判据、证据要求和可执行 CheckSkill
+    objects: [VerificationTarget, Rubric, EvidenceRequirement, CheckSkill]
+  runtime_learning:
+    name: 运行学习层
+    description: 文档、证据、判定、运行记录和反馈学习对象
+    objects: [Document, DocumentBlock, Evidence, Judgment, CheckRun, EvaluationSuite, EvaluationRun, EvaluationReport, FailurePattern]
+
+# ── 开放词表（软层：加值即用，不动 schema、不重编译）──
+vocabularies:
+  rule_kind:     [prohibition, ratio_limit, threshold, disclosure, qualification, procedure]
+  task_type:     [predicate, comparison, extraction, calculation]
+  verdict:       [pass, fail, not_applicable, needs_review]
+  severity:      [blocker, major, minor]
+  evidence_kind: [quote, number, table, date]
+  block_type:    [heading, paragraph, table, list]
+  normative:     [mandatory, advisory]
+  status:        [draft, active, superseded, retired]
+
+# ── 结构体（值对象，非独立 object，可内嵌）──
+structs:
+  SourceRef:     { regulation_id: string, article: string }
+  Facet:         { product_category: "string[]", doc_type: "string[]", jurisdiction: "string?" }
+  Constraint:    { op: "enum[<=,>=,==,!=,in]", value: "scalar", unit: "string?" }
+  Confidence:    { score: number, band: "vocab(band)" }
+  OutcomeDomain: { kind: "enum[verdict,value,comparison]", values: "string[]?" }
+  Locator:       { block_id: string, offset: "int?" }
+
+# ── 对象类型（名词）。key=主键；ext=true 允许 meta:{} 扩展袋 ──
+objects:
+
+  # A · 规则侧（核查依据）
+  Regulation:
+    ext: true
+    key: regulation_id
+    properties:
+      regulation_id: string
+      title:         string
+      issuer:        string          # 发布方
+      doc_type:      string          # 法规|指引|合同模板（开放）
+      effective_date: "date?"
+      version:       "string?"
+
+  RuleClause:
+    ext: true
+    key: clause_id
+    properties:
+      clause_id:  string
+      source_ref: SourceRef          # 溯源到 第X条
+      text:       markdown
+      rule_kind:  "vocab(rule_kind)"
+      normative:  "vocab(normative) = mandatory"
+      status:     "vocab(status) = active"
+
+  # B · 目标 / 判定逻辑侧（怎么核查）
+  VerificationTarget:
+    ext: true
+    key: target_id
+    properties:
+      target_id:      string
+      name:           string
+      task_type:      "vocab(task_type)"
+      applicability:  Facet
+      outcome_domain: OutcomeDomain
+      severity:       "vocab(severity) = major"
+      status:         "vocab(status) = draft"
+
+  Rubric:
+    ext: true
+    key: rubric_id
+    properties:
+      rubric_id: string
+      criteria:  markdown
+      decision:  "{ pass_when: string?, fail_when: string? }"
+      tolerance: "number?"
+
+  EvidenceRequirement:
+    ext: true
+    key: req_id
+    properties:
+      req_id:        string
+      description:   string
+      evidence_kind: "vocab(evidence_kind)"
+      locator_hint:  "string?"
+
+  # C · 文档 / 证据 / 结果侧（核查对象与产出）
+  Document:
+    ext: true
+    key: document_id
+    properties:
+      document_id:      string
+      doc_type:         string
+      product_category: "string?"
+      received_at:      "date?"
+      source_file:      "string?"
+
+  DocumentBlock:
+    key: block_id
+    properties:
+      block_id:     string
+      text:         markdown
+      section_path: "string[]"
+      block_type:   "vocab(block_type)"
+
+  Evidence:
+    ext: true
+    key: evidence_id
+    properties:
+      evidence_id:     string
+      quote:           markdown        # 原文引用
+      locator:         Locator
+      extracted_value: "string?"       # 抽取值，如 "40%"
+
+  Judgment:                            # ★ 一等决策对象（decisions-not-data）
+    ext: true
+    key: judgment_id
+    properties:
+      judgment_id:    string
+      verdict:        "vocab(verdict)"
+      confidence:     Confidence
+      rationale:      "markdown?"
+      created_at:     timestamp
+      model_ref:      "string?"        # 模型 + 版本
+      checkskill_ref: "string?"        # 用哪个 CheckSkill 判的
+
+  CheckRun:                            # 一次冻结生产线的真实执行
+    ext: true
+    key: run_id
+    properties:
+      run_id:         string
+      scenario_ref:   string
+      pack_ref:       string
+      started_at:     timestamp
+      completed_at:   "timestamp?"
+      status:         string
+      document_count: number
+
+  EvaluationSuite:                    # 可复现的评测集版本
+    ext: true
+    key: suite_id
+    properties:
+      suite_id:    string
+      name:        string
+      version:     string
+      oracle_ref:  string
+      case_count:  number
+      source:      string
+
+  EvaluationRun:                      # 某版本 pack 对某版本评测集的一次运行
+    ext: true
+    key: eval_run_id
+    properties:
+      eval_run_id: string
+      scenario_ref: string
+      suite_ref:   string
+      pack_ref:    string
+      pack_version: string
+      started_at:  timestamp
+      status:      string
+
+  EvaluationReport:                   # 指标、切片和晋升门结果
+    ext: true
+    key: report_id
+    properties:
+      report_id:  string
+      accuracy:   number
+      precision:  "number?"
+      recall:     "number?"
+      case_count: number
+      gate_status: string
+      metrics:    object
+
+  FailurePattern:                     # 从 mismatch 归纳出的可追踪失败
+    ext: true
+    key: failure_id
+    properties:
+      failure_id: string
+      kind:       string
+      case_id:    string
+      expected:   object
+      actual:     object
+      diagnosis:  "string?"
+      first_error_stage: "string?"
+      attribution_confidence: "number?"
+
+  # D · 分类 / 上下文
+  ProductType:
+    key: product_id
+    properties:
+      product_id: string
+      name:       string
+      parent:     "product_id?"        # 上位类
+
+  # E · 动能 / 构建产物（附在语义层，非纯名词；见 v5）
+  CheckSkill:                          # 运行期：驱动冻结系统的核查技能
+    ext: true
+    key: skill_id
+    properties:
+      skill_id:   string
+      target_ref: target_id
+      retrieval:  object               # 取证配置（松：随 task_type 变）
+      judge:      object               # rubric + constraint + function_ref
+      version:    string
+      eval:       object               # { accuracy, recall, ... }
+      provenance: object               # { built_by_method, winner_spec, derived_from }
+
+  Method:                              # 构建期：造 CheckSkill 的方法论（元技能）
+    ext: true
+    key: method_id
+    properties:
+      method_id:            string
+      version:              string
+      applies_to_rule_kind: "vocab(rule_kind)"
+      produces:             "string[]"  # 产出哪些对象类型
+      emits_function:       "string?"
+
+# ── 关系（有向 link + 基数）。core:true = 稳定核心，机器强制、慎改 ──
+links:
+  - { name: hasClause,      from: Regulation,         to: RuleClause,          card: "1..n" }
+  - { name: derivesTo,      from: RuleClause,         to: VerificationTarget,  card: "n..m" }
+  - { name: judgedBy,       from: VerificationTarget, to: Rubric,              card: "1..1", core: true }
+  - { name: requires,       from: VerificationTarget, to: EvidenceRequirement, card: "0..n" }
+  - { name: appliesTo,      from: VerificationTarget, to: ProductType,         card: "0..n" }
+  - { name: realizedBy,     from: VerificationTarget, to: CheckSkill,          card: "1..1" }
+  - { name: builtByMethod,  from: CheckSkill,         to: Method,              card: "n..1" }
+  - { name: classifiedAs,   from: Document,           to: ProductType,         card: "n..1" }
+  - { name: hasBlock,       from: Document,           to: DocumentBlock,       card: "1..n" }
+  - { name: extractedFrom,  from: Evidence,           to: DocumentBlock,       card: "n..1" }
+  - { name: evaluates,      from: Judgment,           to: VerificationTarget,  card: "n..1", core: true }
+  - { name: onDocument,     from: Judgment,           to: Document,            card: "n..1" }
+  - { name: groundedIn,     from: Judgment,           to: Evidence,            card: "1..n", core: true }
+  - { name: checkedDocument, from: CheckRun,           to: Document,            card: "1..n" }
+  - { name: producesJudgment, from: CheckRun,          to: Judgment,            card: "1..n" }
+  - { name: usesSuite,       from: EvaluationRun,      to: EvaluationSuite,     card: "n..1" }
+  - { name: hasEvaluationReport, from: EvaluationRun, to: EvaluationReport,    card: "1..1" }
+  - { name: containsFailure, from: EvaluationReport,  to: FailurePattern,      card: "0..n" }
+  - { name: failureOnTarget, from: FailurePattern,    to: VerificationTarget,  card: "n..1" }
+
+# ── 稳定核心不变式（核查的物理定律；加载时校验、冻结前强制）──
+core_invariants:
+  - id: target-has-rubric
+    rule: "每个 VerificationTarget 必须 judgedBy 恰好一个 Rubric"
+  - id: judgment-on-target
+    rule: "每个 Judgment 必须 evaluates 恰好一个 VerificationTarget"
+  - id: judgment-grounded
+    rule: "pass/fail 等决定性 Judgment 必须 groundedIn ≥1 Evidence；无证据只能 needs_review 或 not_applicable"

package/package.json

@@ -0,0 +1,36 @@
+{
+  "name": "@mingyuxu/check",
+  "version": "0.1.0",
+  "description": "核查领域层（内核 + 知识引擎）—— Pi 无此层的垂直价值。依赖 core+ai。",
+  "keywords": ["agent", "verification", "ontology", "document-checking", "compliance"],
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Mingyu-Xu-98/doccheck-agent.git",
+    "directory": "packages/check"
+  },
+  "homepage": "https://github.com/Mingyu-Xu-98/doccheck-agent#readme",
+  "bugs": { "url": "https://github.com/Mingyu-Xu-98/doccheck-agent/issues" },
+  "engines": { "node": ">=20" },
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": "./dist/index.js"
+  },
+  "scripts": {
+    "build": "tsc --build",
+    "prepublishOnly": "npm run build"
+  },
+  "dependencies": {
+    "@mingyuxu/ai": "0.1.0",
+    "@mingyuxu/core": "0.1.0"
+  },
+  "files": [
+    "dist",
+    "knowledge"
+  ],
+  "publishConfig": {
+    "access": "public",
+    "registry": "https://registry.npmjs.org"
+  }
+}