@manifesto-ai/core 0.3.0 → 1.3.0

package/dist/core/validation-utils.d.ts

@@ -0,0 +1,20 @@
+import type { ExprNode } from "../schema/expr.js";
+import type { FlowNode } from "../schema/flow.js";
+import type { FieldSpec, StateSpec } from "../schema/field.js";
+import type { ComputedSpec } from "../schema/computed.js";
+export declare function isValidSchemaId(id: string): boolean;
+export declare function isValidSemver(version: string): boolean;
+export declare function collectGetPathsFromExpr(expr: ExprNode): string[];
+export declare function collectGetPathsFromFlow(flow: FlowNode): string[];
+export declare function pathExistsInStateSpec(state: StateSpec, path: string): boolean;
+export declare function pathExistsInComputedSpec(computed: ComputedSpec, path: string): boolean;
+export declare function pathExistsInFieldSpec(spec: FieldSpec, path: string): boolean;
+export declare function validateValueAgainstFieldSpec(value: unknown, spec: FieldSpec, options?: {
+    allowPartial?: boolean;
+    allowUndefined?: boolean;
+}): {
+    ok: boolean;
+    message?: string;
+};
+export declare function getFieldSpecAtPath(spec: FieldSpec, path: string): FieldSpec | null;
+//# sourceMappingURL=validation-utils.d.ts.map

package/dist/core/validation-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-utils.d.ts","sourceRoot":"","sources":["../../src/core/validation-utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAQ1D,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAEnD;AAED,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAEtD;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,EAAE,CAiGhE;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,EAAE,CAoChE;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAE7E;AAED,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAEtF;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAsC5E;AAED,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,SAAS,EACf,OAAO,CAAC,EAAE;IAAE,YAAY,CAAC,EAAE,OAAO,CAAC;IAAC,cAAc,CAAC,EAAE,OAAO,CAAA;CAAE,GAC7D;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,CAuDnC;AAwCD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CA8BlF"}

package/dist/core/validation-utils.js

@@ -0,0 +1,289 @@
+const SEMVER_REGEX = /^\d+\.\d+\.\d+(?:-[0-9A-Za-z-]+(?:\.[0-9A-Za-z-]+)*)?(?:\+[0-9A-Za-z-]+(?:\.[0-9A-Za-z-]+)*)?$/;
+const URI_SCHEME_REGEX = /^[a-zA-Z][a-zA-Z0-9+.-]*:/;
+const UUID_REGEX = /^[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/i;
+export function isValidSchemaId(id) {
+    return URI_SCHEME_REGEX.test(id) || UUID_REGEX.test(id);
+}
+export function isValidSemver(version) {
+    return SEMVER_REGEX.test(version);
+}
+export function collectGetPathsFromExpr(expr) {
+    const paths = [];
+    const visit = (node) => {
+        switch (node.kind) {
+            case "lit":
+                return;
+            case "get":
+                paths.push(node.path);
+                return;
+            case "eq":
+            case "neq":
+            case "gt":
+            case "gte":
+            case "lt":
+            case "lte":
+            case "add":
+            case "sub":
+            case "mul":
+            case "div":
+            case "mod":
+                visit(node.left);
+                visit(node.right);
+                return;
+            case "and":
+            case "or":
+            case "concat":
+            case "coalesce":
+                node.args.forEach(visit);
+                return;
+            case "not":
+            case "typeof":
+            case "isNull":
+            case "len":
+                visit(node.arg);
+                return;
+            case "first":
+            case "last":
+                visit(node.array);
+                return;
+            case "if":
+                visit(node.cond);
+                visit(node.then);
+                visit(node.else);
+                return;
+            case "substring":
+                visit(node.str);
+                visit(node.start);
+                if (node.end)
+                    visit(node.end);
+                return;
+            case "trim":
+                visit(node.str);
+                return;
+            case "at":
+                visit(node.array);
+                visit(node.index);
+                return;
+            case "slice":
+                visit(node.array);
+                visit(node.start);
+                if (node.end)
+                    visit(node.end);
+                return;
+            case "includes":
+                visit(node.array);
+                visit(node.item);
+                return;
+            case "filter":
+            case "find":
+            case "every":
+            case "some":
+                visit(node.array);
+                visit(node.predicate);
+                return;
+            case "map":
+                visit(node.array);
+                visit(node.mapper);
+                return;
+            case "append":
+                visit(node.array);
+                node.items.forEach(visit);
+                return;
+            case "object":
+                Object.values(node.fields).forEach(visit);
+                return;
+            case "keys":
+            case "values":
+            case "entries":
+                visit(node.obj);
+                return;
+            case "merge":
+                node.objects.forEach(visit);
+                return;
+        }
+    };
+    visit(expr);
+    return paths;
+}
+export function collectGetPathsFromFlow(flow) {
+    const paths = [];
+    const visitFlow = (node) => {
+        switch (node.kind) {
+            case "seq":
+                node.steps.forEach(visitFlow);
+                return;
+            case "if":
+                paths.push(...collectGetPathsFromExpr(node.cond));
+                visitFlow(node.then);
+                if (node.else)
+                    visitFlow(node.else);
+                return;
+            case "patch":
+                if (node.op !== "unset" && node.value) {
+                    paths.push(...collectGetPathsFromExpr(node.value));
+                }
+                return;
+            case "effect":
+                Object.values(node.params).forEach((expr) => {
+                    paths.push(...collectGetPathsFromExpr(expr));
+                });
+                return;
+            case "fail":
+                if (node.message) {
+                    paths.push(...collectGetPathsFromExpr(node.message));
+                }
+                return;
+            case "call":
+            case "halt":
+                return;
+        }
+    };
+    visitFlow(flow);
+    return paths;
+}
+export function pathExistsInStateSpec(state, path) {
+    return pathExistsInFieldSpec({ type: "object", required: true, fields: state.fields }, path);
+}
+export function pathExistsInComputedSpec(computed, path) {
+    return path in computed.fields;
+}
+export function pathExistsInFieldSpec(spec, path) {
+    if (!path) {
+        return true;
+    }
+    const segments = path.split(".");
+    let current = spec;
+    for (const segment of segments) {
+        if (!current) {
+            return false;
+        }
+        const fieldType = current.type;
+        if (fieldType === "object") {
+            if (!current.fields) {
+                // Open object allows any nested path (e.g., Json types)
+                return true;
+            }
+            if (!(segment in current.fields)) {
+                return false;
+            }
+            current = current.fields[segment];
+            continue;
+        }
+        if (fieldType === "array") {
+            if (!isNumericSegment(segment)) {
+                return false;
+            }
+            current = current.items ?? null;
+            continue;
+        }
+        return false;
+    }
+    return true;
+}
+export function validateValueAgainstFieldSpec(value, spec, options) {
+    if (value === undefined) {
+        if (options?.allowUndefined && spec.required === false) {
+            return { ok: true };
+        }
+        return { ok: false, message: "Value is required" };
+    }
+    if (value === null) {
+        return { ok: true };
+    }
+    const fieldType = spec.type;
+    if (typeof fieldType === "object" && "enum" in fieldType) {
+        return fieldType.enum.some((entry) => Object.is(entry, value))
+            ? { ok: true }
+            : { ok: false, message: "Value is not in enum" };
+    }
+    switch (fieldType) {
+        case "null":
+            return value === null ? { ok: true } : { ok: false, message: "Expected null" };
+        case "string":
+            return typeof value === "string" ? { ok: true } : { ok: false, message: "Expected string" };
+        case "number":
+            return typeof value === "number" && Number.isFinite(value)
+                ? { ok: true }
+                : { ok: false, message: "Expected number" };
+        case "boolean":
+            return typeof value === "boolean" ? { ok: true } : { ok: false, message: "Expected boolean" };
+        case "object":
+            if (value === null || Array.isArray(value) || typeof value !== "object") {
+                return { ok: false, message: "Expected object" };
+            }
+            return validateObjectValue(value, spec, options?.allowPartial ?? false, options?.allowUndefined ?? false);
+        case "array":
+            if (!Array.isArray(value)) {
+                return { ok: false, message: "Expected array" };
+            }
+            if (!spec.items) {
+                return { ok: true };
+            }
+            for (const item of value) {
+                const result = validateValueAgainstFieldSpec(item, spec.items, { allowUndefined: false });
+                if (!result.ok) {
+                    return result;
+                }
+            }
+            return { ok: true };
+    }
+}
+function validateObjectValue(value, spec, allowPartial, allowUndefined) {
+    if (!spec.fields) {
+        return { ok: true };
+    }
+    const fieldEntries = Object.entries(spec.fields);
+    const fieldNames = new Set(fieldEntries.map(([name]) => name));
+    for (const key of Object.keys(value)) {
+        if (!fieldNames.has(key)) {
+            return { ok: false, message: `Unknown field: ${key}` };
+        }
+        const fieldSpec = spec.fields[key];
+        const result = validateValueAgainstFieldSpec(value[key], fieldSpec, {
+            allowPartial,
+            allowUndefined,
+        });
+        if (!result.ok) {
+            return result;
+        }
+    }
+    if (!allowPartial) {
+        for (const [name, fieldSpec] of fieldEntries) {
+            if (fieldSpec.required && !(name in value)) {
+                return { ok: false, message: `Missing required field: ${name}` };
+            }
+        }
+    }
+    return { ok: true };
+}
+export function getFieldSpecAtPath(spec, path) {
+    if (!path)
+        return spec;
+    const segments = path.split(".");
+    let current = spec;
+    for (const segment of segments) {
+        if (!current)
+            return null;
+        const fieldType = current.type;
+        if (fieldType === "object") {
+            if (!current.fields || !(segment in current.fields)) {
+                return null;
+            }
+            current = current.fields[segment];
+            continue;
+        }
+        if (fieldType === "array") {
+            if (!isNumericSegment(segment)) {
+                return null;
+            }
+            current = current.items ?? null;
+            continue;
+        }
+        return null;
+    }
+    return current;
+}
+function isNumericSegment(segment) {
+    return /^[0-9]+$/.test(segment);
+}
+//# sourceMappingURL=validation-utils.js.map

package/dist/core/validation-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-utils.js","sourceRoot":"","sources":["../../src/core/validation-utils.ts"],"names":[],"mappings":"AAKA,MAAM,YAAY,GAChB,gGAAgG,CAAC;AACnG,MAAM,gBAAgB,GAAG,2BAA2B,CAAC;AACrD,MAAM,UAAU,GACd,4EAA4E,CAAC;AAE/E,MAAM,UAAU,eAAe,CAAC,EAAU;IACxC,OAAO,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,IAAc;IACpD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,KAAK,GAAG,CAAC,IAAc,EAAE,EAAE;QAC/B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,KAAK;gBACR,OAAO;YACT,KAAK,KAAK;gBACR,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtB,OAAO;YACT,KAAK,IAAI,CAAC;YACV,KAAK,KAAK,CAAC;YACX,KAAK,IAAI,CAAC;YACV,KAAK,KAAK,CAAC;YACX,KAAK,IAAI,CAAC;YACV,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,KAAK;gBACR,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,OAAO;YACT,KAAK,KAAK,CAAC;YACX,KAAK,IAAI,CAAC;YACV,KAAK,QAAQ,CAAC;YACd,KAAK,UAAU;gBACb,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACzB,OAAO;YACT,KAAK,KAAK,CAAC;YACX,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ,CAAC;YACd,KAAK,KAAK;gBACR,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAChB,OAAO;YACT,KAAK,OAAO,CAAC;YACb,KAAK,MAAM;gBACT,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,OAAO;YACT,KAAK,IAAI;gBACP,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,OAAO;YACT,KAAK,WAAW;gBACd,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,IAAI,IAAI,CAAC,GAAG;oBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC9B,OAAO;YACT,KAAK,MAAM;gBACT,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAChB,OAAO;YACT,KAAK,IAAI;gBACP,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,OAAO;YACT,KAAK,OAAO;gBACV,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,IAAI,IAAI,CAAC,GAAG;oBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC9B,OAAO;YACT,KAAK,UAAU;gBACb,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,OAAO;YACT,KAAK,QAAQ,CAAC;YACd,KAAK,MAAM,CAAC;YACZ,KAAK,OAAO,CAAC;YACb,KAAK,MAAM;gBACT,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACtB,OAAO;YACT,KAAK,KAAK;gBACR,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACnB,OAAO;YACT,KAAK,QAAQ;gBACX,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC1B,OAAO;YACT,KAAK,QAAQ;gBACX,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC1C,OAAO;YACT,KAAK,MAAM,CAAC;YACZ,KAAK,QAAQ,CAAC;YACd,KAAK,SAAS;gBACZ,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAChB,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC5B,OAAO;QACX,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,IAAc;IACpD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,SAAS,GAAG,CAAC,IAAc,EAAE,EAAE;QACnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,KAAK;gBACR,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gBAC9B,OAAO;YACT,KAAK,IAAI;gBACP,KAAK,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gBAClD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrB,IAAI,IAAI,CAAC,IAAI;oBAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpC,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,IAAI,CAAC,EAAE,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACtC,KAAK,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;gBACrD,CAAC;gBACD,OAAO;YACT,KAAK,QAAQ;gBACX,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;oBAC1C,KAAK,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC/C,CAAC,CAAC,CAAC;gBACH,OAAO;YACT,KAAK,MAAM;gBACT,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBACjB,KAAK,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;gBACvD,CAAC;gBACD,OAAO;YACT,KAAK,MAAM,CAAC;YACZ,KAAK,MAAM;gBACT,OAAO;QACX,CAAC;IACH,CAAC,CAAC;IAEF,SAAS,CAAC,IAAI,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAgB,EAAE,IAAY;IAClE,OAAO,qBAAqB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,CAAC;AAC/F,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,QAAsB,EAAE,IAAY;IAC3E,OAAO,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAe,EAAE,IAAY;IACjE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,OAAO,GAAqB,IAAI,CAAC;IAErC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;QAC/B,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC3B,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;gBACpB,wDAAwD;gBACxD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QAED,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;YAC1B,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC;YAChC,SAAS;QACX,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,KAAc,EACd,IAAe,EACf,OAA8D;IAE9D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,OAAO,EAAE,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YACvD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;QACtB,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;IACrD,CAAC;IAED,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACtB,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC;IAC5B,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,MAAM,IAAI,SAAS,EAAE,CAAC;QACzD,OAAO,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC5D,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE;YACd,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,sBAAsB,EAAE,CAAC;IACrD,CAAC;IAED,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;QACjF,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;QAC9F,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACxD,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE;gBACd,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;QAChD,KAAK,SAAS;YACZ,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC;QAChG,KAAK,QAAQ;YACX,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACxE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;YACnD,CAAC;YACD,OAAO,mBAAmB,CACxB,KAAgC,EAChC,IAAI,EACJ,OAAO,EAAE,YAAY,IAAI,KAAK,EAC9B,OAAO,EAAE,cAAc,IAAI,KAAK,CACjC,CAAC;QACJ,KAAK,OAAO;YACV,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;YAClD,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBAChB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;YACtB,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,MAAM,GAAG,6BAA6B,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC1F,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;oBACf,OAAO,MAAM,CAAC;gBAChB,CAAC;YACH,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACxB,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAA8B,EAC9B,IAAe,EACf,YAAqB,EACrB,cAAuB;IAEvB,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACtB,CAAC;IAED,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAE/D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,GAAG,EAAE,EAAE,CAAC;QACzD,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,6BAA6B,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE;YAClE,YAAY;YACZ,cAAc;SACf,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7C,IAAI,SAAS,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;gBAC3C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,2BAA2B,IAAI,EAAE,EAAE,CAAC;YACnE,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAe,EAAE,IAAY;IAC9D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,OAAO,GAAqB,IAAI,CAAC;IAErC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QAE1B,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;QAC/B,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC3B,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QAED,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;YAC1B,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC;YAChC,SAAS;QACX,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAe;IACvC,OAAO,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC"}

package/dist/errors.d.ts

@@ -0,0 +1,30 @@
+import { z } from "zod";
+import type { ErrorValue } from "./schema/snapshot.js";
+/**
+ * Core error codes
+ */
+export declare const CoreErrorCode: z.ZodEnum<{
+    VALIDATION_ERROR: "VALIDATION_ERROR";
+    PATH_NOT_FOUND: "PATH_NOT_FOUND";
+    TYPE_MISMATCH: "TYPE_MISMATCH";
+    DIVISION_BY_ZERO: "DIVISION_BY_ZERO";
+    INDEX_OUT_OF_BOUNDS: "INDEX_OUT_OF_BOUNDS";
+    UNKNOWN_ACTION: "UNKNOWN_ACTION";
+    ACTION_UNAVAILABLE: "ACTION_UNAVAILABLE";
+    INVALID_INPUT: "INVALID_INPUT";
+    CYCLIC_DEPENDENCY: "CYCLIC_DEPENDENCY";
+    UNKNOWN_FLOW: "UNKNOWN_FLOW";
+    CYCLIC_CALL: "CYCLIC_CALL";
+    UNKNOWN_EFFECT: "UNKNOWN_EFFECT";
+    INTERNAL_ERROR: "INTERNAL_ERROR";
+}>;
+export type CoreErrorCode = z.infer<typeof CoreErrorCode>;
+/**
+ * Create an error value (errors are values, not exceptions)
+ */
+export declare function createError(code: CoreErrorCode, message: string, actionId: string, nodePath: string, timestamp: number, context?: Record<string, unknown>): ErrorValue;
+/**
+ * Check if a value is an ErrorValue
+ */
+export declare function isErrorValue(value: unknown): value is ErrorValue;
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEvD;;GAEG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;EAcxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAE1D;;GAEG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAChC,UAAU,CAWZ;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAehE"}

package/dist/errors.js

@@ -0,0 +1,51 @@
+import { z } from "zod";
+/**
+ * Core error codes
+ */
+export const CoreErrorCode = z.enum([
+    "VALIDATION_ERROR",
+    "PATH_NOT_FOUND",
+    "TYPE_MISMATCH",
+    "DIVISION_BY_ZERO",
+    "INDEX_OUT_OF_BOUNDS",
+    "UNKNOWN_ACTION",
+    "ACTION_UNAVAILABLE",
+    "INVALID_INPUT",
+    "CYCLIC_DEPENDENCY",
+    "UNKNOWN_FLOW",
+    "CYCLIC_CALL",
+    "UNKNOWN_EFFECT",
+    "INTERNAL_ERROR",
+]);
+/**
+ * Create an error value (errors are values, not exceptions)
+ */
+export function createError(code, message, actionId, nodePath, timestamp, context) {
+    return {
+        code,
+        message,
+        source: {
+            actionId,
+            nodePath,
+        },
+        timestamp,
+        context,
+    };
+}
+/**
+ * Check if a value is an ErrorValue
+ */
+export function isErrorValue(value) {
+    if (typeof value !== "object" || value === null) {
+        return false;
+    }
+    const obj = value;
+    return (typeof obj.code === "string" &&
+        typeof obj.message === "string" &&
+        typeof obj.source === "object" &&
+        obj.source !== null &&
+        typeof obj.source.actionId === "string" &&
+        typeof obj.source.nodePath === "string" &&
+        typeof obj.timestamp === "number");
+}
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,IAAI,CAAC;IAClC,kBAAkB;IAClB,gBAAgB;IAChB,eAAe;IACf,kBAAkB;IAClB,qBAAqB;IACrB,gBAAgB;IAChB,oBAAoB;IACpB,eAAe;IACf,mBAAmB;IACnB,cAAc;IACd,aAAa;IACb,gBAAgB;IAChB,gBAAgB;CACjB,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,UAAU,WAAW,CACzB,IAAmB,EACnB,OAAe,EACf,QAAgB,EAChB,QAAgB,EAChB,SAAiB,EACjB,OAAiC;IAEjC,OAAO;QACL,IAAI;QACJ,OAAO;QACP,MAAM,EAAE;YACN,QAAQ;YACR,QAAQ;SACT;QACD,SAAS;QACT,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,OAAO,CACL,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;QAC5B,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;QAC/B,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ;QAC9B,GAAG,CAAC,MAAM,KAAK,IAAI;QACnB,OAAQ,GAAG,CAAC,MAAkC,CAAC,QAAQ,KAAK,QAAQ;QACpE,OAAQ,GAAG,CAAC,MAAkC,CAAC,QAAQ,KAAK,QAAQ;QACpE,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,CAClC,CAAC;AACJ,CAAC"}

package/dist/evaluator/computed.d.ts

@@ -0,0 +1,14 @@
+import type { DomainSchema } from "../schema/domain.js";
+import type { Snapshot } from "../schema/snapshot.js";
+import type { SemanticPath, Result } from "../schema/common.js";
+import type { ErrorValue } from "../schema/snapshot.js";
+/**
+ * Evaluate all computed values for a snapshot
+ * Returns the computed values record or an error
+ */
+export declare function evaluateComputed(schema: DomainSchema, snapshot: Snapshot): Result<Record<SemanticPath, unknown>, ErrorValue>;
+/**
+ * Evaluate a single computed value
+ */
+export declare function evaluateSingleComputed(schema: DomainSchema, snapshot: Snapshot, path: SemanticPath): Result<unknown, ErrorValue>;
+//# sourceMappingURL=computed.d.ts.map

package/dist/evaluator/computed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"computed.d.ts","sourceRoot":"","sources":["../../src/evaluator/computed.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAQxD;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,QAAQ,GACjB,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,UAAU,CAAC,CAmDnD;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,YAAY,GACjB,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAe7B"}

package/dist/evaluator/computed.js

@@ -0,0 +1,60 @@
+import { ok, err, isErr } from "../schema/common.js";
+import { createError } from "../errors.js";
+import { createContext } from "./context.js";
+import { createTraceContext } from "../schema/trace.js";
+import { evaluateExpr } from "./expr.js";
+import { buildDependencyGraph, topologicalSort } from "./dag.js";
+/**
+ * Evaluate all computed values for a snapshot
+ * Returns the computed values record or an error
+ */
+export function evaluateComputed(schema, snapshot) {
+    const trace = createTraceContext(snapshot.meta.timestamp);
+    // Build dependency graph
+    const graph = buildDependencyGraph(schema.computed);
+    // Get topological order
+    const sortResult = topologicalSort(graph);
+    if (!sortResult.ok) {
+        return err(createError("CYCLIC_DEPENDENCY", sortResult.error.message, "", sortResult.error.path ?? "", trace.timestamp));
+    }
+    // Evaluate in topological order
+    const computed = {};
+    // Create a temporary snapshot with computed values being built
+    let tempSnapshot = {
+        ...snapshot,
+        computed,
+    };
+    for (const path of sortResult.value) {
+        const spec = schema.computed.fields[path];
+        if (!spec)
+            continue;
+        // Create context with current state of computed values
+        const ctx = createContext(tempSnapshot, schema, null, path, undefined, trace);
+        // Evaluate the expression
+        const result = evaluateExpr(spec.expr, ctx);
+        if (isErr(result)) {
+            return result;
+        }
+        // Store the computed value
+        computed[path] = result.value;
+        // Update temp snapshot for next iteration
+        tempSnapshot = {
+            ...tempSnapshot,
+            computed: { ...computed },
+        };
+    }
+    return ok(computed);
+}
+/**
+ * Evaluate a single computed value
+ */
+export function evaluateSingleComputed(schema, snapshot, path) {
+    const trace = createTraceContext(snapshot.meta.timestamp);
+    const spec = schema.computed.fields[path];
+    if (!spec) {
+        return err(createError("PATH_NOT_FOUND", `Computed field not found: ${path}`, "", path, trace.timestamp));
+    }
+    const ctx = createContext(snapshot, schema, null, path, undefined, trace);
+    return evaluateExpr(spec.expr, ctx);
+}
+//# sourceMappingURL=computed.js.map

package/dist/evaluator/computed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"computed.js","sourceRoot":"","sources":["../../src/evaluator/computed.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAEjE;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAAoB,EACpB,QAAkB;IAElB,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1D,yBAAyB;IACzB,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAEpD,wBAAwB;IACxB,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnB,OAAO,GAAG,CAAC,WAAW,CACpB,mBAAmB,EACnB,UAAU,CAAC,KAAK,CAAC,OAAO,EACxB,EAAE,EACF,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,EAC3B,KAAK,CAAC,SAAS,CAChB,CAAC,CAAC;IACL,CAAC;IAED,gCAAgC;IAChC,MAAM,QAAQ,GAAkC,EAAE,CAAC;IAEnD,+DAA+D;IAC/D,IAAI,YAAY,GAAa;QAC3B,GAAG,QAAQ;QACX,QAAQ;KACT,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,uDAAuD;QACvD,MAAM,GAAG,GAAG,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAE9E,0BAA0B;QAC1B,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAE5C,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAClB,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,2BAA2B;QAC3B,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;QAE9B,0CAA0C;QAC1C,YAAY,GAAG;YACb,GAAG,YAAY;YACf,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE;SAC1B,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC;AACtB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAAoB,EACpB,QAAkB,EAClB,IAAkB;IAElB,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,GAAG,CAAC,WAAW,CACpB,gBAAgB,EAChB,6BAA6B,IAAI,EAAE,EACnC,EAAE,EACF,IAAI,EACJ,KAAK,CAAC,SAAS,CAChB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,GAAG,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAC1E,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACtC,CAAC"}

package/dist/evaluator/context.d.ts

@@ -0,0 +1,59 @@
+import type { Snapshot } from "../schema/snapshot.js";
+import type { DomainSchema } from "../schema/domain.js";
+import { type TraceContext } from "../schema/trace.js";
+/**
+ * Evaluation context for expressions and flows
+ */
+export type EvalContext = {
+    /**
+     * Current snapshot state
+     */
+    readonly snapshot: Snapshot;
+    /**
+     * Domain schema
+     */
+    readonly schema: DomainSchema;
+    /**
+     * Current action being processed (if any)
+     */
+    readonly currentAction: string | null;
+    /**
+     * Current node path in the flow (for tracing)
+     */
+    readonly nodePath: string;
+    /**
+     * Intent ID for the current intent (for re-entry safety)
+     */
+    readonly intentId?: string;
+    /**
+     * UUID generator counter (for deterministic UUID generation)
+     */
+    uuidCounter?: number;
+    /**
+     * Trace context for deterministic trace ID generation
+     */
+    readonly trace: TraceContext;
+    /**
+     * Collection context variables (for filter, map, find, etc.)
+     */
+    readonly $item?: unknown;
+    readonly $index?: number;
+    readonly $array?: unknown[];
+};
+/**
+ * Create a new evaluation context
+ */
+export declare function createContext(snapshot: Snapshot, schema: DomainSchema, currentAction?: string | null, nodePath?: string, intentId?: string, timestampOrTrace?: number | TraceContext): EvalContext;
+/**
+ * Create context with collection variables for filter/map/find/etc.
+ */
+export declare function withCollectionContext(ctx: EvalContext, item: unknown, index: number, array: unknown[]): EvalContext;
+/**
+ * Update context with new snapshot
+ */
+export declare function withSnapshot(ctx: EvalContext, snapshot: Snapshot): EvalContext;
+/**
+ * Update context with new node path
+ */
+export declare function withNodePath(ctx: EvalContext, nodePath: string): EvalContext;
+//# sourceMappingURL=context.d.ts.map

package/dist/evaluator/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/evaluator/context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,KAAK,YAAY,EAAsB,MAAM,oBAAoB,CAAC;AAE3E;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAE9B;;OAEG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAEtC;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAE1B;;OAEG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAE3B;;OAEG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAE7B;;OAEG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;CAC7B,CAAC;AAEF;;GAEG;AACH,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,QAAQ,EAClB,MAAM,EAAE,YAAY,EACpB,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,EAC7B,QAAQ,CAAC,EAAE,MAAM,EACjB,QAAQ,CAAC,EAAE,MAAM,EACjB,gBAAgB,CAAC,EAAE,MAAM,GAAG,YAAY,GACvC,WAAW,CAYb;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,WAAW,EAChB,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,OAAO,EAAE,GACf,WAAW,CAOb;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,GAAG,WAAW,CAE9E;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,GAAG,WAAW,CAE5E"}

package/dist/evaluator/context.js

@@ -0,0 +1,41 @@
+import { createTraceContext } from "../schema/trace.js";
+/**
+ * Create a new evaluation context
+ */
+export function createContext(snapshot, schema, currentAction, nodePath, intentId, timestampOrTrace) {
+    return {
+        snapshot,
+        schema,
+        currentAction: currentAction ?? null,
+        nodePath: nodePath ?? "",
+        intentId,
+        uuidCounter: 0,
+        trace: typeof timestampOrTrace === "object"
+            ? timestampOrTrace
+            : createTraceContext(timestampOrTrace ?? Date.now()),
+    };
+}
+/**
+ * Create context with collection variables for filter/map/find/etc.
+ */
+export function withCollectionContext(ctx, item, index, array) {
+    return {
+        ...ctx,
+        $item: item,
+        $index: index,
+        $array: array,
+    };
+}
+/**
+ * Update context with new snapshot
+ */
+export function withSnapshot(ctx, snapshot) {
+    return { ...ctx, snapshot };
+}
+/**
+ * Update context with new node path
+ */
+export function withNodePath(ctx, nodePath) {
+    return { ...ctx, nodePath };
+}
+//# sourceMappingURL=context.js.map

package/dist/evaluator/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../src/evaluator/context.ts"],"names":[],"mappings":"AAEA,OAAO,EAAqB,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAiD3E;;GAEG;AACH,MAAM,UAAU,aAAa,CAC3B,QAAkB,EAClB,MAAoB,EACpB,aAA6B,EAC7B,QAAiB,EACjB,QAAiB,EACjB,gBAAwC;IAExC,OAAO;QACL,QAAQ;QACR,MAAM;QACN,aAAa,EAAE,aAAa,IAAI,IAAI;QACpC,QAAQ,EAAE,QAAQ,IAAI,EAAE;QACxB,QAAQ;QACR,WAAW,EAAE,CAAC;QACd,KAAK,EAAE,OAAO,gBAAgB,KAAK,QAAQ;YACzC,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,kBAAkB,CAAC,gBAAgB,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;KACvD,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAAgB,EAChB,IAAa,EACb,KAAa,EACb,KAAgB;IAEhB,OAAO;QACL,GAAG,GAAG;QACN,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,KAAK;QACb,MAAM,EAAE,KAAK;KACd,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,GAAgB,EAAE,QAAkB;IAC/D,OAAO,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,GAAgB,EAAE,QAAgB;IAC7D,OAAO,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC"}

package/dist/evaluator/dag.d.ts

@@ -0,0 +1,30 @@
+import type { ComputedSpec } from "../schema/computed.js";
+import type { SemanticPath } from "../schema/common.js";
+import type { Result } from "../schema/common.js";
+import type { ValidationError } from "../schema/result.js";
+/**
+ * Dependency graph for computed values
+ */
+export type DependencyGraph = {
+    readonly nodes: readonly SemanticPath[];
+    readonly edges: ReadonlyMap<SemanticPath, readonly SemanticPath[]>;
+};
+/**
+ * Build a dependency graph from ComputedSpec
+ */
+export declare function buildDependencyGraph(computed: ComputedSpec): DependencyGraph;
+/**
+ * Topological sort using Kahn's algorithm
+ * Returns sorted order or error if cycles detected
+ */
+export declare function topologicalSort(graph: DependencyGraph): Result<SemanticPath[], ValidationError>;
+/**
+ * Detect cycles in the dependency graph
+ * Returns array of cycle paths or null if no cycles
+ */
+export declare function detectCycles(graph: DependencyGraph): SemanticPath[][] | null;
+/**
+ * Get all dependencies (transitive) for a given node
+ */
+export declare function getTransitiveDeps(graph: DependencyGraph, node: SemanticPath): Set<SemanticPath>;
+//# sourceMappingURL=dag.d.ts.map

package/dist/evaluator/dag.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dag.d.ts","sourceRoot":"","sources":["../../src/evaluator/dag.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAG3D;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,YAAY,EAAE,SAAS,YAAY,EAAE,CAAC,CAAC;CACpE,CAAC;AAEF;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,YAAY,GAAG,eAAe,CAW5E;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAAC,YAAY,EAAE,EAAE,eAAe,CAAC,CAuD/F;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,eAAe,GAAG,YAAY,EAAE,EAAE,GAAG,IAAI,CAqC5E;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,eAAe,EACtB,IAAI,EAAE,YAAY,GACjB,GAAG,CAAC,YAAY,CAAC,CAanB"}