@lemmabase/lemma-engine 0.8.13 → 0.8.15

package/README.md

@@ -7,7 +7,7 @@ Pricing tiers, tax brackets, leave entitlement, eligibility checks, discount sta
 ```lemma
 spec pricing 2026-01-01
 
-data money: scale
+data money: quantity
   -> unit eur 1.00
   -> decimals 2
 
@@ -42,7 +42,7 @@ The `Response` carries every rule's value (or `veto` if no result could be compu
 - **Deterministic.** `(spec, data, effective_date) → result`. No DB, no clock, no ambient state. Same inputs → same outputs, every time.
 - **Explainable.** The `Response` tells you which rules contributed and why; pair it with the [CLI](https://github.com/lemma/lemma) for a full reasoning trace.
 - **Time-aware.** Multiple versions of the same spec coexist. Pass an `effective` date and the engine resolves the version in force on that day.
-- **Statically checked.** Type errors, missing data, cycles, scale-family mismatches - all caught at `load()` time. Bad specs never reach `run()`.
+- **Statically checked.** Type errors, missing data, cycles, quantity-family mismatches - all caught at `load()` time. Bad specs never reach `run()`.
 - **Runs anywhere V8 does.** ~2 MB WASM, no native binary, no postinstall script.
 - **Editor in a tab.** Includes an in-process language server and a Monaco adapter, so you can build a real Lemma editor experience client-side - diagnostics, completion, formatting... even without setting up a server.
 
@@ -114,7 +114,8 @@ A pre-wired Monaco adapter ships at `@lemmabase/lemma-engine/monaco`.
 | `load(code, attribute?)` | Parse and validate a `.lemma` spec set. Resolves on success; rejects with `EngineError[]`. |
 | `load_batch(sources, dependency?)` | Load many sources in one planning pass (see `lemma.d.ts`). |
 | `fetch(name)` | Download registry source only; resolves with `{ source, id }`. Does not load. Rejects with `EngineError[]`. |
-| `list()` | JSON array of `ResolvedRepository`: each has `repository` and `specs` (spec sets). Each set has `name`, `repository`, and `specs` — temporal versions as full `LemmaSpec` objects (`effective_from`, `start_line`, `source_type`, …). |
+| `list()` | JSON array of `ResolvedRepository`: each has `repository` and `specs` (spec sets). Always includes embedded `lemma` / `spec si`. |
+| `format_repository(repo)` | Canonical Lemma source for a loaded repository, formatted from the in-engine AST. Use `"lemma"` for the embedded SI stdlib. |
 | `schema(repo, name, effective?)` | `SpecSchema`; `repo` null for workspace. |
 | `run(repo, name, ruleNames, data, effective?)` | Evaluate. `rules: []` runs everything; pass an array to filter. Returns a `Response`. |
 | `format(code, attribute?)` | Canonical formatting; throws `EngineError` on parse error. |

package/lemma.bindings.d.ts

@@ -6,7 +6,7 @@
  * *This API requires the following crate features to be activated: `ReadableStreamType`*
  */
 
-type ReadableStreamType = "bytes";
+export type ReadableStreamType = "bytes";
 
 export class Engine {
     free(): void;
@@ -20,6 +20,10 @@ export class Engine {
      * Returns formatted source string on success; throws with error message on failure.
      */
     format(code: string, attribute?: string | null): any;
+    /**
+     * Canonical Lemma source for `repository`, formatted from the in-engine AST (e.g. `"lemma"`).
+     */
+    format_repository(repository: string): string;
     invert(_spec_name: string, _rule_name: string, _target_json: string, _provided_values_json: string): any;
     /**
      * Same data as [`Engine::list`]: grouped [`ResolvedRepository`] JSON without planning.
@@ -52,7 +56,7 @@ export class Engine {
      * `repository`: repository qualifier (`@org/pkg`), or `null`/empty for workspace (same as
      * [`Engine::run`] `repo: None`).
      */
-    run(repository: string | null | undefined, spec: string, rule_names: any, data_values: any, effective?: string | null): any;
+    run(repository: string | null | undefined, spec: string, rule_names: any, data_values: any, rule_result_units: any, effective?: string | null): any;
     /**
      * Planning schema for the spec ([`crate::planning::execution_plan::SpecSchema`]). Throws on error.
      *
@@ -124,17 +128,18 @@ export interface InitOutput {
     readonly __wbg_engine_free: (a: number, b: number) => void;
     readonly wasmengine_fetch: (a: number, b: number, c: number) => number;
     readonly wasmengine_format: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
+    readonly wasmengine_format_repository: (a: number, b: number, c: number, d: number) => void;
     readonly wasmengine_invert: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
     readonly wasmengine_list: (a: number, b: number) => void;
     readonly wasmengine_load: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
     readonly wasmengine_load_batch: (a: number, b: number, c: number, d: number, e: number) => void;
     readonly wasmengine_new: () => number;
     readonly wasmengine_repositories: (a: number, b: number) => void;
-    readonly wasmengine_run: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
+    readonly wasmengine_run: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number) => void;
     readonly wasmengine_schema: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
-    readonly __wasm_bindgen_func_elem_10830: (a: number, b: number, c: number, d: number) => void;
-    readonly __wasm_bindgen_func_elem_2759: (a: number, b: number, c: number, d: number) => void;
-    readonly __wasm_bindgen_func_elem_10848: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_11795: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_2721: (a: number, b: number, c: number, d: number) => void;
+    readonly __wasm_bindgen_func_elem_11803: (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;