@benrogmans/lemma-engine 0.7.5 → 0.8.1

package/LICENSE

@@ -0,0 +1,191 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   Copyright 2025 Ben Rogmans
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.
+

package/README.md

@@ -48,23 +48,23 @@ const engine = new WasmEngine();
 
 #### `addLemmaFile(code: string, filename: string): string`
 
-Adds a Lemma document to the engine.
+Adds a Lemma spec to the engine.
 
 ```javascript
 const result = engine.addLemmaFile(`
-  doc employee_contract
+  spec employee_contract
 
-  fact salary = 5000 eur
-  fact start_date = 2024-01-15
-  fact vacation_days = 25
+  fact salary: 5000 eur
+  fact start_date: 2024-01-15
+  fact vacation_days: 25
 
-  rule annual_salary = salary * 12
-  rule daily_rate = salary / 21
+  rule annual_salary: salary * 12
+  rule daily_rate: salary / 21
 `, 'employee.lemma');
 
 const response = JSON.parse(result);
 if (response.success) {
-  console.log('Document loaded:', response.data);
+  console.log('Spec loaded:', response.data);
 } else {
   console.error('Error:', response.error);
 }
@@ -72,7 +72,7 @@ if (response.success) {
 
 #### `evaluate(docName: string, facts: string): string`
 
-Evaluates a document with optional runtime facts.
+Evaluates a spec with optional runtime facts.
 
 ```javascript
 // Evaluate with default facts
@@ -86,24 +86,24 @@ const result2 = engine.evaluate('employee_contract', JSON.stringify({
 
 const response = JSON.parse(result2);
 if (response.success) {
-  console.log('Document:', response.data.document);
+  console.log('Spec:', response.data.spec);
   console.log('Rules:', response.data.rules);
   // Access specific rule results directly:
   // response.data.rules.annual_salary.value
 }
 ```
 
-#### `listDocuments(): string`
+#### `listSpecs(): string`
 
-Lists all loaded documents in the engine.
+Lists all loaded specs in the engine.
 
 ```javascript
-const result = engine.listDocuments();
+const result = engine.listSpecs();
 const response = JSON.parse(result);
 
 if (response.success) {
-  console.log('Loaded documents:', response.data);
-  // response.data is an array of document names
+  console.log('Loaded specs:', response.data);
+  // response.data is an array of spec names
 }
 ```
 
@@ -132,35 +132,35 @@ async function calculatePricing() {
 
   // Define pricing rules
   const pricingDoc = `
-    doc product_pricing
+    spec product_pricing
 
-    fact base_price = 100 usd
-    fact quantity = 1
-    fact is_member = false
-    fact promo_code = ""
+    fact base_price: 100 usd
+    fact quantity: 1
+    fact is_member: false
+    fact promo_code: ""
 
-    rule bulk_discount = 0%
+    rule bulk_discount: 0%
       unless quantity >= 10 then 5%
       unless quantity >= 50 then 10%
       unless quantity >= 100 then 15%
 
-    rule member_discount = 0%
+    rule member_discount: 0%
       unless is_member then 10%
 
-    rule promo_discount = 0%
+    rule promo_discount: 0%
       unless promo_code == "SAVE10" then 10%
       unless promo_code == "SAVE20" then 20%
 
-    rule best_discount = bulk_discount?
-      unless member_discount? >= bulk_discount?  then member_discount?
-      unless promo_discount? >= bulk_discount?   then promo_discount?
-      unless member_discount? >= promo_discount? then member_discount?
-      unless promo_discount? >= member_discount? then promo_discount?
+    rule best_discount: bulk_discount
+      unless member_discount >= bulk_discount  then member_discount
+      unless promo_discount >= bulk_discount   then promo_discount
+      unless member_discount >= promo_discount then member_discount
+      unless promo_discount >= member_discount then promo_discount
 
-    rule final_price = base_price * quantity * (1 - best_discount?)
+    rule final_price: base_price * quantity * (1 - best_discount)
   `;
 
-  // Load the document
+  // Load the spec
   const loadResult = JSON.parse(
     engine.addLemmaFile(pricingDoc, 'pricing.lemma')
   );
@@ -219,7 +219,7 @@ interface PricingResults {
 interface EvaluationResponse {
   success: boolean;
   data?: {
-    document: string;
+    spec: string;
     rules: {
       [ruleName: string]: {
         value: any;  // The computed value (e.g., {Number: "100"})
@@ -233,14 +233,14 @@ interface EvaluationResponse {
     };
   };
   error?: string;
-  warnings?: string[];  // Document-level warnings
+  warnings?: string[];  // Spec-level warnings
 }
 
 async function typedExample() {
   await init();
   const engine = new WasmEngine();
 
-  // ... load document
+  // ... load spec
 
   const facts = {
     quantity: 10,
@@ -279,8 +279,8 @@ try {
 ### Performance Tips
 
 1. **Initialize once**: The WASM module should be initialized once per application
-2. **Reuse engines**: Create one `WasmEngine` and load multiple documents
-3. **Batch operations**: Load all documents before evaluating
+2. **Reuse engines**: Create one `WasmEngine` and load multiple specs
+3. **Batch operations**: Load all specs before evaluating
 4. **Cache results**: Evaluation results can be cached if facts don't change
 
 ### Compatibility

package/lemma.d.ts

@@ -70,39 +70,26 @@ export class ServerConfig {
 export class WasmEngine {
     free(): void;
     [Symbol.dispose](): void;
-    /**
-     * Add Lemma source (e.g. file contents). Returns a Promise that resolves to a JSON string result.
-     */
     addLemmaFile(code: string, source: string): Promise<any>;
     /**
-     * Evaluate rules in a document.
-     *
-     * Pass `rule_names_json` as `"[]"` or `""` to evaluate all rules.
-     * Pass a JSON array like `'["total","discount"]'` to evaluate specific rules.
+     * Evaluate at current time.
      */
-    evaluate(doc_name: string, rule_names_json: string, fact_values_json: string): string;
+    evaluate(spec_name: string, hash: string, rule_names_json: string, fact_values_json: string): string;
     /**
-     * Format Lemma source code. Returns a JSON string: `{ "success": true, "formatted": "..." }`
-     * or `{ "success": false, "error": "..." }`. Only formats if the source parses successfully.
-     * Call from JS (e.g. Monaco playground) to implement "Format" without an LSP; there is no on-save in the browser.
+     * Evaluate at a specific datetime.
      */
+    evaluateEffective(spec_name: string, effective: string, hash: string, rule_names_json: string, fact_values_json: string): string;
     formatSource(code: string, source_attribute: string): string;
     /**
-     * Return the full document schema: all facts and rules with their types.
-     *
-     * Returns the `DocumentSchema` used by all Lemma interfaces, serialized as
-     * JSON. Use `getSchema` with specific rule names to get only the facts
-     * required by those rules.
+     * Schema at current time.
      */
-    getSchema(doc_name: string, rule_names_json: string): string;
-    invert(_doc_name: string, _rule_name: string, _target_json: string, _provided_values_json: string): string;
+    getSchema(spec_name: string, rule_names_json: string): string;
     /**
-     * List all loaded documents with their full schemas.
-     *
-     * Returns `{ success: true, documents: [DocumentSchema, ...] }` sorted by
-     * document name, consistent with the HTTP and MCP interfaces.
+     * Schema at a specific datetime.
      */
-    listDocuments(): string;
+    getSchemaEffective(spec_name: string, effective: string, rule_names_json: string): string;
+    invert(_spec_name: string, _rule_name: string, _target_json: string, _provided_values_json: string): string;
+    listSpecs(): string;
     constructor();
 }
 
@@ -143,15 +130,19 @@ export interface InitOutput {
     readonly readablestreamgetreaderoptions_mode: (a: number) => number;
     readonly __wbg_wasmengine_free: (a: number, b: number) => void;
     readonly wasmengine_addLemmaFile: (a: number, b: number, c: number, d: number, e: number) => number;
-    readonly wasmengine_evaluate: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
+    readonly wasmengine_evaluate: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
+    readonly wasmengine_evaluateEffective: (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 wasmengine_formatSource: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
     readonly wasmengine_getSchema: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
+    readonly wasmengine_getSchemaEffective: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: 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_listDocuments: (a: number, b: number) => void;
+    readonly wasmengine_listSpecs: (a: number, b: number) => void;
     readonly wasmengine_new: () => number;
-    readonly __wasm_bindgen_func_elem_8773: (a: number, b: number) => void;
-    readonly __wasm_bindgen_func_elem_9929: (a: number, b: number, c: number, d: number) => void;
-    readonly __wasm_bindgen_func_elem_8788: (a: number, b: number, c: number) => void;
+    readonly __wasm_bindgen_func_elem_9296: (a: number, b: number) => void;
+    readonly __wasm_bindgen_func_elem_356: (a: number, b: number) => void;
+    readonly __wasm_bindgen_func_elem_10439: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_2709: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_10458: (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.js

@@ -238,7 +238,6 @@ export class WasmEngine {
         wasm.__wbg_wasmengine_free(ptr, 0);
     }
     /**
-     * Add Lemma source (e.g. file contents). Returns a Promise that resolves to a JSON string result.
      * @param {string} code
      * @param {string} source
      * @returns {Promise<any>}
@@ -252,41 +251,73 @@ export class WasmEngine {
         return takeObject(ret);
     }
     /**
-     * Evaluate rules in a document.
-     *
-     * Pass `rule_names_json` as `"[]"` or `""` to evaluate all rules.
-     * Pass a JSON array like `'["total","discount"]'` to evaluate specific rules.
-     * @param {string} doc_name
+     * Evaluate at current time.
+     * @param {string} spec_name
+     * @param {string} hash
      * @param {string} rule_names_json
      * @param {string} fact_values_json
      * @returns {string}
      */
-    evaluate(doc_name, rule_names_json, fact_values_json) {
-        let deferred4_0;
-        let deferred4_1;
+    evaluate(spec_name, hash, rule_names_json, fact_values_json) {
+        let deferred5_0;
+        let deferred5_1;
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            const ptr0 = passStringToWasm0(doc_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const ptr0 = passStringToWasm0(spec_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len0 = WASM_VECTOR_LEN;
-            const ptr1 = passStringToWasm0(rule_names_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const ptr1 = passStringToWasm0(hash, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len1 = WASM_VECTOR_LEN;
-            const ptr2 = passStringToWasm0(fact_values_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const ptr2 = passStringToWasm0(rule_names_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len2 = WASM_VECTOR_LEN;
-            wasm.wasmengine_evaluate(retptr, this.__wbg_ptr, ptr0, len0, ptr1, len1, ptr2, len2);
+            const ptr3 = passStringToWasm0(fact_values_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len3 = WASM_VECTOR_LEN;
+            wasm.wasmengine_evaluate(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);
-            deferred4_0 = r0;
-            deferred4_1 = r1;
+            deferred5_0 = r0;
+            deferred5_1 = r1;
             return getStringFromWasm0(r0, r1);
         } finally {
             wasm.__wbindgen_add_to_stack_pointer(16);
-            wasm.__wbindgen_export4(deferred4_0, deferred4_1, 1);
+            wasm.__wbindgen_export4(deferred5_0, deferred5_1, 1);
+        }
+    }
+    /**
+     * Evaluate at a specific datetime.
+     * @param {string} spec_name
+     * @param {string} effective
+     * @param {string} hash
+     * @param {string} rule_names_json
+     * @param {string} fact_values_json
+     * @returns {string}
+     */
+    evaluateEffective(spec_name, effective, hash, rule_names_json, fact_values_json) {
+        let deferred6_0;
+        let deferred6_1;
+        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(effective, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len1 = WASM_VECTOR_LEN;
+            const ptr2 = passStringToWasm0(hash, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len2 = WASM_VECTOR_LEN;
+            const ptr3 = passStringToWasm0(rule_names_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len3 = WASM_VECTOR_LEN;
+            const ptr4 = passStringToWasm0(fact_values_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len4 = WASM_VECTOR_LEN;
+            wasm.wasmengine_evaluateEffective(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);
+            deferred6_0 = r0;
+            deferred6_1 = r1;
+            return getStringFromWasm0(r0, r1);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+            wasm.__wbindgen_export4(deferred6_0, deferred6_1, 1);
         }
     }
     /**
-     * Format Lemma source code. Returns a JSON string: `{ "success": true, "formatted": "..." }`
-     * or `{ "success": false, "error": "..." }`. Only formats if the source parses successfully.
-     * Call from JS (e.g. Monaco playground) to implement "Format" without an LSP; there is no on-save in the browser.
      * @param {string} code
      * @param {string} source_attribute
      * @returns {string}
@@ -312,21 +343,17 @@ export class WasmEngine {
         }
     }
     /**
-     * Return the full document schema: all facts and rules with their types.
-     *
-     * Returns the `DocumentSchema` used by all Lemma interfaces, serialized as
-     * JSON. Use `getSchema` with specific rule names to get only the facts
-     * required by those rules.
-     * @param {string} doc_name
+     * Schema at current time.
+     * @param {string} spec_name
      * @param {string} rule_names_json
      * @returns {string}
      */
-    getSchema(doc_name, rule_names_json) {
+    getSchema(spec_name, rule_names_json) {
         let deferred3_0;
         let deferred3_1;
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            const ptr0 = passStringToWasm0(doc_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const ptr0 = passStringToWasm0(spec_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len0 = WASM_VECTOR_LEN;
             const ptr1 = passStringToWasm0(rule_names_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len1 = WASM_VECTOR_LEN;
@@ -342,18 +369,47 @@ export class WasmEngine {
         }
     }
     /**
-     * @param {string} _doc_name
+     * Schema at a specific datetime.
+     * @param {string} spec_name
+     * @param {string} effective
+     * @param {string} rule_names_json
+     * @returns {string}
+     */
+    getSchemaEffective(spec_name, effective, rule_names_json) {
+        let deferred4_0;
+        let deferred4_1;
+        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(effective, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len1 = WASM_VECTOR_LEN;
+            const ptr2 = passStringToWasm0(rule_names_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            const len2 = WASM_VECTOR_LEN;
+            wasm.wasmengine_getSchemaEffective(retptr, this.__wbg_ptr, ptr0, len0, ptr1, len1, ptr2, len2);
+            var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+            var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+            deferred4_0 = r0;
+            deferred4_1 = r1;
+            return getStringFromWasm0(r0, r1);
+        } finally {
+            wasm.__wbindgen_add_to_stack_pointer(16);
+            wasm.__wbindgen_export4(deferred4_0, deferred4_1, 1);
+        }
+    }
+    /**
+     * @param {string} _spec_name
      * @param {string} _rule_name
      * @param {string} _target_json
      * @param {string} _provided_values_json
      * @returns {string}
      */
-    invert(_doc_name, _rule_name, _target_json, _provided_values_json) {
+    invert(_spec_name, _rule_name, _target_json, _provided_values_json) {
         let deferred5_0;
         let deferred5_1;
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            const ptr0 = passStringToWasm0(_doc_name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+            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;
@@ -373,18 +429,14 @@ export class WasmEngine {
         }
     }
     /**
-     * List all loaded documents with their full schemas.
-     *
-     * Returns `{ success: true, documents: [DocumentSchema, ...] }` sorted by
-     * document name, consistent with the HTTP and MCP interfaces.
      * @returns {string}
      */
-    listDocuments() {
+    listSpecs() {
         let deferred1_0;
         let deferred1_1;
         try {
             const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-            wasm.wasmengine_listDocuments(retptr, this.__wbg_ptr);
+            wasm.wasmengine_listSpecs(retptr, this.__wbg_ptr);
             var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
             var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
             deferred1_0 = r0;
@@ -420,27 +472,27 @@ export function serve(config) {
 function __wbg_get_imports() {
     const import0 = {
         __proto__: null,
-        __wbg___wbindgen_debug_string_0bc8482c6e3508ae: function(arg0, arg1) {
+        __wbg___wbindgen_debug_string_5398f5bb970e0daa: function(arg0, arg1) {
             const ret = debugString(getObject(arg1));
             const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len1 = WASM_VECTOR_LEN;
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg___wbindgen_is_function_0095a73b8b156f76: function(arg0) {
+        __wbg___wbindgen_is_function_3c846841762788c1: function(arg0) {
             const ret = typeof(getObject(arg0)) === 'function';
             return ret;
         },
-        __wbg___wbindgen_is_object_5ae8e5880f2c1fbd: function(arg0) {
+        __wbg___wbindgen_is_object_781bc9f159099513: function(arg0) {
             const val = getObject(arg0);
             const ret = typeof(val) === 'object' && val !== null;
             return ret;
         },
-        __wbg___wbindgen_is_undefined_9e4d92534c42d778: function(arg0) {
+        __wbg___wbindgen_is_undefined_52709e72fb9f179c: function(arg0) {
             const ret = getObject(arg0) === undefined;
             return ret;
         },
-        __wbg___wbindgen_string_get_72fb696202c56729: function(arg0, arg1) {
+        __wbg___wbindgen_string_get_395e606bd0ee4427: function(arg0, arg1) {
             const obj = getObject(arg1);
             const ret = typeof(obj) === 'string' ? obj : undefined;
             var ptr1 = isLikeNone(ret) ? 0 : passStringToWasm0(ret, wasm.__wbindgen_export, wasm.__wbindgen_export2);
@@ -448,58 +500,54 @@ function __wbg_get_imports() {
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg___wbindgen_throw_be289d5034ed271b: function(arg0, arg1) {
+        __wbg___wbindgen_throw_6ddd609b62940d55: function(arg0, arg1) {
             throw new Error(getStringFromWasm0(arg0, arg1));
         },
-        __wbg__wbg_cb_unref_d9b87ff7982e3b21: function(arg0) {
+        __wbg__wbg_cb_unref_6b5b6b8576d35cb1: function(arg0) {
             getObject(arg0)._wbg_cb_unref();
         },
-        __wbg_buffer_e0346dab6225d121: function(arg0) {
+        __wbg_buffer_e0851da9dee8b991: function(arg0) {
             const ret = getObject(arg0).buffer;
             return addHeapObject(ret);
         },
-        __wbg_byobRequest_338ee64e53ddd87b: function(arg0) {
+        __wbg_byobRequest_b7b7dc91511df816: function(arg0) {
             const ret = getObject(arg0).byobRequest;
             return isLikeNone(ret) ? 0 : addHeapObject(ret);
         },
-        __wbg_byteLength_96fd6c084c1a7a0d: function(arg0) {
+        __wbg_byteLength_811fef9e08eaa78e: function(arg0) {
             const ret = getObject(arg0).byteLength;
             return ret;
         },
-        __wbg_byteOffset_c9e81ef47dca6819: function(arg0) {
+        __wbg_byteOffset_ea230546a0297033: function(arg0) {
             const ret = getObject(arg0).byteOffset;
             return ret;
         },
-        __wbg_bytes_literal_aea1dac9bf84850e: function() {
+        __wbg_bytes_literal_e5a87f6707f097d2: function() {
             const ret = bytes_literal();
             return addHeapObject(ret);
         },
-        __wbg_call_389efe28435a9388: function() { return handleError(function (arg0, arg1) {
-            const ret = getObject(arg0).call(getObject(arg1));
-            return addHeapObject(ret);
-        }, arguments); },
-        __wbg_call_4708e0c13bdc8e95: function() { return handleError(function (arg0, arg1, arg2) {
+        __wbg_call_2d781c1f4d5c0ef8: function() { return handleError(function (arg0, arg1, arg2) {
             const ret = getObject(arg0).call(getObject(arg1), getObject(arg2));
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_close_7c18aa67b8539098: function(arg0) {
-            getObject(arg0).close();
+        __wbg_close_45c653345d40a7e8: function(arg0) {
+            const ret = getObject(arg0).close();
+            return addHeapObject(ret);
         },
-        __wbg_close_7c324b6e045f281a: function(arg0) {
+        __wbg_close_7a687d357ff8e0e0: function(arg0) {
             getObject(arg0).close();
         },
-        __wbg_close_c40d5219e03385a2: function(arg0) {
-            const ret = getObject(arg0).close();
-            return addHeapObject(ret);
+        __wbg_close_8d217f4c57faede7: function(arg0) {
+            getObject(arg0).close();
         },
-        __wbg_done_57b39ecd9addfe81: function(arg0) {
+        __wbg_done_08ce71ee07e3bd17: function(arg0) {
             const ret = getObject(arg0).done;
             return ret;
         },
-        __wbg_enqueue_6c79790ce6e00627: function(arg0, arg1) {
+        __wbg_enqueue_74e7ffeb3e67888a: function(arg0, arg1) {
             getObject(arg0).enqueue(getObject(arg1));
         },
-        __wbg_error_7534b8e9a36f1ab4: function(arg0, arg1) {
+        __wbg_error_a6fa202b58aa1cd3: function(arg0, arg1) {
             let deferred0_0;
             let deferred0_1;
             try {
@@ -510,15 +558,23 @@ function __wbg_get_imports() {
                 wasm.__wbindgen_export4(deferred0_0, deferred0_1, 1);
             }
         },
-        __wbg_fetch_a9bc66c159c18e19: function(arg0) {
+        __wbg_fetch_8d9b732df7467c44: function(arg0) {
             const ret = fetch(getObject(arg0));
             return addHeapObject(ret);
         },
-        __wbg_getWriter_1d11da1210cc84ba: function() { return handleError(function (arg0) {
+        __wbg_getTime_1dad7b5386ddd2d9: function(arg0) {
+            const ret = getObject(arg0).getTime();
+            return ret;
+        },
+        __wbg_getTimezoneOffset_639bcf2dde21158b: function(arg0) {
+            const ret = getObject(arg0).getTimezoneOffset();
+            return ret;
+        },
+        __wbg_getWriter_149120e35db2c28d: function() { return handleError(function (arg0) {
             const ret = getObject(arg0).getWriter();
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_instanceof_Error_8573fe0b0b480f46: function(arg0) {
+        __wbg_instanceof_Error_4691a5b466e32a80: function(arg0) {
             let result;
             try {
                 result = getObject(arg0) instanceof Error;
@@ -528,7 +584,7 @@ function __wbg_get_imports() {
             const ret = result;
             return ret;
         },
-        __wbg_instanceof_Response_ee1d54d79ae41977: function(arg0) {
+        __wbg_instanceof_Response_9b4d9fd451e051b1: function(arg0) {
             let result;
             try {
                 result = getObject(arg0) instanceof Response;
@@ -538,7 +594,7 @@ function __wbg_get_imports() {
             const ret = result;
             return ret;
         },
-        __wbg_instanceof_Uint8Array_9b9075935c74707c: function(arg0) {
+        __wbg_instanceof_Uint8Array_740438561a5b956d: function(arg0) {
             let result;
             try {
                 result = getObject(arg0) instanceof Uint8Array;
@@ -548,46 +604,62 @@ function __wbg_get_imports() {
             const ret = result;
             return ret;
         },
-        __wbg_length_32ed9a279acd054c: function(arg0) {
+        __wbg_length_ea16607d7b61445b: function(arg0) {
             const ret = getObject(arg0).length;
             return ret;
         },
-        __wbg_message_9ddc4b9a62a7c379: function(arg0) {
+        __wbg_message_00d63f20c41713dd: function(arg0) {
             const ret = getObject(arg0).message;
             return addHeapObject(ret);
         },
-        __wbg_name_446e25ef2cfdab5a: function(arg0) {
+        __wbg_name_ecf53d5e050a495d: function(arg0) {
             const ret = getObject(arg0).name;
             return addHeapObject(ret);
         },
-        __wbg_new_074b505417ada2d9: function() { return handleError(function () {
+        __wbg_new_0837727332ac86ba: function() { return handleError(function () {
+            const ret = new Headers();
+            return addHeapObject(ret);
+        }, arguments); },
+        __wbg_new_0_1dcafdf5e786e876: function() {
+            const ret = new Date();
+            return addHeapObject(ret);
+        },
+        __wbg_new_227d7c05414eb861: function() {
+            const ret = new Error();
+            return addHeapObject(ret);
+        },
+        __wbg_new_5415f704ce1c4eda: function() { return handleError(function () {
             const ret = new URLSearchParams();
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_new_361308b2356cecd0: function() {
+        __wbg_new_ab79df5bd7c26067: function() {
             const ret = new Object();
             return addHeapObject(ret);
         },
-        __wbg_new_64284bd487f9d239: function() { return handleError(function () {
-            const ret = new Headers();
+        __wbg_new_bb1018d527df73cb: function() { return handleError(function (arg0, arg1) {
+            const ret = new URL(getStringFromWasm0(arg0, arg1));
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_new_72b49615380db768: function(arg0, arg1) {
+        __wbg_new_d15cb560a6a0e5f0: function(arg0, arg1) {
             const ret = new Error(getStringFromWasm0(arg0, arg1));
             return addHeapObject(ret);
         },
-        __wbg_new_8a6f238a6ece86ea: function() {
-            const ret = new Error();
+        __wbg_new_fd94ca5c9639abd2: function(arg0) {
+            const ret = new Date(getObject(arg0));
+            return addHeapObject(ret);
+        },
+        __wbg_new_from_slice_22da9388ac046e50: function(arg0, arg1) {
+            const ret = new Uint8Array(getArrayU8FromWasm0(arg0, arg1));
             return addHeapObject(ret);
         },
-        __wbg_new_b5d9e2fb389fef91: function(arg0, arg1) {
+        __wbg_new_typed_aaaeaf29cf802876: function(arg0, arg1) {
             try {
                 var state0 = {a: arg0, b: arg1};
                 var cb0 = (arg0, arg1) => {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return __wasm_bindgen_func_elem_9929(a, state0.b, arg0, arg1);
+                        return __wasm_bindgen_func_elem_10458(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -598,153 +670,151 @@ function __wbg_get_imports() {
                 state0.a = state0.b = 0;
             }
         },
-        __wbg_new_c2f21774701ddac7: function() { return handleError(function (arg0, arg1) {
-            const ret = new URL(getStringFromWasm0(arg0, arg1));
-            return addHeapObject(ret);
-        }, arguments); },
-        __wbg_new_from_slice_a3d2629dc1826784: function(arg0, arg1) {
-            const ret = new Uint8Array(getArrayU8FromWasm0(arg0, arg1));
-            return addHeapObject(ret);
-        },
-        __wbg_new_no_args_1c7c842f08d00ebb: function(arg0, arg1) {
-            const ret = new Function(getStringFromWasm0(arg0, arg1));
-            return addHeapObject(ret);
-        },
-        __wbg_new_with_byte_offset_and_length_aa261d9c9da49eb1: function(arg0, arg1, arg2) {
+        __wbg_new_with_byte_offset_and_length_b2ec5bf7b2f35743: function(arg0, arg1, arg2) {
             const ret = new Uint8Array(getObject(arg0), arg1 >>> 0, arg2 >>> 0);
             return addHeapObject(ret);
         },
-        __wbg_new_with_str_a7c7f835549b152a: function() { return handleError(function (arg0, arg1) {
+        __wbg_new_with_str_4c859c3e69e6cb15: function() { return handleError(function (arg0, arg1) {
             const ret = new Request(getStringFromWasm0(arg0, arg1));
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_new_with_str_and_init_a61cbc6bdef21614: function() { return handleError(function (arg0, arg1, arg2) {
+        __wbg_new_with_str_and_init_b4b54d1a819bc724: function() { return handleError(function (arg0, arg1, arg2) {
             const ret = new Request(getStringFromWasm0(arg0, arg1), getObject(arg2));
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_next_0a5e0f8af98146aa: function() { return handleError(function (arg0) {
+        __wbg_next_9c645ba5e1273237: function() { return handleError(function (arg0) {
             const ret = getObject(arg0).next();
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_ok_87f537440a0acf85: function(arg0) {
+        __wbg_ok_7ec8b94facac7704: function(arg0) {
             const ret = getObject(arg0).ok;
             return ret;
         },
-        __wbg_prototypesetcall_bdcdcc5842e4d77d: function(arg0, arg1, arg2) {
+        __wbg_prototypesetcall_d62e5099504357e6: function(arg0, arg1, arg2) {
             Uint8Array.prototype.set.call(getArrayU8FromWasm0(arg0, arg1), getObject(arg2));
         },
-        __wbg_queueMicrotask_0aa0a927f78f5d98: function(arg0) {
+        __wbg_queueMicrotask_0c399741342fb10f: function(arg0) {
             const ret = getObject(arg0).queueMicrotask;
             return addHeapObject(ret);
         },
-        __wbg_queueMicrotask_5bb536982f78a56f: function(arg0) {
+        __wbg_queueMicrotask_a082d78ce798393e: function(arg0) {
             queueMicrotask(getObject(arg0));
         },
-        __wbg_ready_2258e8118fee9761: function(arg0) {
+        __wbg_ready_bf757735fa2c98fc: function(arg0) {
             const ret = getObject(arg0).ready;
             return addHeapObject(ret);
         },
-        __wbg_releaseLock_aea38d9ddf66ea11: function(arg0) {
+        __wbg_releaseLock_48ae86fe0d5c344a: function(arg0) {
             getObject(arg0).releaseLock();
         },
-        __wbg_resolve_002c4b7d9d8f6b64: function(arg0) {
+        __wbg_resolve_ae8d83246e5bcc12: function(arg0) {
             const ret = Promise.resolve(getObject(arg0));
             return addHeapObject(ret);
         },
-        __wbg_respond_f90c76a13ed2dae9: function(arg0, arg1) {
+        __wbg_respond_137ffa35de748507: function(arg0, arg1) {
             getObject(arg0).respond(arg1 >>> 0);
         },
-        __wbg_search_143f09a35047e800: function(arg0, arg1) {
+        __wbg_search_35617fb7936183df: function(arg0, arg1) {
             const ret = getObject(arg1).search;
             const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len1 = WASM_VECTOR_LEN;
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg_set_cc56eefd2dd91957: function(arg0, arg1, arg2) {
+        __wbg_set_8c0b3ffcf05d61c2: function(arg0, arg1, arg2) {
             getObject(arg0).set(getArrayU8FromWasm0(arg1, arg2));
         },
-        __wbg_set_headers_cfc5f4b2c1f20549: function(arg0, arg1) {
+        __wbg_set_headers_3c8fecc693b75327: function(arg0, arg1) {
             getObject(arg0).headers = getObject(arg1);
         },
-        __wbg_set_method_c3e20375f5ae7fac: function(arg0, arg1, arg2) {
+        __wbg_set_method_8c015e8bcafd7be1: function(arg0, arg1, arg2) {
             getObject(arg0).method = getStringFromWasm0(arg1, arg2);
         },
-        __wbg_set_search_1d369b0f3868e132: function(arg0, arg1, arg2) {
+        __wbg_set_search_bd09fe57b201bac5: function(arg0, arg1, arg2) {
             getObject(arg0).search = getStringFromWasm0(arg1, arg2);
         },
-        __wbg_stack_0ed75d68575b0f3c: function(arg0, arg1) {
+        __wbg_stack_3b0d974bbf31e44f: function(arg0, arg1) {
             const ret = getObject(arg1).stack;
             const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len1 = WASM_VECTOR_LEN;
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg_static_accessor_GLOBAL_12837167ad935116: function() {
+        __wbg_static_accessor_GLOBAL_8adb955bd33fac2f: function() {
             const ret = typeof global === 'undefined' ? null : global;
             return isLikeNone(ret) ? 0 : addHeapObject(ret);
         },
-        __wbg_static_accessor_GLOBAL_THIS_e628e89ab3b1c95f: function() {
+        __wbg_static_accessor_GLOBAL_THIS_ad356e0db91c7913: function() {
             const ret = typeof globalThis === 'undefined' ? null : globalThis;
             return isLikeNone(ret) ? 0 : addHeapObject(ret);
         },
-        __wbg_static_accessor_SELF_a621d3dfbb60d0ce: function() {
+        __wbg_static_accessor_SELF_f207c857566db248: function() {
             const ret = typeof self === 'undefined' ? null : self;
             return isLikeNone(ret) ? 0 : addHeapObject(ret);
         },
-        __wbg_static_accessor_WINDOW_f8727f0cf888e0bd: function() {
+        __wbg_static_accessor_WINDOW_bb9f1ba69d61b386: function() {
             const ret = typeof window === 'undefined' ? null : window;
             return isLikeNone(ret) ? 0 : addHeapObject(ret);
         },
-        __wbg_status_89d7e803db911ee7: function(arg0) {
+        __wbg_status_318629ab93a22955: function(arg0) {
             const ret = getObject(arg0).status;
             return ret;
         },
-        __wbg_text_083b8727c990c8c0: function() { return handleError(function (arg0) {
+        __wbg_text_372f5b91442c50f9: function() { return handleError(function (arg0) {
             const ret = getObject(arg0).text();
             return addHeapObject(ret);
         }, arguments); },
-        __wbg_then_0d9fe2c7b1857d32: function(arg0, arg1, arg2) {
-            const ret = getObject(arg0).then(getObject(arg1), getObject(arg2));
+        __wbg_then_098abe61755d12f6: function(arg0, arg1) {
+            const ret = getObject(arg0).then(getObject(arg1));
             return addHeapObject(ret);
         },
-        __wbg_then_b9e7b3b5f1a9e1b5: function(arg0, arg1) {
-            const ret = getObject(arg0).then(getObject(arg1));
+        __wbg_then_9e335f6dd892bc11: function(arg0, arg1, arg2) {
+            const ret = getObject(arg0).then(getObject(arg1), getObject(arg2));
             return addHeapObject(ret);
         },
-        __wbg_toString_029ac24421fd7a24: function(arg0) {
+        __wbg_toString_3272fa0dfd05dd87: function(arg0) {
             const ret = getObject(arg0).toString();
             return addHeapObject(ret);
         },
-        __wbg_toString_964ff7fe6eca8362: function(arg0) {
+        __wbg_toString_fca8b5e46235cfb4: function(arg0) {
             const ret = getObject(arg0).toString();
             return addHeapObject(ret);
         },
-        __wbg_url_36c39f6580d05409: function(arg0, arg1) {
+        __wbg_url_b6f96880b733816c: function(arg0, arg1) {
             const ret = getObject(arg1).url;
             const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_export, wasm.__wbindgen_export2);
             const len1 = WASM_VECTOR_LEN;
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg_value_0546255b415e96c1: function(arg0) {
+        __wbg_value_21fc78aab0322612: function(arg0) {
             const ret = getObject(arg0).value;
             return addHeapObject(ret);
         },
-        __wbg_view_b29b448440a527c0: function(arg0) {
+        __wbg_view_98a9719f4bca1157: function(arg0) {
             const ret = getObject(arg0).view;
             return isLikeNone(ret) ? 0 : addHeapObject(ret);
         },
-        __wbg_write_c4a2180120884395: function(arg0, arg1) {
+        __wbg_write_1efac7e6738150f4: function(arg0, arg1) {
             const ret = getObject(arg0).write(takeObject(arg1));
             return addHeapObject(ret);
         },
         __wbindgen_cast_0000000000000001: function(arg0, arg1) {
-            // Cast intrinsic for `Closure(Closure { dtor_idx: 1159, function: Function { arguments: [Externref], shim_idx: 1160, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
-            const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_8773, __wasm_bindgen_func_elem_8788);
+            // Cast intrinsic for `Closure(Closure { dtor_idx: 1185, function: Function { arguments: [Externref], shim_idx: 1238, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_9296, __wasm_bindgen_func_elem_10439);
             return addHeapObject(ret);
         },
         __wbindgen_cast_0000000000000002: function(arg0, arg1) {
+            // Cast intrinsic for `Closure(Closure { dtor_idx: 7, function: Function { arguments: [NamedExternref("IteratorResult<any>")], shim_idx: 8, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_356, __wasm_bindgen_func_elem_2709);
+            return addHeapObject(ret);
+        },
+        __wbindgen_cast_0000000000000003: function(arg0) {
+            // Cast intrinsic for `F64 -> Externref`.
+            const ret = arg0;
+            return addHeapObject(ret);
+        },
+        __wbindgen_cast_0000000000000004: function(arg0, arg1) {
             // Cast intrinsic for `Ref(String) -> Externref`.
             const ret = getStringFromWasm0(arg0, arg1);
             return addHeapObject(ret);
@@ -763,12 +833,36 @@ function __wbg_get_imports() {
     };
 }
 
-function __wasm_bindgen_func_elem_8788(arg0, arg1, arg2) {
-    wasm.__wasm_bindgen_func_elem_8788(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_10439(arg0, arg1, arg2) {
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        wasm.__wasm_bindgen_func_elem_10439(retptr, arg0, arg1, addHeapObject(arg2));
+        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);
+    }
+}
+
+function __wasm_bindgen_func_elem_2709(arg0, arg1, arg2) {
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        wasm.__wasm_bindgen_func_elem_2709(retptr, arg0, arg1, addHeapObject(arg2));
+        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);
+    }
 }
 
-function __wasm_bindgen_func_elem_9929(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_9929(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_10458(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_10458(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 
@@ -883,7 +977,7 @@ function debugString(val) {
 }
 
 function dropObject(idx) {
-    if (idx < 132) return;
+    if (idx < 1028) return;
     heap[idx] = heap_next;
     heap_next = idx;
 }
@@ -924,7 +1018,7 @@ function handleError(f, args) {
     }
 }
 
-let heap = new Array(128).fill(undefined);
+let heap = new Array(1024).fill(undefined);
 heap.push(undefined, null, true, false);
 
 let heap_next = heap.length;

package/lemma_bg.wasm.d.ts

@@ -28,15 +28,19 @@ export const queuingstrategy_highWaterMark: (a: number) => number;
 export const readablestreamgetreaderoptions_mode: (a: number) => number;
 export const __wbg_wasmengine_free: (a: number, b: number) => void;
 export const wasmengine_addLemmaFile: (a: number, b: number, c: number, d: number, e: number) => number;
-export const wasmengine_evaluate: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
+export const wasmengine_evaluate: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
+export const wasmengine_evaluateEffective: (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;
 export const wasmengine_formatSource: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
 export const wasmengine_getSchema: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
+export const wasmengine_getSchemaEffective: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
 export const wasmengine_invert: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
-export const wasmengine_listDocuments: (a: number, b: number) => void;
+export const wasmengine_listSpecs: (a: number, b: number) => void;
 export const wasmengine_new: () => number;
-export const __wasm_bindgen_func_elem_8773: (a: number, b: number) => void;
-export const __wasm_bindgen_func_elem_9929: (a: number, b: number, c: number, d: number) => void;
-export const __wasm_bindgen_func_elem_8788: (a: number, b: number, c: number) => void;
+export const __wasm_bindgen_func_elem_9296: (a: number, b: number) => void;
+export const __wasm_bindgen_func_elem_356: (a: number, b: number) => void;
+export const __wasm_bindgen_func_elem_10439: (a: number, b: number, c: number, d: number) => void;
+export const __wasm_bindgen_func_elem_2709: (a: number, b: number, c: number, d: number) => void;
+export const __wasm_bindgen_func_elem_10458: (a: number, b: number, c: number, d: number) => void;
 export const __wbindgen_export: (a: number, b: number) => number;
 export const __wbindgen_export2: (a: number, b: number, c: number, d: number) => number;
 export const __wbindgen_export3: (a: number) => void;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@benrogmans/lemma-engine",
-  "version": "0.7.5",
+  "version": "0.8.1",
   "description": "Language Server Protocol implementation for Lemma",
   "type": "module",
   "main": "lemma.js",