@cognipilot/rumoca-core 0.9.4 → 0.9.6

package/rumoca_bind_wasm.js

@@ -143,37 +143,6 @@ export function compile_to_json(source, model_name) {
     }
 }
 
-/**
- * @param {string} source
- * @param {string} model_name
- * @param {string} project_sources_json
- * @returns {string}
- */
-export function compile_with_project_sources(source, model_name, project_sources_json) {
-    let deferred5_0;
-    let deferred5_1;
-    try {
-        const ptr0 = passStringToWasm0(source, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
-        const len0 = WASM_VECTOR_LEN;
-        const ptr1 = passStringToWasm0(model_name, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
-        const len1 = WASM_VECTOR_LEN;
-        const ptr2 = passStringToWasm0(project_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
-        const len2 = WASM_VECTOR_LEN;
-        const ret = wasm.compile_with_project_sources(ptr0, len0, ptr1, len1, ptr2, len2);
-        var ptr4 = ret[0];
-        var len4 = ret[1];
-        if (ret[3]) {
-            ptr4 = 0; len4 = 0;
-            throw takeFromExternrefTable0(ret[2]);
-        }
-        deferred5_0 = ptr4;
-        deferred5_1 = len4;
-        return getStringFromWasm0(ptr4, len4);
-    } finally {
-        wasm.__wbindgen_free(deferred5_0, deferred5_1, 1);
-    }
-}
-
 /**
  * @param {string} source
  * @param {string} model_name
@@ -245,6 +214,37 @@ export function compile_with_source_roots_with_options(source, model_name, sourc
     }
 }
 
+/**
+ * @param {string} source
+ * @param {string} model_name
+ * @param {string} workspace_sources_json
+ * @returns {string}
+ */
+export function compile_with_workspace_sources(source, model_name, workspace_sources_json) {
+    let deferred5_0;
+    let deferred5_1;
+    try {
+        const ptr0 = passStringToWasm0(source, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(model_name, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ptr2 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len2 = WASM_VECTOR_LEN;
+        const ret = wasm.compile_with_workspace_sources(ptr0, len0, ptr1, len1, ptr2, len2);
+        var ptr4 = ret[0];
+        var len4 = ret[1];
+        if (ret[3]) {
+            ptr4 = 0; len4 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred5_0 = ptr4;
+        deferred5_1 = len4;
+        return getStringFromWasm0(ptr4, len4);
+    } finally {
+        wasm.__wbindgen_free(deferred5_0, deferred5_1, 1);
+    }
+}
+
 /**
  * @param {string} uris_json
  * @returns {Uint8Array}
@@ -817,6 +817,17 @@ export function parse_source_root_file(source, filename) {
     }
 }
 
+/**
+ * @returns {number}
+ */
+export function prime_source_root_completion_cache() {
+    const ret = wasm.prime_source_root_completion_cache();
+    if (ret[2]) {
+        throw takeFromExternrefTable0(ret[1]);
+    }
+    return ret[0] >>> 0;
+}
+
 /**
  * @param {string} dae_json
  * @param {string} model_name
@@ -844,16 +855,421 @@ export function render_target(dae_json, model_name, target, manifest_source, tem
 }
 
 /**
- * @param {string} project_sources_json
+ * Default colocated `rumoca-scenario.<model>.toml` (`{ ok, path, content }`)
+ * for a create-config action on a Modelica model.
+ * @param {string} workspace_sources_json
+ * @param {string} model
+ * @param {string} task
+ * @returns {string}
+ */
+export function scenario_default_scenario_config(workspace_sources_json, model, task) {
+    let deferred5_0;
+    let deferred5_1;
+    try {
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(model, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ptr2 = passStringToWasm0(task, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len2 = WASM_VECTOR_LEN;
+        const ret = wasm.scenario_default_scenario_config(ptr0, len0, ptr1, len1, ptr2, len2);
+        var ptr4 = ret[0];
+        var len4 = ret[1];
+        if (ret[3]) {
+            ptr4 = 0; len4 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred5_0 = ptr4;
+        deferred5_1 = len4;
+        return getStringFromWasm0(ptr4, len4);
+    } finally {
+        wasm.__wbindgen_free(deferred5_0, deferred5_1, 1);
+    }
+}
+
+/**
+ * Configured `[codegen]` target settings for a model (`{ target, outputDir }`).
+ * @param {string} workspace_sources_json
+ * @param {string} model
+ * @returns {string}
+ */
+export function scenario_get_codegen_config(workspace_sources_json, model) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(model, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.scenario_get_codegen_config(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);
+    }
+}
+
+/**
+ * Parse a single `rumoca-scenario.toml` scenario file (by workspace path) into the editor's
+ * scenario descriptor (`task`, `model`, `viewerMode`, interactive ports, ...).
+ * @param {string} workspace_sources_json
+ * @param {string} path
+ * @returns {string}
+ */
+export function scenario_get_scenario_config(workspace_sources_json, path) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(path, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.scenario_get_scenario_config(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);
+    }
+}
+
+/**
+ * Full `rumoca-scenario.toml` scenario as a JSON tree for the config GUI:
+ * `{ ok, config: <toml-as-json>, descriptor }`. The `config` tree round-trips
+ * every section (including nested interactive-IO) losslessly.
+ * @param {string} workspace_sources_json
+ * @param {string} path
+ * @returns {string}
+ */
+export function scenario_get_scenario_config_full(workspace_sources_json, path) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(path, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.scenario_get_scenario_config_full(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);
+    }
+}
+
+/**
+ * Effective + preset + default simulation settings for a model, given the
+ * workspace's `rumoca-scenario.toml` files and an optional editor `fallback` settings JSON.
+ * @param {string} workspace_sources_json
+ * @param {string} model
+ * @param {string} fallback_json
+ * @returns {string}
+ */
+export function scenario_get_simulation_config(workspace_sources_json, model, fallback_json) {
+    let deferred5_0;
+    let deferred5_1;
+    try {
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(model, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ptr2 = passStringToWasm0(fallback_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len2 = WASM_VECTOR_LEN;
+        const ret = wasm.scenario_get_simulation_config(ptr0, len0, ptr1, len1, ptr2, len2);
+        var ptr4 = ret[0];
+        var len4 = ret[1];
+        if (ret[3]) {
+            ptr4 = 0; len4 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred5_0 = ptr4;
+        deferred5_1 = len4;
+        return getStringFromWasm0(ptr4, len4);
+    } finally {
+        wasm.__wbindgen_free(deferred5_0, deferred5_1, 1);
+    }
+}
+
+/**
+ * Scenario-local source roots configured for a model (`{ sourceRootPaths }`).
+ * @param {string} workspace_sources_json
+ * @param {string} model
+ * @param {string} task
+ * @returns {string}
+ */
+export function scenario_get_source_roots(workspace_sources_json, model, task) {
+    let deferred5_0;
+    let deferred5_1;
+    try {
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(model, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ptr2 = passStringToWasm0(task, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len2 = WASM_VECTOR_LEN;
+        const ret = wasm.scenario_get_source_roots(ptr0, len0, ptr1, len1, ptr2, len2);
+        var ptr4 = ret[0];
+        var len4 = ret[1];
+        if (ret[3]) {
+            ptr4 = 0; len4 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred5_0 = ptr4;
+        deferred5_1 = len4;
+        return getStringFromWasm0(ptr4, len4);
+    } finally {
+        wasm.__wbindgen_free(deferred5_0, deferred5_1, 1);
+    }
+}
+
+/**
+ * Configured plot/visualization views for a model (`{ views: [...] }`).
+ * @param {string} workspace_sources_json
+ * @param {string} model
+ * @returns {string}
+ */
+export function scenario_get_visualization_config(workspace_sources_json, model) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(model, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.scenario_get_visualization_config(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);
+    }
+}
+
+/**
+ * Clear a model's simulation preset. Returns `{ writes, result }`.
+ * @param {string} workspace_sources_json
+ * @param {string} model
+ * @returns {string}
+ */
+export function scenario_reset_simulation_preset(workspace_sources_json, model) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(model, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.scenario_reset_simulation_preset(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);
+    }
+}
+
+/**
+ * Write a model's `[codegen]` target settings. Returns `{ writes, result }`.
+ * @param {string} workspace_sources_json
+ * @param {string} model
+ * @param {string} codegen_json
+ * @returns {string}
+ */
+export function scenario_set_codegen_config(workspace_sources_json, model, codegen_json) {
+    let deferred5_0;
+    let deferred5_1;
+    try {
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(model, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ptr2 = passStringToWasm0(codegen_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len2 = WASM_VECTOR_LEN;
+        const ret = wasm.scenario_set_codegen_config(ptr0, len0, ptr1, len1, ptr2, len2);
+        var ptr4 = ret[0];
+        var len4 = ret[1];
+        if (ret[3]) {
+            ptr4 = 0; len4 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred5_0 = ptr4;
+        deferred5_1 = len4;
+        return getStringFromWasm0(ptr4, len4);
+    } finally {
+        wasm.__wbindgen_free(deferred5_0, deferred5_1, 1);
+    }
+}
+
+/**
+ * Render a `rumoca-scenario.toml` from the config GUI's JSON tree. Returns
+ * `{ writes: [{path, content}], result }` for the editor to apply.
+ * @param {string} path
+ * @param {string} config_json
+ * @returns {string}
+ */
+export function scenario_set_scenario_config(path, config_json) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(path, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(config_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.scenario_set_scenario_config(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);
+    }
+}
+
+/**
+ * Write a model's simulation preset into its colocated `rum.<model>.toml`.
+ * Returns `{ writes, result }` for the editor to apply to its workspace store.
+ * @param {string} workspace_sources_json
+ * @param {string} model
+ * @param {string} preset_json
+ * @returns {string}
+ */
+export function scenario_set_simulation_preset(workspace_sources_json, model, preset_json) {
+    let deferred5_0;
+    let deferred5_1;
+    try {
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(model, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ptr2 = passStringToWasm0(preset_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len2 = WASM_VECTOR_LEN;
+        const ret = wasm.scenario_set_simulation_preset(ptr0, len0, ptr1, len1, ptr2, len2);
+        var ptr4 = ret[0];
+        var len4 = ret[1];
+        if (ret[3]) {
+            ptr4 = 0; len4 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred5_0 = ptr4;
+        deferred5_1 = len4;
+        return getStringFromWasm0(ptr4, len4);
+    } finally {
+        wasm.__wbindgen_free(deferred5_0, deferred5_1, 1);
+    }
+}
+
+/**
+ * Write a model's scenario-local source roots. Returns `{ writes, result }`.
+ * @param {string} workspace_sources_json
+ * @param {string} model
+ * @param {string} source_roots_json
  * @returns {string}
  */
-export function sync_project_sources(project_sources_json) {
+export function scenario_set_source_roots(workspace_sources_json, model, source_roots_json) {
+    let deferred5_0;
+    let deferred5_1;
+    try {
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(model, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ptr2 = passStringToWasm0(source_roots_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len2 = WASM_VECTOR_LEN;
+        const ret = wasm.scenario_set_source_roots(ptr0, len0, ptr1, len1, ptr2, len2);
+        var ptr4 = ret[0];
+        var len4 = ret[1];
+        if (ret[3]) {
+            ptr4 = 0; len4 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred5_0 = ptr4;
+        deferred5_1 = len4;
+        return getStringFromWasm0(ptr4, len4);
+    } finally {
+        wasm.__wbindgen_free(deferred5_0, deferred5_1, 1);
+    }
+}
+
+/**
+ * Write a model's plot/visualization views. Returns `{ writes, result }`.
+ * @param {string} workspace_sources_json
+ * @param {string} model
+ * @param {string} views_json
+ * @returns {string}
+ */
+export function scenario_set_visualization_config(workspace_sources_json, model, views_json) {
+    let deferred5_0;
+    let deferred5_1;
+    try {
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(model, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ptr2 = passStringToWasm0(views_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len2 = WASM_VECTOR_LEN;
+        const ret = wasm.scenario_set_visualization_config(ptr0, len0, ptr1, len1, ptr2, len2);
+        var ptr4 = ret[0];
+        var len4 = ret[1];
+        if (ret[3]) {
+            ptr4 = 0; len4 = 0;
+            throw takeFromExternrefTable0(ret[2]);
+        }
+        deferred5_0 = ptr4;
+        deferred5_1 = len4;
+        return getStringFromWasm0(ptr4, len4);
+    } finally {
+        wasm.__wbindgen_free(deferred5_0, deferred5_1, 1);
+    }
+}
+
+/**
+ * @param {string} workspace_sources_json
+ * @returns {string}
+ */
+export function sync_workspace_sources(workspace_sources_json) {
     let deferred3_0;
     let deferred3_1;
     try {
-        const ptr0 = passStringToWasm0(project_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
         const len0 = WASM_VECTOR_LEN;
-        const ret = wasm.sync_project_sources(ptr0, len0);
+        const ret = wasm.sync_workspace_sources(ptr0, len0);
         var ptr2 = ret[0];
         var len2 = ret[1];
         if (ret[3]) {
@@ -878,6 +1294,34 @@ export function wasm_init(_num_threads) {
     return ret !== 0;
 }
 
+/**
+ * @param {string} workspace_sources_json
+ * @param {string} focus_path
+ * @returns {string}
+ */
+export function workspace_effective_source_roots(workspace_sources_json, focus_path) {
+    let deferred4_0;
+    let deferred4_1;
+    try {
+        const ptr0 = passStringToWasm0(workspace_sources_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(focus_path, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.workspace_effective_source_roots(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);
+    }
+}
+
 function __wbg_get_imports() {
     const import0 = {
         __proto__: null,
@@ -902,7 +1346,7 @@ function __wbg_get_imports() {
                 wasm.__wbindgen_free(deferred0_0, deferred0_1, 1);
             }
         },
-        __wbg_log_30dc80163601f3bb: function(arg0, arg1) {
+        __wbg_log_de01f0de2d64abfc: function(arg0, arg1) {
             console.log(getStringFromWasm0(arg0, arg1));
         },
         __wbg_new_361308b2356cecd0: function() {

package/rumoca_diffsol.js

@@ -0,0 +1,109 @@
+// Lazy diffsol (stiff/implicit) simulation driver for the @cognipilot/rumoca
+// package.
+//
+// Why this exists: the main rumoca WASM module is SIMD-free and loads on every
+// browser. The diffsol solver pulls relaxed-SIMD (via faer/pulp), and WASM
+// validates a whole module at instantiation — so a single combined module
+// would hard-fail the entire package on browsers without relaxed-SIMD. Instead
+// the diffsol code ships as a *separate* tiny module (~0.4 MB gz,
+// `rumoca_bind_wasm_diffsol.js`) that is loaded only when (a) the browser
+// supports relaxed-SIMD and (b) the user actually runs a stiff solve.
+//
+// Usage (the main module is already initialized by the caller):
+//   import { diffsolAvailable, simulateWithDiffsol } from "@cognipilot/rumoca/diffsol";
+//   const ok = await diffsolAvailable(pkgBase);          // grey out the UI if false
+//   const result = await simulateWithDiffsol(mainModule, pkgBase, src, model, tEnd, dt);
+//
+// `pkgBase` is the same base URL the main `rumoca_bind_wasm.js` was imported
+// from (the addon wasm sits next to it).
+
+// Minimal module that uses a 1-operand relaxed-SIMD op
+// (`i32x4.relaxed_trunc_f32x4_s`, 0xFD 0x101). `WebAssembly.validate` returns
+// false on engines without relaxed-SIMD. This is a cheap *hint* for greying out
+// the UI; the authoritative check is whether the addon actually instantiates
+// (see `diffsolAvailable`). NOTE: verify in a real browser as part of the
+// editor smoke test.
+const RELAXED_SIMD_PROBE = new Uint8Array([
+  0x00, 0x61, 0x73, 0x6d, 0x01, 0x00, 0x00, 0x00, // \0asm v1
+  0x01, 0x05, 0x01, 0x60, 0x00, 0x01, 0x7b,       // type: () -> v128
+  0x03, 0x02, 0x01, 0x00,                         // func 0 : type 0
+  0x0a, 0x19, 0x01, 0x17, 0x00,                   // code: 1 body, size 23, 0 locals
+  0xfd, 0x0c, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, // v128.const 0
+  0xfd, 0x81, 0x02,                               // i32x4.relaxed_trunc_f32x4_s
+  0x0b,                                           // end
+]);
+
+/** Quick, non-authoritative hint: does this engine validate relaxed-SIMD? */
+export function relaxedSimdSupported() {
+  try {
+    return WebAssembly.validate(RELAXED_SIMD_PROBE);
+  } catch {
+    return false;
+  }
+}
+
+let addonPromise = null;
+
+/**
+ * Lazily import + initialize the diffsol addon module from `pkgBase`. Resolves
+ * to the module's exports, or rejects (e.g. `CompileError` on a browser without
+ * relaxed-SIMD). Cached after the first call.
+ */
+export function loadDiffsolAddon(pkgBase) {
+  if (!addonPromise) {
+    addonPromise = (async () => {
+      const mod = await import(pkgBase + "rumoca_bind_wasm_diffsol.js");
+      await mod.default(); // run wasm-bindgen init (instantiates the wasm)
+      return mod;
+    })();
+    // Allow a retry if loading failed (e.g. transient network).
+    addonPromise.catch(() => {
+      addonPromise = null;
+    });
+  }
+  return addonPromise;
+}
+
+/**
+ * Authoritative check: true iff the diffsol addon actually instantiates in this
+ * browser. Downloads/compiles the addon once (cached). Use this to enable or
+ * grey out the stiff-solver options.
+ */
+export async function diffsolAvailable(pkgBase) {
+  try {
+    await loadDiffsolAddon(pkgBase);
+    return true;
+  } catch {
+    return false;
+  }
+}
+
+/**
+ * Run a stiff (diffsol) simulation: the main module lowers the model to a
+ * SolveModel JSON, the addon simulates it. Returns the parsed
+ * `{ payload, ... }` object (same shape as the main module's `simulate_model`).
+ * Throws a clear error if the addon can't load (old browser) — callers should
+ * fall back to rk45 / the GPU path or surface the message.
+ */
+export async function simulateWithDiffsol(mainModule, pkgBase, source, modelName, tEnd, dt, parameterOverridesJson = "{}") {
+  if (typeof mainModule.lower_model_to_solve_json !== "function") {
+    throw new Error(
+      "this rumoca build predates the diffsol addon; rebuild the package",
+    );
+  }
+  let addon;
+  try {
+    addon = await loadDiffsolAddon(pkgBase);
+  } catch (err) {
+    throw new Error(
+      "the stiff (diffsol) solver needs a browser with WebAssembly relaxed-SIMD " +
+        "(Chrome 114+, Firefox 120+, Safari 16.4+). Use the rk45 solver or the GPU " +
+        `path instead. (${err && err.message ? err.message : err})`,
+    );
+  }
+  // The payload carries the lowered model plus the resolved t_end/dt (so an
+  // annotation-driven duration is honored even when the caller passes 0).
+  const prepJson = mainModule.lower_model_to_solve_json(source, modelName, tEnd, dt, parameterOverridesJson);
+  const resultJson = addon.simulate_solve_model_diffsol(prepJson);
+  return JSON.parse(resultJson);
+}