@foresthubai/workflow-core 0.3.0

package/dist/expression/parser.js

@@ -0,0 +1,309 @@
+import jsep from "jsep";
+/**
+ * Parse and validate an expression against C-style type rules.
+ * Replaces ${} placeholders with temporary identifiers, parses with jsep,
+ * infers types from the AST, and validates against the expected type.
+ */
+export function parseExpression(expr) {
+    // Handle early returns
+    if (!expr.expression.trim()) {
+        return { isValid: false, inferredType: null, errors: ["Expression is empty"] };
+    }
+    if (expr.variables.some((v) => v === null)) {
+        return { isValid: false, inferredType: null, errors: ["Expression contains stale variable references"] };
+    }
+    const errors = [];
+    // 1. Build type context from variables
+    const typeContext = new Map();
+    // Replace ${} placeholders with temp identifiers for jsep
+    let parsableExpr = expr.expression;
+    // Count placeholders in expression
+    const placeholderCount = (expr.expression.match(/\$\{\}/g) || []).length;
+    if (placeholderCount !== expr.variables.length) {
+        errors.push(`Placeholder count (${placeholderCount}) doesn't match reference count (${expr.variables.length})`);
+        return { isValid: false, inferredType: null, errors };
+    }
+    expr.variables.forEach((variable, i) => {
+        const placeholder = `__var${i}__`;
+        parsableExpr = parsableExpr.replace("${}", placeholder);
+        if (variable) {
+            typeContext.set(placeholder, variable.dataType);
+        }
+        else {
+            // Stale reference - variable was deleted
+            errors.push(`Referenced variable at position ${i + 1} not found`);
+        }
+    });
+    // If we have stale/null variables, don't proceed with parsing
+    if (errors.length > 0) {
+        return { isValid: false, inferredType: null, errors };
+    }
+    // 2. For string-type expressions, auto-wrap bare text as string literals
+    //    so users don't need to type quotes. E.g. `hello __var0__` → `"hello " + __var0__`
+    if (expr.expectedType === "string") {
+        parsableExpr = wrapStringTemplate(parsableExpr);
+    }
+    // 3. Parse with jsep
+    let ast;
+    try {
+        ast = jsep(parsableExpr);
+    }
+    catch (e) {
+        const message = e instanceof Error ? e.message : String(e);
+        return { isValid: false, inferredType: null, errors: [`Parse error: ${message}`] };
+    }
+    // 4. Infer type by walking AST
+    const inferredType = inferType(ast, typeContext, errors);
+    // 5. Check against expected type
+    if (inferredType && expr.expectedType !== inferredType) {
+        // Allow implicit conversions (int → float, etc.)
+        if (!isCompatible(inferredType, expr.expectedType)) {
+            errors.push(`Type mismatch: expression evaluates to '${inferredType}', expected '${expr.expectedType}'`);
+        }
+    }
+    return {
+        isValid: errors.length === 0 && inferredType !== null,
+        inferredType,
+        errors,
+    };
+}
+/**
+ * Recursively infer the type of an AST node
+ */
+function inferType(node, ctx, errors) {
+    switch (node.type) {
+        case "Literal":
+            return inferLiteralType(node);
+        case "Identifier": {
+            const name = node.name;
+            const type = ctx.get(name);
+            if (!type) {
+                // Check if it's a placeholder variable that's missing
+                if (name.startsWith("__var") && name.endsWith("__")) {
+                    errors.push(`Missing type for variable reference`);
+                }
+                else {
+                    errors.push(`Unknown identifier: '${name}'`);
+                }
+            }
+            return type ?? null;
+        }
+        case "BinaryExpression":
+            return inferBinaryType(node, ctx, errors);
+        case "UnaryExpression":
+            return inferUnaryType(node, ctx, errors);
+        case "ConditionalExpression": {
+            // Ternary: condition ? consequent : alternate
+            const cond = node;
+            const condType = inferType(cond.test, ctx, errors);
+            if (condType !== "bool") {
+                errors.push("Ternary condition must be boolean");
+            }
+            const consType = inferType(cond.consequent, ctx, errors);
+            const altType = inferType(cond.alternate, ctx, errors);
+            if (consType && altType && consType !== altType) {
+                // Allow numeric promotion
+                if (isNumeric(consType) && isNumeric(altType)) {
+                    return "float";
+                }
+                errors.push(`Ternary branches must have same type (got '${consType}' and '${altType}')`);
+            }
+            return consType;
+        }
+        case "MemberExpression": {
+            // For now, we don't support member expressions in C code generation
+            errors.push("Member expressions (e.g., obj.property) are not supported");
+            return null;
+        }
+        case "CallExpression": {
+            return inferCallType(node, ctx, errors);
+        }
+        default:
+            errors.push(`Unsupported expression type: ${node.type}`);
+            return null;
+    }
+}
+/**
+ * Infer the type of a literal value
+ */
+function inferLiteralType(node) {
+    const value = node.value;
+    if (typeof value === "boolean")
+        return "bool";
+    if (typeof value === "number") {
+        // Check if it's an integer or float
+        return Number.isInteger(value) ? "int" : "float";
+    }
+    if (typeof value === "string")
+        return "string";
+    // null/undefined - default to int
+    return "int";
+}
+/**
+ * Infer the result type of a binary operation
+ */
+function inferBinaryType(node, ctx, errors) {
+    const leftType = inferType(node.left, ctx, errors);
+    const rightType = inferType(node.right, ctx, errors);
+    const op = node.operator;
+    // If either operand failed to type, propagate null
+    if (!leftType || !rightType)
+        return null;
+    // String concatenation: string + any → string
+    if (op === "+" && (leftType === "string" || rightType === "string")) {
+        return "string";
+    }
+    // Arithmetic operators: int/float → int/float (promote to float if either is float)
+    if (["+", "-", "*", "/"].includes(op)) {
+        if (!isNumeric(leftType) || !isNumeric(rightType)) {
+            errors.push(`Operator '${op}' requires numeric operands (got '${leftType}' and '${rightType}')`);
+            return null;
+        }
+        return leftType === "float" || rightType === "float" ? "float" : "int";
+    }
+    // Modulo: int only
+    if (op === "%") {
+        if (leftType !== "int" || rightType !== "int") {
+            errors.push(`Operator '%' requires integer operands (got '${leftType}' and '${rightType}')`);
+            return null;
+        }
+        return "int";
+    }
+    // Comparison operators: numeric → bool
+    if (["<", ">", "<=", ">="].includes(op)) {
+        if (!isNumeric(leftType) || !isNumeric(rightType)) {
+            errors.push(`Operator '${op}' requires numeric operands (got '${leftType}' and '${rightType}')`);
+        }
+        return "bool";
+    }
+    // Equality operators: any → bool (but types should match)
+    if (["==", "!="].includes(op)) {
+        if (leftType !== rightType && !(isNumeric(leftType) && isNumeric(rightType))) {
+            errors.push(`Comparing incompatible types: '${leftType}' and '${rightType}'`);
+        }
+        return "bool";
+    }
+    // Logical operators: bool → bool
+    if (["&&", "||"].includes(op)) {
+        if (leftType !== "bool" || rightType !== "bool") {
+            errors.push(`Operator '${op}' requires boolean operands (got '${leftType}' and '${rightType}')`);
+        }
+        return "bool";
+    }
+    // Bitwise operators: int → int
+    if (["&", "|", "^", "<<", ">>"].includes(op)) {
+        if (leftType !== "int" || rightType !== "int") {
+            errors.push(`Bitwise operator '${op}' requires integer operands (got '${leftType}' and '${rightType}')`);
+            return null;
+        }
+        return "int";
+    }
+    errors.push(`Unknown operator: '${op}'`);
+    return null;
+}
+/**
+ * Infer the result type of a unary operation
+ */
+function inferUnaryType(node, ctx, errors) {
+    const argType = inferType(node.argument, ctx, errors);
+    if (!argType)
+        return null;
+    // Logical NOT: bool → bool
+    if (node.operator === "!") {
+        if (argType !== "bool") {
+            errors.push(`Logical NOT '!' requires boolean operand (got '${argType}')`);
+        }
+        return "bool";
+    }
+    // Unary plus/minus: numeric → same type
+    if (node.operator === "-" || node.operator === "+") {
+        if (!isNumeric(argType)) {
+            errors.push(`Unary '${node.operator}' requires numeric operand (got '${argType}')`);
+        }
+        return argType;
+    }
+    // Bitwise NOT: int → int
+    if (node.operator === "~") {
+        if (argType !== "int") {
+            errors.push(`Bitwise NOT '~' requires integer operand (got '${argType}')`);
+        }
+        return "int";
+    }
+    errors.push(`Unknown unary operator: '${node.operator}'`);
+    return argType;
+}
+/** Cast functions: expression syntax uses int(), float(), bool(), str()
+ * which the code generator translates to C casts / conversion calls.
+ */
+const CAST_FUNCTIONS = {
+    int: "int",
+    float: "float",
+    bool: "bool",
+    str: "string",
+};
+/**
+ * Infer the result type of a cast function call, e.g. int(expr), str(expr).
+ * Any type can be cast to any other type — it's the user's explicit intent.
+ */
+function inferCallType(node, ctx, errors) {
+    const callee = node.callee;
+    if (callee.type !== "Identifier") {
+        errors.push("Only cast functions are supported (int, float, bool, str)");
+        return null;
+    }
+    const name = callee.name;
+    const targetType = CAST_FUNCTIONS[name];
+    if (!targetType) {
+        errors.push(`Unknown function '${name}'. Available cast functions: int(), float(), bool(), str()`);
+        return null;
+    }
+    if (node.arguments.length !== 1) {
+        errors.push(`${name}() expects exactly 1 argument, got ${node.arguments.length}`);
+        return null;
+    }
+    // Validate the argument expression (ensure it type-checks). Length checked as 1 above.
+    inferType(node.arguments[0], ctx, errors);
+    return targetType;
+}
+/**
+ * Check if a type is numeric (int or float)
+ */
+function isNumeric(type) {
+    return type === "int" || type === "float";
+}
+/**
+ * Check if a type can be implicitly converted to another.
+ * - int ↔ float: both directions (truncation for float→int, common in embedded)
+ * - any → string: allowed (format strings)
+ * - bool is strict: requires explicit cast to/from bool
+ */
+function isCompatible(from, to) {
+    if (from === to)
+        return true;
+    if (isNumeric(from) && isNumeric(to))
+        return true;
+    if (to === "string")
+        return true;
+    return false;
+}
+/**
+ * Wrap bare text in a string-type expression into quoted string literals for jsep.
+ * Splits by variable placeholders (__varN__), quotes text segments, joins with +.
+ * E.g. `hello __var0__` → `"hello " + __var0__`
+ */
+function wrapStringTemplate(expr) {
+    // Split by __varN__ placeholders but keep them as delimiters
+    const parts = expr.split(/(__var\d+__)/);
+    const segments = [];
+    for (const part of parts) {
+        if (/^__var\d+__$/.test(part)) {
+            segments.push(part);
+        }
+        else if (part !== "") {
+            const escaped = part.replace(/\\/g, "\\\\").replace(/"/g, '\\"');
+            segments.push(`"${escaped}"`);
+        }
+    }
+    return segments.join(" + ");
+}
+//# sourceMappingURL=parser.js.map

package/dist/expression/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/expression/parser.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,MAAM,CAAC;AAaxB;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,IAAkB;IAChD,uBAAuB;IACvB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC;IACjF,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,+CAA+C,CAAC,EAAE,CAAC;IAC3G,CAAC;IAED,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,uCAAuC;IACvC,MAAM,WAAW,GAAgB,IAAI,GAAG,EAAE,CAAC;IAE3C,0DAA0D;IAC1D,IAAI,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC;IAEnC,mCAAmC;IACnC,MAAM,gBAAgB,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IAEzE,IAAI,gBAAgB,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,sBAAsB,gBAAgB,oCAAoC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;QAChH,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxD,CAAC;IAED,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC;QAClC,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAExD,IAAI,QAAQ,EAAE,CAAC;YACb,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAClD,CAAC;aAAM,CAAC;YACN,yCAAyC;YACzC,MAAM,CAAC,IAAI,CAAC,mCAAmC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACpE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,8DAA8D;IAC9D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxD,CAAC;IAED,yEAAyE;IACzE,uFAAuF;IACvF,IAAI,IAAI,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;QACnC,YAAY,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC;IAClD,CAAC;IAED,qBAAqB;IACrB,IAAI,GAAoB,CAAC;IACzB,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;IAC3B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3D,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,gBAAgB,OAAO,EAAE,CAAC,EAAE,CAAC;IACrF,CAAC;IAED,+BAA+B;IAC/B,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAEzD,iCAAiC;IACjC,IAAI,YAAY,IAAI,IAAI,CAAC,YAAY,KAAK,YAAY,EAAE,CAAC;QACvD,iDAAiD;QACjD,IAAI,CAAC,YAAY,CAAC,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC,2CAA2C,YAAY,gBAAgB,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC;QAC3G,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,KAAK,IAAI;QACrD,YAAY;QACZ,MAAM;KACP,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,SAAS,CAAC,IAAqB,EAAE,GAAgB,EAAE,MAAgB;IAC1E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,gBAAgB,CAAC,IAAoB,CAAC,CAAC;QAEhD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,IAAI,GAAI,IAAwB,CAAC,IAAI,CAAC;YAC5C,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,sDAAsD;gBACtD,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpD,MAAM,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;gBACrD,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,IAAI,CAAC,wBAAwB,IAAI,GAAG,CAAC,CAAC;gBAC/C,CAAC;YACH,CAAC;YACD,OAAO,IAAI,IAAI,IAAI,CAAC;QACtB,CAAC;QAED,KAAK,kBAAkB;YACrB,OAAO,eAAe,CAAC,IAA6B,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAErE,KAAK,iBAAiB;YACpB,OAAO,cAAc,CAAC,IAA4B,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAEnE,KAAK,uBAAuB,CAAC,CAAC,CAAC;YAC7B,8CAA8C;YAC9C,MAAM,IAAI,GAAG,IAAkC,CAAC;YAChD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YACnD,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YACzD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YACvD,IAAI,QAAQ,IAAI,OAAO,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;gBAChD,0BAA0B;gBAC1B,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC9C,OAAO,OAAO,CAAC;gBACjB,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,8CAA8C,QAAQ,UAAU,OAAO,IAAI,CAAC,CAAC;YAC3F,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,oEAAoE;YACpE,MAAM,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;YACzE,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,OAAO,aAAa,CAAC,IAA2B,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QACjE,CAAC;QAED;YACE,MAAM,CAAC,IAAI,CAAC,gCAAgC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACzD,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,IAAkB;IAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IAEzB,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAE9C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,oCAAoC;QACpC,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;IACnD,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAE/C,kCAAkC;IAClC,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,IAA2B,EAAE,GAAgB,EAAE,MAAgB;IACtF,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IACrD,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC;IAEzB,mDAAmD;IACnD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAEzC,8CAA8C;IAC9C,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,SAAS,KAAK,QAAQ,CAAC,EAAE,CAAC;QACpE,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,oFAAoF;IACpF,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,qCAAqC,QAAQ,UAAU,SAAS,IAAI,CAAC,CAAC;YACjG,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,QAAQ,KAAK,OAAO,IAAI,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;IACzE,CAAC;IAED,mBAAmB;IACnB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;QACf,IAAI,QAAQ,KAAK,KAAK,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,gDAAgD,QAAQ,UAAU,SAAS,IAAI,CAAC,CAAC;YAC7F,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,uCAAuC;IACvC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACxC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,qCAAqC,QAAQ,UAAU,SAAS,IAAI,CAAC,CAAC;QACnG,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,0DAA0D;IAC1D,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9B,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;YAC7E,MAAM,CAAC,IAAI,CAAC,kCAAkC,QAAQ,UAAU,SAAS,GAAG,CAAC,CAAC;QAChF,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,iCAAiC;IACjC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9B,IAAI,QAAQ,KAAK,MAAM,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,qCAAqC,QAAQ,UAAU,SAAS,IAAI,CAAC,CAAC;QACnG,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,+BAA+B;IAC/B,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAC7C,IAAI,QAAQ,KAAK,KAAK,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,qBAAqB,EAAE,qCAAqC,QAAQ,UAAU,SAAS,IAAI,CAAC,CAAC;YACzG,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,IAA0B,EAAE,GAAgB,EAAE,MAAgB;IACpF,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAEtD,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAE1B,2BAA2B;IAC3B,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC1B,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,kDAAkD,OAAO,IAAI,CAAC,CAAC;QAC7E,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,wCAAwC;IACxC,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QACnD,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,QAAQ,oCAAoC,OAAO,IAAI,CAAC,CAAC;QACtF,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,yBAAyB;IACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC1B,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,kDAAkD,OAAO,IAAI,CAAC,CAAC;QAC7E,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,4BAA4B,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC;IAC1D,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,MAAM,cAAc,GAA6B;IAC/C,GAAG,EAAE,KAAK;IACV,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,QAAQ;CACd,CAAC;AAEF;;;GAGG;AACH,SAAS,aAAa,CAAC,IAAyB,EAAE,GAAgB,EAAE,MAAgB;IAClF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;QACzE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,IAAI,GAAI,MAA0B,CAAC,IAAI,CAAC;IAC9C,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC,qBAAqB,IAAI,4DAA4D,CAAC,CAAC;QACnG,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,sCAAsC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QAClF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,uFAAuF;IACvF,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAE3C,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;GAEG;AACH,SAAS,SAAS,CAAC,IAAqB;IACtC,OAAO,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,OAAO,CAAC;AAC5C,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,IAAc,EAAE,EAAY;IAChD,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC7B,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,IAAI,EAAE,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjC,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,IAAY;IACtC,6DAA6D;IAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;aAAM,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjE,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC"}

package/dist/expression/types.d.ts

@@ -0,0 +1,11 @@
+import type { NodeOutput } from "../node";
+import type { DataType, Expression } from "../api";
+import type { Variable } from "../variable";
+export interface ResolvedExpr {
+    expression: string;
+    variables: (NodeOutput | null)[];
+    expectedType: DataType;
+}
+export declare function resolveExpression(apiExpr: Expression, availableVars: Record<string, Variable>): ResolvedExpr;
+export declare function isExpression(value: unknown): value is Expression;
+//# sourceMappingURL=types.d.ts.map

package/dist/expression/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/expression/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC1C,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACnD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAI5C,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC;IACjC,YAAY,EAAE,QAAQ,CAAC;CACxB;AAGD,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,YAAY,CAW5G;AAGD,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAEhE"}

package/dist/expression/types.js

@@ -0,0 +1,20 @@
+import { refToLookupKey } from "../variable";
+// Resolve an expression by converting variable references to runtime variables
+export function resolveExpression(apiExpr, availableVars) {
+    return {
+        expression: apiExpr.expression,
+        expectedType: apiExpr.dataType,
+        variables: apiExpr.references.map((ref) => {
+            if (!ref.varId)
+                return null;
+            const key = refToLookupKey(ref);
+            const v = availableVars[key];
+            return v ? { name: v.name, dataType: v.dataType } : null;
+        }),
+    };
+}
+// Check if a value is an expression (has references array)
+export function isExpression(value) {
+    return typeof value === "object" && value !== null && "expression" in value && "references" in value;
+}
+//# sourceMappingURL=types.js.map

package/dist/expression/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/expression/types.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAS7C,+EAA+E;AAC/E,MAAM,UAAU,iBAAiB,CAAC,OAAmB,EAAE,aAAuC;IAC5F,OAAO;QACL,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,OAAO,CAAC,QAAQ;QAC9B,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YACxC,IAAI,CAAC,GAAG,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC;YAC5B,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;YAChC,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;YAC7B,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3D,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,YAAY,IAAI,KAAK,IAAI,YAAY,IAAI,KAAK,CAAC;AACvG,CAAC"}

package/dist/function/FunctionDeclaration.d.ts

@@ -0,0 +1,43 @@
+import type { Expression, Schemas } from "../api";
+import type { ApiVariable } from "../variable";
+import type { DataType } from "../parameter";
+/**
+ * The flat call-site signature of a function: identity + version + ports, with no
+ * expressions (the contract's `FunctionInfo`, used both inside `Function` on the wire
+ * and here in the domain). It is the snapshot a {@link FunctionCallNode} caches — to
+ * detect drift against the live declaration and render its ports without a registry
+ * lookup — and the shape {@link buildFunctionNodeDef} consumes.
+ */
+export type FunctionInfo = Schemas["FunctionInfo"];
+/**
+ * A function output: its declaration (`uid`/`name`/`dataType`) bundled with the
+ * `expression` that produces it (evaluated in callee scope at the function's end).
+ * Acts as a supertype of {@link ApiVariable}.
+ */
+export interface OutputAssignment {
+    uid: string;
+    name: string;
+    dataType: DataType;
+    expression: Expression;
+}
+/**
+ * The domain function declaration: a signature with its outputs bundled
+ * (declaration + assignment per output).
+ * Separate from the function body (which is a canvas of nodes, edges, variables).
+ */
+export interface FunctionDeclaration {
+    id: string;
+    version: number;
+    name: string;
+    arguments: ApiVariable[];
+    outputs: OutputAssignment[];
+}
+/**
+ * Project a declaration to the flat call-site signature, dropping the expressions
+ * (the caller has no business storing the callee's internals). Used only when
+ * crossing from declaration to a call-site snapshot — dropping or migrating a
+ * `FunctionCall` node — and by serialization. Never used to represent a function
+ * within the domain.
+ */
+export declare function toFunctionInfo(fn: FunctionDeclaration): FunctionInfo;
+//# sourceMappingURL=FunctionDeclaration.d.ts.map

package/dist/function/FunctionDeclaration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FunctionDeclaration.d.ts","sourceRoot":"","sources":["../../src/function/FunctionDeclaration.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAE7C;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;AAEnD;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,CAAC;IACnB,UAAU,EAAE,UAAU,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,WAAW,EAAE,CAAC;IACzB,OAAO,EAAE,gBAAgB,EAAE,CAAC;CAC7B;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,mBAAmB,GAAG,YAAY,CAQpE"}

package/dist/function/FunctionDeclaration.js

@@ -0,0 +1,17 @@
+/**
+ * Project a declaration to the flat call-site signature, dropping the expressions
+ * (the caller has no business storing the callee's internals). Used only when
+ * crossing from declaration to a call-site snapshot — dropping or migrating a
+ * `FunctionCall` node — and by serialization. Never used to represent a function
+ * within the domain.
+ */
+export function toFunctionInfo(fn) {
+    return {
+        id: fn.id,
+        version: fn.version,
+        name: fn.name,
+        arguments: fn.arguments,
+        returns: fn.outputs.map(({ uid, name, dataType }) => ({ uid, name, dataType })),
+    };
+}
+//# sourceMappingURL=FunctionDeclaration.js.map

package/dist/function/FunctionDeclaration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FunctionDeclaration.js","sourceRoot":"","sources":["../../src/function/FunctionDeclaration.ts"],"names":[],"mappings":"AAsCA;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,EAAuB;IACpD,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,OAAO,EAAE,EAAE,CAAC,OAAO;QACnB,IAAI,EAAE,EAAE,CAAC,IAAI;QACb,SAAS,EAAE,EAAE,CAAC,SAAS;QACvB,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;KAChF,CAAC;AACJ,CAAC"}

package/dist/function/index.d.ts

@@ -0,0 +1,4 @@
+export type { OutputAssignment, FunctionDeclaration, FunctionInfo } from "./FunctionDeclaration";
+export { toFunctionInfo } from "./FunctionDeclaration";
+export { serialize, deserialize } from "./serialization";
+//# sourceMappingURL=index.d.ts.map

package/dist/function/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/function/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACjG,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/function/index.js

@@ -0,0 +1,3 @@
+export { toFunctionInfo } from "./FunctionDeclaration";
+export { serialize, deserialize } from "./serialization";
+//# sourceMappingURL=index.js.map

package/dist/function/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/function/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/function/serialization.d.ts

@@ -0,0 +1,20 @@
+import type { Expression } from "../api";
+import type { FunctionDeclaration, FunctionInfo } from "./FunctionDeclaration";
+/**
+ * The two wire pieces a {@link FunctionDeclaration} splits into. The contract keeps
+ * the signature (`functionInfo`) and the return-value expressions (`outputAssignments`)
+ * apart; the domain bundles them on `outputs`. The function *body*
+ * (nodes/edges/declaredVariables) is added separately by the workflow serializer —
+ * this only handles the declaration ⇄ wire mapping.
+ */
+export interface SerializedFunction {
+    functionInfo: FunctionInfo;
+    outputAssignments: Record<string, Expression>;
+}
+/** Domain declaration → wire pieces: flatten the signature and lift each output's
+ *  expression into the `outputAssignments` map keyed by output uid. */
+export declare function serialize(fn: FunctionDeclaration): SerializedFunction;
+/** Wire pieces → domain declaration: bundle each `return` with its assignment. A
+ *  return with no stored assignment gets an empty expression of the right dataType. */
+export declare function deserialize(functionInfo: FunctionInfo, outputAssignments: Record<string, Expression>): FunctionDeclaration;
+//# sourceMappingURL=serialization.d.ts.map

package/dist/function/serialization.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialization.d.ts","sourceRoot":"","sources":["../../src/function/serialization.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,KAAK,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAG/E;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB;IACjC,YAAY,EAAE,YAAY,CAAC;IAC3B,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CAC/C;AAED;uEACuE;AACvE,wBAAgB,SAAS,CAAC,EAAE,EAAE,mBAAmB,GAAG,kBAAkB,CAIrE;AAED;uFACuF;AACvF,wBAAgB,WAAW,CAAC,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,mBAAmB,CAa1H"}

package/dist/function/serialization.js

@@ -0,0 +1,26 @@
+import { toFunctionInfo } from "./FunctionDeclaration";
+/** Domain declaration → wire pieces: flatten the signature and lift each output's
+ *  expression into the `outputAssignments` map keyed by output uid. */
+export function serialize(fn) {
+    const outputAssignments = {};
+    for (const o of fn.outputs)
+        outputAssignments[o.uid] = o.expression;
+    return { functionInfo: toFunctionInfo(fn), outputAssignments };
+}
+/** Wire pieces → domain declaration: bundle each `return` with its assignment. A
+ *  return with no stored assignment gets an empty expression of the right dataType. */
+export function deserialize(functionInfo, outputAssignments) {
+    return {
+        id: functionInfo.id,
+        version: functionInfo.version,
+        name: functionInfo.name,
+        arguments: functionInfo.arguments,
+        outputs: functionInfo.returns.map((r) => ({
+            uid: r.uid,
+            name: r.name,
+            dataType: r.dataType,
+            expression: outputAssignments[r.uid] ?? { expression: "", references: [], dataType: r.dataType },
+        })),
+    };
+}
+//# sourceMappingURL=serialization.js.map

package/dist/function/serialization.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialization.js","sourceRoot":"","sources":["../../src/function/serialization.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAcvD;uEACuE;AACvE,MAAM,UAAU,SAAS,CAAC,EAAuB;IAC/C,MAAM,iBAAiB,GAA+B,EAAE,CAAC;IACzD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO;QAAE,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACpE,OAAO,EAAE,YAAY,EAAE,cAAc,CAAC,EAAE,CAAC,EAAE,iBAAiB,EAAE,CAAC;AACjE,CAAC;AAED;uFACuF;AACvF,MAAM,UAAU,WAAW,CAAC,YAA0B,EAAE,iBAA6C;IACnG,OAAO;QACL,EAAE,EAAE,YAAY,CAAC,EAAE;QACnB,OAAO,EAAE,YAAY,CAAC,OAAO;QAC7B,IAAI,EAAE,YAAY,CAAC,IAAI;QACvB,SAAS,EAAE,YAAY,CAAC,SAAS;QACjC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxC,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,UAAU,EAAE,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE;SACjG,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC"}

package/dist/id/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Centralized UID creation for every entity in a workflow — nodes, edges,
+ * channels, memory, models, declared variables, function arguments, and
+ * function canvases. IDs are opaque.
+ */
+export declare function generateId(): string;
+//# sourceMappingURL=index.d.ts.map

package/dist/id/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/id/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,wBAAgB,UAAU,IAAI,MAAM,CAEnC"}

package/dist/id/index.js

@@ -0,0 +1,9 @@
+/**
+ * Centralized UID creation for every entity in a workflow — nodes, edges,
+ * channels, memory, models, declared variables, function arguments, and
+ * function canvases. IDs are opaque.
+ */
+export function generateId() {
+    return crypto.randomUUID();
+}
+//# sourceMappingURL=index.js.map

package/dist/id/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/id/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO,MAAM,CAAC,UAAU,EAAE,CAAC;AAC7B,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,11 @@
+import { type ValidationResult } from "./diagnostics/diagnostics";
+import type { ApiWorkflow } from "./workflow/Workflow";
+export type { DataType, Reference, Expression } from "./api";
+export { migrate, CURRENT_SCHEMA_VERSION } from "./migration";
+/**
+ * Validate a workflow against the headless validator.
+ * Pure: no I/O, no Zustand, no React, no DOM. Runnable in Node, a CLI, or
+ * a Claude Code skill.
+ */
+export declare function validateWorkflow(workflow: ApiWorkflow): ValidationResult;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAyB,KAAK,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AACzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAMvD,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,OAAO,CAAC;AAI7D,OAAO,EAAE,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAE9D;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,WAAW,GAAG,gBAAgB,CAExE"}

package/dist/index.js

@@ -0,0 +1,14 @@
+import { deserialize } from "./workflow/serialization";
+import { validateWorkflowState } from "./diagnostics/diagnostics";
+// Format versioning: load persisted documents through `migrate` before
+// deserializing.
+export { migrate, CURRENT_SCHEMA_VERSION } from "./migration";
+/**
+ * Validate a workflow against the headless validator.
+ * Pure: no I/O, no Zustand, no React, no DOM. Runnable in Node, a CLI, or
+ * a Claude Code skill.
+ */
+export function validateWorkflow(workflow) {
+    return validateWorkflowState(deserialize(workflow));
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAyB,MAAM,2BAA2B,CAAC;AASzF,uEAAuE;AACvE,iBAAiB;AACjB,OAAO,EAAE,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAE9D;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAqB;IACpD,OAAO,qBAAqB,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;AACtD,CAAC"}

package/dist/memory/Memory.d.ts

@@ -0,0 +1,12 @@
+import type { Schemas } from "../api";
+export type MemoryType = "MemoryFile" | "VectorDatabase";
+export declare const ALL_MEMORY_TYPES: MemoryType[];
+export interface Memory {
+    id: string;
+    label: string;
+    type: MemoryType;
+    arguments: Record<string, unknown>;
+}
+/** Reference from an agent node to a declared MemoryFile, with access mode. Round-trips 1:1 with the API. */
+export type MemoryRef = Schemas["MemoryRef"];
+//# sourceMappingURL=Memory.d.ts.map

package/dist/memory/Memory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Memory.d.ts","sourceRoot":"","sources":["../../src/memory/Memory.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAEtC,MAAM,MAAM,UAAU,GAAG,YAAY,GAAG,gBAAgB,CAAC;AAEzD,eAAO,MAAM,gBAAgB,EAAE,UAAU,EAAqC,CAAC;AAE/E,MAAM,WAAW,MAAM;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,UAAU,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,6GAA6G;AAC7G,MAAM,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC"}

package/dist/memory/Memory.js

@@ -0,0 +1,2 @@
+export const ALL_MEMORY_TYPES = ["MemoryFile", "VectorDatabase"];
+//# sourceMappingURL=Memory.js.map

package/dist/memory/Memory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Memory.js","sourceRoot":"","sources":["../../src/memory/Memory.ts"],"names":[],"mappings":"AAIA,MAAM,CAAC,MAAM,gBAAgB,GAAiB,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC"}

package/dist/memory/MemoryDefinition.d.ts

@@ -0,0 +1,16 @@
+import type { Parameter } from "../parameter";
+import type { MemoryType } from "./Memory";
+/**
+ * Static, per-type metadata for a memory variant. Mirrors NodeDefinition:
+ * one definition object per MemoryType, registered in MemoryRegistry — unlike
+ * channels, which use a single union definition gated by activation rules.
+ * `label` is a top-level instance field (edited like a channel label), so it is
+ * never a parameter here.
+ */
+export interface MemoryDefinition {
+    type: MemoryType;
+    label: string;
+    description: string;
+    parameters: Parameter[];
+}
+//# sourceMappingURL=MemoryDefinition.d.ts.map

package/dist/memory/MemoryDefinition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MemoryDefinition.d.ts","sourceRoot":"","sources":["../../src/memory/MemoryDefinition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE3C;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,SAAS,EAAE,CAAC;CACzB"}

package/dist/memory/MemoryDefinition.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=MemoryDefinition.js.map

package/dist/memory/MemoryDefinition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MemoryDefinition.js","sourceRoot":"","sources":["../../src/memory/MemoryDefinition.ts"],"names":[],"mappings":""}