@arxo/law-engine (英语)

作为Web Assembly的Arxo Law引擎:编译 .law 包,检查它们, 并评估节点、浏览器和 工人们. 模块没有进口——没有WASI,没有时钟,没有 环境——所以同一请求在任何地方给出相同的字节.

你需要哪个包裹?

快速启动

npm install @arxo/law-engine

请检查date=中的日期值 (帮助)

import { loadEngine } from '@arxo/law-engine/node';

const engine = await loadEngine();
const source = `language "law.core" version "0.2";
package demo.age version "0.1.0";
namespace "urn:example:demo-age";

pub entity Person;
pub relation age(p: Person, years: Integer) kind empirical;
pub relation adult(p: Person) kind institutional;

rule Adult(p: Person, y: Integer) strict {
  when aeg(p, y);
  when y >= 18;
  then adult(p);
}
`;
const { answer } = engine.call({ op: 'check', path: 'demo.law', files: { 'demo.law': source } });

answer.ok;                    // false
answer.diagnostics[0].code;   // 'LDC-E2102'
answer.diagnostics[0].message // 'predicate "aeg" is not declared as a relation in this file'
answer.diagnostics[0].primarySpan.start; // { line: 10, character: 8, offset: 284 }

修补 aeg → age 将软件包编译到其犬形中间体 代表权:

const lowered = engine.call({ op: 'lower', path: 'demo.law', files: { 'demo.law': fixed } }).answer;
const ir = JSON.parse(lowered.bytes);
ir.semanticVersion;            // '0.2.5'
ir.artifactHash;               // 'sha256:e2c51767…'
engine.semanticHash(ir);       // the freshness fingerprint

在开发者笔记本电脑上测量(20号,2026-10-02号): loadEngine() 75分钟, check 本包的长度为44毫秒.

两个模块

两个主要模块都以字节相同的方式答复评价请求 文档。 核心模块完全没有编译器: 全包拒绝 一个核心模块在即时化,而不是在第一次呼叫时失败.

评价

import { loadCoreEngine, REQUEST_SCHEMA } from '@arxo/law-engine/core/node';

const core = await loadCoreEngine();
const program = core.load(ir);            // load once
const { document } = program.evaluate({   // evaluate many cases
  schemaVersion: REQUEST_SCHEMA,          // 'law.core.evaluation-request/0.2'
  semanticVersion: ir.semanticVersion,
  case: caseDocument,
  query,
});
program.dispose();

document 是评价文件:结果、证明图表、问题和 胡说八道 请求信封已经关闭.. schemaVersion 财务报告和审定财务报表 semanticVersion 执行选项 case.options。 。 。 . 大楼 caseDocument 很少需要手动: @arxo/law 组装起来 从简单的事实, 检查他们与包先.

到处跑

import { LawEngine } from '@arxo/law-engine';

const wasmUrl = new URL('@arxo/law-engine/law_wasm.wasm', import.meta.url);
const engine = await LawEngine.instantiate(await fetch(wasmUrl));

import { createWorkerEngine } from '@arxo/law-engine/worker';

const worker = new Worker(new URL('@arxo/law-engine/worker-entry', import.meta.url), { type: 'module' });
const engine = createWorkerEngine(worker, new URL('@arxo/law-engine/law_wasm.wasm', import.meta.url).href);
await engine.init();
const result = await engine.call({ op: 'features' });
worker.terminate();

import { Worker } from 'node:worker_threads';
import { createRequire } from 'node:module';
import { createWorkerEngine } from '@arxo/law-engine/worker';

const resolve = createRequire(import.meta.url).resolve;
const worker = new Worker(resolve('@arxo/law-engine/worker-node-entry'));
const engine = createWorkerEngine(worker, resolve('@arxo/law-engine/law_wasm.wasm'));
await engine.init();
worker.terminate();

const { answer } = engine.call({
  op: 'ask', path: 'pkg', files,
  args: {
    case: 'Main',
    evaluate: 'evaluate truth(demo.rules::eligible("Ada"));',
    queryId: 'urn:law:demo:case#case/Main/query/eligible',
  },
});

API 密码

编译调色板 — 完整模块

engine.call(request) 返回时 { answer, bytes }· ; bytes 是峡谷 形式 answer。 。 。 .

发动机

失败

无论引擎本身如何回答,失败就是一个值: { error: { code, message } } 或信封内有 ok: false包装 仅用于滥用和显示主机故障,如 HostAdapterError 与 code 财务报告和审定财务报表 message (在全体工人中保留). 将诊断结果匹配在马厩上 code (单位:千美元)LDC-E…),在消息上没有 语句。 装载器拒绝为另一个ABI版本所建模块.

类型

每个文件和诊断都来自规范的JSON计划 @arxo/law-types,则 软件包是唯一的依赖,然后在此再导出:

import type { EvaluationDocument, Diagnostic } from '@arxo/law-engine';

链接

阿尔克索.io • 妇女 @arxo/law • Apache-2.0