@ireddragonicy/praborrow

WASM bindings for PraBorrow: A formal distributed ownership system based on Rust's borrow checker rules.

Installation

NPM

npm install @ireddragonicy/praborrow

JSR

import { JsSovereign, JsRepatriationToken } from "@ireddragonicy/praborrow";

Usage

import init, { JsSovereign, JsRepatriationToken } from "@ireddragonicy/praborrow";

// Initialize WASM
await init();

// Create a sovereign resource
const sov = new JsSovereign({ data: "Hello World" });

console.log("Exiled?", sov.is_exiled());    // false
console.log("Domestic?", sov.is_domestic()); // true

// Annex (take ownership)
sov.annex();

// Repatriate (return ownership)
const token = new JsRepatriationToken(12345n);
sov.repatriate(token);

Features

• Formal Verification: Core logic verified with Z3 Prover
• Web-Compatible: Works in browsers and Node.js
• TypeScript Support: Full type definitions included

License

MIT