@lemmabase/lemma-engine 0.8.20 → 0.8.22

package/README.md

@@ -7,7 +7,7 @@ Pricing tiers, tax brackets, leave entitlement, eligibility checks, discount sta
 ```lemma
 spec pricing 2026-01-01
 
-data money: quantity
+data money: measure
   -> unit eur 1.00
   -> decimals 2
 
@@ -42,7 +42,7 @@ The `Response` carries every rule's value (or `veto` if no result could be compu
 - **Deterministic.** `(spec, data, effective_date) → result`. No DB, no clock, no ambient state. Same inputs → same outputs, every time.
 - **Explainable.** The `Response` tells you which rules contributed and why; pair it with the [CLI](https://github.com/lemma/lemma) for a full reasoning trace.
 - **Time-aware.** Multiple versions of the same spec coexist. Pass an `effective` date and the engine resolves the version in force on that day.
-- **Statically checked.** Type errors, missing data, cycles, quantity-family mismatches - all caught at `load()` time. Bad specs never reach `run()`.
+- **Statically checked.** Type errors, missing data, cycles, measure-family mismatches - all caught at `load()` time. Bad specs never reach `run()`.
 - **Runs anywhere V8 does.** ~2 MB WASM, no native binary, no postinstall script.
 - **Editor in a tab.** Includes an in-process language server and a Monaco adapter, so you can build a real Lemma editor experience client-side - diagnostics, completion, formatting... even without setting up a server.
 
@@ -141,6 +141,10 @@ In the browser, the registry must allow your origin (CORS). Use `https` or `http
 
 Lemma is pre-1.0. The WASM API is stable for most use cases, but breaking changes may occur between minor versions. Pin your dependency version and review the [changelog](https://github.com/lemma/lemma/blob/main/CHANGELOG.md) before upgrading.
 
+### WASM panic behavior
+
+Rust panics cannot unwind on the `wasm32` target, so an internal invariant violation (a bug) traps the WASM instance. The call throws a `RuntimeError` which you can catch with `try/catch` to fail gracefully, but the module's linear memory is poisoned — constructing a new `Engine()` from the same initialized module is not safe. To recover, re-initialize the WASM module (`init()` again) or, for robust containment, run the engine in a Web Worker and respawn the worker on trap. The panic message (prefixed `BUG: ...`) is logged to the console before the trap. All domain-level failures (invalid specs, bad data, impossible rules) are reported as `EngineError[]` or vetoes and never cause traps.
+
 ## Related
 
 - [`lemmabase.com`](https://lemmabase.com): public database for Lemma Specs

package/lemma.bindings.d.ts

@@ -24,7 +24,6 @@ export class Engine {
      * Canonical Lemma source for `repository`, formatted from the in-engine AST (e.g. `"lemma"`).
      */
     format_repository(repository: string): string;
-    invert(spec_name: string, rule_name: string, target_json: string, provided_values_json: string): any;
     /**
      * Same data as [`Engine::list`]: grouped [`ResolvedRepository`] JSON without planning.
      */
@@ -125,16 +124,15 @@ export interface InitOutput {
     readonly wasmengine_fetch: (a: number, b: number, c: number) => number;
     readonly wasmengine_format: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
     readonly wasmengine_format_repository: (a: number, b: number, c: number, d: number) => void;
-    readonly wasmengine_invert: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
     readonly wasmengine_list: (a: number, b: number) => void;
     readonly wasmengine_load: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
     readonly wasmengine_load_batch: (a: number, b: number, c: number, d: number, e: number) => void;
     readonly wasmengine_new: () => number;
     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_12173: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_12297: (a: number, b: number, c: number, d: number) => void;
     readonly __wasm_bindgen_func_elem_2740: (a: number, b: number, c: number, d: number) => void;
-    readonly __wasm_bindgen_func_elem_12188: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_12302: (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

@@ -79,36 +79,6 @@ export class Engine {
             wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
         }
     }
-    /**
-     * @param {string} spec_name
-     * @param {string} rule_name
-     * @param {string} target_json
-     * @param {string} provided_values_json
-     * @returns {any}
-     */
-    invert(spec_name, rule_name, target_json, provided_values_json) {
-        try {
-            const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            const ptr0 = passStringToWasm0(spec_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
-            const len0 = WASM_VECTOR_LEN;
-            const ptr1 = passStringToWasm0(rule_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
-            const len1 = WASM_VECTOR_LEN;
-            const ptr2 = passStringToWasm0(target_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
-            const len2 = WASM_VECTOR_LEN;
-            const ptr3 = passStringToWasm0(provided_values_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
-            const len3 = WASM_VECTOR_LEN;
-            wasm.wasmengine_invert(retptr, this.__wbg_ptr, ptr0, len0, ptr1, len1, ptr2, len2, ptr3, len3);
-            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);
-        }
-    }
     /**
      * Same data as [`Engine::list`]: grouped [`ResolvedRepository`] JSON without planning.
      * @returns {any}
@@ -696,7 +666,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return __wasm_bindgen_func_elem_12188(a, state0.b, arg0, arg1);
+                        return __wasm_bindgen_func_elem_12302(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -855,8 +825,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: 1410, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_12173);
+            // Cast intrinsic for `Closure(Closure { owned: true, function: Function { arguments: [Externref], shim_idx: 1414, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, __wasm_bindgen_func_elem_12297);
             return addHeapObject(ret);
         },
         __wbindgen_cast_0000000000000002: function(arg0, arg1) {
@@ -898,10 +868,10 @@ function __wbg_get_imports() {
     };
 }
 
-function __wasm_bindgen_func_elem_12173(arg0, arg1, arg2) {
+function __wasm_bindgen_func_elem_12297(arg0, arg1, arg2) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        wasm.__wasm_bindgen_func_elem_12173(retptr, arg0, arg1, addHeapObject(arg2));
+        wasm.__wasm_bindgen_func_elem_12297(retptr, arg0, arg1, addHeapObject(arg2));
         var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
         var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
         if (r1) {
@@ -926,8 +896,8 @@ function __wasm_bindgen_func_elem_2740(arg0, arg1, arg2) {
     }
 }
 
-function __wasm_bindgen_func_elem_12188(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_12188(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_12302(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_12302(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 

package/lemma.d.ts

@@ -50,6 +50,10 @@ declare module './lemma.bindings.js' {
 
     /**
      * `repository`: qualifier or `null`/omit for workspace — same as `Engine::run` `repo`.
+     *
+     * `data_values`: pass integers as numbers, decimals as strings (e.g.
+     * `{ quantity: 42, rate: "0.075" }`). Non-integer numbers are rejected
+     * to prevent silent precision loss from IEEE 754 doubles.
      */
     run(
       repository: string | null | undefined,
@@ -147,7 +151,7 @@ export type LemmaType =
   & (
     | { kind: "boolean"; help: string }
     | {
-        kind: "quantity";
+        kind: "measure";
         minimum: string | null;
         maximum: string | null;
         decimals: number | null;
@@ -155,7 +159,7 @@ export type LemmaType =
         help: string;
       }
     | {
-        kind: "quantity range";
+        kind: "measure range";
         minimum: string | null;
         maximum: string | null;
         decimals: number | null;
@@ -201,9 +205,11 @@ export type LemmaType =
 /** One input declared in a spec. Omitted fields are absent (not `null`). */
 export interface DataEntry {
   type: LemmaType;
-  /** Literal bound in the source (`data x: literal`). */
-  bound_value?: LiteralValue;
-  /** `-> default ...` suggestion; omitted from `bound_value` until evaluation applies it. */
+  /** Spec literal or literal `with` binding; UIs may skip review. */
+  prefilled?: LiteralValue;
+  /** Caller overlay when schema was built with supplied values. */
+  supplied?: LiteralValue;
+  /** `-> default ...` suggestion; prompt with prefill in interactive UIs. */
   default?: LiteralValue;
 }
 
@@ -220,7 +226,7 @@ export interface RuleResult {
   display?: string | null;
   veto_reason?: string | null;
   rule_type: string;
-  quantity?: Record<string, string> | null;
+  measure?: Record<string, string> | null;
   ratio?: Record<string, string> | null;
   number?: string | null;
   boolean?: boolean | null;
@@ -233,7 +239,7 @@ export interface RuleResult {
 }
 
 export interface RuleResultPayload {
-  quantity?: Record<string, string> | null;
+  measure?: Record<string, string> | null;
   ratio?: Record<string, string> | null;
   number?: string | null;
   boolean?: boolean | null;
@@ -252,7 +258,7 @@ export interface EvaluationDataEntry {
 export interface SpecSchema {
   spec: string;
   data: Record<string, DataEntry>;
-  /** Rule result types; quantity and ratio entries expose `units[]` like their data counterparts. */
+  /** Rule result types; measure and ratio entries expose `units[]` like their data counterparts. */
   rules: Record<string, LemmaType>;
   meta: Record<string, unknown>;
 }