@openmoat/sdk 0.0.0-stage → 0.16.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Crocodile Labs and OpenMoat contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/LICENSE-APACHE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -1,3 +1,38 @@
-# Temporary Holding Version
+# @openmoat/sdk
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+OpenMoat's policy decisions for your own agent product, in JavaScript: the engine
+compiled to WebAssembly behind a typed API. Decide each tool call before your loop runs
+it. No dependencies, no network, no telemetry: the module imports nothing from its host.
+
+```sh
+npm install @openmoat/sdk
+```
+
+```js
+import { load, Session } from "@openmoat/sdk";
+
+const openmoat = await load();
+const engine = openmoat.compile({
+  policy: openmoat.defaultPolicy,
+  context: { home: "/home/me", cwd: "/home/me/app", project: "/home/me/app" },
+});
+const session = new Session();
+
+const d = engine.decide({ type: "shell", command: "cat ~/.ssh/id_rsa" }, { session });
+if (d.verdict === "allow") {
+  run(d.action); // the frozen copy of exactly what was decided
+  session.record(engine, d.action);
+}
+```
+
+**The SDK decides; your code enforces.** A `deny` must not run; a `review` (and a `defer`,
+if your product has no permission flow of its own) runs only after a person approves
+that exact call. It is not a sandbox.
+
+It decides every OpenMoat conformance fixture exactly as `openmoat guard` of the same
+version. Full guide, actions, facts and sessions:
+[docs/SDK.md](https://github.com/crocodile-labs/openmoat/blob/main/docs/SDK.md).
+A complete agent loop: `examples/agent-loop.js`.
+
+Build from a checkout with `scripts/ci/sdk-js.sh`, which writes `dist/openmoat.wasm` and
+its SHA-256 and runs the tests.

package/dist/openmoat.wasm.sha256

@@ -0,0 +1 @@
+74425a32559ceeff4fb6c1f46b21dfdbd0a148c8746fc6fb7b12c9cacb55af8d  openmoat.wasm

package/package.json

@@ -1,6 +1,36 @@
 {
   "name": "@openmoat/sdk",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
-}
+  "version": "0.16.0",
+  "description": "OpenMoat's policy decisions for your own agent: decide each tool call before it runs. WebAssembly, no dependencies, no network.",
+  "license": "MIT OR Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/crocodile-labs/openmoat.git",
+    "directory": "sdk/js"
+  },
+  "homepage": "https://github.com/crocodile-labs/openmoat/blob/main/docs/SDK.md",
+  "keywords": ["ai-agents", "security", "policy", "mcp", "guardrails"],
+  "type": "module",
+  "exports": {
+    ".": {
+      "types": "./src/index.d.ts",
+      "default": "./src/index.js"
+    },
+    "./openmoat.wasm": "./dist/openmoat.wasm"
+  },
+  "types": "./src/index.d.ts",
+  "files": [
+    "src/",
+    "dist/openmoat.wasm",
+    "dist/openmoat.wasm.sha256",
+    "LICENSE",
+    "LICENSE-APACHE"
+  ],
+  "engines": {
+    "node": ">=20"
+  },
+  "sideEffects": false,
+  "scripts": {
+    "test": "node --test \"test/*.test.js\""
+  }
+}

package/src/index.d.ts

@@ -0,0 +1,102 @@
+// Types of @openmoat/sdk (docs/SDK.md, ADR-046). The shapes are the JSON forms
+// of the Rust crate openmoat-sdk; an unknown field is an error, never ignored.
+
+/** `allow < defer < review < deny`.
+ * - `deny`: the call must not run; no approval can lift it.
+ * - `review` (called `ask` before 0.14.0, ADR-053): it runs only after a person approves this exact call.
+ * - `defer`: your own permission flow decides; OpenMoat neither objects nor vouches.
+ * - `allow`: it may run. */
+export type Verdict = "allow" | "defer" | "review" | "deny";
+
+/** Arguments of an MCP or unknown tool call that name files, hosts or commands,
+ * so the usual rules apply to them too. */
+export interface Touches {
+  reads?: string[];
+  writes?: string[];
+  /** URLs or hosts. */
+  hosts?: string[];
+  commands?: string[];
+}
+
+/** One tool call, before it runs. Paths are absolute or relative to `context.cwd`. */
+export type Action =
+  | { type: "shell"; command: string }
+  | { type: "foreign_shell"; shell: string; command: string }
+  | { type: "fs_read"; path: string }
+  | { type: "fs_write"; path: string }
+  | { type: "read_files"; paths: string[] }
+  | { type: "patch"; writes: string[] }
+  | { type: "net"; url: string }
+  | { type: "fetch"; url: string }
+  | { type: "web_search"; query: string }
+  /** `opens`: the one URL a call that only opens or reads a page names (a browser's
+   * `navigate`), decided like a fetch; a call that sends more names it in `hosts`. */
+  | ({ type: "mcp_tool"; name: string; opens?: string[]; unchecked?: string } & Touches)
+  | ({ type: "unknown_tool"; host: string; tool: string } & Touches)
+  | { type: "unchecked"; action: Action; reason: string };
+
+/** Where the agent runs. Absolute, slash-separated paths. */
+export interface Context {
+  home: string;
+  cwd: string;
+  /** The trusted project root, for `${project}`; never the home directory or a root. */
+  project?: string;
+  real_home?: string;
+  real_project?: string;
+  /** Default directory → where an environment variable moved it. */
+  moved_dirs?: Record<string, string>;
+  case_insensitive_paths?: boolean;
+}
+
+/** What the caller observed on its filesystem, for the checks that need it. */
+export interface Facts {
+  /** Program name → absolute path it resolves to on the search path the call uses. */
+  programs?: Record<string, string>;
+  /** Program name → path recorded at setup; anywhere else is a deny. */
+  pinned?: Record<string, string>;
+  /** Symlink path → target. */
+  links?: Record<string, string>;
+  /** Files that exist, for glob operands. */
+  files?: string[];
+}
+
+export interface Decision {
+  readonly verdict: Verdict;
+  /** Rule ids that produced `verdict` (`secrets-paths`, `default.net`, `unparseable`). */
+  readonly rules: readonly string[];
+  readonly reasons: readonly string[];
+  /** `reasons` joined with "; ". */
+  readonly reason: string;
+  /** Weaker matches that did not decide. */
+  readonly context: readonly string[];
+  /** A frozen copy of exactly the action decided: run this one. */
+  readonly action: Readonly<Action>;
+}
+
+export class OpenMoatError extends Error {}
+
+export class Session {
+  constructor(saved?: string);
+  record(engine: Engine, action: Action, facts?: Facts): void;
+  save(): string;
+}
+
+export class Engine {
+  decide(action: Action, options?: { facts?: Facts; session?: Session }): Decision;
+  paths(action: Action): string[];
+  free(): void;
+  [Symbol.dispose](): void;
+}
+
+export class OpenMoat {
+  readonly version: string;
+  readonly policySchemaVersion: number;
+  readonly defaultPolicy: string;
+  compile(options: {
+    policy: string;
+    context: Context;
+    repository?: { policy: string; trusted?: boolean };
+  }): Engine;
+}
+
+export function load(options?: { wasm?: BufferSource | WebAssembly.Module }): Promise<OpenMoat>;

package/src/index.js

@@ -0,0 +1,251 @@
+// OpenMoat's policy decisions for JavaScript: the Rust engine compiled to
+// WebAssembly (crates/openmoat-wasm), behind a typed API. docs/SDK.md, ADR-046.
+//
+// Types are in index.d.ts.
+//
+// The module imports nothing, so it cannot reach a network, a clock or a file.
+// This file reads the module from disk only when `load()` is given no bytes.
+// No telemetry: nothing here sends anything anywhere.
+//
+// The SDK decides; enforcement is the caller's. A call it denies must not run,
+// and a `review` must not run until a person approves that exact call.
+
+/** The request protocol version this wrapper speaks (`ABI_VERSION` in Rust). */
+const ABI = 1;
+
+/** Characters JSON may hold raw but a YAML 1.2 stream may not (the module
+ * reads JSON with the core's YAML 1.2 reader); `JSON.stringify` already
+ * escapes C0 controls. Keep in step with `not_yaml_printable` in json.rs. */
+const NOT_YAML_PRINTABLE = /[\u007f-\u009f￾￿]/g;
+
+/** An input OpenMoat cannot use, or a module that can no longer answer.
+ * Whatever the cause, the call in hand has no decision: do not run it. */
+export class OpenMoatError extends Error {
+  /** @param {string} message */
+  constructor(message) {
+    super(message);
+    this.name = "OpenMoatError";
+  }
+}
+
+/** @param {unknown} value */
+function deepFreeze(value) {
+  if (value && typeof value === "object") {
+    for (const inner of Object.values(value)) deepFreeze(inner);
+    Object.freeze(value);
+  }
+  return value;
+}
+
+/** One instance of the module, and the request/response exchange with it. */
+class Module {
+  /** @param {WebAssembly.Instance} instance */
+  constructor(instance) {
+    const e = /** @type {any} */ (instance.exports);
+    /** @type {WebAssembly.Memory} */
+    this.memory = e.memory;
+    /** @type {(len: number) => number} */
+    this.input = e.openmoat_input;
+    /** @type {() => number} */
+    this.call = e.openmoat_call;
+    /** @type {() => number} */
+    this.output = e.openmoat_output;
+    /** @type {string | null} */
+    this.broken = null;
+    this.encoder = new TextEncoder();
+    this.decoder = new TextDecoder("utf-8", { fatal: true });
+  }
+
+  /**
+   * Send one request; the `ok` value of the answer.
+   * @param {object} request
+   * @returns {any}
+   */
+  request(request) {
+    if (this.broken) throw new OpenMoatError(this.broken);
+    const text = JSON.stringify(request).replace(
+      NOT_YAML_PRINTABLE,
+      (c) => "\\u" + c.charCodeAt(0).toString(16).padStart(4, "0"),
+    );
+    const bytes = this.encoder.encode(text);
+    let answer;
+    try {
+      const at = this.input(bytes.length);
+      if (at === 0) throw new OpenMoatError("request too large");
+      // Views are taken after each call: the module's memory may have grown.
+      new Uint8Array(this.memory.buffer, at, bytes.length).set(bytes);
+      const len = this.call();
+      const out = new Uint8Array(this.memory.buffer, this.output(), len);
+      answer = JSON.parse(this.decoder.decode(out));
+    } catch (error) {
+      if (error instanceof OpenMoatError) throw error;
+      // A trap leaves the module's state unknown: it never decides again.
+      this.broken = `the OpenMoat module failed and was disabled: ${error}`;
+      throw new OpenMoatError(this.broken);
+    }
+    if (typeof answer.error === "string") throw new OpenMoatError(answer.error);
+    return answer.ok;
+  }
+}
+
+/** One agent session's history, as far as later decisions need it. Record each
+ * call after it ran; pass the session to `Engine.decide`. */
+export class Session {
+  /** @param {string} [saved] what `save()` returned, to continue a session */
+  constructor(saved) {
+    if (saved !== undefined && typeof saved !== "string") {
+      throw new OpenMoatError("a saved session is the string save() returned");
+    }
+    /** @type {string | undefined} The module's opaque state; empty when fresh. */
+    this.state = saved || undefined;
+  }
+
+  /**
+   * Note that `action` ran, as `engine` decided it with `facts`. Record only
+   * calls that really ran.
+   * @param {Engine} engine
+   * @param {import("./index").Action} action
+   * @param {import("./index").Facts} [facts]
+   */
+  record(engine, action, facts) {
+    this.state = engine.module.request({
+      op: "record",
+      engine: engine.handle(),
+      action,
+      facts,
+      session: this.state,
+    }).session;
+  }
+
+  /** The session as opaque text, for `new Session(saved)` in another process. */
+  save() {
+    return this.state ?? "";
+  }
+}
+
+const released = new FinalizationRegistry(
+  /** @param {{module: Module, handle: number}} held */
+  ({ module, handle }) => {
+    if (!module.broken) module.request({ op: "release", engine: handle });
+  },
+);
+
+/** A policy compiled for one context. Keep it: compiling dominates the cost. */
+export class Engine {
+  /**
+   * @param {Module} module
+   * @param {number} handle
+   */
+  constructor(module, handle) {
+    this.module = module;
+    /** @type {number | null} */
+    this.id = handle;
+    released.register(this, { module, handle }, this);
+  }
+
+  /** @returns {number} */
+  handle() {
+    if (this.id === null) throw new OpenMoatError("this engine was freed");
+    return this.id;
+  }
+
+  /**
+   * Decide `action`. The result carries `action`: a frozen copy of exactly
+   * what was decided. Run that, never a value rebuilt from it afterwards.
+   * @param {import("./index").Action} action
+   * @param {{facts?: import("./index").Facts, session?: Session}} [options]
+   * @returns {import("./index").Decision}
+   */
+  decide(action, options = {}) {
+    const decided = deepFreeze(JSON.parse(JSON.stringify(action)));
+    const d = this.module.request({
+      op: "decide",
+      engine: this.handle(),
+      action: decided,
+      facts: options.facts,
+      session: options.session?.state,
+    });
+    return deepFreeze({
+      verdict: d.verdict,
+      rules: d.rules,
+      reasons: d.reasons,
+      reason: d.reasons.join("; "),
+      context: d.context,
+      action: decided,
+    });
+  }
+
+  /**
+   * The absolute paths `action` reads or writes, to resolve and report as
+   * `facts.links` before deciding.
+   * @param {import("./index").Action} action
+   * @returns {string[]}
+   */
+  paths(action) {
+    return this.module.request({ op: "paths", engine: this.handle(), action }).paths;
+  }
+
+  /** Release the compiled policy now rather than when collected. */
+  free() {
+    if (this.id === null) return;
+    released.unregister(this);
+    const handle = this.id;
+    this.id = null;
+    if (!this.module.broken) this.module.request({ op: "release", engine: handle });
+  }
+
+  [Symbol.dispose]() {
+    this.free();
+  }
+}
+
+/** A loaded module: compile policies into engines. */
+export class OpenMoat {
+  /** @param {Module} module */
+  constructor(module) {
+    this.module = module;
+    const info = module.request({ op: "info" });
+    if (info.abi !== ABI) {
+      throw new OpenMoatError(`module speaks protocol ${info.abi}; this wrapper speaks ${ABI}`);
+    }
+    /** The OpenMoat release the module was built from. */
+    this.version = /** @type {string} */ (info.version);
+    /** The policy schema version (`version:` in a policy) it reads. */
+    this.policySchemaVersion = /** @type {number} */ (info.policy_schema_version);
+    /** The shipped default policy, as YAML. */
+    this.defaultPolicy = /** @type {string} */ (module.request({ op: "default_policy" }).policy);
+  }
+
+  /**
+   * Compile `policy` (YAML text) for `context`, with a repository policy
+   * merged in when `repository` is given.
+   * @param {{policy: string, context: import("./index").Context,
+   *   repository?: {policy: string, trusted?: boolean}}} options
+   * @returns {Engine}
+   */
+  compile({ policy, context, repository }) {
+    const { engine } = this.module.request({ op: "compile", policy, context, repository });
+    return new Engine(this.module, engine);
+  }
+}
+
+/**
+ * Load the module. With no `wasm`, it is read from `dist/openmoat.wasm` beside
+ * this package (Node); in a browser or bundler, pass the bytes or a compiled
+ * `WebAssembly.Module`.
+ * @param {{wasm?: BufferSource | WebAssembly.Module}} [options]
+ * @returns {Promise<OpenMoat>}
+ */
+export async function load(options = {}) {
+  let wasm = options.wasm;
+  if (wasm === undefined) {
+    const { readFile } = await import("node:fs/promises");
+    wasm = await readFile(new URL("../dist/openmoat.wasm", import.meta.url));
+  }
+  const compiled = wasm instanceof WebAssembly.Module ? wasm : await WebAssembly.compile(wasm);
+  if (WebAssembly.Module.imports(compiled).length !== 0) {
+    throw new OpenMoatError("not OpenMoat's module: it imports from its host");
+  }
+  const instance = await WebAssembly.instantiate(compiled, {});
+  return new OpenMoat(new Module(instance));
+}