@lemmabase/lemma-engine 0.9.2 → 0.9.4

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

@@ -38,6 +38,10 @@ export class Engine {
      */
     load(sources: any): void;
     constructor();
+    /**
+     * Structural quality recommendations across loaded specs. Advisory only.
+     */
+    quality(): any;
     /**
      * Remove a temporal spec slice. `effective`: ISO datetime string or omit for now.
      */
@@ -56,6 +60,18 @@ 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;
+    /**
+     * Create an engine with custom [`crate::ResourceLimits`].
+     *
+     * Pass a plain object of limit keys (same names as Rust / Java). Unknown keys throw.
+     */
+    static withLimits(limits: any): Engine;
 }
 
 export class IntoUnderlyingByteSource {
@@ -125,13 +141,16 @@ export interface InitOutput {
     readonly engine_list: (a: number, b: number) => void;
     readonly engine_load: (a: number, b: number, c: number) => void;
     readonly engine_new: () => number;
+    readonly engine_quality: (a: number, b: number) => void;
     readonly engine_remove: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
     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 engine_withLimits: (a: number, b: number) => void;
+    readonly __wasm_bindgen_func_elem_12532: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_2733: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_12539: (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

@@ -1,6 +1,12 @@
 /* @ts-self-types="./lemma.d.ts" */
 
 export class Engine {
+    static __wrap(ptr) {
+        const obj = Object.create(Engine.prototype);
+        obj.__wbg_ptr = ptr;
+        EngineFinalization.register(obj, obj.__wbg_ptr, obj);
+        return obj;
+    }
     __destroy_into_raw() {
         const ptr = this.__wbg_ptr;
         this.__wbg_ptr = 0;
@@ -114,6 +120,25 @@ export class Engine {
         EngineFinalization.register(this, this.__wbg_ptr, this);
         return this;
     }
+    /**
+     * Structural quality recommendations across loaded specs. Advisory only.
+     * @returns {any}
+     */
+    quality() {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.engine_quality(retptr, this.__wbg_ptr);
+            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);
+            }
+            return takeObject(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
     /**
      * Remove a temporal spec slice. `effective`: ISO datetime string or omit for now.
      * @param {string | null | undefined} repository
@@ -226,6 +251,61 @@ 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);
+        }
+    }
+    /**
+     * Create an engine with custom [`crate::ResourceLimits`].
+     *
+     * Pass a plain object of limit keys (same names as Rust / Java). Unknown keys throw.
+     * @param {any} limits
+     * @returns {Engine}
+     */
+    static withLimits(limits) {
+        try {
+            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+            wasm.engine_withLimits(retptr, addHeapObject(limits));
+            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);
+            }
+            return Engine.__wrap(r0);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+        }
+    }
 }
 if (Symbol.dispose) Engine.prototype[Symbol.dispose] = Engine.prototype.free;
 
@@ -690,7 +770,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_12539(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -849,13 +929,13 @@ 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: 1397, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_12434);
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 1404, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_12532);
             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_2733);
             return addHeapObject(ret);
         },
         __wbindgen_cast_0000000000000003: function(arg0) {
@@ -892,10 +972,10 @@ function __wbg_get_imports() {
     };
 }
 
-function __wasm_bindgen_func_elem_12434(arg0, arg1, arg2) {
+function __wasm_bindgen_func_elem_12532(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_12532(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 +986,10 @@ function __wasm_bindgen_func_elem_12434(arg0, arg1, arg2) {
     }
 }
 
-function __wasm_bindgen_func_elem_2732(arg0, arg1, arg2) {
+function __wasm_bindgen_func_elem_2733(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_2733(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 +1000,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_12539(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_12539(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 

package/lemma.d.ts

@@ -10,6 +10,11 @@ export interface RegistryFetchResult {
 }
 
 declare module './lemma.bindings.js' {
+  namespace Engine {
+    /** Create engine with named limit overrides. Unknown keys throw. */
+    function withLimits(limits: Record<string, number>): Engine;
+  }
+
   interface Engine {
     /**
      * Load Lemma source(s).
@@ -60,6 +65,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;
 
@@ -69,6 +86,11 @@ declare module './lemma.bindings.js' {
      */
     format(code: string, attribute?: string | null): string;
 
+    /**
+     * Structural quality recommendations across loaded specs. Advisory only.
+     */
+    quality(): Recommendation[];
+
     /**
      * Evaluate a spec. Pass integers as numbers, decimals as strings in `data`.
      */
@@ -471,3 +493,22 @@ export interface ResourceLimits {
   max_dag_specs: number;
   max_normal_form_depth: number;
 }
+
+/** Source location on a quality recommendation. Same shape as {@link EngineErrorSource}. */
+export interface RecommendationSource {
+  attribute: string;
+  line: number;
+  column: number;
+  length: number;
+}
+
+/** One structural quality recommendation from {@link Engine.quality}. */
+export interface Recommendation {
+  /** Advisory prose only. Temporal identity is in `spec` + `effective_from`. */
+  message: string;
+  spec: string;
+  /** Declared temporal start of the analyzed slice, or null for Origin. */
+  effective_from: string | null;
+  repository: string | null;
+  source: RecommendationSource;
+}