@sweny-ai/core 0.1.160 → 0.1.162

package/dist/migrations.js

@@ -0,0 +1,93 @@
+/**
+ * Workflow spec versioning and migrations.
+ *
+ * Every workflow file carries an optional top-level `spec_version` (a string
+ * holding a positive integer, e.g. "1"). A file without the field is version 1:
+ * that is what every file written before the field existed means.
+ *
+ * Breaking spec changes bump CURRENT_SPEC_VERSION and add one entry to
+ * MIGRATIONS: a pure function from the raw (unvalidated) vN object to the raw
+ * vN+1 object. The loader applies the chain in memory so old files keep
+ * running; `sweny workflow upgrade <file>` writes the result back to disk.
+ *
+ * Adding a migration: see `__tests__/migrations.test.ts` for the harness
+ * (registry validity check plus a chain test to copy).
+ */
+/** The spec version this build of sweny reads natively. */
+export const CURRENT_SPEC_VERSION = 1;
+/**
+ * Ordered registry, one entry per version step. Empty while v1 is current.
+ * Append only; never edit a shipped migration.
+ */
+export const MIGRATIONS = [];
+export const DEFAULT_MIGRATION_CONFIG = {
+    current: CURRENT_SPEC_VERSION,
+    migrations: MIGRATIONS,
+};
+/** Throws if a registry is not an unbroken chain of single steps ending at `current`. */
+export function assertRegistryValid(config) {
+    const { current, migrations } = config;
+    if (!Number.isInteger(current) || current < 1)
+        throw new Error("current spec version must be a positive integer");
+    if (migrations.length !== current - 1) {
+        throw new Error(`expected ${current - 1} migration(s) to reach v${current}, found ${migrations.length}`);
+    }
+    migrations.forEach((m, i) => {
+        if (m.from !== i + 1 || m.to !== i + 2) {
+            throw new Error(`migration #${i} must be v${i + 1} -> v${i + 2}, got v${m.from} -> v${m.to}`);
+        }
+    });
+}
+function parseVersion(value) {
+    if (typeof value === "number" && Number.isInteger(value) && value >= 1)
+        return value;
+    if (typeof value === "string" && /^[1-9]\d*$/.test(value))
+        return Number(value);
+    return null;
+}
+export function migrateWorkflow(raw, config = DEFAULT_MIGRATION_CONFIG) {
+    const declared = "spec_version" in raw && raw.spec_version !== undefined;
+    const from = declared ? parseVersion(raw.spec_version) : 1;
+    if (from === null) {
+        return {
+            ok: false,
+            code: "INVALID_VERSION",
+            message: `spec_version must be a positive integer string like "1", got ${JSON.stringify(raw.spec_version)}`,
+        };
+    }
+    if (from > config.current) {
+        return {
+            ok: false,
+            code: "TOO_NEW",
+            message: `This workflow declares spec_version "${from}", but this version of sweny supports up to "${config.current}". ` +
+                `Upgrade sweny (run "sweny upgrade", or npm install -g @sweny-ai/core@latest) and try again.`,
+        };
+    }
+    let current = declared ? { ...raw, spec_version: String(from) } : raw;
+    const applied = [];
+    for (let v = from; v < config.current; v++) {
+        const step = config.migrations.find((m) => m.from === v);
+        if (!step) {
+            return { ok: false, code: "MIGRATION_FAILED", message: `No migration registered from spec_version "${v}".` };
+        }
+        try {
+            current = { ...step.migrate(current), spec_version: String(step.to) };
+        }
+        catch (err) {
+            const msg = err instanceof Error ? err.message : String(err);
+            return {
+                ok: false,
+                code: "MIGRATION_FAILED",
+                message: `Migration from spec_version "${step.from}" to "${step.to}" failed: ${msg}`,
+            };
+        }
+        applied.push(step);
+    }
+    return { ok: true, workflow: current, from, to: config.current, declared, applied };
+}
+/** The single warning the loader emits when it migrated in memory. */
+export function migrationWarning(from, to, filePath) {
+    const target = filePath ? `"${filePath}"` : "<file>";
+    return (`Workflow uses spec_version "${from}" (current is "${to}"); migrated in memory for this run. ` +
+        `Run \`sweny workflow upgrade ${target}\` to update the file.`);
+}

package/dist/schema.d.ts

@@ -10,6 +10,7 @@ import { z } from "zod";
 import type { Workflow, WorkflowType } from "./types.js";
 import { sourceZ } from "./sources.js";
 import { workflowInputsZ } from "./inputs.js";
+export { isWhenExpression, whenLabel } from "./when.js";
 export { sourceZ };
 export { workflowInputsZ };
 export declare const jsonSchemaZ: z.ZodRecord<z.ZodString, z.ZodUnknown>;
@@ -1683,17 +1684,27 @@ export declare const nodeZ: z.ZodObject<{
 export declare const edgeZ: z.ZodObject<{
     from: z.ZodString;
     to: z.ZodString;
-    when: z.ZodOptional<z.ZodString>;
+    when: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodObject<{
+        expr: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        expr: string;
+    }, {
+        expr: string;
+    }>]>>;
     max_iterations: z.ZodOptional<z.ZodNumber>;
 }, "strict", z.ZodTypeAny, {
     from: string;
     to: string;
-    when?: string | undefined;
+    when?: string | {
+        expr: string;
+    } | undefined;
     max_iterations?: number | undefined;
 }, {
     from: string;
     to: string;
-    when?: string | undefined;
+    when?: string | {
+        expr: string;
+    } | undefined;
     max_iterations?: number | undefined;
 }>;
 /**
@@ -1714,6 +1725,7 @@ export declare const workflowZ: z.ZodObject<{
     id: z.ZodString;
     name: z.ZodString;
     description: z.ZodDefault<z.ZodString>;
+    spec_version: z.ZodOptional<z.ZodString>;
     workflow_type: z.ZodOptional<z.ZodEnum<["pr_review", "e2e_test", "content_generation", "monitor", "data_sync", "generic"]>>;
     nodes: z.ZodRecord<z.ZodString, z.ZodObject<{
         name: z.ZodString;
@@ -2465,17 +2477,27 @@ export declare const workflowZ: z.ZodObject<{
     edges: z.ZodArray<z.ZodObject<{
         from: z.ZodString;
         to: z.ZodString;
-        when: z.ZodOptional<z.ZodString>;
+        when: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodObject<{
+            expr: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            expr: string;
+        }, {
+            expr: string;
+        }>]>>;
         max_iterations: z.ZodOptional<z.ZodNumber>;
     }, "strict", z.ZodTypeAny, {
         from: string;
         to: string;
-        when?: string | undefined;
+        when?: string | {
+            expr: string;
+        } | undefined;
         max_iterations?: number | undefined;
     }, {
         from: string;
         to: string;
-        when?: string | undefined;
+        when?: string | {
+            expr: string;
+        } | undefined;
         max_iterations?: number | undefined;
     }>, "many">;
     entry: z.ZodString;
@@ -2845,7 +2867,9 @@ export declare const workflowZ: z.ZodObject<{
     edges: {
         from: string;
         to: string;
-        when?: string | undefined;
+        when?: string | {
+            expr: string;
+        } | undefined;
         max_iterations?: number | undefined;
     }[];
     entry: string;
@@ -2876,6 +2900,7 @@ export declare const workflowZ: z.ZodObject<{
         type?: string | undefined;
     })[] | undefined;
     judge_model?: string | undefined;
+    spec_version?: string | undefined;
     workflow_type?: "pr_review" | "e2e_test" | "content_generation" | "monitor" | "data_sync" | "generic" | undefined;
     judge_budget?: number | undefined;
     context_mode?: "full" | "bounded" | undefined;
@@ -3019,7 +3044,9 @@ export declare const workflowZ: z.ZodObject<{
     edges: {
         from: string;
         to: string;
-        when?: string | undefined;
+        when?: string | {
+            expr: string;
+        } | undefined;
         max_iterations?: number | undefined;
     }[];
     entry: string;
@@ -3064,6 +3091,7 @@ export declare const workflowZ: z.ZodObject<{
         type?: string | undefined;
     })[] | undefined;
     judge_model?: string | undefined;
+    spec_version?: string | undefined;
     workflow_type?: "pr_review" | "e2e_test" | "content_generation" | "monitor" | "data_sync" | "generic" | undefined;
     judge_budget?: number | undefined;
     context_mode?: "full" | "bounded" | undefined;
@@ -3235,7 +3263,9 @@ export declare function parseWorkflow(raw: unknown): {
     edges: {
         from: string;
         to: string;
-        when?: string | undefined;
+        when?: string | {
+            expr: string;
+        } | undefined;
         max_iterations?: number | undefined;
     }[];
     entry: string;
@@ -3266,6 +3296,7 @@ export declare function parseWorkflow(raw: unknown): {
         type?: string | undefined;
     })[] | undefined;
     judge_model?: string | undefined;
+    spec_version?: string | undefined;
     workflow_type?: "pr_review" | "e2e_test" | "content_generation" | "monitor" | "data_sync" | "generic" | undefined;
     judge_budget?: number | undefined;
     context_mode?: "full" | "bounded" | undefined;
@@ -3286,7 +3317,7 @@ export declare function parseWorkflow(raw: unknown): {
     } | undefined;
 };
 export interface WorkflowError {
-    code: "MISSING_ENTRY" | "UNKNOWN_EDGE_SOURCE" | "UNKNOWN_EDGE_TARGET" | "UNREACHABLE_NODE" | "UNKNOWN_SKILL" | "SELF_LOOP" | "UNBOUNDED_CYCLE" | "AMBIGUOUS_EDGES" | "UNSUPPORTED_EVAL_POLICY" | "INVALID_INLINE_SKILL" | "EDGE_ITERATIONS_EXCEEDED" | "RETRY_MAX_EXCEEDED" | "PERMISSION_CEILING" | "BUDGET_CEILING" | "OUTPUT_NOT_ALLOWED" | "DUPLICATE_OUTPUT" | "UNSUPPORTED_OUTPUT";
+    code: "MISSING_ENTRY" | "UNKNOWN_EDGE_SOURCE" | "UNKNOWN_EDGE_TARGET" | "UNREACHABLE_NODE" | "UNKNOWN_SKILL" | "SELF_LOOP" | "UNBOUNDED_CYCLE" | "AMBIGUOUS_EDGES" | "UNSUPPORTED_EVAL_POLICY" | "INVALID_INLINE_SKILL" | "EDGE_ITERATIONS_EXCEEDED" | "RETRY_MAX_EXCEEDED" | "PERMISSION_CEILING" | "BUDGET_CEILING" | "OUTPUT_NOT_ALLOWED" | "DUPLICATE_OUTPUT" | "UNSUPPORTED_OUTPUT" | "INVALID_WHEN_EXPRESSION" | "MIXED_EDGE_CONDITIONS";
     message: string;
     nodeId?: string;
 }
@@ -3649,6 +3680,11 @@ export declare const workflowJsonSchema: {
         readonly description: {
             readonly type: "string";
         };
+        readonly spec_version: {
+            readonly type: "string";
+            readonly pattern: "^[1-9][0-9]*$";
+            readonly description: "Workflow spec version as a positive integer string. Absent means 1. Older versions are migrated in memory on load; newer than the CLI supports is refused. Run `sweny workflow upgrade <file>` to rewrite a file at the current version.";
+        };
         readonly entry: {
             readonly type: "string";
             readonly minLength: 1;
@@ -4090,8 +4126,22 @@ export declare const workflowJsonSchema: {
                         readonly minLength: 1;
                     };
                     readonly when: {
-                        readonly type: "string";
-                        readonly description: "Natural language condition, evaluated at runtime by the workflow's harness.";
+                        readonly description: "Condition for taking this edge. A string is natural language, evaluated at runtime by the workflow's harness. An object { expr } is a deterministic expression over prior nodes' declared output fields, evaluated by sweny with no model call.";
+                        readonly oneOf: readonly [{
+                            readonly type: "string";
+                        }, {
+                            readonly type: "object";
+                            readonly required: readonly ["expr"];
+                            readonly additionalProperties: false;
+                            readonly properties: {
+                                readonly expr: {
+                                    readonly type: "string";
+                                    readonly minLength: 1;
+                                    readonly maxLength: 2000;
+                                    readonly description: "Boolean expression: == != < <= > >= in, && || !, exists, string/number/boolean/null literals, and node.field paths to declared output fields.";
+                                };
+                            };
+                        }];
                     };
                     readonly max_iterations: {
                         readonly type: "integer";

package/dist/schema.js

@@ -10,6 +10,9 @@ import { z } from "zod";
 import { AUTHOR_ASSOCIATIONS, CONTEXT_MODES, EVALUATOR_KINDS, EVAL_POLICIES, MCP_TRANSPORTS, NODE_ACCESS, NODE_ON_FAIL, REQUIRES_ON_FAIL, SAFE_OUTPUT_APPLIERS, SAFE_OUTPUT_EXPIRES_PATTERN, SAFE_OUTPUT_MAX_CEILING, SAFE_OUTPUT_STATES, SAFE_OUTPUT_TYPES, SKILL_CATEGORIES, SKILL_ID_MAX_LENGTH, SKILL_ID_PATTERN, TOOL_ACCESS, TOOL_CLASSES, WORKFLOW_TYPES, } from "./types.js";
 import { sourceZ } from "./sources.js";
 import { workflowInputsZ, WORKFLOW_INPUT_TYPES } from "./inputs.js";
+import { checkExpression, isWhenExpression, WHEN_EXPR_MAX_LENGTH } from "./when.js";
+// Studio and other schema-only consumers label edges without importing the root entry.
+export { isWhenExpression, whenLabel } from "./when.js";
 export { sourceZ };
 export { workflowInputsZ };
 // ─── Zod Schemas ─────────────────────────────────────────────────
@@ -330,7 +333,9 @@ export const edgeZ = z
     .object({
     from: z.string().min(1),
     to: z.string().min(1),
-    when: z.string().optional(),
+    // Natural language (the harness picks the edge) or `{ expr }`, a
+    // deterministic expression sweny evaluates itself (#461). One or the other.
+    when: z.union([z.string(), z.object({ expr: z.string().min(1).max(WHEN_EXPR_MAX_LENGTH) }).strict()]).optional(),
     max_iterations: z.number().int().min(1).max(EDGE_MAX_ITERATIONS_CEILING).optional(),
 })
     .strict();
@@ -357,6 +362,10 @@ export const workflowZ = z.object({
     id: z.string().min(1),
     name: z.string().min(1),
     description: z.string().default(""),
+    spec_version: z
+        .string()
+        .regex(/^[1-9]\d*$/, "spec_version must be a positive integer string")
+        .optional(),
     workflow_type: workflowTypeZ.optional(),
     nodes: z.record(nodeZ),
     edges: z.array(edgeZ),
@@ -503,6 +512,68 @@ export function validateWorkflow(workflow, knownSkills) {
             });
         }
     }
+    // Deterministic `when` expressions (#461). Every path must name a declared
+    // output field of the edge's source node or one of its ancestors, so a typo
+    // is a load error rather than a branch that never fires. A node routes on
+    // expressions or on natural language, never both: a mixed node would hand
+    // the expression edges to the model and lose the determinism the author
+    // asked for.
+    const ancestorsCache = new Map();
+    const inAll = new Map();
+    for (const [from, tos] of outAll)
+        for (const to of tos)
+            push(inAll, to, from);
+    const ancestorsOf = (id) => {
+        let seen = ancestorsCache.get(id);
+        if (seen)
+            return seen;
+        seen = new Set([id]);
+        const queue = [id];
+        for (let i = 0; i < queue.length; i++) {
+            for (const from of inAll.get(queue[i]) ?? []) {
+                if (!seen.has(from)) {
+                    seen.add(from);
+                    queue.push(from);
+                }
+            }
+        }
+        ancestorsCache.set(id, seen);
+        return seen;
+    };
+    const outputs = Object.fromEntries(Object.entries(workflow.nodes).map(([id, n]) => [id, n.output]));
+    const conditionKinds = new Map();
+    for (const edge of workflow.edges) {
+        if (!nodeIds.has(edge.from) || !edge.when)
+            continue;
+        const kinds = conditionKinds.get(edge.from) ?? { expr: 0, nl: 0 };
+        conditionKinds.set(edge.from, kinds);
+        if (!isWhenExpression(edge.when)) {
+            kinds.nl++;
+            continue;
+        }
+        kinds.expr++;
+        const problems = checkExpression(edge.when.expr, {
+            from: edge.from,
+            ancestors: ancestorsOf(edge.from),
+            outputs,
+        });
+        for (const problem of problems) {
+            errors.push({
+                code: "INVALID_WHEN_EXPRESSION",
+                message: `Edge "${edge.from}" -> "${edge.to}": ${problem}`,
+                nodeId: edge.from,
+            });
+        }
+    }
+    for (const [from, kinds] of conditionKinds) {
+        if (kinds.expr > 0 && kinds.nl > 0) {
+            errors.push({
+                code: "MIXED_EDGE_CONDITIONS",
+                message: `Node "${from}" mixes expression and natural-language 'when' conditions on its out-edges; use one kind per node (an unconditional default edge is fine with either)`,
+                nodeId: from,
+            });
+        }
+    }
     // Reachability: BFS from entry. Skipped only when the entry is missing
     // (every node would be reported, which is noise). All other diagnostics
     // accumulate so one pass reports every structural problem.
@@ -954,6 +1025,11 @@ export const workflowJsonSchema = {
         id: { type: "string", minLength: 1 },
         name: { type: "string", minLength: 1 },
         description: { type: "string" },
+        spec_version: {
+            type: "string",
+            pattern: "^[1-9][0-9]*$",
+            description: "Workflow spec version as a positive integer string. Absent means 1. Older versions are migrated in memory on load; newer than the CLI supports is refused. Run `sweny workflow upgrade <file>` to rewrite a file at the current version.",
+        },
         entry: { type: "string", minLength: 1, description: "ID of the entry node" },
         rules: {
             type: "array",
@@ -1290,8 +1366,23 @@ export const workflowJsonSchema = {
                     from: { type: "string", minLength: 1 },
                     to: { type: "string", minLength: 1 },
                     when: {
-                        type: "string",
-                        description: "Natural language condition, evaluated at runtime by the workflow's harness.",
+                        description: "Condition for taking this edge. A string is natural language, evaluated at runtime by the workflow's harness. An object { expr } is a deterministic expression over prior nodes' declared output fields, evaluated by sweny with no model call.",
+                        oneOf: [
+                            { type: "string" },
+                            {
+                                type: "object",
+                                required: ["expr"],
+                                additionalProperties: false,
+                                properties: {
+                                    expr: {
+                                        type: "string",
+                                        minLength: 1,
+                                        maxLength: WHEN_EXPR_MAX_LENGTH,
+                                        description: "Boolean expression: == != < <= > >= in, && || !, exists, string/number/boolean/null literals, and node.field paths to declared output fields.",
+                                    },
+                                },
+                            },
+                        ],
                     },
                     max_iterations: {
                         type: "integer",

package/dist/studio.d.ts

@@ -38,7 +38,7 @@
  *    directly to node highlights. node:enter → glow blue,
  *    tool:call → show tool name, node:exit → green/red.
  */
-import type { Workflow, Node, ExecutionEvent, NodeResult, Skill } from "./types.js";
+import type { Workflow, Node, Edge, ExecutionEvent, NodeResult, Skill } from "./types.js";
 export interface FlowNode {
     id: string;
     type: "skillNode";
@@ -74,7 +74,7 @@ export interface FlowEdge {
     /** Array index of this edge in workflow.edges — used for stable lookups. */
     edgeIndex: number;
     data: {
-        when?: string;
+        when?: Edge["when"];
         max_iterations?: number;
         isConditional: boolean;
     };

package/dist/types.d.ts

@@ -489,12 +489,26 @@ export interface NodeToolFilter {
     /** Skill tool names removed from the node (applied after `allow`). */
     deny?: string[];
 }
+/**
+ * A deterministic edge condition (#461): a boolean expression over prior
+ * nodes' declared output fields, evaluated by sweny with no model call.
+ * Grammar and semantics: `when.ts`.
+ */
+export interface WhenExpression {
+    expr: string;
+}
+/** An edge condition: natural language (model-evaluated) or a `{ expr }` expression. */
+export type EdgeWhen = string | WhenExpression;
 /** An edge connecting two nodes */
 export interface Edge {
     from: string;
     to: string;
-    /** Natural language condition, evaluated at runtime by the workflow's harness. */
-    when?: string;
+    /**
+     * Condition for taking this edge. A string is natural language, evaluated at
+     * runtime by the workflow's harness. `{ expr }` is a deterministic expression
+     * evaluated by sweny with no model call.
+     */
+    when?: EdgeWhen;
     /** Max times this edge can be followed (enables retry loops). Default: unlimited. */
     max_iterations?: number;
 }
@@ -514,6 +528,8 @@ export interface Workflow {
     id: string;
     name: string;
     description: string;
+    /** Spec version, a positive integer string (e.g. "1"). Absent means "1". See `migrations.ts`. */
+    spec_version?: string;
     /** Optional. Defaults to "generic" when absent. Required on marketplace templates. */
     workflow_type?: WorkflowType;
     nodes: Record<string, Node>;

package/dist/when.d.ts

@@ -0,0 +1,114 @@
+/**
+ * Deterministic `when` expressions (#461).
+ *
+ * An edge's `when` is either natural language (a model picks the edge at
+ * runtime) or `{ expr: "..." }`, a small boolean expression over prior nodes'
+ * declared output fields that sweny evaluates itself, with no model call.
+ *
+ * Grammar (precedence low to high):
+ *
+ *   expr       := or
+ *   or         := and ( "||" and )*
+ *   and        := unary ( "&&" unary )*
+ *   unary      := "!" unary | comparison
+ *   comparison := operand ( ( "==" | "!=" | "<" | "<=" | ">" | ">=" | "in" ) operand )?
+ *   operand    := literal | list | path | "exists" path | "(" expr ")"
+ *   list       := "[" ( literal ( "," literal )* )? "]"
+ *   literal    := number | 'string' | "string" | true | false | null
+ *   path       := ident ( "." ident )+          (node id, then field, then nested fields)
+ *
+ * Semantics are strict and total. There is no coercion and no truthiness:
+ * `&&`, `||`, `!` and the expression itself need booleans; `<` and friends
+ * need two numbers or two strings; `in` needs a list on the right. A missing
+ * field (undefined, or a node that did not run or did not succeed) or a type
+ * mismatch makes the WHOLE expression false and is reported, so a negation
+ * can never turn a missing field into a silent true. `exists path` is the
+ * one explicit presence test: true when the value is present and not null,
+ * never a warning. `&&` and `||` short-circuit, so `exists a.x && a.x > 0`
+ * is safe.
+ *
+ * Pure module: no I/O, no eval, no Function, browser-safe. Strings in the
+ * routed data are compared as data only; nothing in them is ever parsed.
+ */
+import type { EdgeWhen, JSONSchema, WhenExpression } from "./types.js";
+/** Longest expression source accepted. Routing conditions are short. */
+export declare const WHEN_EXPR_MAX_LENGTH = 2000;
+/** True when an edge `when` is the structured `{ expr }` form. */
+export declare function isWhenExpression(when: unknown): when is WhenExpression;
+/** Human-readable label for a `when`: the NL text or the expression source. */
+export declare function whenLabel(when: EdgeWhen | undefined): string | undefined;
+export type Literal = string | number | boolean | null;
+export type ExprNode = {
+    kind: "literal";
+    value: Literal;
+} | {
+    kind: "list";
+    items: Literal[];
+} | {
+    kind: "path";
+    segments: string[];
+} | {
+    kind: "exists";
+    path: {
+        kind: "path";
+        segments: string[];
+    };
+} | {
+    kind: "not";
+    operand: ExprNode;
+} | {
+    kind: "and" | "or";
+    left: ExprNode;
+    right: ExprNode;
+} | {
+    kind: "cmp";
+    op: CmpOp;
+    left: ExprNode;
+    right: ExprNode;
+};
+export type CmpOp = "==" | "!=" | "<" | "<=" | ">" | ">=" | "in";
+export declare class ExpressionSyntaxError extends Error {
+    readonly position: number;
+    constructor(message: string, position: number);
+}
+/**
+ * Parse an expression source into an AST. Throws `ExpressionSyntaxError` on
+ * any syntax problem, including an empty source, an over-long source, or
+ * nesting deeper than the cap.
+ */
+export declare function parseExpression(src: string): ExprNode;
+/**
+ * Per-node data an expression may read, keyed by node id. A node that did not
+ * run or did not succeed is absent, so every path into it reads as missing.
+ */
+export type ExpressionScope = Record<string, Record<string, unknown> | undefined>;
+export interface ExpressionResult {
+    /** The edge is taken only when this is true. */
+    value: boolean;
+    /**
+     * Why the expression was forced false: a missing field or a type mismatch.
+     * Absent when it evaluated normally (to true or false).
+     */
+    problem?: string;
+}
+/**
+ * Evaluate a parsed expression against node outputs. Never throws: a missing
+ * field or a type mismatch yields `{ value: false, problem }`.
+ */
+export declare function evaluateExpression(ast: ExprNode, scope: ExpressionScope): ExpressionResult;
+/**
+ * Check an expression against the workflow it routes. Returns one message per
+ * problem, empty when the expression is valid:
+ *   - the source must parse;
+ *   - every path's node must be the edge's source or one of its ancestors;
+ *   - that node must declare `output.properties`, and the field (and any
+ *     nested field) must be declared there;
+ *   - a literal compared with a declared field must fit its declared type,
+ *     and a string literal compared with an enum field must be in the enum;
+ *   - a field used where a boolean is needed must be declared boolean.
+ */
+export declare function checkExpression(src: string, ctx: {
+    from: string;
+    ancestors: Set<string>;
+    outputs: Record<string, JSONSchema | undefined>;
+}): string[];