virtual-machine 0.0.28 → 0.0.30

package/build/worker.js

@@ -0,0 +1,828 @@
+"use strict";
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+
+// worker.ts
+var worker_exports = {};
+module.exports = __toCommonJS(worker_exports);
+
+// pkg/riscv_vm.js
+var wasm;
+function addToExternrefTable0(obj) {
+  const idx = wasm.__externref_table_alloc();
+  wasm.__wbindgen_externrefs.set(idx, obj);
+  return idx;
+}
+var CLOSURE_DTORS = typeof FinalizationRegistry === "undefined" ? { register: () => {
+}, unregister: () => {
+} } : new FinalizationRegistry((state) => state.dtor(state.a, state.b));
+function debugString(val) {
+  const type = typeof val;
+  if (type == "number" || type == "boolean" || val == null) {
+    return `${val}`;
+  }
+  if (type == "string") {
+    return `"${val}"`;
+  }
+  if (type == "symbol") {
+    const description = val.description;
+    if (description == null) {
+      return "Symbol";
+    } else {
+      return `Symbol(${description})`;
+    }
+  }
+  if (type == "function") {
+    const name = val.name;
+    if (typeof name == "string" && name.length > 0) {
+      return `Function(${name})`;
+    } else {
+      return "Function";
+    }
+  }
+  if (Array.isArray(val)) {
+    const length = val.length;
+    let debug = "[";
+    if (length > 0) {
+      debug += debugString(val[0]);
+    }
+    for (let i = 1; i < length; i++) {
+      debug += ", " + debugString(val[i]);
+    }
+    debug += "]";
+    return debug;
+  }
+  const builtInMatches = /\[object ([^\]]+)\]/.exec(toString.call(val));
+  let className;
+  if (builtInMatches && builtInMatches.length > 1) {
+    className = builtInMatches[1];
+  } else {
+    return toString.call(val);
+  }
+  if (className == "Object") {
+    try {
+      return "Object(" + JSON.stringify(val) + ")";
+    } catch (_) {
+      return "Object";
+    }
+  }
+  if (val instanceof Error) {
+    return `${val.name}: ${val.message}
+${val.stack}`;
+  }
+  return className;
+}
+function getArrayU8FromWasm0(ptr, len) {
+  ptr = ptr >>> 0;
+  return getUint8ArrayMemory0().subarray(ptr / 1, ptr / 1 + len);
+}
+var cachedDataViewMemory0 = null;
+function getDataViewMemory0() {
+  if (cachedDataViewMemory0 === null || cachedDataViewMemory0.buffer.detached === true || cachedDataViewMemory0.buffer.detached === void 0 && cachedDataViewMemory0.buffer !== wasm.memory.buffer) {
+    cachedDataViewMemory0 = new DataView(wasm.memory.buffer);
+  }
+  return cachedDataViewMemory0;
+}
+function getStringFromWasm0(ptr, len) {
+  ptr = ptr >>> 0;
+  return decodeText(ptr, len);
+}
+var cachedUint8ArrayMemory0 = null;
+function getUint8ArrayMemory0() {
+  if (cachedUint8ArrayMemory0 === null || cachedUint8ArrayMemory0.byteLength === 0) {
+    cachedUint8ArrayMemory0 = new Uint8Array(wasm.memory.buffer);
+  }
+  return cachedUint8ArrayMemory0;
+}
+function handleError(f, args) {
+  try {
+    return f.apply(this, args);
+  } catch (e) {
+    const idx = addToExternrefTable0(e);
+    wasm.__wbindgen_exn_store(idx);
+  }
+}
+function isLikeNone(x) {
+  return x === void 0 || x === null;
+}
+function makeClosure(arg0, arg1, dtor, f) {
+  const state = { a: arg0, b: arg1, cnt: 1, dtor };
+  const real = (...args) => {
+    state.cnt++;
+    try {
+      return f(state.a, state.b, ...args);
+    } finally {
+      real._wbg_cb_unref();
+    }
+  };
+  real._wbg_cb_unref = () => {
+    if (--state.cnt === 0) {
+      state.dtor(state.a, state.b);
+      state.a = 0;
+      CLOSURE_DTORS.unregister(state);
+    }
+  };
+  CLOSURE_DTORS.register(real, state, state);
+  return real;
+}
+function makeMutClosure(arg0, arg1, dtor, f) {
+  const state = { a: arg0, b: arg1, cnt: 1, dtor };
+  const real = (...args) => {
+    state.cnt++;
+    const a = state.a;
+    state.a = 0;
+    try {
+      return f(a, state.b, ...args);
+    } finally {
+      state.a = a;
+      real._wbg_cb_unref();
+    }
+  };
+  real._wbg_cb_unref = () => {
+    if (--state.cnt === 0) {
+      state.dtor(state.a, state.b);
+      state.a = 0;
+      CLOSURE_DTORS.unregister(state);
+    }
+  };
+  CLOSURE_DTORS.register(real, state, state);
+  return real;
+}
+function passArray8ToWasm0(arg, malloc) {
+  const ptr = malloc(arg.length * 1, 1) >>> 0;
+  getUint8ArrayMemory0().set(arg, ptr / 1);
+  WASM_VECTOR_LEN = arg.length;
+  return ptr;
+}
+function passStringToWasm0(arg, malloc, realloc) {
+  if (realloc === void 0) {
+    const buf = cachedTextEncoder.encode(arg);
+    const ptr2 = malloc(buf.length, 1) >>> 0;
+    getUint8ArrayMemory0().subarray(ptr2, ptr2 + buf.length).set(buf);
+    WASM_VECTOR_LEN = buf.length;
+    return ptr2;
+  }
+  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 > 127) 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;
+}
+var cachedTextDecoder = new TextDecoder("utf-8", { ignoreBOM: true, fatal: true });
+cachedTextDecoder.decode();
+var MAX_SAFARI_DECODE_BYTES = 2146435072;
+var 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));
+}
+var 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
+    };
+  };
+}
+var WASM_VECTOR_LEN = 0;
+function wasm_bindgen__convert__closures_____invoke__hb4c5b5d7ccdc8795(arg0, arg1) {
+  wasm.wasm_bindgen__convert__closures_____invoke__hb4c5b5d7ccdc8795(arg0, arg1);
+}
+function wasm_bindgen__convert__closures_____invoke__hca46242f02098063(arg0, arg1) {
+  wasm.wasm_bindgen__convert__closures_____invoke__hca46242f02098063(arg0, arg1);
+}
+function wasm_bindgen__convert__closures_____invoke__h39d3e89751b07765(arg0, arg1, arg2) {
+  wasm.wasm_bindgen__convert__closures_____invoke__h39d3e89751b07765(arg0, arg1, arg2);
+}
+var WasmVmFinalization = typeof FinalizationRegistry === "undefined" ? { register: () => {
+}, unregister: () => {
+} } : new FinalizationRegistry((ptr) => wasm.__wbg_wasmvm_free(ptr >>> 0, 1));
+var NetworkStatus = Object.freeze({
+  Disconnected: 0,
+  "0": "Disconnected",
+  Connecting: 1,
+  "1": "Connecting",
+  Connected: 2,
+  "2": "Connected",
+  Error: 3,
+  "3": "Error"
+});
+var WasmVm = class {
+  __destroy_into_raw() {
+    const ptr = this.__wbg_ptr;
+    this.__wbg_ptr = 0;
+    WasmVmFinalization.unregister(this);
+    return ptr;
+  }
+  free() {
+    const ptr = this.__destroy_into_raw();
+    wasm.__wbg_wasmvm_free(ptr, 0);
+  }
+  /**
+   * Get a byte from the UART output buffer, if available.
+   * @returns {number | undefined}
+   */
+  get_output() {
+    const ret = wasm.wasmvm_get_output(this.__wbg_ptr);
+    return ret === 16777215 ? void 0 : ret;
+  }
+  /**
+   * Print the VM banner to UART output (visible in browser).
+   * Call this after creating the VM to show a boot banner.
+   */
+  print_banner() {
+    wasm.wasmvm_print_banner(this.__wbg_ptr);
+  }
+  /**
+   * Print a status message to UART output (visible in browser).
+   * @param {string} message
+   */
+  print_status(message) {
+    const ptr0 = passStringToWasm0(message, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    wasm.wasmvm_print_status(this.__wbg_ptr, ptr0, len0);
+  }
+  /**
+   * Get the current network connection status.
+   * This checks the actual connection state by seeing if an IP was assigned.
+   * @returns {NetworkStatus}
+   */
+  network_status() {
+    const ret = wasm.wasmvm_network_status(this.__wbg_ptr);
+    return ret;
+  }
+  /**
+   * Get current memory usage (DRAM size) in bytes.
+   * @returns {bigint}
+   */
+  get_memory_usage() {
+    const ret = wasm.wasmvm_get_memory_usage(this.__wbg_ptr);
+    return BigInt.asUintN(64, ret);
+  }
+  /**
+   * Disconnect from the network.
+   */
+  disconnect_network() {
+    wasm.wasmvm_disconnect_network(this.__wbg_ptr);
+  }
+  /**
+   * Check how many bytes are pending in the UART output buffer.
+   * Useful for debugging output issues.
+   * @returns {number}
+   */
+  uart_output_pending() {
+    const ret = wasm.wasmvm_uart_output_pending(this.__wbg_ptr);
+    return ret >>> 0;
+  }
+  /**
+   * Connect to a WebTransport relay server.
+   * Note: Connection is asynchronous. Check network_status() to monitor connection state.
+   * @param {string} url
+   * @param {string | null} [cert_hash]
+   */
+  connect_webtransport(url, cert_hash) {
+    const ptr0 = passStringToWasm0(url, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    var ptr1 = isLikeNone(cert_hash) ? 0 : passStringToWasm0(cert_hash, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    var len1 = WASM_VECTOR_LEN;
+    const ret = wasm.wasmvm_connect_webtransport(this.__wbg_ptr, ptr0, len0, ptr1, len1);
+    if (ret[1]) {
+      throw takeFromExternrefTable0(ret[0]);
+    }
+  }
+  /**
+   * Create a new VM instance and load a kernel (ELF or raw binary).
+   * @param {Uint8Array} kernel
+   */
+  constructor(kernel) {
+    const ptr0 = passArray8ToWasm0(kernel, wasm.__wbindgen_malloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.wasmvm_new(ptr0, len0);
+    if (ret[2]) {
+      throw takeFromExternrefTable0(ret[1]);
+    }
+    this.__wbg_ptr = ret[0] >>> 0;
+    WasmVmFinalization.register(this, this.__wbg_ptr, this);
+    return this;
+  }
+  /**
+   * Execute one instruction on each CPU (round-robin).
+   * Returns true if the VM is still running, false if halted.
+   * @returns {boolean}
+   */
+  step() {
+    const ret = wasm.wasmvm_step(this.__wbg_ptr);
+    return ret !== 0;
+  }
+  /**
+   * Push an input byte to the UART.
+   * @param {number} byte
+   */
+  input(byte) {
+    wasm.wasmvm_input(this.__wbg_ptr, byte);
+  }
+  /**
+   * Execute up to N instructions in a batch.
+   * Returns the number of instructions actually executed.
+   * This is more efficient than calling step() N times due to reduced
+   * JS-WASM boundary crossings.
+   * @param {number} count
+   * @returns {number}
+   */
+  step_n(count) {
+    const ret = wasm.wasmvm_step_n(this.__wbg_ptr, count);
+    return ret >>> 0;
+  }
+  /**
+   * Get the halt code if the VM has halted.
+   * Code 0x5555 typically means successful shutdown (PASS).
+   * @returns {bigint}
+   */
+  halt_code() {
+    const ret = wasm.wasmvm_halt_code(this.__wbg_ptr);
+    return BigInt.asUintN(64, ret);
+  }
+  /**
+   * Check if the VM has halted (e.g., due to shutdown command).
+   * @returns {boolean}
+   */
+  is_halted() {
+    const ret = wasm.wasmvm_is_halted(this.__wbg_ptr);
+    return ret !== 0;
+  }
+  /**
+   * Load a disk image and attach it as a VirtIO block device.
+   * This should be called before starting execution if the kernel needs a filesystem.
+   * @param {Uint8Array} disk_image
+   */
+  load_disk(disk_image) {
+    const ptr0 = passArray8ToWasm0(disk_image, wasm.__wbindgen_malloc);
+    const len0 = WASM_VECTOR_LEN;
+    wasm.wasmvm_load_disk(this.__wbg_ptr, ptr0, len0);
+  }
+};
+if (Symbol.dispose) WasmVm.prototype[Symbol.dispose] = WasmVm.prototype.free;
+function worker_entry(hart_id, shared_mem, entry_pc) {
+  wasm.worker_entry(hart_id, shared_mem, entry_pc);
+}
+var EXPECTED_RESPONSE_TYPES = /* @__PURE__ */ new Set(["basic", "cors", "default"]);
+async function __wbg_load(module2, imports) {
+  if (typeof Response === "function" && module2 instanceof Response) {
+    if (typeof WebAssembly.instantiateStreaming === "function") {
+      try {
+        return await WebAssembly.instantiateStreaming(module2, imports);
+      } catch (e) {
+        const validResponse = module2.ok && EXPECTED_RESPONSE_TYPES.has(module2.type);
+        if (validResponse && module2.headers.get("Content-Type") !== "application/wasm") {
+          console.warn("`WebAssembly.instantiateStreaming` failed because your server does not serve Wasm with `application/wasm` MIME type. Falling back to `WebAssembly.instantiate` which is slower. Original error:\n", e);
+        } else {
+          throw e;
+        }
+      }
+    }
+    const bytes = await module2.arrayBuffer();
+    return await WebAssembly.instantiate(bytes, imports);
+  } else {
+    const instance = await WebAssembly.instantiate(module2, imports);
+    if (instance instanceof WebAssembly.Instance) {
+      return { instance, module: module2 };
+    } else {
+      return instance;
+    }
+  }
+}
+function __wbg_get_imports() {
+  const imports = {};
+  imports.wbg = {};
+  imports.wbg.__wbg___wbindgen_boolean_get_dea25b33882b895b = function(arg0) {
+    const v = arg0;
+    const ret = typeof v === "boolean" ? v : void 0;
+    return isLikeNone(ret) ? 16777215 : ret ? 1 : 0;
+  };
+  imports.wbg.__wbg___wbindgen_debug_string_adfb662ae34724b6 = function(arg0, arg1) {
+    const ret = debugString(arg1);
+    const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len1 = WASM_VECTOR_LEN;
+    getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
+    getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
+  };
+  imports.wbg.__wbg___wbindgen_is_function_8d400b8b1af978cd = function(arg0) {
+    const ret = typeof arg0 === "function";
+    return ret;
+  };
+  imports.wbg.__wbg___wbindgen_is_undefined_f6b95eab589e0269 = function(arg0) {
+    const ret = arg0 === void 0;
+    return ret;
+  };
+  imports.wbg.__wbg___wbindgen_number_get_9619185a74197f95 = function(arg0, arg1) {
+    const obj = arg1;
+    const ret = typeof obj === "number" ? obj : void 0;
+    getDataViewMemory0().setFloat64(arg0 + 8 * 1, isLikeNone(ret) ? 0 : ret, true);
+    getDataViewMemory0().setInt32(arg0 + 4 * 0, !isLikeNone(ret), true);
+  };
+  imports.wbg.__wbg___wbindgen_throw_dd24417ed36fc46e = function(arg0, arg1) {
+    throw new Error(getStringFromWasm0(arg0, arg1));
+  };
+  imports.wbg.__wbg__wbg_cb_unref_87dfb5aaa0cbcea7 = function(arg0) {
+    arg0._wbg_cb_unref();
+  };
+  imports.wbg.__wbg_byteLength_05cd8538d8f5f592 = function(arg0) {
+    const ret = arg0.byteLength;
+    return ret;
+  };
+  imports.wbg.__wbg_call_3020136f7a2d6e44 = function() {
+    return handleError(function(arg0, arg1, arg2) {
+      const ret = arg0.call(arg1, arg2);
+      return ret;
+    }, arguments);
+  };
+  imports.wbg.__wbg_call_abb4ff46ce38be40 = function() {
+    return handleError(function(arg0, arg1) {
+      const ret = arg0.call(arg1);
+      return ret;
+    }, arguments);
+  };
+  imports.wbg.__wbg_call_c8baa5c5e72d274e = function() {
+    return handleError(function(arg0, arg1, arg2, arg3) {
+      const ret = arg0.call(arg1, arg2, arg3);
+      return ret;
+    }, arguments);
+  };
+  imports.wbg.__wbg_datagrams_05d12f8029dbc662 = function(arg0) {
+    const ret = arg0.datagrams;
+    return ret;
+  };
+  imports.wbg.__wbg_error_7534b8e9a36f1ab4 = function(arg0, arg1) {
+    let deferred0_0;
+    let deferred0_1;
+    try {
+      deferred0_0 = arg0;
+      deferred0_1 = arg1;
+      console.error(getStringFromWasm0(arg0, arg1));
+    } finally {
+      wasm.__wbindgen_free(deferred0_0, deferred0_1, 1);
+    }
+  };
+  imports.wbg.__wbg_error_7bc7d576a6aaf855 = function(arg0) {
+    console.error(arg0);
+  };
+  imports.wbg.__wbg_fill_508dd108a821ee20 = function(arg0, arg1, arg2, arg3) {
+    const ret = arg0.fill(arg1, arg2 >>> 0, arg3 >>> 0);
+    return ret;
+  };
+  imports.wbg.__wbg_getReader_b6676f6d8b326942 = function(arg0) {
+    const ret = arg0.getReader();
+    return ret;
+  };
+  imports.wbg.__wbg_getUint16_cb7a6e659d68e5a6 = function(arg0, arg1, arg2) {
+    const ret = arg0.getUint16(arg1 >>> 0, arg2 !== 0);
+    return ret;
+  };
+  imports.wbg.__wbg_getUint32_d3b8478c9340d38b = function(arg0, arg1, arg2) {
+    const ret = arg0.getUint32(arg1 >>> 0, arg2 !== 0);
+    return ret;
+  };
+  imports.wbg.__wbg_getUint8_f42915a9262518eb = function(arg0, arg1) {
+    const ret = arg0.getUint8(arg1 >>> 0);
+    return ret;
+  };
+  imports.wbg.__wbg_getWriter_bbffb7cf601bec61 = function() {
+    return handleError(function(arg0) {
+      const ret = arg0.getWriter();
+      return ret;
+    }, arguments);
+  };
+  imports.wbg.__wbg_get_af9dab7e9603ea93 = function() {
+    return handleError(function(arg0, arg1) {
+      const ret = Reflect.get(arg0, arg1);
+      return ret;
+    }, arguments);
+  };
+  imports.wbg.__wbg_hardwareConcurrency_11023a850a093b20 = function(arg0) {
+    const ret = arg0.hardwareConcurrency;
+    return ret;
+  };
+  imports.wbg.__wbg_instanceof_Window_b5cf7783caa68180 = function(arg0) {
+    let result;
+    try {
+      result = arg0 instanceof Window;
+    } catch (_) {
+      result = false;
+    }
+    const ret = result;
+    return ret;
+  };
+  imports.wbg.__wbg_length_22ac23eaec9d8053 = function(arg0) {
+    const ret = arg0.length;
+    return ret;
+  };
+  imports.wbg.__wbg_load_f1dd26e734971d92 = function() {
+    return handleError(function(arg0, arg1) {
+      const ret = Atomics.load(arg0, arg1 >>> 0);
+      return ret;
+    }, arguments);
+  };
+  imports.wbg.__wbg_log_1d990106d99dacb7 = function(arg0) {
+    console.log(arg0);
+  };
+  imports.wbg.__wbg_navigator_b49edef831236138 = function(arg0) {
+    const ret = arg0.navigator;
+    return ret;
+  };
+  imports.wbg.__wbg_new_1ba21ce319a06297 = function() {
+    const ret = new Object();
+    return ret;
+  };
+  imports.wbg.__wbg_new_25f239778d6112b9 = function() {
+    const ret = new Array();
+    return ret;
+  };
+  imports.wbg.__wbg_new_6421f6084cc5bc5a = function(arg0) {
+    const ret = new Uint8Array(arg0);
+    return ret;
+  };
+  imports.wbg.__wbg_new_8a6f238a6ece86ea = function() {
+    const ret = new Error();
+    return ret;
+  };
+  imports.wbg.__wbg_new_ab1fe2437c86d873 = function(arg0) {
+    const ret = new SharedArrayBuffer(arg0 >>> 0);
+    return ret;
+  };
+  imports.wbg.__wbg_new_de1e660b88fc921f = function(arg0) {
+    const ret = new Int32Array(arg0);
+    return ret;
+  };
+  imports.wbg.__wbg_new_from_slice_f9c22b9153b26992 = function(arg0, arg1) {
+    const ret = new Uint8Array(getArrayU8FromWasm0(arg0, arg1));
+    return ret;
+  };
+  imports.wbg.__wbg_new_no_args_cb138f77cf6151ee = function(arg0, arg1) {
+    const ret = new Function(getStringFromWasm0(arg0, arg1));
+    return ret;
+  };
+  imports.wbg.__wbg_new_with_options_661ae023a99756d4 = function() {
+    return handleError(function(arg0, arg1, arg2) {
+      const ret = new WebTransport(getStringFromWasm0(arg0, arg1), arg2);
+      return ret;
+    }, arguments);
+  };
+  imports.wbg.__wbg_new_with_shared_array_buffer_f801846979192910 = function(arg0, arg1, arg2) {
+    const ret = new DataView(arg0, arg1 >>> 0, arg2 >>> 0);
+    return ret;
+  };
+  imports.wbg.__wbg_notify_f7e901980222d3e0 = function() {
+    return handleError(function(arg0, arg1) {
+      const ret = Atomics.notify(arg0, arg1 >>> 0);
+      return ret;
+    }, arguments);
+  };
+  imports.wbg.__wbg_prototypesetcall_dfe9b766cdc1f1fd = function(arg0, arg1, arg2) {
+    Uint8Array.prototype.set.call(getArrayU8FromWasm0(arg0, arg1), arg2);
+  };
+  imports.wbg.__wbg_push_7d9be8f38fc13975 = function(arg0, arg1) {
+    const ret = arg0.push(arg1);
+    return ret;
+  };
+  imports.wbg.__wbg_queueMicrotask_9b549dfce8865860 = function(arg0) {
+    const ret = arg0.queueMicrotask;
+    return ret;
+  };
+  imports.wbg.__wbg_queueMicrotask_fca69f5bfad613a5 = function(arg0) {
+    queueMicrotask(arg0);
+  };
+  imports.wbg.__wbg_random_cc1f9237d866d212 = function() {
+    const ret = Math.random();
+    return ret;
+  };
+  imports.wbg.__wbg_read_39c4b35efcd03c25 = function(arg0) {
+    const ret = arg0.read();
+    return ret;
+  };
+  imports.wbg.__wbg_readable_91b7193a7ae57e51 = function(arg0) {
+    const ret = arg0.readable;
+    return ret;
+  };
+  imports.wbg.__wbg_ready_a3e887a4174c582b = function(arg0) {
+    const ret = arg0.ready;
+    return ret;
+  };
+  imports.wbg.__wbg_resolve_fd5bfbaa4ce36e1e = function(arg0) {
+    const ret = Promise.resolve(arg0);
+    return ret;
+  };
+  imports.wbg.__wbg_setUint16_ff3205ca61800a91 = function(arg0, arg1, arg2, arg3) {
+    arg0.setUint16(arg1 >>> 0, arg2, arg3 !== 0);
+  };
+  imports.wbg.__wbg_setUint32_3590d6adecfd0c9a = function(arg0, arg1, arg2, arg3) {
+    arg0.setUint32(arg1 >>> 0, arg2 >>> 0, arg3 !== 0);
+  };
+  imports.wbg.__wbg_setUint8_71dd48d3e18e4e40 = function(arg0, arg1, arg2) {
+    arg0.setUint8(arg1 >>> 0, arg2);
+  };
+  imports.wbg.__wbg_set_algorithm_f5b9d6dae15e63e3 = function(arg0, arg1, arg2) {
+    arg0.algorithm = getStringFromWasm0(arg1, arg2);
+  };
+  imports.wbg.__wbg_set_bc3a432bdcd60886 = function(arg0, arg1, arg2) {
+    arg0.set(arg1, arg2 >>> 0);
+  };
+  imports.wbg.__wbg_set_server_certificate_hashes_d12c95e03a45bcd5 = function(arg0, arg1) {
+    arg0.serverCertificateHashes = arg1;
+  };
+  imports.wbg.__wbg_set_value_3371f9dc48a34104 = function(arg0, arg1) {
+    arg0.value = arg1;
+  };
+  imports.wbg.__wbg_stack_0ed75d68575b0f3c = function(arg0, arg1) {
+    const ret = arg1.stack;
+    const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len1 = WASM_VECTOR_LEN;
+    getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
+    getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
+  };
+  imports.wbg.__wbg_static_accessor_GLOBAL_769e6b65d6557335 = function() {
+    const ret = typeof global === "undefined" ? null : global;
+    return isLikeNone(ret) ? 0 : addToExternrefTable0(ret);
+  };
+  imports.wbg.__wbg_static_accessor_GLOBAL_THIS_60cf02db4de8e1c1 = function() {
+    const ret = typeof globalThis === "undefined" ? null : globalThis;
+    return isLikeNone(ret) ? 0 : addToExternrefTable0(ret);
+  };
+  imports.wbg.__wbg_static_accessor_SELF_08f5a74c69739274 = function() {
+    const ret = typeof self === "undefined" ? null : self;
+    return isLikeNone(ret) ? 0 : addToExternrefTable0(ret);
+  };
+  imports.wbg.__wbg_static_accessor_WINDOW_a8924b26aa92d024 = function() {
+    const ret = typeof window === "undefined" ? null : window;
+    return isLikeNone(ret) ? 0 : addToExternrefTable0(ret);
+  };
+  imports.wbg.__wbg_store_9f60a65541866026 = function() {
+    return handleError(function(arg0, arg1, arg2) {
+      const ret = Atomics.store(arg0, arg1 >>> 0, arg2);
+      return ret;
+    }, arguments);
+  };
+  imports.wbg.__wbg_then_429f7caf1026411d = function(arg0, arg1, arg2) {
+    const ret = arg0.then(arg1, arg2);
+    return ret;
+  };
+  imports.wbg.__wbg_then_4f95312d68691235 = function(arg0, arg1) {
+    const ret = arg0.then(arg1);
+    return ret;
+  };
+  imports.wbg.__wbg_warn_6e567d0d926ff881 = function(arg0) {
+    console.warn(arg0);
+  };
+  imports.wbg.__wbg_writable_523e68bd72433329 = function(arg0) {
+    const ret = arg0.writable;
+    return ret;
+  };
+  imports.wbg.__wbg_write_0823b42435137c02 = function(arg0, arg1) {
+    const ret = arg0.write(arg1);
+    return ret;
+  };
+  imports.wbg.__wbindgen_cast_0268c24e8eb79d38 = function(arg0, arg1) {
+    const ret = makeMutClosure(arg0, arg1, wasm.wasm_bindgen__closure__destroy__h3128a8e596085273, wasm_bindgen__convert__closures_____invoke__hb4c5b5d7ccdc8795);
+    return ret;
+  };
+  imports.wbg.__wbindgen_cast_0de0c044529fd48a = function(arg0, arg1) {
+    const ret = makeMutClosure(arg0, arg1, wasm.wasm_bindgen__closure__destroy__hf225e18fc5ab9bc1, wasm_bindgen__convert__closures_____invoke__h39d3e89751b07765);
+    return ret;
+  };
+  imports.wbg.__wbindgen_cast_2241b6af4c4b2941 = function(arg0, arg1) {
+    const ret = getStringFromWasm0(arg0, arg1);
+    return ret;
+  };
+  imports.wbg.__wbindgen_cast_4ee4ae87c307a33c = function(arg0, arg1) {
+    const ret = makeClosure(arg0, arg1, wasm.wasm_bindgen__closure__destroy__h3128a8e596085273, wasm_bindgen__convert__closures_____invoke__hca46242f02098063);
+    return ret;
+  };
+  imports.wbg.__wbindgen_cast_d6cd19b81560fd6e = function(arg0) {
+    const ret = arg0;
+    return ret;
+  };
+  imports.wbg.__wbindgen_init_externref_table = function() {
+    const table = wasm.__wbindgen_externrefs;
+    const offset = table.grow(4);
+    table.set(0, void 0);
+    table.set(offset + 0, void 0);
+    table.set(offset + 1, null);
+    table.set(offset + 2, true);
+    table.set(offset + 3, false);
+  };
+  return imports;
+}
+function __wbg_finalize_init(instance, module2) {
+  wasm = instance.exports;
+  __wbg_init.__wbindgen_wasm_module = module2;
+  cachedDataViewMemory0 = null;
+  cachedUint8ArrayMemory0 = null;
+  wasm.__wbindgen_start();
+  return wasm;
+}
+async function __wbg_init(module_or_path) {
+  if (wasm !== void 0) return wasm;
+  if (typeof module_or_path !== "undefined") {
+    if (Object.getPrototypeOf(module_or_path) === Object.prototype) {
+      ({ module_or_path } = module_or_path);
+    } else {
+      console.warn("using deprecated parameters for the initialization function; pass a single object instead");
+    }
+  }
+  const imports = __wbg_get_imports();
+  if (typeof module_or_path === "string" || typeof Request === "function" && module_or_path instanceof Request || typeof URL === "function" && module_or_path instanceof URL) {
+    module_or_path = fetch(module_or_path);
+  }
+  const { instance, module: module2 } = await __wbg_load(await module_or_path, imports);
+  return __wbg_finalize_init(instance, module2);
+}
+var riscv_vm_default = __wbg_init;
+
+// worker.ts
+var initialized = false;
+self.onmessage = async (event) => {
+  const { hartId, sharedMem, entryPc } = event.data;
+  console.log(`[Worker ${hartId}] Received init message`);
+  if (!initialized) {
+    try {
+      await riscv_vm_default();
+      initialized = true;
+      console.log(`[Worker ${hartId}] WASM initialized`);
+    } catch (e) {
+      console.error(`[Worker ${hartId}] WASM init failed:`, e);
+      const msg = {
+        type: "error",
+        hartId,
+        error: String(e)
+      };
+      self.postMessage(msg);
+      return;
+    }
+  }
+  const readyMsg = { type: "ready", hartId };
+  self.postMessage(readyMsg);
+  try {
+    const pc = BigInt(Math.floor(entryPc));
+    console.log(`[Worker ${hartId}] Starting execution at PC=0x${pc.toString(16)}`);
+    worker_entry(hartId, sharedMem, pc);
+  } catch (e) {
+    console.error(`[Worker ${hartId}] Execution error:`, e);
+    const msg = {
+      type: "error",
+      hartId,
+      error: String(e)
+    };
+    self.postMessage(msg);
+    return;
+  }
+  console.log(`[Worker ${hartId}] Halted`);
+  const haltedMsg = { type: "halted", hartId };
+  self.postMessage(haltedMsg);
+};
+self.onerror = (e) => {
+  console.error("[Worker] Uncaught error:", e);
+  const msg = {
+    type: "error",
+    error: e.message || String(e)
+  };
+  self.postMessage(msg);
+};