@lemmabase/lemma-engine 0.9.3 → 0.9.4

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.
      */
@@ -62,6 +66,12 @@ export class Engine {
      * `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 {
@@ -131,14 +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 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 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
@@ -259,6 +284,28 @@ export class Engine {
             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;
 
@@ -723,7 +770,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return __wasm_bindgen_func_elem_12485(a, state0.b, arg0, arg1);
+                        return __wasm_bindgen_func_elem_12539(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -882,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_12478);
+            // 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_2738);
+            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_2733);
             return addHeapObject(ret);
         },
         __wbindgen_cast_0000000000000003: function(arg0) {
@@ -925,10 +972,10 @@ function __wbg_get_imports() {
     };
 }
 
-function __wasm_bindgen_func_elem_12478(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_12478(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) {
@@ -939,10 +986,10 @@ function __wasm_bindgen_func_elem_12478(arg0, arg1, arg2) {
     }
 }
 
-function __wasm_bindgen_func_elem_2738(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_2738(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) {
@@ -953,8 +1000,8 @@ function __wasm_bindgen_func_elem_2738(arg0, arg1, arg2) {
     }
 }
 
-function __wasm_bindgen_func_elem_12485(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_12485(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).
@@ -81,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`.
      */
@@ -483,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;
+}