@manifesto-ai/core 0.2.0 → 1.0.0

package/dist/core/validate.test.js

@@ -0,0 +1,450 @@
+import { describe, it, expect } from "vitest";
+import { validate } from "./validate.js";
+// Helper to create a valid minimal schema
+function createValidSchema(overrides = {}) {
+    return {
+        id: "test",
+        version: "1.0.0",
+        hash: "test-hash",
+        state: { fields: {} },
+        computed: { fields: {} },
+        actions: {},
+        ...overrides,
+    };
+}
+describe("validate", () => {
+    describe("Basic Schema Validation", () => {
+        it("should validate a valid schema", () => {
+            const schema = createValidSchema();
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+            expect(result.errors).toEqual([]);
+        });
+        it("should reject non-object input", () => {
+            const result = validate(null);
+            expect(result.valid).toBe(false);
+            expect(result.errors.length).toBeGreaterThan(0);
+        });
+        it("should reject schema without required fields", () => {
+            const result = validate({});
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.code === "SCHEMA_ERROR")).toBe(true);
+        });
+        it("should reject schema with invalid version format", () => {
+            const result = validate({
+                id: "test",
+                version: 123, // Should be string
+                hash: "test-hash",
+                state: { fields: {} },
+                computed: { fields: {} },
+                actions: {},
+            });
+            expect(result.valid).toBe(false);
+        });
+    });
+    describe("Computed Field Validation", () => {
+        it("should validate schema with computed fields", () => {
+            const schema = createValidSchema({
+                computed: {
+                    fields: {
+                        "computed.total": {
+                            expr: { kind: "add", left: { kind: "get", path: "a" }, right: { kind: "get", path: "b" } },
+                            deps: ["a", "b"],
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+        it("should detect cyclic dependencies in computed fields (V-002)", () => {
+            const schema = createValidSchema({
+                computed: {
+                    fields: {
+                        "computed.a": {
+                            expr: { kind: "get", path: "computed.b" },
+                            deps: ["computed.b"],
+                        },
+                        "computed.b": {
+                            expr: { kind: "get", path: "computed.a" },
+                            deps: ["computed.a"],
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.code === "V-002")).toBe(true);
+        });
+        it("should detect self-referential computed fields", () => {
+            const schema = createValidSchema({
+                computed: {
+                    fields: {
+                        "computed.self": {
+                            expr: { kind: "get", path: "computed.self" },
+                            deps: ["computed.self"],
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.code === "V-002")).toBe(true);
+        });
+        it("should detect complex cyclic dependencies", () => {
+            const schema = createValidSchema({
+                computed: {
+                    fields: {
+                        "computed.a": {
+                            expr: { kind: "get", path: "computed.b" },
+                            deps: ["computed.b"],
+                        },
+                        "computed.b": {
+                            expr: { kind: "get", path: "computed.c" },
+                            deps: ["computed.c"],
+                        },
+                        "computed.c": {
+                            expr: { kind: "get", path: "computed.a" },
+                            deps: ["computed.a"],
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.code === "V-002")).toBe(true);
+        });
+        it("should allow valid dependency chains", () => {
+            const schema = createValidSchema({
+                computed: {
+                    fields: {
+                        "computed.a": {
+                            expr: { kind: "get", path: "x" },
+                            deps: ["x"],
+                        },
+                        "computed.b": {
+                            expr: { kind: "get", path: "computed.a" },
+                            deps: ["computed.a"],
+                        },
+                        "computed.c": {
+                            expr: { kind: "get", path: "computed.b" },
+                            deps: ["computed.b"],
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+    });
+    describe("Action Validation", () => {
+        it("should validate schema with actions", () => {
+            const schema = createValidSchema({
+                actions: {
+                    increment: {
+                        flow: {
+                            kind: "patch",
+                            op: "set",
+                            path: "count",
+                            value: { kind: "lit", value: 1 },
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+        it("should validate action with availability condition", () => {
+            const schema = createValidSchema({
+                actions: {
+                    withdraw: {
+                        available: {
+                            kind: "gt",
+                            left: { kind: "get", path: "balance" },
+                            right: { kind: "lit", value: 0 },
+                        },
+                        flow: {
+                            kind: "patch",
+                            op: "set",
+                            path: "balance",
+                            value: { kind: "lit", value: 0 },
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+    });
+    describe("Call Reference Validation (V-004)", () => {
+        it("should detect unknown call references", () => {
+            const schema = createValidSchema({
+                actions: {
+                    main: {
+                        flow: {
+                            kind: "call",
+                            flow: "nonexistent",
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.code === "V-004")).toBe(true);
+            expect(result.errors.some((e) => e.message.includes("nonexistent"))).toBe(true);
+        });
+        it("should allow valid call references", () => {
+            const schema = createValidSchema({
+                actions: {
+                    helper: {
+                        flow: { kind: "patch", op: "set", path: "x", value: { kind: "lit", value: 1 } },
+                    },
+                    main: {
+                        flow: {
+                            kind: "call",
+                            flow: "helper",
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+        it("should detect unknown calls in nested flows", () => {
+            const schema = createValidSchema({
+                actions: {
+                    main: {
+                        flow: {
+                            kind: "seq",
+                            steps: [
+                                { kind: "patch", op: "set", path: "x", value: { kind: "lit", value: 1 } },
+                                {
+                                    kind: "if",
+                                    cond: { kind: "lit", value: true },
+                                    then: { kind: "call", flow: "unknown" },
+                                },
+                            ],
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.code === "V-004")).toBe(true);
+        });
+    });
+    describe("Call Graph Cycle Detection (V-005)", () => {
+        it("should detect direct recursive calls", () => {
+            const schema = createValidSchema({
+                actions: {
+                    recursive: {
+                        flow: {
+                            kind: "call",
+                            flow: "recursive",
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.code === "V-005")).toBe(true);
+        });
+        it("should detect indirect recursive calls", () => {
+            const schema = createValidSchema({
+                actions: {
+                    a: {
+                        flow: { kind: "call", flow: "b" },
+                    },
+                    b: {
+                        flow: { kind: "call", flow: "c" },
+                    },
+                    c: {
+                        flow: { kind: "call", flow: "a" },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.code === "V-005")).toBe(true);
+        });
+        it("should allow non-recursive call chains", () => {
+            const schema = createValidSchema({
+                actions: {
+                    step1: {
+                        flow: { kind: "patch", op: "set", path: "x", value: { kind: "lit", value: 1 } },
+                    },
+                    step2: {
+                        flow: { kind: "call", flow: "step1" },
+                    },
+                    main: {
+                        flow: {
+                            kind: "seq",
+                            steps: [
+                                { kind: "call", flow: "step1" },
+                                { kind: "call", flow: "step2" },
+                            ],
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+    });
+    describe("Flow Node Validation", () => {
+        it("should validate seq flow", () => {
+            const schema = createValidSchema({
+                actions: {
+                    test: {
+                        flow: {
+                            kind: "seq",
+                            steps: [
+                                { kind: "patch", op: "set", path: "a", value: { kind: "lit", value: 1 } },
+                                { kind: "patch", op: "set", path: "b", value: { kind: "lit", value: 2 } },
+                            ],
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+        it("should validate if flow", () => {
+            const schema = createValidSchema({
+                actions: {
+                    test: {
+                        flow: {
+                            kind: "if",
+                            cond: { kind: "get", path: "flag" },
+                            then: { kind: "patch", op: "set", path: "result", value: { kind: "lit", value: "yes" } },
+                            else: { kind: "patch", op: "set", path: "result", value: { kind: "lit", value: "no" } },
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+        it("should validate effect flow", () => {
+            const schema = createValidSchema({
+                actions: {
+                    test: {
+                        flow: {
+                            kind: "effect",
+                            type: "http",
+                            params: {
+                                url: { kind: "lit", value: "https://api.example.com" },
+                            },
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+        it("should validate halt flow", () => {
+            const schema = createValidSchema({
+                actions: {
+                    test: {
+                        flow: { kind: "halt", reason: "stopped" },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+        it("should validate fail flow", () => {
+            const schema = createValidSchema({
+                actions: {
+                    test: {
+                        flow: {
+                            kind: "fail",
+                            code: "ERROR",
+                            message: { kind: "lit", value: "Something went wrong" },
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+    });
+    describe("Expression Validation", () => {
+        it("should validate nested expressions", () => {
+            const schema = createValidSchema({
+                computed: {
+                    fields: {
+                        "computed.complex": {
+                            expr: {
+                                kind: "if",
+                                cond: {
+                                    kind: "and",
+                                    args: [
+                                        { kind: "gt", left: { kind: "get", path: "x" }, right: { kind: "lit", value: 0 } },
+                                        { kind: "lt", left: { kind: "get", path: "x" }, right: { kind: "lit", value: 100 } },
+                                    ],
+                                },
+                                then: {
+                                    kind: "mul",
+                                    left: { kind: "get", path: "x" },
+                                    right: { kind: "lit", value: 2 },
+                                },
+                                else: { kind: "lit", value: 0 },
+                            },
+                            deps: ["x"],
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+        it("should validate collection expressions", () => {
+            const schema = createValidSchema({
+                computed: {
+                    fields: {
+                        "computed.filtered": {
+                            expr: {
+                                kind: "filter",
+                                array: { kind: "get", path: "items" },
+                                predicate: { kind: "get", path: "$item.active" },
+                            },
+                            deps: ["items"],
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+    });
+    describe("Multiple Errors", () => {
+        it("should report multiple validation errors", () => {
+            const schema = createValidSchema({
+                computed: {
+                    fields: {
+                        "computed.a": {
+                            expr: { kind: "get", path: "computed.b" },
+                            deps: ["computed.b"],
+                        },
+                        "computed.b": {
+                            expr: { kind: "get", path: "computed.a" },
+                            deps: ["computed.a"],
+                        },
+                    },
+                },
+                actions: {
+                    test: {
+                        flow: { kind: "call", flow: "nonexistent" },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            // Should have both cycle error and unknown flow error
+            expect(result.errors.some((e) => e.code === "V-002")).toBe(true);
+            expect(result.errors.some((e) => e.code === "V-004")).toBe(true);
+        });
+    });
+});
+//# sourceMappingURL=validate.test.js.map

package/dist/core/validate.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.test.js","sourceRoot":"","sources":["../../src/core/validate.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAGzC,0CAA0C;AAC1C,SAAS,iBAAiB,CAAC,YAAmC,EAAE;IAC9D,OAAO;QACL,EAAE,EAAE,MAAM;QACV,OAAO,EAAE,OAAO;QAChB,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;QACrB,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;QACxB,OAAO,EAAE,EAAE;QACX,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAEhC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAE9B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;YAE5B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,MAAM,GAAG,QAAQ,CAAC;gBACtB,EAAE,EAAE,MAAM;gBACV,OAAO,EAAE,GAAG,EAAE,mBAAmB;gBACjC,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBACrB,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBACxB,OAAO,EAAE,EAAE;aACZ,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,QAAQ,EAAE;oBACR,MAAM,EAAE;wBACN,gBAAgB,EAAE;4BAChB,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;4BAC1F,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;yBACjB;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,QAAQ,EAAE;oBACR,MAAM,EAAE;wBACN,YAAY,EAAE;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;4BACzC,IAAI,EAAE,CAAC,YAAY,CAAC;yBACrB;wBACD,YAAY,EAAE;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;4BACzC,IAAI,EAAE,CAAC,YAAY,CAAC;yBACrB;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAEhC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,QAAQ,EAAE;oBACR,MAAM,EAAE;wBACN,eAAe,EAAE;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE;4BAC5C,IAAI,EAAE,CAAC,eAAe,CAAC;yBACxB;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAEhC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,QAAQ,EAAE;oBACR,MAAM,EAAE;wBACN,YAAY,EAAE;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;4BACzC,IAAI,EAAE,CAAC,YAAY,CAAC;yBACrB;wBACD,YAAY,EAAE;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;4BACzC,IAAI,EAAE,CAAC,YAAY,CAAC;yBACrB;wBACD,YAAY,EAAE;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;4BACzC,IAAI,EAAE,CAAC,YAAY,CAAC;yBACrB;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAEhC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,QAAQ,EAAE;oBACR,MAAM,EAAE;wBACN,YAAY,EAAE;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;4BAChC,IAAI,EAAE,CAAC,GAAG,CAAC;yBACZ;wBACD,YAAY,EAAE;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;4BACzC,IAAI,EAAE,CAAC,YAAY,CAAC;yBACrB;wBACD,YAAY,EAAE;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;4BACzC,IAAI,EAAE,CAAC,YAAY,CAAC;yBACrB;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,OAAO,EAAE;oBACP,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,IAAI,EAAE,OAAO;4BACb,EAAE,EAAE,KAAK;4BACT,IAAI,EAAE,OAAO;4BACb,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;yBACjC;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,OAAO,EAAE;oBACP,QAAQ,EAAE;wBACR,SAAS,EAAE;4BACT,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE;4BACtC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;yBACjC;wBACD,IAAI,EAAE;4BACJ,IAAI,EAAE,OAAO;4BACb,EAAE,EAAE,KAAK;4BACT,IAAI,EAAE,SAAS;4BACf,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;yBACjC;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;QACjD,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,IAAI,EAAE;4BACJ,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,aAAa;yBACpB;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAEhC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,OAAO,EAAE;oBACP,MAAM,EAAE;wBACN,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;qBAChF;oBACD,IAAI,EAAE;wBACJ,IAAI,EAAE;4BACJ,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,QAAQ;yBACf;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,IAAI,EAAE;4BACJ,IAAI,EAAE,KAAK;4BACX,KAAK,EAAE;gCACL,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;gCACzE;oCACE,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;oCAClC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE;iCACxC;6BACF;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAEhC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAClD,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,OAAO,EAAE;oBACP,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,WAAW;yBAClB;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAEhC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,OAAO,EAAE;oBACP,CAAC,EAAE;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;qBAClC;oBACD,CAAC,EAAE;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;qBAClC;oBACD,CAAC,EAAE;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;qBAClC;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAEhC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,OAAO,EAAE;oBACP,KAAK,EAAE;wBACL,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;qBAChF;oBACD,KAAK,EAAE;wBACL,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE;qBACtC;oBACD,IAAI,EAAE;wBACJ,IAAI,EAAE;4BACJ,IAAI,EAAE,KAAK;4BACX,KAAK,EAAE;gCACL,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE;gCAC/B,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE;6BAChC;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,IAAI,EAAE;4BACJ,IAAI,EAAE,KAAK;4BACX,KAAK,EAAE;gCACL,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;gCACzE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;6BAC1E;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,IAAI,EAAE;4BACJ,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE;4BACnC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;4BACxF,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;yBACxF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,IAAI,EAAE;4BACJ,IAAI,EAAE,QAAQ;4BACd,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE;gCACN,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,yBAAyB,EAAE;6BACvD;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE;qBAC1C;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,IAAI,EAAE;4BACJ,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,OAAO;4BACb,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,sBAAsB,EAAE;yBACxD;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,QAAQ,EAAE;oBACR,MAAM,EAAE;wBACN,kBAAkB,EAAE;4BAClB,IAAI,EAAE;gCACJ,IAAI,EAAE,IAAI;gCACV,IAAI,EAAE;oCACJ,IAAI,EAAE,KAAK;oCACX,IAAI,EAAE;wCACJ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;wCAClF,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;qCACrF;iCACF;gCACD,IAAI,EAAE;oCACJ,IAAI,EAAE,KAAK;oCACX,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;oCAChC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;iCACjC;gCACD,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;6BAChC;4BACD,IAAI,EAAE,CAAC,GAAG,CAAC;yBACZ;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,QAAQ,EAAE;oBACR,MAAM,EAAE;wBACN,mBAAmB,EAAE;4BACnB,IAAI,EAAE;gCACJ,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE;gCACrC,SAAS,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE;6BACjD;4BACD,IAAI,EAAE,CAAC,OAAO,CAAC;yBAChB;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,QAAQ,EAAE;oBACR,MAAM,EAAE;wBACN,YAAY,EAAE;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;4BACzC,IAAI,EAAE,CAAC,YAAY,CAAC;yBACrB;wBACD,YAAY,EAAE;4BACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;4BACzC,IAAI,EAAE,CAAC,YAAY,CAAC;yBACrB;qBACF;iBACF;gBACD,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE;qBAC5C;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAEhC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,sDAAsD;YACtD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,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, 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,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, context) {
+    return {
+        code,
+        message,
+        source: {
+            actionId,
+            nodePath,
+        },
+        timestamp: Date.now(),
+        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,OAAiC;IAEjC,OAAO;QACL,IAAI;QACJ,OAAO;QACP,MAAM,EAAE;YACN,QAAQ;YACR,QAAQ;SACT;QACD,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;QACrB,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;AAOxD;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,QAAQ,GACjB,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,UAAU,CAAC,CAiDnD;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,YAAY,GACjB,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAa7B"}

package/dist/evaluator/computed.js

@@ -0,0 +1,57 @@
+import { ok, err, isErr } from "../schema/common.js";
+import { createError } from "../errors.js";
+import { createContext } from "./context.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) {
+    // 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 ?? ""));
+    }
+    // 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);
+        // 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 spec = schema.computed.fields[path];
+    if (!spec) {
+        return err(createError("PATH_NOT_FOUND", `Computed field not found: ${path}`, "", path));
+    }
+    const ctx = createContext(snapshot, schema, null, path);
+    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,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,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,CAC5B,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,CAAC,CAAC;QAE5D,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,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,CACL,CAAC,CAAC;IACL,CAAC;IAED,MAAM,GAAG,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxD,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACtC,CAAC"}