@lemmabase/lemma-engine 0.9.2 → 0.9.3

package/README.md

@@ -119,6 +119,7 @@ A pre-wired Monaco adapter ships at `@lemmabase/lemma-engine/monaco`.
 | `source(repo, spec?, effective?)` | Canonical Lemma source text. Omit `spec` for whole repository. |
 | `run({ spec, repository?, effective?, data?, rules?, explain? })` | Evaluate. Omit `rules` for all rules; pass a non-empty array to scope. `[]` errors. Returns a `Response`. `explain: true` adds per-rule explanation trees. |
 | `remove(repo, name, effective?)` | Remove a temporal spec slice. |
+| `update(repo, name, effective?, code, attribute?)` | Replace a temporal spec slice (atomic remove + load). |
 | `limits()` | Resource limits for this engine. |
 | `format(code, attribute?)` | Canonical formatting; throws `EngineError` on parse error. |
 

package/lemma.bindings.d.ts

@@ -56,6 +56,12 @@ export class Engine {
      * Formatted canonical Lemma source. Omit `spec` for whole-repository text.
      */
     source(repository?: string | null, spec?: string | null, effective?: string | null): string;
+    /**
+     * Replace a temporal spec slice with new source (atomic remove + load).
+     *
+     * `attribute` is the source label (path or `@owner/repo`). Omit for a volatile source.
+     */
+    update(repository: string | null | undefined, spec: string, effective: string | null | undefined, code: string, attribute?: string | null): void;
 }
 
 export class IntoUnderlyingByteSource {
@@ -129,9 +135,10 @@ export interface InitOutput {
     readonly engine_run: (a: number, b: number, c: number) => void;
     readonly engine_show: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
     readonly engine_source: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
-    readonly __wasm_bindgen_func_elem_12434: (a: number, b: number, c: number, d: number) => void;
-    readonly __wasm_bindgen_func_elem_2732: (a: number, b: number, c: number, d: number) => void;
-    readonly __wasm_bindgen_func_elem_12441: (a: number, b: number, c: number, d: number) => void;
+    readonly engine_update: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number) => void;
+    readonly __wasm_bindgen_func_elem_12478: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_2738: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_12485: (a: number, b: number, c: number, d: number) => void;
     readonly __wbindgen_export: (a: number, b: number) => number;
     readonly __wbindgen_export2: (a: number, b: number, c: number, d: number) => number;
     readonly __wbindgen_export3: (a: number) => void;

package/lemma.bindings.js

@@ -226,6 +226,39 @@ export class Engine {
             wasm.__wbindgen_export4(deferred5_0, deferred5_1, 1);
         }
     }
+    /**
+     * Replace a temporal spec slice with new source (atomic remove + load).
+     *
+     * `attribute` is the source label (path or `@owner/repo`). Omit for a volatile source.
+     * @param {string | null | undefined} repository
+     * @param {string} spec
+     * @param {string | null | undefined} effective
+     * @param {string} code
+     * @param {string | null} [attribute]
+     */
+    update(repository, spec, effective, code, attribute) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            var ptr0 = isLikeNone(repository) ? 0 : passStringToWasm0(repository, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            var len0 = WASM_VECTOR_LEN;
+            const ptr1 = passStringToWasm0(spec, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len1 = WASM_VECTOR_LEN;
+            var ptr2 = isLikeNone(effective) ? 0 : passStringToWasm0(effective, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            var len2 = WASM_VECTOR_LEN;
+            const ptr3 = passStringToWasm0(code, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len3 = WASM_VECTOR_LEN;
+            var ptr4 = isLikeNone(attribute) ? 0 : passStringToWasm0(attribute, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            var len4 = WASM_VECTOR_LEN;
+            wasm.engine_update(retptr, this.__wbg_ptr, ptr0, len0, ptr1, len1, ptr2, len2, ptr3, len3, ptr4, len4);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            if (r1) {
+                throw takeObject(r0);
+            }
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
 }
 if (Symbol.dispose) Engine.prototype[Symbol.dispose] = Engine.prototype.free;
 
@@ -690,7 +723,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return __wasm_bindgen_func_elem_12441(a, state0.b, arg0, arg1);
+                        return __wasm_bindgen_func_elem_12485(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -850,12 +883,12 @@ function __wbg_get_imports() {
         },
         __wbindgen_cast_0000000000000001: function(arg0, arg1) {
             // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 1397, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_12434);
+            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_12478);
             return addHeapObject(ret);
         },
         __wbindgen_cast_0000000000000002: function(arg0, arg1) {
             // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [NamedExternref("IteratorResult<any>")], shim_idx: 7, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_2732);
+            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_2738);
             return addHeapObject(ret);
         },
         __wbindgen_cast_0000000000000003: function(arg0) {
@@ -892,10 +925,10 @@ function __wbg_get_imports() {
     };
 }
 
-function __wasm_bindgen_func_elem_12434(arg0, arg1, arg2) {
+function __wasm_bindgen_func_elem_12478(arg0, arg1, arg2) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        wasm.__wasm_bindgen_func_elem_12434(retptr, arg0, arg1, addHeapObject(arg2));
+        wasm.__wasm_bindgen_func_elem_12478(retptr, arg0, arg1, addHeapObject(arg2));
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         if (r1) {
@@ -906,10 +939,10 @@ function __wasm_bindgen_func_elem_12434(arg0, arg1, arg2) {
     }
 }
 
-function __wasm_bindgen_func_elem_2732(arg0, arg1, arg2) {
+function __wasm_bindgen_func_elem_2738(arg0, arg1, arg2) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        wasm.__wasm_bindgen_func_elem_2732(retptr, arg0, arg1, addHeapObject(arg2));
+        wasm.__wasm_bindgen_func_elem_2738(retptr, arg0, arg1, addHeapObject(arg2));
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         if (r1) {
@@ -920,8 +953,8 @@ function __wasm_bindgen_func_elem_2732(arg0, arg1, arg2) {
     }
 }
 
-function __wasm_bindgen_func_elem_12441(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_12441(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_12485(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_12485(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 

package/lemma.d.ts

@@ -60,6 +60,18 @@ declare module './lemma.bindings.js' {
       effective?: string | null,
     ): void;
 
+    /**
+     * Replace a temporal spec slice with new source (atomic remove + load).
+     * `attribute` is the source label (path or `@owner/repo`); omit for volatile.
+     */
+    update(
+      repository: string | null | undefined,
+      spec: string,
+      effective: string | null | undefined,
+      code: string,
+      attribute?: string | null,
+    ): void;
+
     /** Resource limits configured for this engine. */
     limits(): ResourceLimits;