@benrogmans/lemma-engine 0.7.4 → 0.8.0

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,17 @@ 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_8774: (a: number, b: number) => void;
-    readonly __wasm_bindgen_func_elem_9930: (a: number, b: number, c: number, d: number) => void;
-    readonly __wasm_bindgen_func_elem_8789: (a: number, b: number, c: number) => void;
+    readonly __wasm_bindgen_func_elem_9471: (a: number, b: number) => void;
+    readonly __wasm_bindgen_func_elem_10661: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_9486: (a: number, b: number, c: 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;
@@ -514,6 +566,14 @@ function __wbg_get_imports() {
             const ret = fetch(getObject(arg0));
             return addHeapObject(ret);
         },
+        __wbg_getTime_1e3cd1391c5c3995: function(arg0) {
+            const ret = getObject(arg0).getTime();
+            return ret;
+        },
+        __wbg_getTimezoneOffset_81776d10a4ec18a8: function(arg0) {
+            const ret = getObject(arg0).getTimezoneOffset();
+            return ret;
+        },
         __wbg_getWriter_1d11da1210cc84ba: function() { return handleError(function (arg0) {
             const ret = getObject(arg0).getWriter();
             return addHeapObject(ret);
@@ -564,6 +624,14 @@ function __wbg_get_imports() {
             const ret = new URLSearchParams();
             return addHeapObject(ret);
         }, arguments); },
+        __wbg_new_0_73afc35eb544e539: function() {
+            const ret = new Date();
+            return addHeapObject(ret);
+        },
+        __wbg_new_245cd5c49157e602: function(arg0) {
+            const ret = new Date(getObject(arg0));
+            return addHeapObject(ret);
+        },
         __wbg_new_361308b2356cecd0: function() {
             const ret = new Object();
             return addHeapObject(ret);
@@ -587,7 +655,7 @@ function __wbg_get_imports() {
                     const a = state0.a;
                     state0.a = 0;
                     try {
-                        return __wasm_bindgen_func_elem_9930(a, state0.b, arg0, arg1);
+                        return __wasm_bindgen_func_elem_10661(a, state0.b, arg0, arg1);
                     } finally {
                         state0.a = a;
                     }
@@ -740,11 +808,16 @@ function __wbg_get_imports() {
             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_8774, __wasm_bindgen_func_elem_8789);
+            // Cast intrinsic for `Closure(Closure { dtor_idx: 1154, function: Function { arguments: [Externref], shim_idx: 1155, ret: Unit, inner_ret: Some(Unit) }, mutable: true }) -> Externref`.
+            const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_9471, __wasm_bindgen_func_elem_9486);
+            return addHeapObject(ret);
+        },
+        __wbindgen_cast_0000000000000002: function(arg0) {
+            // Cast intrinsic for `F64 -> Externref`.
+            const ret = arg0;
             return addHeapObject(ret);
         },
-        __wbindgen_cast_0000000000000002: function(arg0, arg1) {
+        __wbindgen_cast_0000000000000003: function(arg0, arg1) {
             // Cast intrinsic for `Ref(String) -> Externref`.
             const ret = getStringFromWasm0(arg0, arg1);
             return addHeapObject(ret);
@@ -763,12 +836,12 @@ function __wbg_get_imports() {
     };
 }
 
-function __wasm_bindgen_func_elem_8789(arg0, arg1, arg2) {
-    wasm.__wasm_bindgen_func_elem_8789(arg0, arg1, addHeapObject(arg2));
+function __wasm_bindgen_func_elem_9486(arg0, arg1, arg2) {
+    wasm.__wasm_bindgen_func_elem_9486(arg0, arg1, addHeapObject(arg2));
 }
 
-function __wasm_bindgen_func_elem_9930(arg0, arg1, arg2, arg3) {
-    wasm.__wasm_bindgen_func_elem_9930(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
+function __wasm_bindgen_func_elem_10661(arg0, arg1, arg2, arg3) {
+    wasm.__wasm_bindgen_func_elem_10661(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
 }
 
 

package/lemma_bg.wasm.d.ts

@@ -28,15 +28,17 @@ 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_8774: (a: number, b: number) => void;
-export const __wasm_bindgen_func_elem_9930: (a: number, b: number, c: number, d: number) => void;
-export const __wasm_bindgen_func_elem_8789: (a: number, b: number, c: number) => void;
+export const __wasm_bindgen_func_elem_9471: (a: number, b: number) => void;
+export const __wasm_bindgen_func_elem_10661: (a: number, b: number, c: number, d: number) => void;
+export const __wasm_bindgen_func_elem_9486: (a: number, b: number, c: 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.4",
+  "version": "0.8.0",
   "description": "Language Server Protocol implementation for Lemma",
   "type": "module",
   "main": "lemma.js",