@elaraai/east 1.0.67 → 1.0.69

package/dist/src/functions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../src/functions.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,QAAQ,EAAE,KAAK,YAAY,EAAE,KAAK,iBAAiB,EAAE,KAAK,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9K,OAAO,EAAmD,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAU,KAAK,EAAE,EAA2E,MAAM,SAAS,CAAC;AAMnH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AAGzE,2EAA2E;AAC3E,eAAO,MAAM,eAAe,wBAAwB,CAAC;AAErD;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQjC,CAAC;AAEH,+EAA+E;AAC/E,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK7B,CAAC;AAEH,uGAAuG;AACvG,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAI/B,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG,WAAW,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAC5E,MAAM,MAAM,cAAc,GAAG,WAAW,CAAC,OAAO,kBAAkB,CAAC,CAAC;AACpE,MAAM,MAAM,gBAAgB,GAAG,WAAW,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAExE,8EAA8E;AAC9E,MAAM,WAAW,YAAY;IAC3B,wDAAwD;IACxD,OAAO,EAAE,MAAM,CAAC;IAChB,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,+DAA+D;IAC/D,IAAI,EAAE,aAAa,CAAC;IACpB,oDAAoD;IACpD,SAAS,EAAE,kBAAkB,EAAE,CAAC;CACjC;AAED,yCAAyC;AACzC,MAAM,WAAW,MAAM;IACrB,yCAAyC;IACzC,EAAE,EAAE,EAAE,CAAC;IACP,0DAA0D;IAC1D,OAAO,EAAE,YAAY,EAAE,CAAC;CACzB;AAID;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,OAAO,GAAG,EAAE,CAc9C;AAqBD;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,GAAG,kBAAkB,EAAE,CAmBlH;AAID,2CAA2C;AAC3C,MAAM,WAAW,sBAAsB;IACrC,gFAAgF;IAChF,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAE,sBAA2B,GAAG,gBAAgB,CAyBxJ;AAsBD;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,UAAU,CAE7E;AAED,8DAA8D;AAC9D,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,UAAU,GAAG,gBAAgB,CAEzE;AAID;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,cAAc,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1J,wBAAgB,cAAc,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AA8BpK;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAuGlF"}

package/dist/src/functions.js

@@ -0,0 +1,443 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Cross-language East functions (#628): export, import, link.
+ *
+ * A function authored in one host language is exported as pure IR — its
+ * `Function` node, the declared `FunctionType`, and the platform functions
+ * it calls — in a **function manifest** (`FunctionManifestType`, one beast2
+ * value per package). Code in the other language refers to it with
+ * `East.importFunction(package, name, type)`: a typed, callable function
+ * expression whose IR is a `Platform` node named {@link IMPORT_PLATFORM}
+ * carrying the package and function names — no new IR node kind, and loud
+ * if it ever reaches a compiler unresolved. `linkImports` resolves every
+ * such node against the manifests: the declared type must equal the
+ * exported type exactly, and the exported IR is embedded as a `Let`-bound
+ * constant at the top of the importing function's body (nested uses
+ * capture it), so the linked program is self-contained IR that runs on any
+ * runner. The python twin is `east.functions` (`East.export_functions`,
+ * `East.import_function`, `East.link_imports`).
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, BooleanType, NullType, OptionType, StringType, StructType } from "./types.js";
+import { EastTypeType, isTypeValueEqual, toEastTypeValue } from "./type_of_type.js";
+import { IRType } from "./ir.js";
+import { walkIR, literalValueOf } from "./walker.js";
+import { variant, some, none } from "./containers/variant.js";
+import { printTypeValue } from "./compile.js";
+import { encodeBeast2For, decodeBeast2For } from "./serialization/beast2/index.js";
+import { Expr } from "./expr/expr.js";
+import { get_location_id } from "./location.js";
+/** The platform name an unresolved `East.importFunction` carries in IR. */
+export const IMPORT_PLATFORM = "east.importFunction";
+/**
+ * One platform function an exported function calls: its name and
+ * signature as the IR emits them, and — when the exporter could tell —
+ * the platform package that implements it (`provider`).
+ *
+ * Fields are declared alphabetically in both languages so the wire layout
+ * cannot depend on declaration order.
+ */
+export const PlatformDependencyType = StructType({
+    async: BooleanType,
+    inputs: ArrayType(EastTypeType),
+    name: StringType,
+    optional: BooleanType,
+    output: EastTypeType,
+    provider: OptionType(StringType),
+    type_parameters: ArrayType(EastTypeType),
+});
+/** One exported function: its IR, declared type, and platform dependencies. */
+export const FunctionExportType = StructType({
+    ir: IRType,
+    name: StringType,
+    platforms: ArrayType(PlatformDependencyType),
+    type: EastTypeType,
+});
+/** A package's exported functions — what `east-py export-functions` / `East.exportFunctions` write. */
+export const FunctionManifestType = StructType({
+    functions: ArrayType(FunctionExportType),
+    package: StringType,
+    version: StringType,
+});
+// ── the IR behind a function ────────────────────────────────────────────────
+/**
+ * The IR value behind an `East.function` result, an `EastIR` bundle, or an
+ * IR value: what every function-level API here takes.
+ *
+ * @param fnOrIr - A built function expression, its `toIR()`, or an IR node
+ * @returns The IR node
+ * @throws {TypeError} For anything else
+ */
+export function functionIR(fnOrIr) {
+    if (fnOrIr instanceof Expr) {
+        const toIR = fnOrIr.toIR;
+        if (typeof toIR !== "function")
+            throw new TypeError("expected a function expression, not a plain expression");
+        return toIR.call(fnOrIr).ir;
+    }
+    const v = fnOrIr;
+    if (v !== null && typeof v === "object" && v.ir !== undefined && typeof v.ir.type === "string") {
+        return v.ir; // an EastIR / AsyncEastIR
+    }
+    if (v !== null && typeof v === "object" && typeof v.type === "string" && "value" in v) {
+        return v;
+    }
+    throw new TypeError("expected an East.function result, an EastIR, or an IR value");
+}
+/**
+ * The `Function` / `AsyncFunction` node of a function's IR: the root, or the
+ * last statement of the `Block[Let…, Function]` a python build with hoisted
+ * constants emits.
+ */
+function rootFunction(ir, what) {
+    let root = ir;
+    if (root.type === "Block") {
+        const statements = root.value.statements;
+        root = statements[statements.length - 1];
+    }
+    if (root.type !== "Function" && root.type !== "AsyncFunction") {
+        throw new Error(`${what}: expected a function's IR, got a ${ir.type} node`);
+    }
+    return root;
+}
+// ── platform dependencies ───────────────────────────────────────────────────
+/**
+ * The platform functions an IR calls, in first-use order — the name,
+ * signature and asyncness each `Platform` node carries. Unresolved imports
+ * ({@link IMPORT_PLATFORM}) are not dependencies and are skipped.
+ *
+ * @param fnOrIr - A function expression, its `toIR()`, or an IR value
+ * @param providers - Platform name → the package that implements it, when known
+ * @returns The dependencies
+ */
+export function platformDependencies(fnOrIr, providers = {}) {
+    const ir = functionIR(fnOrIr);
+    const seen = new Map();
+    walkIR(ir, node => {
+        if (node.type !== "Platform")
+            return;
+        const p = node.value;
+        if (p.name === IMPORT_PLATFORM || seen.has(p.name))
+            return;
+        const provider = Object.prototype.hasOwnProperty.call(providers, p.name) ? some(providers[p.name]) : none;
+        seen.set(p.name, {
+            async: p.async,
+            inputs: p.arguments.map(a => a.value.type),
+            name: p.name,
+            optional: p.optional,
+            output: p.type,
+            provider,
+            type_parameters: [...p.type_parameters],
+        });
+    });
+    return [...seen.values()];
+}
+/**
+ * Builds a package's function manifest from its named functions.
+ *
+ * Every function exports as a closed value: a function with captures (a
+ * closure over the enclosing body) is rejected, as is one that itself holds
+ * an unresolved import — link before exporting; v1 does not chain. The
+ * exported IR carries no location ids (a manifest has no source map).
+ *
+ * @param pkg - The exporting package's name (what importers name)
+ * @param version - Its version
+ * @param functions - Name → `East.function` result, `EastIR`, or IR value
+ * @param options - Platform providers to record
+ * @returns The manifest value (encode it with {@link encodeFunctionManifest})
+ * @throws {Error} For a function that is not a closed value
+ *
+ * @example
+ * ```ts
+ * const double = East.function([IntegerType], IntegerType, ($, x) => x.multiply(2n));
+ * const manifest = East.exportFunctions("maths", "1.0.0", { double });
+ * writeFileSync("maths.functions.beast2", East.encodeFunctionManifest(manifest));
+ * ```
+ */
+export function exportFunctions(pkg, version, functions, options = {}) {
+    if (!pkg)
+        throw new Error("exportFunctions: the package name is empty");
+    const exports = [];
+    for (const name of Object.keys(functions).sort()) {
+        const ir = functionIR(functions[name]);
+        const root = rootFunction(ir, `exportFunctions: ${name}`);
+        const captures = root.value.captures.map(v => v.value.name);
+        if (captures.length > 0) {
+            throw new Error(`exportFunctions: ${name} captures ${captures.join(", ")} — an exported function is a closed value; ` +
+                `only functions with no captures export`);
+        }
+        let imports = 0;
+        walkIR(ir, node => { if (node.type === "Platform" && node.value.name === IMPORT_PLATFORM)
+            imports += 1; });
+        if (imports > 0) {
+            throw new Error(`exportFunctions: ${name} holds ${imports} unresolved import(s) — link it (linkImports) before exporting; exports do not chain`);
+        }
+        exports.push({
+            ir: stripLocations(ir),
+            name,
+            platforms: platformDependencies(ir, options.providers ?? {}),
+            type: root.value.type,
+        });
+    }
+    return { functions: exports, package: pkg, version };
+}
+/**
+ * The IR with every `loc_id` zeroed. A manifest carries no source map, so
+ * the exporter's location ids would only collide with the importer's; an
+ * embedded function reports no location instead.
+ */
+function stripLocations(ir) {
+    const stripped = mapChildren(ir, stripLocations);
+    return variant(stripped.type, { ...stripped.value, loc_id: 0n });
+}
+// The codec is built on first use, not at import: building a beast2 codec
+// for a type that holds `IRType` assigns recursive type ids, and doing that
+// while the package loads would renumber the ids every later type gets.
+let manifestCodec = null;
+function codec() {
+    manifestCodec ??= { encode: encodeBeast2For(FunctionManifestType), decode: decodeBeast2For(FunctionManifestType) };
+    return manifestCodec;
+}
+/**
+ * Encodes a function manifest as beast2 — the file `east-node
+ * export-functions` / `east-py export-functions` write and `e3 export` /
+ * `linkImports` read, in either language.
+ */
+export function encodeFunctionManifest(manifest) {
+    return codec().encode(manifest);
+}
+/** Decodes a function manifest written by either language. */
+export function decodeFunctionManifest(data) {
+    return codec().decode(data);
+}
+export function importFunction(pkg, name, type) {
+    if (type.type !== "Function" && type.type !== "AsyncFunction") {
+        throw new TypeError(`importFunction: ${pkg}.${name} needs a FunctionType or AsyncFunctionType, got ${type.type}`);
+    }
+    if (!pkg || !name)
+        throw new TypeError("importFunction: the package and function names are required");
+    const literal = (s) => ({ ast_type: "Value", type: StringType, loc_id: get_location_id(), value: s });
+    return Expr.fromAst({
+        ast_type: "Platform",
+        type,
+        loc_id: get_location_id(),
+        name: IMPORT_PLATFORM,
+        type_parameters: [],
+        arguments: [literal(pkg), literal(name)],
+        async: false,
+        optional: false,
+    });
+}
+/** The (package, name) an import node names — both must be string literals. */
+function importTarget(node) {
+    const args = node.value.arguments;
+    if (args.length !== 2 || args[0].type !== "Value" || args[1].type !== "Value") {
+        throw new Error(`${IMPORT_PLATFORM}: the package and function names must be string literals`);
+    }
+    return { pkg: String(literalValueOf(args[0])), name: String(literalValueOf(args[1])) };
+}
+// ── link ────────────────────────────────────────────────────────────────────
+/**
+ * Resolves every `East.importFunction` reference in a function's IR against
+ * the given manifests and embeds the exported IR.
+ *
+ * For each distinct (package, function): the manifest for the package must
+ * be present, the function must be in it, and the reference's declared type
+ * must equal the exported type exactly — each failure is an error naming the
+ * import (and, for a type mismatch, both types). The exported IR becomes a
+ * `Let`-bound constant at the top of the importing function's body; a use
+ * inside a nested function captures it, so the nested functions' `captures`
+ * are extended. The result is self-contained IR with no import left.
+ *
+ * @param fnOrIr - A function expression, its `toIR()`, or an IR value
+ * @param manifests - The exporting packages' manifests
+ * @returns The linked IR and the imports it resolved (with their platform dependencies)
+ * @throws {Error} For an unresolvable import or a type mismatch
+ */
+export function linkImports(fnOrIr, manifests) {
+    const ir = functionIR(fnOrIr);
+    const byPackage = new Map();
+    for (const m of manifests)
+        byPackage.set(m.package, m);
+    // Which imports the IR holds, and whether any use sits inside a nested
+    // function (the binding is then captured).
+    const targets = new Map();
+    const keyOf = (pkg, name) => `${pkg} ${name}`;
+    const scan = (node, depth) => {
+        if (node.type === "Platform" && node.value.name === IMPORT_PLATFORM) {
+            const { pkg, name } = importTarget(node);
+            const key = keyOf(pkg, name);
+            const hit = targets.get(key);
+            if (hit === undefined) {
+                targets.set(key, { pkg, name, type: node.value.type, nested: depth > 0 });
+            }
+            else {
+                if (!isTypeValueEqual(hit.type, node.value.type)) {
+                    throw new Error(`linkImports: ${pkg}.${name} is imported at two types — ${printTypeValue(hit.type)} and ${printTypeValue(node.value.type)}`);
+                }
+                hit.nested = hit.nested || depth > 0;
+            }
+            return;
+        }
+        const nested = node.type === "Function" || node.type === "AsyncFunction";
+        for (const child of children(node))
+            scan(child, nested ? depth + 1 : depth);
+    };
+    const root = rootFunction(ir, "linkImports");
+    scan(root.value.body, 0);
+    if (targets.size === 0)
+        return { ir, imports: [] };
+    // Resolve each against its manifest: present, named, and typed exactly.
+    const bindings = new Map();
+    const imports = [];
+    let index = 0;
+    for (const [key, target] of targets) {
+        const manifest = byPackage.get(target.pkg);
+        if (manifest === undefined) {
+            throw new Error(`linkImports: no function manifest for package "${target.pkg}" (imported ${target.pkg}.${target.name}) — ` +
+                `export it (east-py export-functions / East.exportFunctions) and pass the manifest to the linker`);
+        }
+        const exported = manifest.functions.find(f => f.name === target.name);
+        if (exported === undefined) {
+            const names = manifest.functions.map(f => f.name).join(", ") || "(none)";
+            throw new Error(`linkImports: package "${target.pkg}" exports no function "${target.name}" — it exports ${names}`);
+        }
+        if (!isTypeValueEqual(target.type, exported.type)) {
+            throw new Error(`linkImports: ${target.pkg}.${target.name} is imported as ${printTypeValue(target.type)} ` +
+                `but exported as ${printTypeValue(exported.type)}`);
+        }
+        const variable = variant("Variable", {
+            type: target.type,
+            name: `_import${index}_${identifier(target.pkg)}_${identifier(target.name)}`,
+            loc_id: 0n,
+            mutable: false,
+            captured: target.nested,
+        });
+        index += 1;
+        bindings.set(key, { variable, export: exported });
+        imports.push({ package: target.pkg, name: target.name, type: target.type, platforms: [...exported.platforms] });
+    }
+    const byVariable = new Map();
+    for (const b of bindings.values())
+        byVariable.set(b.variable.value.name, b.variable);
+    // Rewrite: references in place, captures on every enclosing nested function.
+    const rebuild = (node, captureStack) => {
+        if (node.type === "Platform" && node.value.name === IMPORT_PLATFORM) {
+            const { pkg, name } = importTarget(node);
+            const binding = bindings.get(keyOf(pkg, name));
+            for (const set of captureStack)
+                set.add(binding.variable.value.name);
+            return variant("Variable", { ...binding.variable.value, loc_id: node.value.loc_id });
+        }
+        if (node.type === "Function" || node.type === "AsyncFunction") {
+            const mine = new Set();
+            const body = rebuild(node.value.body, [...captureStack, mine]);
+            const extra = [...mine].map(n => byVariable.get(n));
+            return variant(node.type, { ...node.value, body, captures: [...node.value.captures, ...extra] });
+        }
+        return mapChildren(node, child => rebuild(child, captureStack));
+    };
+    const body = rebuild(root.value.body, []);
+    const lets = [...bindings.values()].map(b => variant("Let", {
+        type: toEastTypeValue(NullType),
+        loc_id: 0n,
+        variable: b.variable,
+        value: b.export.ir,
+    }));
+    const statements = body.type === "Block" ? [...lets, ...body.value.statements] : [...lets, body];
+    const linkedBody = variant("Block", {
+        type: (statements[statements.length - 1]).value.type,
+        loc_id: body.value.loc_id,
+        statements,
+    });
+    const linkedRoot = variant(root.type, { ...root.value, body: linkedBody });
+    let linked = linkedRoot;
+    if (ir.type === "Block") {
+        const outer = ir.value.statements;
+        linked = variant("Block", { ...ir.value, statements: [...outer.slice(0, -1), linkedRoot] });
+    }
+    return { ir: linked, imports };
+}
+/** A name as an identifier fragment. */
+function identifier(name) {
+    return name.replace(/[^A-Za-z0-9_]+/g, "_");
+}
+// ── IR children ─────────────────────────────────────────────────────────────
+/** The child IR nodes of a node, in the walker's order. */
+function children(node) {
+    const out = [];
+    mapChildren(node, child => { out.push(child); return child; });
+    return out;
+}
+/**
+ * A node with its child IR nodes replaced by `f(child)` — the walker's
+ * cases as a rebuild. Leaves come back as they are.
+ */
+function mapChildren(node, f) {
+    const v = node.value;
+    const re = (payload) => variant(node.type, { ...v, ...payload });
+    switch (node.type) {
+        case "Variable":
+        case "Continue":
+        case "Break":
+        case "Value":
+            return node;
+        case "Error":
+            return re({ message: f(v.message) });
+        case "TryCatch":
+            return re({ try_body: f(v.try_body), catch_body: f(v.catch_body), finally_body: f(v.finally_body) });
+        case "Let":
+        case "Assign":
+        case "As":
+        case "NewRef":
+        case "Variant":
+        case "UnwrapRecursive":
+        case "WrapRecursive":
+        case "Return":
+            return re({ value: f(v.value) });
+        case "Function":
+        case "AsyncFunction":
+            return re({ body: f(v.body) });
+        case "Call":
+        case "CallAsync":
+            return re({ function: f(v.function), arguments: v.arguments.map(f) });
+        case "NewArray":
+        case "NewSet":
+        case "NewVector":
+        case "NewMatrix":
+            return re({ values: v.values.map(f) });
+        case "NewDict":
+            return re({ values: v.values.map(e => ({ key: f(e.key), value: f(e.value) })) });
+        case "Struct":
+            return re({ fields: v.fields.map(x => ({ name: x.name, value: f(x.value) })) });
+        case "GetField":
+            return re({ struct: f(v.struct) });
+        case "Block":
+            return re({ statements: v.statements.map(f) });
+        case "IfElse":
+            return re({
+                ifs: v.ifs.map(b => ({ predicate: f(b.predicate), body: f(b.body) })),
+                else_body: f(v.else_body),
+            });
+        case "Match":
+            return re({ variant: f(v.variant), cases: v.cases.map(c => ({ ...c, body: f(c.body) })) });
+        case "While":
+            return re({ predicate: f(v.predicate), body: f(v.body) });
+        case "ForArray":
+            return re({ array: f(v.array), body: f(v.body) });
+        case "ForSet":
+            return re({ set: f(v.set), body: f(v.body) });
+        case "ForDict":
+            return re({ dict: f(v.dict), body: f(v.body) });
+        case "Builtin":
+        case "Platform":
+            return re({ arguments: v.arguments.map(f) });
+        default:
+            throw new Error(`mapChildren: unknown IR node kind ${node.type}`);
+    }
+}
+//# sourceMappingURL=functions.js.map

package/dist/src/functions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../src/functions.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAA8E,MAAM,YAAY,CAAC;AAC9K,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAsB,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,MAAM,EAAoF,MAAM,SAAS,CAAC;AACnH,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AACnF,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAGtC,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,2EAA2E;AAC3E,MAAM,CAAC,MAAM,eAAe,GAAG,qBAAqB,CAAC;AAErD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,UAAU,CAAC;IAC/C,KAAK,EAAE,WAAW;IAClB,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC;IAC/B,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,WAAW;IACrB,MAAM,EAAE,YAAY;IACpB,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC;IAChC,eAAe,EAAE,SAAS,CAAC,YAAY,CAAC;CACzC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,MAAM,CAAC,MAAM,kBAAkB,GAAG,UAAU,CAAC;IAC3C,EAAE,EAAE,MAAM;IACV,IAAI,EAAE,UAAU;IAChB,SAAS,EAAE,SAAS,CAAC,sBAAsB,CAAC;IAC5C,IAAI,EAAE,YAAY;CACnB,CAAC,CAAC;AAEH,uGAAuG;AACvG,MAAM,CAAC,MAAM,oBAAoB,GAAG,UAAU,CAAC;IAC7C,SAAS,EAAE,SAAS,CAAC,kBAAkB,CAAC;IACxC,OAAO,EAAE,UAAU;IACnB,OAAO,EAAE,UAAU;CACpB,CAAC,CAAC;AA0BH,+EAA+E;AAE/E;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,MAAe;IACxC,IAAI,MAAM,YAAY,IAAI,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAI,MAAc,CAAC,IAAI,CAAC;QAClC,IAAI,OAAO,IAAI,KAAK,UAAU;YAAE,MAAM,IAAI,SAAS,CAAC,wDAAwD,CAAC,CAAC;QAC9G,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAQ,CAAC;IACpC,CAAC;IACD,MAAM,CAAC,GAAG,MAAa,CAAC;IACxB,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/F,OAAO,CAAC,CAAC,EAAQ,CAAC,CAAC,0BAA0B;IAC/C,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACtF,OAAO,CAAO,CAAC;IACjB,CAAC;IACD,MAAM,IAAI,SAAS,CAAC,6DAA6D,CAAC,CAAC;AACrF,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,EAAM,EAAE,IAAY;IACxC,IAAI,IAAI,GAAO,EAAE,CAAC;IAClB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,UAAkB,CAAC;QACjD,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;IAC5C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,qCAAqC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,IAAoC,CAAC;AAC9C,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAe,EAAE,YAAoC,EAAE;IAC1F,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAA8B,CAAC;IACnD,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE;QAChB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO;QACrC,MAAM,CAAC,GAAI,IAAmB,CAAC,KAAK,CAAC;QACrC,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO;QAC3D,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3G,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;YACf,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,MAAM,EAAG,CAAC,CAAC,SAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAqB,CAAC;YACrE,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,MAAM,EAAE,CAAC,CAAC,IAAI;YACd,QAAQ;YACR,eAAe,EAAE,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC;SACxC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC5B,CAAC;AAUD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW,EAAE,OAAe,EAAE,SAAkC,EAAE,UAAkC,EAAE;IACpI,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IACxE,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACjD,MAAM,EAAE,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,YAAY,CAAC,EAAE,EAAE,oBAAoB,IAAI,EAAE,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAI,IAAI,CAAC,KAAK,CAAC,QAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9E,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,oBAAoB,IAAI,aAAa,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,6CAA6C;gBACrG,wCAAwC,CAAC,CAAC;QAC9C,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3G,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CAAC,oBAAoB,IAAI,UAAU,OAAO,sFAAsF,CAAC,CAAC;QACnJ,CAAC;QACD,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,cAAc,CAAC,EAAE,CAAC;YACtB,IAAI;YACJ,SAAS,EAAE,oBAAoB,CAAC,EAAE,EAAE,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC;YAC5D,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;SACtB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;AACvD,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,EAAM;IAC5B,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;IACjD,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAO,CAAC;AACzE,CAAC;AAED,0EAA0E;AAC1E,4EAA4E;AAC5E,wEAAwE;AACxE,IAAI,aAAa,GAAwG,IAAI,CAAC;AAE9H,SAAS,KAAK;IACZ,aAAa,KAAK,EAAE,MAAM,EAAE,eAAe,CAAC,oBAAoB,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,oBAAoB,CAAC,EAAE,CAAC;IACnH,OAAO,aAAa,CAAC;AACvB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,QAA0B;IAC/D,OAAO,KAAK,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,sBAAsB,CAAC,IAAgB;IACrD,OAAO,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AA6BD,MAAM,UAAU,cAAc,CAAC,GAAW,EAAE,IAAY,EAAE,IAAc;IACtE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC9D,MAAM,IAAI,SAAS,CAAC,mBAAmB,GAAG,IAAI,IAAI,mDAAmD,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACpH,CAAC;IACD,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,SAAS,CAAC,6DAA6D,CAAC,CAAC;IACtG,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAgB,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACvH,OAAO,IAAI,CAAC,OAAO,CAAC;QAClB,QAAQ,EAAE,UAAU;QACpB,IAAI;QACJ,MAAM,EAAE,eAAe,EAAE;QACzB,IAAI,EAAE,eAAe;QACrB,eAAe,EAAE,EAAE;QACnB,SAAS,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACxC,KAAK,EAAE,KAAK;QACZ,QAAQ,EAAE,KAAK;KACT,CAAC,CAAC;AACZ,CAAC;AAED,+EAA+E;AAC/E,SAAS,YAAY,CAAC,IAAgB;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,SAAiB,CAAC;IAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChF,MAAM,IAAI,KAAK,CAAC,GAAG,eAAe,0DAA0D,CAAC,CAAC;IAChG,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAQ,CAAC,CAAC,EAAE,CAAC;AACvG,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,WAAW,CAAC,MAAe,EAAE,SAA6B;IACxE,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,SAAS,GAAG,IAAI,GAAG,EAA4B,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,SAAS;QAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAEvD,uEAAuE;IACvE,2CAA2C;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+E,CAAC;IACvG,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,IAAY,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;IAC9D,MAAM,IAAI,GAAG,CAAC,IAAQ,EAAE,KAAa,EAAQ,EAAE;QAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACpE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,YAAY,CAAC,IAAkB,CAAC,CAAC;YACvD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5E,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjD,MAAM,IAAI,KAAK,CACb,gBAAgB,GAAG,IAAI,IAAI,+BAA+B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACjI,CAAC;gBACD,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,KAAK,GAAG,CAAC,CAAC;YACvC,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC;QACzE,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9E,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,YAAY,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAC7C,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACzB,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAEnD,wEAAwE;IACxE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4D,CAAC;IACrF,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,kDAAkD,MAAM,CAAC,GAAG,eAAe,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,MAAM;gBAC1G,iGAAiG,CAAC,CAAC;QACvG,CAAC;QACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;QACtE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC;YACzE,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,GAAG,0BAA0B,MAAM,CAAC,IAAI,kBAAkB,KAAK,EAAE,CAAC,CAAC;QACrH,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CACb,gBAAgB,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,mBAAmB,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG;gBAC1F,mBAAmB,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,QAAQ,GAAe,OAAO,CAAC,UAAU,EAAE;YAC/C,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,IAAI,EAAE,UAAU,KAAK,IAAI,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;YAC5E,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,MAAM,CAAC,MAAM;SACxB,CAAC,CAAC;QACH,KAAK,IAAI,CAAC,CAAC;QACX,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QAClD,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAClH,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAsB,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,EAAE;QAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;IAErF,6EAA6E;IAC7E,MAAM,OAAO,GAAG,CAAC,IAAQ,EAAE,YAA2B,EAAM,EAAE;QAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACpE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,YAAY,CAAC,IAAkB,CAAC,CAAC;YACvD,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAE,CAAC;YAChD,KAAK,MAAM,GAAG,IAAI,YAAY;gBAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrE,OAAO,OAAO,CAAC,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAO,CAAC;QAC7F,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;YAC/D,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;YACrD,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,GAAI,IAAI,CAAC,KAAK,CAAC,QAAyB,EAAE,GAAG,KAAK,CAAC,EAAE,CAAO,CAAC;QAC3H,CAAC;QACD,OAAO,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAS,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE;QAChE,IAAI,EAAE,eAAe,CAAC,QAAQ,CAAC;QAC/B,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE;KACnB,CAAO,CAAC,CAAC;IACV,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,GAAI,IAAI,CAAC,KAAK,CAAC,UAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3G,MAAM,UAAU,GAAO,OAAO,CAAC,OAAO,EAAE;QACtC,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,CAAC,KAAK,CAAC,IAAI;QACrD,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;QACzB,UAAU;KACX,CAAO,CAAC;IACT,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAAO,CAAC;IACjF,IAAI,MAAM,GAAO,UAAU,CAAC;IAC5B,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,UAAkB,CAAC;QAC1C,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,CAAO,CAAC;IACpG,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACjC,CAAC;AAED,wCAAwC;AACxC,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;AAC9C,CAAC;AAED,+EAA+E;AAE/E,2DAA2D;AAC3D,SAAS,QAAQ,CAAC,IAAQ;IACxB,MAAM,GAAG,GAAS,EAAE,CAAC;IACrB,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,SAAS,WAAW,CAAC,IAAQ,EAAE,CAAoB;IACjD,MAAM,CAAC,GAAQ,IAAI,CAAC,KAAK,CAAC;IAC1B,MAAM,EAAE,GAAG,CAAC,OAAgC,EAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,EAAE,CAAO,CAAC;IACpG,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC;QAAC,KAAK,UAAU,CAAC;QAAC,KAAK,OAAO,CAAC;QAAC,KAAK,OAAO;YAC1D,OAAO,IAAI,CAAC;QACd,KAAK,OAAO;YACV,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACvC,KAAK,UAAU;YACb,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACvG,KAAK,KAAK,CAAC;QAAC,KAAK,QAAQ,CAAC;QAAC,KAAK,IAAI,CAAC;QAAC,KAAK,QAAQ,CAAC;QAAC,KAAK,SAAS,CAAC;QAAC,KAAK,iBAAiB,CAAC;QAAC,KAAK,eAAe,CAAC;QAAC,KAAK,QAAQ;YAC9H,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACnC,KAAK,UAAU,CAAC;QAAC,KAAK,eAAe;YACnC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC;QAAC,KAAK,WAAW;YAC3B,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAG,CAAC,CAAC,SAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClF,KAAK,UAAU,CAAC;QAAC,KAAK,QAAQ,CAAC;QAAC,KAAK,WAAW,CAAC;QAAC,KAAK,WAAW;YAChE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAG,CAAC,CAAC,MAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnD,KAAK,SAAS;YACZ,OAAO,EAAE,CAAC,EAAE,MAAM,EAAG,CAAC,CAAC,MAAmC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACjH,KAAK,QAAQ;YACX,OAAO,EAAE,CAAC,EAAE,MAAM,EAAG,CAAC,CAAC,MAAwC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACrH,KAAK,UAAU;YACb,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrC,KAAK,OAAO;YACV,OAAO,EAAE,CAAC,EAAE,UAAU,EAAG,CAAC,CAAC,UAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3D,KAAK,QAAQ;YACX,OAAO,EAAE,CAAC;gBACR,GAAG,EAAG,CAAC,CAAC,GAAqC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACxG,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;aAC1B,CAAC,CAAC;QACL,KAAK,OAAO;YACV,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAG,CAAC,CAAC,KAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACxG,KAAK,OAAO;YACV,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5D,KAAK,UAAU;YACb,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpD,KAAK,QAAQ;YACX,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChD,KAAK,SAAS;YACZ,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClD,KAAK,SAAS,CAAC;QAAC,KAAK,UAAU;YAC7B,OAAO,EAAE,CAAC,EAAE,SAAS,EAAG,CAAC,CAAC,SAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzD;YACE,MAAM,IAAI,KAAK,CAAC,qCAAsC,IAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC"}

package/dist/src/functions.spec.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+export {};
+//# sourceMappingURL=functions.spec.d.ts.map

package/dist/src/functions.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.spec.d.ts","sourceRoot":"","sources":["../../src/functions.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/src/functions.spec.js

@@ -0,0 +1,123 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Cross-language functions (#628): export a manifest, import by name,
+ * link into self-contained IR, and run it.
+ */
+import { describe, test } from "node:test";
+import assert from "node:assert/strict";
+import { East, EastIR, some, none, equalFor, ArrayType, FloatType, FunctionType, IntegerType, NullType, StringType, StructType, FunctionManifestType, IMPORT_PLATFORM, toSource, walkIR, } from "./index.js";
+const Row = StructType({ qty: IntegerType, price: FloatType });
+const score = East.function([Row], FloatType, ($, r) => r.qty.toFloat().multiply(r.price));
+const double = East.function([IntegerType], IntegerType, ($, x) => x.multiply(2n));
+const log = East.platform("log", [StringType], NullType);
+const shout = East.function([StringType], NullType, ($, s) => { $(log(s.upperCase())); });
+function countImports(ir) {
+    let n = 0;
+    walkIR(ir, node => { if (node.type === "Platform" && node.value.name === IMPORT_PLATFORM)
+        n += 1; });
+    return n;
+}
+describe("functions: export", () => {
+    test("a manifest carries each function's IR, declared type and platform dependencies, sorted by name", () => {
+        const manifest = East.exportFunctions("pricing", "1.2.3", { score, double, shout }, { providers: { log: "@elaraai/east-node-std" } });
+        assert.equal(manifest.package, "pricing");
+        assert.equal(manifest.version, "1.2.3");
+        assert.deepEqual(manifest.functions.map(f => f.name), ["double", "score", "shout"]);
+        const [d, s, sh] = manifest.functions;
+        assert.equal(d.ir.type, "Function");
+        assert.equal(s.type.type, "Function");
+        assert.deepEqual(d.platforms, []);
+        assert.equal(sh.platforms.length, 1);
+        assert.equal(sh.platforms[0].name, "log");
+        assert.equal(sh.platforms[0].async, false);
+        assert.deepEqual(sh.platforms[0].provider, some("@elaraai/east-node-std"));
+        assert.equal(sh.platforms[0].inputs.length, 1);
+    });
+    test("the manifest round trips through beast2", () => {
+        const manifest = East.exportFunctions("pricing", "1.0.0", { score, shout });
+        const back = East.decodeFunctionManifest(East.encodeFunctionManifest(manifest));
+        assert.ok(equalFor(FunctionManifestType)(back, manifest));
+        assert.deepEqual(back.functions[1].platforms[0].provider, none);
+    });
+    test("a closure and an unlinked importer are refused", () => {
+        const outer = East.function([IntegerType], IntegerType, ($, n) => {
+            const k = $.const(n.add(1n));
+            const inner = $.const(East.function([IntegerType], IntegerType, ($, x) => x.add(k)));
+            return inner(n);
+        });
+        // the nested closure is not reachable as a value here; export the outer (closed) fine
+        assert.doesNotThrow(() => East.exportFunctions("p", "1", { outer }));
+        const imported = East.importFunction("pricing", "double", FunctionType([IntegerType], IntegerType));
+        const user = East.function([IntegerType], IntegerType, ($, x) => imported(x));
+        assert.throws(() => East.exportFunctions("p", "1", { user }), /unresolved import/);
+    });
+});
+describe("functions: import and link", () => {
+    const manifest = East.exportFunctions("pricing", "1.0.0", { score, double, shout }, { providers: { log: "@elaraai/east-node-std" } });
+    test("an import is a callable expression whose IR is the east.importFunction platform node", () => {
+        const imported = East.importFunction("pricing", "double", FunctionType([IntegerType], IntegerType));
+        const user = East.function([IntegerType], IntegerType, ($, x) => imported(x).add(1n));
+        assert.equal(countImports(user.toIR().ir), 1);
+        assert.throws(() => East.compile(user, []), /east\.importFunction/);
+    });
+    test("linking embeds the exported IR and the program runs on the reference compiler", () => {
+        const imported = East.importFunction("pricing", "double", FunctionType([IntegerType], IntegerType));
+        const user = East.function([IntegerType], IntegerType, ($, x) => imported(x).add(1n));
+        const { ir, imports } = East.linkImports(user, [manifest]);
+        assert.equal(countImports(ir), 0);
+        assert.deepEqual(imports.map(i => `${i.package}.${i.name}`), ["pricing.double"]);
+        assert.equal(new EastIR(ir).compile([])(20n), 41n);
+    });
+    test("a use inside a callback captures the binding; several imports and repeated uses link once each", () => {
+        const s = East.importFunction("pricing", "score", FunctionType([Row], FloatType));
+        const d = East.importFunction("pricing", "double", FunctionType([IntegerType], IntegerType));
+        const user = East.function([ArrayType(Row)], FloatType, ($, rows) => {
+            const total = $.const(rows.map(($, r) => s(r)).sum());
+            const n = $.const(d(d(rows.size())));
+            return total.add(n.toFloat()).add(s(East.value({ qty: 1n, price: 0.5 }, Row)));
+        });
+        const { ir, imports } = East.linkImports(user, [manifest]);
+        assert.deepEqual(imports.map(i => i.name), ["score", "double"]);
+        const run = new EastIR(ir).compile([]);
+        // (2*1.5 + 3*2.0) + 4*2 + 0.5
+        assert.equal(run([{ qty: 2n, price: 1.5 }, { qty: 3n, price: 2.0 }]), 3 + 6 + 8 + 0.5);
+        // the printed source rebuilds the linked program (no imports left)
+        assert.doesNotMatch(toSource(ir), /importFunction/);
+    });
+    test("an import of a platform-calling function carries its dependencies and runs with the platform", () => {
+        const sh = East.importFunction("pricing", "shout", FunctionType([StringType], NullType));
+        const user = East.function([StringType], NullType, ($, s) => { $(sh(s)); });
+        const { ir, imports } = East.linkImports(user, [manifest]);
+        assert.equal(imports[0].platforms[0].name, "log");
+        assert.deepEqual(imports[0].platforms[0].provider, some("@elaraai/east-node-std"));
+        const seen = [];
+        new EastIR(ir).compile([log.implement((s) => { seen.push(s); })])("hi");
+        assert.deepEqual(seen, ["HI"]);
+    });
+    test("a missing manifest, a missing function and a type mismatch are build errors naming the import", () => {
+        const wrongType = East.importFunction("pricing", "double", FunctionType([FloatType], FloatType));
+        const user = East.function([FloatType], FloatType, ($, x) => wrongType(x));
+        assert.throws(() => East.linkImports(user, []), /no function manifest for package "pricing"/);
+        assert.throws(() => East.linkImports(user, [manifest]), /imported as .*Float.* but exported as .*Integer/);
+        const missing = East.importFunction("pricing", "nope", FunctionType([IntegerType], IntegerType));
+        const user2 = East.function([IntegerType], IntegerType, ($, x) => missing(x));
+        assert.throws(() => East.linkImports(user2, [manifest]), /exports no function "nope" — it exports double, score, shout/);
+    });
+    test("a function without imports links to itself", () => {
+        const bundle = double.toIR();
+        const { ir, imports } = East.linkImports(bundle, [manifest]);
+        assert.deepEqual(imports, []);
+        assert.equal(ir, bundle.ir);
+    });
+    test("the import prints as East.importFunction and the printed module rebuilds it", () => {
+        const imported = East.importFunction("pricing", "double", FunctionType([IntegerType], IntegerType));
+        const user = East.function([IntegerType], IntegerType, ($, x) => imported(x));
+        const source = toSource(user);
+        assert.match(source, /East\.importFunction\("pricing", "double", FunctionType\(\[IntegerType\], IntegerType\)\)/);
+        assert.throws(() => East.importFunction("pricing", "double", IntegerType), /needs a FunctionType/);
+    });
+});
+//# sourceMappingURL=functions.spec.js.map

package/dist/src/functions.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.spec.js","sourceRoot":"","sources":["../../src/functions.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EACL,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAClC,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EACjF,oBAAoB,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,GACxD,MAAM,YAAY,CAAC;AAEpB,MAAM,GAAG,GAAG,UAAU,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;AAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAC3F,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;AACzD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE1F,SAAS,YAAY,CAAC,EAAW;IAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,CAAC,EAAS,EAAE,IAAI,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe;QAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5G,OAAO,CAAC,CAAC;AACX,CAAC;AAED,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAI,CAAC,gGAAgG,EAAE,GAAG,EAAE;QAC1G,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,wBAAwB,EAAE,EAAE,CAAC,CAAC;QACtI,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACpF,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,CAAE,CAAC,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACvC,MAAM,CAAC,SAAS,CAAC,CAAE,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACnC,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,CAAC,SAAS,CAAC,EAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC/D,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrF,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,CAAC,CAAC;QACH,sFAAsF;QACtF,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;QACpG,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,wBAAwB,EAAE,EAAE,CAAC,CAAC;IAEtI,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAChG,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;QACpG,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACtF,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,sBAAsB,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACzF,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;QACpG,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACtF,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,EAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gGAAgG,EAAE,GAAG,EAAE;QAC1G,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;QAC7F,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE;YAClE,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YACtD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACrC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QACH,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAChE,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,EAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9C,8BAA8B;QAC9B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;QACvF,mEAAmE;QACnE,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,8FAA8F,EAAE,GAAG,EAAE;QACxG,MAAM,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;QACzF,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACpD,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC;QACrF,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,MAAM,CAAC,EAAS,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAS,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvF,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,+FAA+F,EAAE,GAAG,EAAE;QACzG,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;QACjG,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,4CAA4C,CAAC,CAAC;QAC9F,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,iDAAiD,CAAC,CAAC;QAC3G,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;QACjG,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,8DAA8D,CAAC,CAAC;IAC3H,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACvF,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;QACpG,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,2FAA2F,CAAC,CAAC;QAClH,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,QAAQ,EAAE,WAAkB,CAAC,EAAE,sBAAsB,CAAC,CAAC;IAC5G,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}