@lemmabase/lemma-engine 0.8.16 → 0.8.17

package/README.md

@@ -30,7 +30,7 @@ import { Lemma } from '@lemmabase/lemma-engine';
 const engine = await Lemma();
 await engine.load(pricing, 'pricing.lemma');
 
-const response = engine.run(null, 'pricing', [], { quantity: 50, is_vip: false }, null);
+const response = engine.run(null, 'pricing', null, { quantity: 50, is_vip: false }, null);
 // response.results.unit_price → 16 eur
 // response.results.total      → 800 eur
 ```
@@ -117,7 +117,7 @@ A pre-wired Monaco adapter ships at `@lemmabase/lemma-engine/monaco`.
 | `list()` | JSON array of `ResolvedRepository`: each has `repository` and `specs` (spec sets). Always includes embedded `lemma` / `spec units`. |
 | `format_repository(repo)` | Canonical Lemma source for a loaded repository, formatted from the in-engine AST. Use `"lemma"` for the embedded units stdlib. |
 | `schema(repo, name, effective?)` | `SpecSchema`; `repo` null for workspace. |
-| `run(repo, name, ruleNames, data, effective?)` | Evaluate. `rules: []` runs everything; pass an array to filter. Returns a `Response`. |
+| `run(repo, name, ruleNames, data, effective?, explain?)` | Evaluate. Omit/`null` `ruleNames` for all rules; pass a non-empty array to scope. `[]` errors. Returns a `Response`. |
 | `format(code, attribute?)` | Canonical formatting; throws `EngineError` on parse error. |
 
 Full TypeScript types are bundled - see `lemma.d.ts`.

package/lemma.bindings.d.ts

@@ -56,7 +56,7 @@ export class Engine {
      * `repository`: repository qualifier (`@org/pkg`), or `null`/empty for workspace (same as
      * [`Engine::run`] `repo: None`).
      */
-    run(repository: string | null | undefined, spec: string, rule_names: any, data_values: any, effective?: string | null): any;
+    run(repository: string | null | undefined, spec: string, rule_names: any, data_values: any, effective?: string | null, explain?: boolean | null): any;
     /**
      * Planning schema for the spec ([`crate::planning::execution_plan::SpecSchema`]). Throws on error.
      *
@@ -135,11 +135,11 @@ export interface InitOutput {
     readonly wasmengine_load_batch: (a: number, b: number, c: number, d: number, e: number) => void;
     readonly wasmengine_new: () => number;
     readonly wasmengine_repositories: (a: number, b: number) => void;
-    readonly wasmengine_run: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
+    readonly wasmengine_run: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number) => void;
     readonly wasmengine_schema: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
-    readonly __wasm_bindgen_func_elem_12002: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_12158: (a: number, b: number, c: number, d: number) => void;
     readonly __wasm_bindgen_func_elem_2731: (a: number, b: number, c: number, d: number) => void;
-    readonly __wasm_bindgen_func_elem_12005: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_12161: (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

@@ -213,9 +213,10 @@ export class Engine {
      * @param {any} rule_names
      * @param {any} data_values
      * @param {string | null} [effective]
+     * @param {boolean | null} [explain]
      * @returns {any}
      */
-    run(repository, spec, rule_names, data_values, effective) {
+    run(repository, spec, rule_names, data_values, effective, explain) {
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
             var ptr0 = isLikeNone(repository) ? 0 : passStringToWasm0(repository, wasm.__wbindgen_export, wasm.__wbindgen_export2);
@@ -224,7 +225,7 @@ export class Engine {
             const len1 = WASM_VECTOR_LEN;
             var ptr2 = isLikeNone(effective) ? 0 : passStringToWasm0(effective, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             var len2 = WASM_VECTOR_LEN;
-            wasm.wasmengine_run(retptr, this.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(rule_names), addHeapObject(data_values), ptr2, len2);
+            wasm.wasmengine_run(retptr, this.__wbg_ptr, ptr0, len0, ptr1, len1, addHeapObject(rule_names), addHeapObject(data_values), ptr2, len2, isLikeNone(explain) ? 0xFFFFFF : explain ? 1 : 0);
             var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
             var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
             var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
@@ -714,7 +715,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return __wasm_bindgen_func_elem_12005(a, state0.b, arg0, arg1);
+                        return __wasm_bindgen_func_elem_12161(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -873,8 +874,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: 1421, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_12002);
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 1412, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_12158);
             return addHeapObject(ret);
         },
         __wbindgen_cast_0000000000000002: function(arg0, arg1) {
@@ -916,10 +917,10 @@ function __wbg_get_imports() {
     };
 }
 
-function __wasm_bindgen_func_elem_12002(arg0, arg1, arg2) {
+function __wasm_bindgen_func_elem_12158(arg0, arg1, arg2) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        wasm.__wasm_bindgen_func_elem_12002(retptr, arg0, arg1, addHeapObject(arg2));
+        wasm.__wasm_bindgen_func_elem_12158(retptr, arg0, arg1, addHeapObject(arg2));
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         if (r1) {
@@ -944,8 +945,8 @@ function __wasm_bindgen_func_elem_2731(arg0, arg1, arg2) {
     }
 }
 
-function __wasm_bindgen_func_elem_12005(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_12005(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_12161(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_12161(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 

package/lemma.d.ts

@@ -57,6 +57,7 @@ declare module './lemma.bindings.js' {
       rule_names: string[] | string,
       data_values: Record<string, unknown>,
       effective?: string | null,
+      explain?: boolean,
     ): EvaluationResponse;
   }
 }