icl-runtime 0.1.0

package/README.md

@@ -0,0 +1,67 @@
+# ICL JavaScript/TypeScript Bindings
+
+JavaScript and TypeScript bindings for the [ICL (Intent Contract Language)](https://github.com/ICL-System/ICL-Runtime) runtime.
+
+Built with [wasm-pack](https://rustwasm.github.io/wasm-pack/) — the canonical Rust implementation compiled to WebAssembly.
+
+## Status: Alpha
+
+This package is in early development. The API may change.
+
+## Install
+
+```bash
+# From source (requires Rust toolchain + wasm-pack)
+cargo install wasm-pack
+cd bindings/javascript
+wasm-pack build --target nodejs
+```
+
+## Usage
+
+```javascript
+import { parseContract, normalize, verify, execute, semanticHash } from './pkg/icl_runtime.js';
+
+const contractText = fs.readFileSync('my-contract.icl', 'utf-8');
+
+// Parse
+const parsed = JSON.parse(parseContract(contractText));
+
+// Normalize (deterministic canonical form)
+const normalized = normalize(contractText);
+
+// Verify (type checking, invariants, determinism)
+const result = JSON.parse(verify(contractText));
+if (result.valid) {
+  console.log('Contract is valid!');
+}
+
+// Execute
+const output = JSON.parse(execute(contractText, '{"operation": "greet", "inputs": {"name": "World"}}'));
+
+// Semantic hash (SHA-256)
+const hash = semanticHash(contractText);
+```
+
+## TypeScript
+
+Full TypeScript definitions are provided in `icl.d.ts`.
+
+## Guarantees
+
+- **Deterministic**: Same input always produces identical output
+- **Identical to Rust**: All results match the canonical Rust implementation exactly
+- **Zero logic in bindings**: All behavior comes from `icl-core` via WASM
+
+## Development
+
+```bash
+# Build for Node.js
+wasm-pack build --target nodejs
+
+# Build for browsers
+wasm-pack build --target web
+
+# Run tests
+node tests/test_icl.mjs
+```

package/icl_runtime.d.ts

@@ -0,0 +1,59 @@
+/* tslint:disable */
+/* eslint-disable */
+
+/**
+ * Execute an ICL contract with the given inputs.
+ *
+ * @param text - ICL contract source text
+ * @param inputs - JSON string with execution inputs
+ * @returns JSON string with execution result including provenance log
+ * @throws Error if the contract cannot be parsed, verified, or executed
+ */
+export function execute(text: string, inputs: string): string;
+
+/**
+ * Normalize ICL contract text to canonical form.
+ *
+ * Guarantees:
+ *   - Deterministic: same input → same output
+ *   - Idempotent: normalize(normalize(x)) === normalize(x)
+ *   - Semantic preserving: meaning is unchanged
+ *
+ * @param text - ICL contract source text
+ * @returns Canonical normalized ICL text
+ * @throws Error if the contract text cannot be parsed
+ */
+export function normalize(text: string): string;
+
+/**
+ * Parse ICL contract text and return a JSON string of the parsed Contract.
+ *
+ * @param text - ICL contract source text
+ * @returns JSON string representation of the parsed Contract
+ * @throws Error if the contract text has syntax or semantic errors
+ */
+export function parseContract(text: string): string;
+
+/**
+ * Compute the SHA-256 semantic hash of a contract.
+ *
+ * @param text - ICL contract source text
+ * @returns Hex-encoded SHA-256 hash string
+ * @throws Error if the contract text cannot be parsed
+ */
+export function semanticHash(text: string): string;
+
+/**
+ * Verify an ICL contract for correctness.
+ *
+ * Runs all verification phases:
+ *   - Type checking
+ *   - Invariant verification
+ *   - Determinism checking
+ *   - Coherence verification
+ *
+ * @param text - ICL contract source text
+ * @returns JSON string: { valid: boolean, errors: [...], warnings: [...] }
+ * @throws Error if the contract text cannot be parsed
+ */
+export function verify(text: string): string;

package/icl_runtime.js

@@ -0,0 +1,277 @@
+/* @ts-self-types="./icl_runtime.d.ts" */
+
+/**
+ * Execute an ICL contract with the given inputs.
+ *
+ * @param text - ICL contract source text
+ * @param inputs - JSON string with execution inputs
+ * @returns JSON string with execution result including provenance log
+ * @throws Error if the contract cannot be parsed, verified, or executed
+ * @param {string} text
+ * @param {string} inputs
+ * @returns {string}
+ */
+function execute(text, inputs) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(text, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(inputs, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.execute(ptr0, len0, ptr1, len1);
+        var ptr3 = ret[0];
+        var len3 = ret[1];
+        if (ret[3]) {
+            ptr3 = 0; len3 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred4_0 = ptr3;
+        deferred4_1 = len3;
+        return getStringFromWasm0(ptr3, len3);
+    } finally {
+        wasm.__wbindgen_free(deferred4_0, deferred4_1, 1);
+    }
+}
+exports.execute = execute;
+
+/**
+ * Normalize ICL contract text to canonical form.
+ *
+ * Guarantees:
+ *   - Deterministic: same input → same output
+ *   - Idempotent: normalize(normalize(x)) === normalize(x)
+ *   - Semantic preserving: meaning is unchanged
+ *
+ * @param text - ICL contract source text
+ * @returns Canonical normalized ICL text
+ * @throws Error if the contract text cannot be parsed
+ * @param {string} text
+ * @returns {string}
+ */
+function normalize(text) {
+    let deferred3_0;
+    let deferred3_1;
+    try {
+        const ptr0 = passStringToWasm0(text, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ret = wasm.normalize(ptr0, len0);
+        var ptr2 = ret[0];
+        var len2 = ret[1];
+        if (ret[3]) {
+            ptr2 = 0; len2 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred3_0 = ptr2;
+        deferred3_1 = len2;
+        return getStringFromWasm0(ptr2, len2);
+    } finally {
+        wasm.__wbindgen_free(deferred3_0, deferred3_1, 1);
+    }
+}
+exports.normalize = normalize;
+
+/**
+ * Parse ICL contract text and return a JSON string of the parsed Contract.
+ *
+ * @param text - ICL contract source text
+ * @returns JSON string representation of the parsed Contract
+ * @throws Error if the contract text has syntax or semantic errors
+ * @param {string} text
+ * @returns {string}
+ */
+function parseContract(text) {
+    let deferred3_0;
+    let deferred3_1;
+    try {
+        const ptr0 = passStringToWasm0(text, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ret = wasm.parseContract(ptr0, len0);
+        var ptr2 = ret[0];
+        var len2 = ret[1];
+        if (ret[3]) {
+            ptr2 = 0; len2 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred3_0 = ptr2;
+        deferred3_1 = len2;
+        return getStringFromWasm0(ptr2, len2);
+    } finally {
+        wasm.__wbindgen_free(deferred3_0, deferred3_1, 1);
+    }
+}
+exports.parseContract = parseContract;
+
+/**
+ * Compute the SHA-256 semantic hash of a contract.
+ *
+ * @param text - ICL contract source text
+ * @returns Hex-encoded SHA-256 hash string
+ * @throws Error if the contract text cannot be parsed
+ * @param {string} text
+ * @returns {string}
+ */
+function semanticHash(text) {
+    let deferred3_0;
+    let deferred3_1;
+    try {
+        const ptr0 = passStringToWasm0(text, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ret = wasm.semanticHash(ptr0, len0);
+        var ptr2 = ret[0];
+        var len2 = ret[1];
+        if (ret[3]) {
+            ptr2 = 0; len2 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred3_0 = ptr2;
+        deferred3_1 = len2;
+        return getStringFromWasm0(ptr2, len2);
+    } finally {
+        wasm.__wbindgen_free(deferred3_0, deferred3_1, 1);
+    }
+}
+exports.semanticHash = semanticHash;
+
+/**
+ * Verify an ICL contract for correctness.
+ *
+ * Runs all verification phases:
+ *   - Type checking
+ *   - Invariant verification
+ *   - Determinism checking
+ *   - Coherence verification
+ *
+ * @param text - ICL contract source text
+ * @returns JSON string: { valid: boolean, errors: [...], warnings: [...] }
+ * @throws Error if the contract text cannot be parsed
+ * @param {string} text
+ * @returns {string}
+ */
+function verify(text) {
+    let deferred3_0;
+    let deferred3_1;
+    try {
+        const ptr0 = passStringToWasm0(text, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ret = wasm.verify(ptr0, len0);
+        var ptr2 = ret[0];
+        var len2 = ret[1];
+        if (ret[3]) {
+            ptr2 = 0; len2 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred3_0 = ptr2;
+        deferred3_1 = len2;
+        return getStringFromWasm0(ptr2, len2);
+    } finally {
+        wasm.__wbindgen_free(deferred3_0, deferred3_1, 1);
+    }
+}
+exports.verify = verify;
+
+function __wbg_get_imports() {
+    const import0 = {
+        __proto__: null,
+        __wbg_Error_8c4e43fe74559d73: function(arg0, arg1) {
+            const ret = Error(getStringFromWasm0(arg0, arg1));
+            return ret;
+        },
+        __wbindgen_init_externref_table: function() {
+            const table = wasm.__wbindgen_externrefs;
+            const offset = table.grow(4);
+            table.set(0, undefined);
+            table.set(offset + 0, undefined);
+            table.set(offset + 1, null);
+            table.set(offset + 2, true);
+            table.set(offset + 3, false);
+        },
+    };
+    return {
+        __proto__: null,
+        "./icl_runtime_bg.js": import0,
+    };
+}
+
+function getStringFromWasm0(ptr, len) {
+    ptr = ptr >>> 0;
+    return decodeText(ptr, len);
+}
+
+let cachedUint8ArrayMemory0 = null;
+function getUint8ArrayMemory0() {
+    if (cachedUint8ArrayMemory0 === null || cachedUint8ArrayMemory0.byteLength === 0) {
+        cachedUint8ArrayMemory0 = new Uint8Array(wasm.memory.buffer);
+    }
+    return cachedUint8ArrayMemory0;
+}
+
+function passStringToWasm0(arg, malloc, realloc) {
+    if (realloc === undefined) {
+        const buf = cachedTextEncoder.encode(arg);
+        const ptr = malloc(buf.length, 1) >>> 0;
+        getUint8ArrayMemory0().subarray(ptr, ptr + buf.length).set(buf);
+        WASM_VECTOR_LEN = buf.length;
+        return ptr;
+    }
+
+    let len = arg.length;
+    let ptr = malloc(len, 1) >>> 0;
+
+    const mem = getUint8ArrayMemory0();
+
+    let offset = 0;
+
+    for (; offset < len; offset++) {
+        const code = arg.charCodeAt(offset);
+        if (code > 0x7F) break;
+        mem[ptr + offset] = code;
+    }
+    if (offset !== len) {
+        if (offset !== 0) {
+            arg = arg.slice(offset);
+        }
+        ptr = realloc(ptr, len, len = offset + arg.length * 3, 1) >>> 0;
+        const view = getUint8ArrayMemory0().subarray(ptr + offset, ptr + len);
+        const ret = cachedTextEncoder.encodeInto(arg, view);
+
+        offset += ret.written;
+        ptr = realloc(ptr, len, offset, 1) >>> 0;
+    }
+
+    WASM_VECTOR_LEN = offset;
+    return ptr;
+}
+
+function takeFromExternrefTable0(idx) {
+    const value = wasm.__wbindgen_externrefs.get(idx);
+    wasm.__externref_table_dealloc(idx);
+    return value;
+}
+
+let cachedTextDecoder = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true });
+cachedTextDecoder.decode();
+function decodeText(ptr, len) {
+    return cachedTextDecoder.decode(getUint8ArrayMemory0().subarray(ptr, ptr + len));
+}
+
+const cachedTextEncoder = new TextEncoder();
+
+if (!('encodeInto' in cachedTextEncoder)) {
+    cachedTextEncoder.encodeInto = function (arg, view) {
+        const buf = cachedTextEncoder.encode(arg);
+        view.set(buf);
+        return {
+            read: arg.length,
+            written: buf.length
+        };
+    };
+}
+
+let WASM_VECTOR_LEN = 0;
+
+const wasmPath = `${__dirname}/icl_runtime_bg.wasm`;
+const wasmBytes = require('fs').readFileSync(wasmPath);
+const wasmModule = new WebAssembly.Module(wasmBytes);
+const wasm = new WebAssembly.Instance(wasmModule, __wbg_get_imports()).exports;
+wasm.__wbindgen_start();

package/package.json

@@ -0,0 +1,20 @@
+{
+  "name": "icl-runtime",
+  "collaborators": [
+    "ICL Team"
+  ],
+  "description": "JavaScript/TypeScript bindings for ICL (Intent Contract Language) via WebAssembly",
+  "version": "0.1.0",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/ICL-System/ICL-Runtime"
+  },
+  "files": [
+    "icl_runtime_bg.wasm",
+    "icl_runtime.js",
+    "icl_runtime.d.ts"
+  ],
+  "main": "icl_runtime.js",
+  "types": "icl_runtime.d.ts"
+}