edict-lang 1.2.0 → 1.6.0

package/dist/builtins/host-helpers.js

@@ -0,0 +1,127 @@
+// =============================================================================
+// Host Helpers — shared WASM memory utilities for builtin domain factories
+// =============================================================================
+// Extracted from host-functions.ts. These helpers are used by domain factory
+// functions to interact with WASM linear memory (read/write strings, arrays,
+// Result values, allocate heap space).
+/** Typed error thrown when a host-side heap allocation exceeds WASM memory bounds. */
+export class EdictOomError extends Error {
+    heapUsed;
+    heapLimit;
+    constructor(heapUsed, heapLimit) {
+        super("edict_oom: heap exhausted");
+        this.heapUsed = heapUsed;
+        this.heapLimit = heapLimit;
+    }
+}
+// =============================================================================
+// Memory helpers
+// =============================================================================
+export function getMemoryBuffer(state) {
+    return state.instance.exports.memory.buffer;
+}
+/**
+ * Centralized heap allocator with bounds checking.
+ * Allocates `size` bytes (8-byte aligned) from the bump allocator,
+ * throwing EdictOomError if the allocation would exceed WASM memory.
+ */
+export function allocateHeap(state, size) {
+    const getHeapPtr = state.instance.exports.__get_heap_ptr;
+    const setHeapPtr = state.instance.exports.__set_heap_ptr;
+    const ptr = getHeapPtr();
+    const aligned = Math.ceil(size / 8) * 8;
+    const newPtr = ptr + aligned;
+    const memorySize = getMemoryBuffer(state).byteLength;
+    if (newPtr > memorySize) {
+        throw new EdictOomError(ptr, memorySize);
+    }
+    setHeapPtr(newPtr);
+    return ptr;
+}
+/**
+ * Write a string result into WASM memory at __heap_ptr,
+ * advance __heap_ptr (8-byte aligned), set __str_ret_len, and return ptr.
+ */
+export function writeStringResult(state, str, encoder) {
+    const encoded = encoder.encode(str);
+    const resultPtr = allocateHeap(state, encoded.length);
+    const dest = new Uint8Array(getMemoryBuffer(state), resultPtr, encoded.length);
+    dest.set(encoded);
+    const setStrRetLen = state.instance.exports.__set_str_ret_len;
+    setStrRetLen(encoded.length);
+    return resultPtr;
+}
+/**
+ * Allocate a new array on the WASM heap: [length: i32][elem0: i32]...
+ * Advances __heap_ptr (8-byte aligned) and returns the new array pointer.
+ */
+export function writeArrayResult(state, elements) {
+    const totalSize = 4 + elements.length * 4; // header + elements
+    const resultPtr = allocateHeap(state, totalSize);
+    const view = new DataView(getMemoryBuffer(state));
+    view.setInt32(resultPtr, elements.length, true); // write length
+    for (let i = 0; i < elements.length; i++) {
+        view.setInt32(resultPtr + 4 + i * 4, elements[i], true);
+    }
+    return resultPtr;
+}
+/**
+ * Allocate a Result value on the WASM heap: [tag: i32][pad(4)][value: i32][pad(4)]
+ * tag=0 means Ok, tag=1 means Err. Total size = 16 bytes (matches enum layout).
+ * Returns the pointer to the Result pair.
+ */
+export function writeResultValue(state, tag, value) {
+    const ptr = allocateHeap(state, 16);
+    const view = new DataView(getMemoryBuffer(state));
+    view.setInt32(ptr, tag, true); // tag at offset 0
+    view.setInt32(ptr + 8, value, true); // value at offset 8 (matches EnumVariantLayout)
+    return ptr;
+}
+/**
+ * Format a Date using strftime-style tokens.
+ * Supported: %Y (year), %m (month 01-12), %d (day 01-31),
+ *            %H (hour 00-23), %M (min 00-59), %S (sec 00-59), %% (literal %)
+ */
+export function formatDateString(date, fmt) {
+    const pad2 = (n) => String(n).padStart(2, "0");
+    let result = "";
+    let i = 0;
+    while (i < fmt.length) {
+        if (fmt[i] === "%" && i + 1 < fmt.length) {
+            const token = fmt[i + 1];
+            switch (token) {
+                case "Y":
+                    result += String(date.getUTCFullYear());
+                    break;
+                case "m":
+                    result += pad2(date.getUTCMonth() + 1);
+                    break;
+                case "d":
+                    result += pad2(date.getUTCDate());
+                    break;
+                case "H":
+                    result += pad2(date.getUTCHours());
+                    break;
+                case "M":
+                    result += pad2(date.getUTCMinutes());
+                    break;
+                case "S":
+                    result += pad2(date.getUTCSeconds());
+                    break;
+                case "%":
+                    result += "%";
+                    break;
+                default:
+                    result += "%" + token;
+                    break; // unknown token → pass through
+            }
+            i += 2;
+        }
+        else {
+            result += fmt[i];
+            i++;
+        }
+    }
+    return result;
+}
+//# sourceMappingURL=host-helpers.js.map

package/dist/builtins/host-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"host-helpers.js","sourceRoot":"","sources":["../../src/builtins/host-helpers.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,2EAA2E;AAC3E,gFAAgF;AAChF,6EAA6E;AAC7E,6EAA6E;AAC7E,uCAAuC;AAyBvC,sFAAsF;AACtF,MAAM,OAAO,aAAc,SAAQ,KAAK;IACjB;IAAyB;IAA5C,YAAmB,QAAgB,EAAS,SAAiB;QACzD,KAAK,CAAC,2BAA2B,CAAC,CAAC;QADpB,aAAQ,GAAR,QAAQ,CAAQ;QAAS,cAAS,GAAT,SAAS,CAAQ;IAE7D,CAAC;CACJ;AAkBD,gFAAgF;AAChF,iBAAiB;AACjB,gFAAgF;AAEhF,MAAM,UAAU,eAAe,CAAC,KAAmB;IAC/C,OAAQ,KAAK,CAAC,QAAS,CAAC,OAAO,CAAC,MAAkC,CAAC,MAAM,CAAC;AAC9E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,KAAmB,EAAE,IAAY;IAC1D,MAAM,UAAU,GAAG,KAAK,CAAC,QAAS,CAAC,OAAO,CAAC,cAA8B,CAAC;IAC1E,MAAM,UAAU,GAAG,KAAK,CAAC,QAAS,CAAC,OAAO,CAAC,cAAqC,CAAC;IACjF,MAAM,GAAG,GAAG,UAAU,EAAE,CAAC;IACzB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC;IAC7B,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC;IACrD,IAAI,MAAM,GAAG,UAAU,EAAE,CAAC;QACtB,MAAM,IAAI,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAC7C,CAAC;IACD,UAAU,CAAC,MAAM,CAAC,CAAC;IACnB,OAAO,GAAG,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAmB,EAAE,GAAW,EAAE,OAAoB;IACpF,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/E,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClB,MAAM,YAAY,GAAG,KAAK,CAAC,QAAS,CAAC,OAAO,CAAC,iBAAwC,CAAC;IACtF,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7B,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAmB,EAAE,QAAkB;IACpE,MAAM,SAAS,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,oBAAoB;IAC/D,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,eAAe;IAChE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,QAAQ,CAAC,SAAS,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAmB,EAAE,GAAW,EAAE,KAAa;IAC5E,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAM,kBAAkB;IACtD,IAAI,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,gDAAgD;IACrF,OAAO,GAAG,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAU,EAAE,GAAW;IACpD,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QACpB,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,QAAQ,KAAK,EAAE,CAAC;gBACZ,KAAK,GAAG;oBAAE,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;oBAAC,MAAM;gBACzD,KAAK,GAAG;oBAAE,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;oBAAC,MAAM;gBACxD,KAAK,GAAG;oBAAE,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;oBAAC,MAAM;gBACnD,KAAK,GAAG;oBAAE,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;oBAAC,MAAM;gBACpD,KAAK,GAAG;oBAAE,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;oBAAC,MAAM;gBACtD,KAAK,GAAG;oBAAE,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;oBAAC,MAAM;gBACtD,KAAK,GAAG;oBAAE,MAAM,IAAI,GAAG,CAAC;oBAAC,MAAM;gBAC/B;oBAAS,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC;oBAAC,MAAM,CAAC,+BAA+B;YAC1E,CAAC;YACD,CAAC,IAAI,CAAC,CAAC;QACX,CAAC;aAAM,CAAC;YACJ,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;YACjB,CAAC,EAAE,CAAC;QACR,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC"}

package/dist/builtins/registry.d.ts

@@ -0,0 +1,48 @@
+import type { FunctionType } from "../ast/types.js";
+import type { EdictHostAdapter } from "../codegen/host-adapter.js";
+import type { RuntimeState } from "./host-helpers.js";
+import type binaryen from "binaryen";
+export type { BuiltinDef, BuiltinImpl } from "./builtin-types.js";
+import type { BuiltinDef } from "./builtin-types.js";
+/**
+ * Backward-compatible builtin interface — same shape as the old BuiltinFunction.
+ * Used by resolver, checker, codegen, etc.
+ */
+export interface BuiltinFunction {
+    /** Edict-level function type signature (includes effects, params, returnType) */
+    type: FunctionType;
+    /** WASM import: [module, base] names */
+    wasmImport: [string, string];
+}
+/** All builtins from all domains, composed in one flat array. */
+export declare const ALL_BUILTINS: readonly BuiltinDef[];
+/**
+ * Backward-compatible builtin function map — derived from the registry.
+ * Same API as the old BUILTIN_FUNCTIONS in builtins.ts.
+ */
+export declare const BUILTIN_FUNCTIONS: ReadonlyMap<string, BuiltinFunction>;
+/**
+ * Check if a name refers to a built-in function.
+ */
+export declare function isBuiltin(name: string): boolean;
+/**
+ * Get the built-in function definition, or undefined.
+ */
+export declare function getBuiltin(name: string): BuiltinFunction | undefined;
+/**
+ * Create the complete host import object for WASM instantiation.
+ * Iterates all host-kind builtins in the registry and builds a single
+ * flat { host: { ... } } object.
+ *
+ * @param state — mutable runtime state shared across all host functions.
+ *                `state.instance` must be set after `WebAssembly.instantiate()`
+ *                but before calling any exported WASM function.
+ * @param adapter — optional platform-specific adapter. Defaults to NodeHostAdapter.
+ */
+export declare function createHostImports(state: RuntimeState, adapter?: EdictHostAdapter): Record<string, Record<string, unknown>>;
+/**
+ * Generate all WASM-native builtin functions (HOFs) from the registry.
+ * Called by codegen.ts after compiling user functions.
+ */
+export declare function generateWasmBuiltins(mod: binaryen.Module): void;
+//# sourceMappingURL=registry.d.ts.map

package/dist/builtins/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/builtins/registry.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,KAAK,EAAE,YAAY,EAAe,MAAM,mBAAmB,CAAC;AACnE,OAAO,KAAK,QAAQ,MAAM,UAAU,CAAC;AAGrC,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAsBrD;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC5B,iFAAiF;IACjF,IAAI,EAAE,YAAY,CAAC;IACnB,wCAAwC;IACxC,UAAU,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAChC;AAMD,iEAAiE;AACjE,eAAO,MAAM,YAAY,EAAE,SAAS,UAAU,EAgB7C,CAAC;AAaF;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAElE,CAAC;AAEF;;GAEG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE/C;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAEpE;AAMD;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC7B,KAAK,EAAE,YAAY,EACnB,OAAO,CAAC,EAAE,gBAAgB,GAC3B,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAiBzC;AAMD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CAM/D"}

package/dist/builtins/registry.js

@@ -0,0 +1,118 @@
+// =============================================================================
+// Builtin Registry — single source of truth for all Edict builtins
+// =============================================================================
+// Each builtin's type signature and implementation are co-located in domain
+// files under src/builtins/domains/. This registry composes all domains and
+// derives the BUILTIN_FUNCTIONS map, host imports, and WASM generators.
+//
+// Adding a new builtin:
+//   1. Add a BuiltinDef entry to the appropriate domain file
+//   2. That's it — registry derives everything else automatically
+import { NodeHostAdapter } from "../codegen/node-host-adapter.js";
+// ── Domain imports ──────────────────────────────────────────────────────────
+import { CORE_BUILTINS } from "./domains/core.js";
+import { STRING_BUILTINS } from "./domains/string.js";
+import { MATH_BUILTINS } from "./domains/math.js";
+import { TYPE_CONVERSION_BUILTINS } from "./domains/type-conversion.js";
+import { INT64_BUILTINS } from "./domains/int64.js";
+import { ARRAY_BUILTINS } from "./domains/array.js";
+import { OPTION_BUILTINS } from "./domains/option.js";
+import { RESULT_BUILTINS } from "./domains/result.js";
+import { JSON_BUILTINS } from "./domains/json.js";
+import { RANDOM_BUILTINS } from "./domains/random.js";
+import { DATETIME_BUILTINS } from "./domains/datetime.js";
+import { REGEX_BUILTINS } from "./domains/regex.js";
+import { CRYPTO_BUILTINS } from "./domains/crypto.js";
+import { HTTP_BUILTINS } from "./domains/http.js";
+import { IO_BUILTINS } from "./domains/io.js";
+// =============================================================================
+// Registry composition
+// =============================================================================
+/** All builtins from all domains, composed in one flat array. */
+export const ALL_BUILTINS = [
+    ...CORE_BUILTINS,
+    ...STRING_BUILTINS,
+    ...MATH_BUILTINS,
+    ...TYPE_CONVERSION_BUILTINS,
+    ...INT64_BUILTINS,
+    ...ARRAY_BUILTINS,
+    ...OPTION_BUILTINS,
+    ...RESULT_BUILTINS,
+    ...JSON_BUILTINS,
+    ...RANDOM_BUILTINS,
+    ...DATETIME_BUILTINS,
+    ...REGEX_BUILTINS,
+    ...CRYPTO_BUILTINS,
+    ...HTTP_BUILTINS,
+    ...IO_BUILTINS,
+];
+// =============================================================================
+// Derived maps
+// =============================================================================
+/** Derive the WASM import path from the implementation kind. */
+function deriveWasmImport(def) {
+    return def.impl.kind === "host"
+        ? ["host", def.name]
+        : ["__wasm", def.name];
+}
+/**
+ * Backward-compatible builtin function map — derived from the registry.
+ * Same API as the old BUILTIN_FUNCTIONS in builtins.ts.
+ */
+export const BUILTIN_FUNCTIONS = new Map(ALL_BUILTINS.map(b => [b.name, { type: b.type, wasmImport: deriveWasmImport(b) }]));
+/**
+ * Check if a name refers to a built-in function.
+ */
+export function isBuiltin(name) {
+    return BUILTIN_FUNCTIONS.has(name);
+}
+/**
+ * Get the built-in function definition, or undefined.
+ */
+export function getBuiltin(name) {
+    return BUILTIN_FUNCTIONS.get(name);
+}
+// =============================================================================
+// Host import factory — derives host imports from registry
+// =============================================================================
+/**
+ * Create the complete host import object for WASM instantiation.
+ * Iterates all host-kind builtins in the registry and builds a single
+ * flat { host: { ... } } object.
+ *
+ * @param state — mutable runtime state shared across all host functions.
+ *                `state.instance` must be set after `WebAssembly.instantiate()`
+ *                but before calling any exported WASM function.
+ * @param adapter — optional platform-specific adapter. Defaults to NodeHostAdapter.
+ */
+export function createHostImports(state, adapter) {
+    const hostAdapter = adapter ?? new NodeHostAdapter(state.sandboxDir);
+    const ctx = {
+        state,
+        adapter: hostAdapter,
+        encoder: new TextEncoder(),
+        decoder: new TextDecoder(),
+    };
+    const hostFunctions = {};
+    for (const def of ALL_BUILTINS) {
+        if (def.impl.kind === "host") {
+            hostFunctions[def.name] = def.impl.factory(ctx);
+        }
+    }
+    return { host: hostFunctions };
+}
+// =============================================================================
+// WASM builtin generator — runs all WASM-native generators from registry
+// =============================================================================
+/**
+ * Generate all WASM-native builtin functions (HOFs) from the registry.
+ * Called by codegen.ts after compiling user functions.
+ */
+export function generateWasmBuiltins(mod) {
+    for (const def of ALL_BUILTINS) {
+        if (def.impl.kind === "wasm") {
+            def.impl.generator(mod);
+        }
+    }
+}
+//# sourceMappingURL=registry.js.map

package/dist/builtins/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/builtins/registry.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,mEAAmE;AACnE,gFAAgF;AAChF,4EAA4E;AAC5E,4EAA4E;AAC5E,wEAAwE;AACxE,EAAE;AACF,wBAAwB;AACxB,6DAA6D;AAC7D,kEAAkE;AAIlE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAQlE,+EAA+E;AAE/E,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAe9C,gFAAgF;AAChF,uBAAuB;AACvB,gFAAgF;AAEhF,iEAAiE;AACjE,MAAM,CAAC,MAAM,YAAY,GAA0B;IAC/C,GAAG,aAAa;IAChB,GAAG,eAAe;IAClB,GAAG,aAAa;IAChB,GAAG,wBAAwB;IAC3B,GAAG,cAAc;IACjB,GAAG,cAAc;IACjB,GAAG,eAAe;IAClB,GAAG,eAAe;IAClB,GAAG,aAAa;IAChB,GAAG,eAAe;IAClB,GAAG,iBAAiB;IACpB,GAAG,cAAc;IACjB,GAAG,eAAe;IAClB,GAAG,aAAa;IAChB,GAAG,WAAW;CACjB,CAAC;AAEF,gFAAgF;AAChF,eAAe;AACf,gFAAgF;AAEhF,gEAAgE;AAChE,SAAS,gBAAgB,CAAC,GAAe;IACrC,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAC3B,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;QACpB,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAyC,IAAI,GAAG,CAC1E,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACrF,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IAClC,OAAO,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACnC,OAAO,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC;AAED,gFAAgF;AAChF,2DAA2D;AAC3D,gFAAgF;AAEhF;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAC7B,KAAmB,EACnB,OAA0B;IAE1B,MAAM,WAAW,GAAG,OAAO,IAAI,IAAI,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACrE,MAAM,GAAG,GAAgB;QACrB,KAAK;QACL,OAAO,EAAE,WAAW;QACpB,OAAO,EAAE,IAAI,WAAW,EAAE;QAC1B,OAAO,EAAE,IAAI,WAAW,EAAE;KAC7B,CAAC;IAEF,MAAM,aAAa,GAA4B,EAAE,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC7B,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACpD,CAAC;IACL,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;AACnC,CAAC;AAED,gFAAgF;AAChF,yEAAyE;AACzE,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,GAAoB;IACrD,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC7B,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5B,CAAC;IACL,CAAC;AACL,CAAC"}

package/dist/check.d.ts

@@ -1,10 +1,17 @@
-import type { StructuredError } from "./errors/structured-errors.js";
+import type { StructuredError, AnalysisDiagnostic, VerificationCoverage } from "./errors/structured-errors.js";
+import { type TypedModuleInfo } from "./checker/check.js";
 import type { EdictModule } from "./ast/nodes.js";
 export interface CheckResult {
     ok: boolean;
     errors: StructuredError[];
     /** The validated module AST (only present when ok === true) */
     module?: EdictModule;
+    /** Side-table of inferred types (only present when ok === true) */
+    typeInfo?: TypedModuleInfo;
+    /** INFO-level diagnostics about skipped analyses (present even when ok === true) */
+    diagnostics?: AnalysisDiagnostic[];
+    /** Summary of what was verified vs. skipped */
+    coverage?: VerificationCoverage;
 }
 /**
  * Full pipeline: validate → resolve → typeCheck → effectCheck → contractVerify.
@@ -13,7 +20,7 @@ export interface CheckResult {
  * If resolution fails, returns resolution errors (later phases skipped).
  * If type checking fails, returns type errors (effect checking skipped).
  * If effect checking fails, returns effect errors (contract verification skipped).
- * If all passes succeed, returns `{ ok: true, errors: [] }`.
+ * If all passes succeed, returns `{ ok: true, errors: [] }` with diagnostics and coverage.
  */
 export declare function check(ast: unknown): Promise<CheckResult>;
 //# sourceMappingURL=check.d.ts.map

package/dist/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAMrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,WAAW,WAAW;IACxB,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,+DAA+D;IAC/D,MAAM,CAAC,EAAE,WAAW,CAAC;CACxB;AAED;;;;;;;;GAQG;AACH,wBAAsB,KAAK,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAiC9D"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAG/G,OAAO,EAAa,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,WAAW,WAAW;IACxB,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,+DAA+D;IAC/D,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,mEAAmE;IACnE,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,oFAAoF;IACpF,WAAW,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACnC,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,oBAAoB,CAAC;CACnC;AAED;;;;;;;;GAQG;AACH,wBAAsB,KAAK,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAgE9D"}

package/dist/check.js

@@ -15,7 +15,7 @@ import { contractVerify } from "./contracts/verify.js";
  * If resolution fails, returns resolution errors (later phases skipped).
  * If type checking fails, returns type errors (effect checking skipped).
  * If effect checking fails, returns effect errors (contract verification skipped).
- * If all passes succeed, returns `{ ok: true, errors: [] }`.
+ * If all passes succeed, returns `{ ok: true, errors: [] }` with diagnostics and coverage.
  */
 export async function check(ast) {
     // Phase 1 — Structural validation
@@ -30,20 +30,41 @@ export async function check(ast) {
         return { ok: false, errors: resolveErrors };
     }
     // Phase 2b — Type checking
-    const typeErrors = typeCheck(module);
+    const { errors: typeErrors, typeInfo } = typeCheck(module);
     if (typeErrors.length > 0) {
         return { ok: false, errors: typeErrors };
     }
     // Phase 3 — Effect checking
-    const effectErrors = effectCheck(module);
-    if (effectErrors.length > 0) {
-        return { ok: false, errors: effectErrors };
+    const effectResult = effectCheck(module);
+    if (effectResult.errors.length > 0) {
+        return { ok: false, errors: effectResult.errors, diagnostics: effectResult.diagnostics };
     }
     // Phase 4 — Contract verification
-    const contractErrors = await contractVerify(module);
-    if (contractErrors.length > 0) {
-        return { ok: false, errors: contractErrors };
+    const contractResult = await contractVerify(module);
+    if (contractResult.errors.length > 0) {
+        return { ok: false, errors: contractResult.errors, diagnostics: [...effectResult.diagnostics, ...contractResult.diagnostics] };
     }
-    return { ok: true, errors: [], module };
+    // Combine all diagnostics
+    const diagnostics = [...effectResult.diagnostics, ...contractResult.diagnostics];
+    // Compute verification coverage
+    const fnCount = module.definitions.filter(d => d.kind === "fn").length;
+    const effectSkipped = new Set(effectResult.diagnostics.map(d => d.functionName)).size;
+    const contractSkipped = new Set(contractResult.diagnostics
+        .filter(d => d.diagnostic === "contract_skipped_unsupported_params")
+        .map(d => d.functionName)).size;
+    const fnsWithContracts = module.definitions.filter(d => d.kind === "fn" && d.contracts.length > 0).length;
+    const coverage = {
+        effects: {
+            checked: fnCount - effectSkipped,
+            skipped: effectSkipped,
+            total: fnCount,
+        },
+        contracts: {
+            proven: fnsWithContracts - contractSkipped,
+            skipped: contractSkipped,
+            total: fnsWithContracts,
+        },
+    };
+    return { ok: true, errors: [], module, typeInfo, diagnostics, coverage };
 }
 //# sourceMappingURL=check.js.map

package/dist/check.js.map

@@ -1 +1 @@
-{"version":3,"file":"check.js","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,qDAAqD;AACrD,gFAAgF;AAChF,wFAAwF;AACxF,yCAAyC;AAGzC,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAUvD;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,GAAY;IACpC,kCAAkC;IAClC,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACjB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;IACpD,CAAC;IAED,MAAM,MAAM,GAAG,GAAkB,CAAC;IAElC,6BAA6B;IAC7B,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAChD,CAAC;IAED,2BAA2B;IAC3B,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAC7C,CAAC;IAED,4BAA4B;IAC5B,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IAC/C,CAAC;IAED,kCAAkC;IAClC,MAAM,cAAc,GAAG,MAAM,cAAc,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IACjD,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;AAC5C,CAAC"}
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,qDAAqD;AACrD,gFAAgF;AAChF,wFAAwF;AACxF,yCAAyC;AAGzC,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,SAAS,EAAwB,MAAM,oBAAoB,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAgBvD;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,GAAY;IACpC,kCAAkC;IAClC,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACjB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;IACpD,CAAC;IAED,MAAM,MAAM,GAAG,GAAkB,CAAC;IAElC,6BAA6B;IAC7B,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAChD,CAAC;IAED,2BAA2B;IAC3B,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAC7C,CAAC;IAED,4BAA4B;IAC5B,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,MAAM,EAAE,WAAW,EAAE,YAAY,CAAC,WAAW,EAAE,CAAC;IAC7F,CAAC;IAED,kCAAkC;IAClC,MAAM,cAAc,GAAG,MAAM,cAAc,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,cAAc,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,GAAG,YAAY,CAAC,WAAW,EAAE,GAAG,cAAc,CAAC,WAAW,CAAC,EAAE,CAAC;IACnI,CAAC;IAED,0BAA0B;IAC1B,MAAM,WAAW,GAAG,CAAC,GAAG,YAAY,CAAC,WAAW,EAAE,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IAEjF,gCAAgC;IAChC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;IACvE,MAAM,aAAa,GAAG,IAAI,GAAG,CACzB,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CACpD,CAAC,IAAI,CAAC;IACP,MAAM,eAAe,GAAG,IAAI,GAAG,CAC3B,cAAc,CAAC,WAAW;SACrB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,qCAAqC,CAAC;SACnE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAChC,CAAC,IAAI,CAAC;IACP,MAAM,gBAAgB,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAC9C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CACjD,CAAC,MAAM,CAAC;IAET,MAAM,QAAQ,GAAyB;QACnC,OAAO,EAAE;YACL,OAAO,EAAE,OAAO,GAAG,aAAa;YAChC,OAAO,EAAE,aAAa;YACtB,KAAK,EAAE,OAAO;SACjB;QACD,SAAS,EAAE;YACP,MAAM,EAAE,gBAAgB,GAAG,eAAe;YAC1C,OAAO,EAAE,eAAe;YACxB,KAAK,EAAE,gBAAgB;SAC1B;KACJ,CAAC;IAEF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AAC7E,CAAC"}

package/dist/checker/check.d.ts

@@ -1,7 +1,24 @@
 import type { EdictModule } from "../ast/nodes.js";
+import type { TypeExpr } from "../ast/types.js";
 import type { StructuredError } from "../errors/structured-errors.js";
+/**
+ * Side-table of inferred types produced by the type checker.
+ * Replaces AST mutation — downstream stages read from this instead.
+ */
+export interface TypedModuleInfo {
+    /** fnId → inferred return type (only for functions without explicit returnType) */
+    inferredReturnTypes: Map<string, TypeExpr>;
+    /** letExprId → inferred type (only for lets without explicit type annotation) */
+    inferredLetTypes: Map<string, TypeExpr>;
+    /** lambdaParamId → inferred type from call-site context */
+    inferredLambdaParamTypes: Map<string, TypeExpr>;
+}
+export interface TypeCheckResult {
+    errors: StructuredError[];
+    typeInfo: TypedModuleInfo;
+}
 /**
  * Entry point: type-check a validated + resolved Edict module.
  */
-export declare function typeCheck(module: EdictModule): StructuredError[];
+export declare function typeCheck(module: EdictModule): TypeCheckResult;
 //# sourceMappingURL=check.d.ts.map

package/dist/checker/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/checker/check.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACR,WAAW,EAOd,MAAM,iBAAiB,CAAC;AAEzB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAuBtE;;GAEG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,eAAe,EAAE,CAwChE"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/checker/check.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACR,WAAW,EAOd,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,QAAQ,EAAgB,MAAM,iBAAiB,CAAC;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAkBtE;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC5B,mFAAmF;IACnF,mBAAmB,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3C,iFAAiF;IACjF,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACxC,2DAA2D;IAC3D,wBAAwB,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CACnD;AAED,MAAM,WAAW,eAAe;IAC5B,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,QAAQ,EAAE,eAAe,CAAC;CAC7B;AAGD;;GAEG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,eAAe,CAmD9D"}