@lemmabase/lemma-engine 0.9.6 → 0.9.8

package/README.md

@@ -121,6 +121,7 @@ A pre-wired Monaco adapter ships at `@lemmabase/lemma-engine/monaco`.
 | `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. |
+| `quality()` | Structural quality recommendations across loaded specs (advisory only). |
 | `format(code, attribute?)` | Canonical formatting; throws `EngineError` on parse error. |
 
 Full TypeScript types are bundled - see `lemma.d.ts`.

package/lemma.bindings.d.ts

@@ -148,9 +148,9 @@ export interface InitOutput {
     readonly engine_source: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: 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 engine_withLimits: (a: number, b: number) => void;
-    readonly __wasm_bindgen_func_elem_12566: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_12589: (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_12574: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_12595: (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

@@ -770,7 +770,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return __wasm_bindgen_func_elem_12574(a, state0.b, arg0, arg1);
+                        return __wasm_bindgen_func_elem_12595(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -929,8 +929,8 @@ function __wbg_get_imports() {
             return addHeapObject(ret);
         },
         __wbindgen_cast_0000000000000001: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 1415, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_12566);
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 1410, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_12589);
             return addHeapObject(ret);
         },
         __wbindgen_cast_0000000000000002: function(arg0, arg1) {
@@ -972,10 +972,10 @@ function __wbg_get_imports() {
     };
 }
 
-function __wasm_bindgen_func_elem_12566(arg0, arg1, arg2) {
+function __wasm_bindgen_func_elem_12589(arg0, arg1, arg2) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        wasm.__wasm_bindgen_func_elem_12566(retptr, arg0, arg1, addHeapObject(arg2));
+        wasm.__wasm_bindgen_func_elem_12589(retptr, arg0, arg1, addHeapObject(arg2));
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         if (r1) {
@@ -1000,8 +1000,8 @@ function __wasm_bindgen_func_elem_2732(arg0, arg1, arg2) {
     }
 }
 
-function __wasm_bindgen_func_elem_12574(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_12574(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_12595(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_12595(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }