@lemmabase/lemma-engine 0.8.21 → 0.8.22

package/lemma.bindings.d.ts

@@ -130,9 +130,9 @@ export interface InitOutput {
     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_12239: (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_12250: (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

@@ -666,7 +666,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return __wasm_bindgen_func_elem_12250(a, state0.b, arg0, arg1);
+                        return __wasm_bindgen_func_elem_12302(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -825,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_12239);
+            // 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) {
@@ -868,10 +868,10 @@ function __wbg_get_imports() {
     };
 }
 
-function __wasm_bindgen_func_elem_12239(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_12239(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) {
@@ -896,8 +896,8 @@ function __wasm_bindgen_func_elem_2740(arg0, arg1, arg2) {
     }
 }
 
-function __wasm_bindgen_func_elem_12250(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_12250(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

@@ -205,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;
 }