wickra-verify-wasm 0.1.0

package/README.md

@@ -0,0 +1,63 @@
+# Wickra Verify — WASM
+
+Recompute a claimed backtest report with the deterministic Wickra engine and
+confirm or refute it, compiled to WebAssembly for the browser (and any WASM
+host). A doctored `claimed_report` cannot pass, because verification recomputes
+rather than trusting the supplied numbers. Built with [wasm-bindgen].
+
+The backtest engine runs sequentially under WASM (no thread pool in a browser
+sandbox), which is byte-identical to the native run — the exact cross-language
+golden check.
+
+## Build
+
+```sh
+wasm-pack build --target web      # for browsers / bundlers
+wasm-pack build --target nodejs   # for Node.js
+```
+
+The `pkg/` output (the `.wasm` binary plus the JS glue and TypeScript types) is
+generated, not committed.
+
+## Usage
+
+Everything goes through a `Verifier` driven by JSON commands — the same command
+protocol every Wickra binding shares.
+
+```js
+import init, { Verifier } from "./pkg/wickra_verify_wasm.js";
+
+await init(); // load the .wasm module (web target)
+
+const verifier = new Verifier(); // default tolerances; new Verifier('{"atol":1e-9,"rtol":1e-6}') to override
+
+const claim = {
+  strategy: {/* a wickra-backtest StrategySpec */},
+  dataset_ref: { kind: "inline", data: { BTCUSDT: [/* candles */] } },
+  claimed_report: {/* the report being checked (untrusted) */},
+};
+
+const verdict = JSON.parse(verifier.command(JSON.stringify({ cmd: "verify", claim })));
+console.log(verdict.matches ? "VERIFIED" : verdict.mismatches);
+```
+
+## Commands
+
+| `cmd`          | Payload            | Response                                |
+|----------------|--------------------|-----------------------------------------|
+| `verify`       | `{claim, data?}`   | the full `Verdict`                      |
+| `explain`      | `{verdict}`        | `{ok:true,text:...}`                    |
+| `canonicalize` | `{value}`          | `{ok:true,canonical:...}`              |
+| `version`      | —                  | `{version:...,engine_version:...}`     |
+
+For `files`-kind claims, supply the candle data under a top-level `data` key;
+`inline` claims carry their data already.
+
+Domain errors (a bad claim, an unknown command) come back in-band as
+`{ok:false,error:...}`; a malformed command envelope throws a JS error.
+
+## License
+
+MIT OR Apache-2.0.
+
+[wasm-bindgen]: https://github.com/rustwasm/wasm-bindgen

package/package.json

@@ -0,0 +1,31 @@
+{
+  "name": "wickra-verify-wasm",
+  "type": "module",
+  "collaborators": [
+    "wickra-lib"
+  ],
+  "description": "WebAssembly bindings for wickra-verify — recompute a claimed backtest report and confirm or refute it, in the browser.",
+  "version": "0.1.0",
+  "license": "MIT OR Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/wickra-lib/wickra-verify"
+  },
+  "files": [
+    "wickra_verify_wasm_bg.wasm",
+    "wickra_verify_wasm.js",
+    "wickra_verify_wasm_bg.js",
+    "wickra_verify_wasm.d.ts"
+  ],
+  "main": "wickra_verify_wasm.js",
+  "homepage": "https://github.com/wickra-lib/wickra-verify",
+  "types": "wickra_verify_wasm.d.ts",
+  "sideEffects": [
+    "./wickra_verify_wasm.js",
+    "./snippets/*"
+  ],
+  "author": "kingchenc <support@wickra.org>",
+  "bugs": {
+    "url": "https://github.com/wickra-lib/wickra-verify/issues"
+  }
+}

package/wickra_verify_wasm.d.ts

@@ -0,0 +1,29 @@
+/* tslint:disable */
+/* eslint-disable */
+
+/**
+ * A verifier driven by JSON commands.
+ */
+export class Verifier {
+    free(): void;
+    [Symbol.dispose](): void;
+    /**
+     * Apply a command JSON and return the resulting response JSON.
+     */
+    command(cmd_json: string): string;
+    /**
+     * Create a verifier from a config JSON (`{"atol":..,"rtol":..}`); missing
+     * fields fall back to the defaults. Pass `undefined` (or `"{}"`) for the
+     * default tolerances.
+     */
+    constructor(config_json?: string | null);
+    /**
+     * The library version.
+     */
+    version(): string;
+}
+
+/**
+ * The library version.
+ */
+export function version(): string;

package/wickra_verify_wasm.js

@@ -0,0 +1,9 @@
+/* @ts-self-types="./wickra_verify_wasm.d.ts" */
+import * as wasm from "./wickra_verify_wasm_bg.wasm";
+import { __wbg_set_wasm } from "./wickra_verify_wasm_bg.js";
+
+__wbg_set_wasm(wasm);
+
+export {
+    Verifier, version
+} from "./wickra_verify_wasm_bg.js";

package/wickra_verify_wasm_bg.js

@@ -0,0 +1,247 @@
+/**
+ * A verifier driven by JSON commands.
+ */
+export class Verifier {
+    __destroy_into_raw() {
+        const ptr = this.__wbg_ptr;
+        this.__wbg_ptr = 0;
+        VerifierFinalization.unregister(this);
+        return ptr;
+    }
+    free() {
+        const ptr = this.__destroy_into_raw();
+        wasm.__wbg_verifier_free(ptr, 0);
+    }
+    /**
+     * Apply a command JSON and return the resulting response JSON.
+     * @param {string} cmd_json
+     * @returns {string}
+     */
+    command(cmd_json) {
+        let deferred3_0;
+        let deferred3_1;
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            const ptr0 = passStringToWasm0(cmd_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len0 = WASM_VECTOR_LEN;
+            wasm.verifier_command(retptr, this.__wbg_ptr, ptr0, len0);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
+            var r3 = getDataViewMemory0().getInt32(retptr + 4 * 3, true);
+            var ptr2 = r0;
+            var len2 = r1;
+            if (r3) {
+                ptr2 = 0; len2 = 0;
+                throw takeObject(r2);
+            }
+            deferred3_0 = ptr2;
+            deferred3_1 = len2;
+            return getStringFromWasm0(ptr2, len2);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+            wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+        }
+    }
+    /**
+     * Create a verifier from a config JSON (`{"atol":..,"rtol":..}`); missing
+     * fields fall back to the defaults. Pass `undefined` (or `"{}"`) for the
+     * default tolerances.
+     * @param {string | null} [config_json]
+     */
+    constructor(config_json) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            var ptr0 = isLikeNone(config_json) ? 0 : passStringToWasm0(config_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            var len0 = WASM_VECTOR_LEN;
+            wasm.verifier_new(retptr, ptr0, len0);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
+            if (r2) {
+                throw takeObject(r1);
+            }
+            this.__wbg_ptr = r0;
+            VerifierFinalization.register(this, this.__wbg_ptr, this);
+            return this;
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
+    /**
+     * The library version.
+     * @returns {string}
+     */
+    version() {
+        let deferred1_0;
+        let deferred1_1;
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.verifier_version(retptr, this.__wbg_ptr);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            deferred1_0 = r0;
+            deferred1_1 = r1;
+            return getStringFromWasm0(r0, r1);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+            wasm.__wbindgen_export3(deferred1_0, deferred1_1, 1);
+        }
+    }
+}
+if (Symbol.dispose) Verifier.prototype[Symbol.dispose] = Verifier.prototype.free;
+
+/**
+ * The library version.
+ * @returns {string}
+ */
+export function version() {
+    let deferred1_0;
+    let deferred1_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        wasm.version(retptr);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred1_0 = r0;
+        deferred1_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred1_0, deferred1_1, 1);
+    }
+}
+export function __wbg_Error_67e7344beaa85059(arg0, arg1) {
+    const ret = Error(getStringFromWasm0(arg0, arg1));
+    return addHeapObject(ret);
+}
+export function __wbg___wbindgen_throw_5d9e815e6fdf150f(arg0, arg1) {
+    throw new Error(getStringFromWasm0(arg0, arg1));
+}
+const VerifierFinalization = (typeof FinalizationRegistry === 'undefined')
+    ? { register: () => {}, unregister: () => {} }
+    : new FinalizationRegistry(ptr => wasm.__wbg_verifier_free(ptr, 1));
+
+function addHeapObject(obj) {
+    if (heap_next === heap.length) heap.push(heap.length + 1);
+    const idx = heap_next;
+    heap_next = heap[idx];
+
+    heap[idx] = obj;
+    return idx;
+}
+
+function dropObject(idx) {
+    if (idx < 1028) return;
+    heap[idx] = heap_next;
+    heap_next = idx;
+}
+
+let cachedDataViewMemory0 = null;
+function getDataViewMemory0() {
+    if (cachedDataViewMemory0 === null || cachedDataViewMemory0.buffer.detached === true || (cachedDataViewMemory0.buffer.detached === undefined && cachedDataViewMemory0.buffer !== wasm.memory.buffer)) {
+        cachedDataViewMemory0 = new DataView(wasm.memory.buffer);
+    }
+    return cachedDataViewMemory0;
+}
+
+function getStringFromWasm0(ptr, len) {
+    return decodeText(ptr >>> 0, len);
+}
+
+let cachedUint8ArrayMemory0 = null;
+function getUint8ArrayMemory0() {
+    if (cachedUint8ArrayMemory0 === null || cachedUint8ArrayMemory0.byteLength === 0) {
+        cachedUint8ArrayMemory0 = new Uint8Array(wasm.memory.buffer);
+    }
+    return cachedUint8ArrayMemory0;
+}
+
+function getObject(idx) { return heap[idx]; }
+
+let heap = new Array(1024).fill(undefined);
+heap.push(undefined, null, true, false);
+
+let heap_next = heap.length;
+
+function isLikeNone(x) {
+    return x === undefined || x === null;
+}
+
+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 takeObject(idx) {
+    const ret = getObject(idx);
+    dropObject(idx);
+    return ret;
+}
+
+let cachedTextDecoder = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true });
+cachedTextDecoder.decode();
+const MAX_SAFARI_DECODE_BYTES = 2146435072;
+let numBytesDecoded = 0;
+function decodeText(ptr, len) {
+    numBytesDecoded += len;
+    if (numBytesDecoded >= MAX_SAFARI_DECODE_BYTES) {
+        cachedTextDecoder = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true });
+        cachedTextDecoder.decode();
+        numBytesDecoded = 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;
+
+
+let wasm;
+export function __wbg_set_wasm(val) {
+    wasm = val;
+}