@manifesto-ai/core 0.3.0 → 1.0.0

package/dist/core/compute.test.js

@@ -0,0 +1,400 @@
+import { describe, it, expect } from "vitest";
+import { compute } from "./compute.js";
+import { createSnapshot, createIntent } from "../factories.js";
+// Helper to create a minimal domain schema
+function createTestSchema(overrides = {}) {
+    return {
+        id: "test",
+        version: "1.0.0",
+        hash: "test-hash",
+        state: { fields: {} },
+        computed: { fields: {} },
+        actions: {},
+        ...overrides,
+    };
+}
+describe("compute", () => {
+    describe("Basic Intent Processing", () => {
+        it("should process a simple action", async () => {
+            const schema = createTestSchema({
+                actions: {
+                    increment: {
+                        flow: {
+                            kind: "patch",
+                            op: "set",
+                            path: "count",
+                            value: {
+                                kind: "add",
+                                left: { kind: "coalesce", args: [{ kind: "get", path: "count" }, { kind: "lit", value: 0 }] },
+                                right: { kind: "lit", value: 1 },
+                            },
+                        },
+                    },
+                },
+            });
+            const snapshot = createSnapshot({ count: 0 }, "test-hash");
+            const intent = createIntent("increment");
+            const result = await compute(schema, snapshot, intent);
+            expect(result.status).toBe("complete");
+            expect(result.snapshot.data).toEqual({ count: 1 });
+            expect(result.snapshot.meta.version).toBe(1);
+        });
+        it("should handle unknown action", async () => {
+            const schema = createTestSchema();
+            const snapshot = createSnapshot({}, "test-hash");
+            const intent = createIntent("nonexistent");
+            const result = await compute(schema, snapshot, intent);
+            expect(result.status).toBe("error");
+            expect(result.snapshot.system.lastError?.code).toBe("UNKNOWN_ACTION");
+        });
+        it("should handle action with input", async () => {
+            const schema = createTestSchema({
+                actions: {
+                    setName: {
+                        flow: {
+                            kind: "patch",
+                            op: "set",
+                            path: "name",
+                            value: { kind: "get", path: "input.name" },
+                        },
+                    },
+                },
+            });
+            const snapshot = createSnapshot({}, "test-hash");
+            const intent = createIntent("setName", { name: "Alice" });
+            const result = await compute(schema, snapshot, intent);
+            expect(result.status).toBe("complete");
+            expect(result.snapshot.data).toEqual({ name: "Alice" });
+        });
+    });
+    describe("Availability Check", () => {
+        it("should check availability condition", async () => {
+            const schema = createTestSchema({
+                actions: {
+                    withdraw: {
+                        available: {
+                            kind: "gt",
+                            left: { kind: "get", path: "balance" },
+                            right: { kind: "lit", value: 0 },
+                        },
+                        flow: {
+                            kind: "patch",
+                            op: "set",
+                            path: "balance",
+                            value: {
+                                kind: "sub",
+                                left: { kind: "get", path: "balance" },
+                                right: { kind: "get", path: "input.amount" },
+                            },
+                        },
+                    },
+                },
+            });
+            // Should succeed when balance > 0
+            const snapshot1 = createSnapshot({ balance: 100 }, "test-hash");
+            const intent1 = createIntent("withdraw", { amount: 50 });
+            const result1 = await compute(schema, snapshot1, intent1);
+            expect(result1.status).toBe("complete");
+            expect(result1.snapshot.data).toEqual({ balance: 50 });
+            // Should fail when balance = 0
+            const snapshot2 = createSnapshot({ balance: 0 }, "test-hash");
+            const intent2 = createIntent("withdraw", { amount: 50 });
+            const result2 = await compute(schema, snapshot2, intent2);
+            expect(result2.status).toBe("error");
+            expect(result2.snapshot.system.lastError?.code).toBe("ACTION_UNAVAILABLE");
+        });
+    });
+    describe("Computed Values", () => {
+        it("should recompute computed values after action", async () => {
+            const schema = createTestSchema({
+                computed: {
+                    fields: {
+                        "computed.total": {
+                            expr: {
+                                kind: "add",
+                                left: { kind: "coalesce", args: [{ kind: "get", path: "a" }, { kind: "lit", value: 0 }] },
+                                right: { kind: "coalesce", args: [{ kind: "get", path: "b" }, { kind: "lit", value: 0 }] },
+                            },
+                            deps: ["a", "b"],
+                        },
+                    },
+                },
+                actions: {
+                    setA: {
+                        flow: {
+                            kind: "patch",
+                            op: "set",
+                            path: "a",
+                            value: { kind: "get", path: "input.value" },
+                        },
+                    },
+                },
+            });
+            const snapshot = createSnapshot({ a: 10, b: 20 }, "test-hash");
+            const intent = createIntent("setA", { value: 100 });
+            const result = await compute(schema, snapshot, intent);
+            expect(result.status).toBe("complete");
+            expect(result.snapshot.data).toEqual({ a: 100, b: 20 });
+            expect(result.snapshot.computed["computed.total"]).toBe(120);
+        });
+    });
+    describe("Effects (Pending Status)", () => {
+        it("should return pending status when effect is encountered", async () => {
+            const schema = createTestSchema({
+                actions: {
+                    fetchData: {
+                        flow: {
+                            kind: "seq",
+                            steps: [
+                                { kind: "patch", op: "set", path: "loading", value: { kind: "lit", value: true } },
+                                {
+                                    kind: "effect",
+                                    type: "http",
+                                    params: {
+                                        url: { kind: "lit", value: "https://api.example.com/data" },
+                                    },
+                                },
+                            ],
+                        },
+                    },
+                },
+            });
+            const snapshot = createSnapshot({}, "test-hash");
+            const intent = createIntent("fetchData");
+            const result = await compute(schema, snapshot, intent);
+            expect(result.status).toBe("pending");
+            expect(result.snapshot.data).toEqual({ loading: true });
+            expect(result.snapshot.system.pendingRequirements).toHaveLength(1);
+            expect(result.snapshot.system.pendingRequirements[0].type).toBe("http");
+        });
+    });
+    describe("Halt", () => {
+        it("should return halted status when halt is encountered", async () => {
+            const schema = createTestSchema({
+                actions: {
+                    conditionalHalt: {
+                        flow: {
+                            kind: "seq",
+                            steps: [
+                                { kind: "patch", op: "set", path: "started", value: { kind: "lit", value: true } },
+                                {
+                                    kind: "if",
+                                    cond: { kind: "get", path: "input.shouldHalt" },
+                                    then: { kind: "halt", reason: "User requested halt" },
+                                },
+                                { kind: "patch", op: "set", path: "completed", value: { kind: "lit", value: true } },
+                            ],
+                        },
+                    },
+                },
+            });
+            // With halt
+            const snapshot1 = createSnapshot({}, "test-hash");
+            const intent1 = createIntent("conditionalHalt", { shouldHalt: true });
+            const result1 = await compute(schema, snapshot1, intent1);
+            expect(result1.status).toBe("halted");
+            expect(result1.snapshot.data).toEqual({ started: true });
+            // Without halt
+            const snapshot2 = createSnapshot({}, "test-hash");
+            const intent2 = createIntent("conditionalHalt", { shouldHalt: false });
+            const result2 = await compute(schema, snapshot2, intent2);
+            expect(result2.status).toBe("complete");
+            expect(result2.snapshot.data).toEqual({ started: true, completed: true });
+        });
+    });
+    describe("Error Handling", () => {
+        it("should handle fail flow", async () => {
+            const schema = createTestSchema({
+                actions: {
+                    validateInput: {
+                        flow: {
+                            kind: "if",
+                            cond: { kind: "isNull", arg: { kind: "get", path: "input.value" } },
+                            then: { kind: "fail", code: "MISSING_VALUE", message: { kind: "lit", value: "Value is required" } },
+                            else: { kind: "patch", op: "set", path: "value", value: { kind: "get", path: "input.value" } },
+                        },
+                    },
+                },
+            });
+            // With null input
+            const snapshot1 = createSnapshot({}, "test-hash");
+            const intent1 = createIntent("validateInput", { value: null });
+            const result1 = await compute(schema, snapshot1, intent1);
+            expect(result1.status).toBe("error");
+            expect(result1.snapshot.system.lastError?.message).toBe("Value is required");
+            // With valid input
+            const snapshot2 = createSnapshot({}, "test-hash");
+            const intent2 = createIntent("validateInput", { value: "test" });
+            const result2 = await compute(schema, snapshot2, intent2);
+            expect(result2.status).toBe("complete");
+            expect(result2.snapshot.data).toEqual({ value: "test" });
+        });
+    });
+    describe("Trace Generation", () => {
+        it("should generate trace graph", async () => {
+            const schema = createTestSchema({
+                actions: {
+                    simpleAction: {
+                        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 snapshot = createSnapshot({}, "test-hash");
+            const intent = createIntent("simpleAction");
+            const result = await compute(schema, snapshot, intent);
+            expect(result.trace).toBeDefined();
+            expect(result.trace.intent).toEqual({ type: "simpleAction", input: undefined });
+            expect(result.trace.baseVersion).toBe(0);
+            expect(result.trace.resultVersion).toBe(1);
+            expect(result.trace.duration).toBeGreaterThanOrEqual(0);
+            expect(result.trace.terminatedBy).toBe("complete");
+        });
+    });
+    describe("Complex Scenarios", () => {
+        it("should handle a todo app workflow", async () => {
+            const schema = createTestSchema({
+                computed: {
+                    fields: {
+                        "computed.activeCount": {
+                            expr: {
+                                kind: "len",
+                                arg: {
+                                    kind: "filter",
+                                    array: { kind: "coalesce", args: [{ kind: "get", path: "todos" }, { kind: "lit", value: [] }] },
+                                    predicate: { kind: "not", arg: { kind: "get", path: "$item.completed" } },
+                                },
+                            },
+                            deps: ["todos"],
+                        },
+                    },
+                },
+                actions: {
+                    addTodo: {
+                        flow: {
+                            kind: "patch",
+                            op: "set",
+                            path: "todos",
+                            value: {
+                                kind: "coalesce",
+                                args: [
+                                    {
+                                        kind: "if",
+                                        cond: { kind: "isNull", arg: { kind: "get", path: "todos" } },
+                                        then: { kind: "lit", value: [] },
+                                        else: { kind: "get", path: "todos" },
+                                    },
+                                    { kind: "lit", value: [] },
+                                ],
+                            },
+                        },
+                    },
+                },
+            });
+            // First add - initialize todos array
+            const snapshot = createSnapshot({}, "test-hash");
+            const intent = createIntent("addTodo", { text: "Test todo" });
+            const result = await compute(schema, snapshot, intent);
+            expect(result.status).toBe("complete");
+            expect(result.snapshot.computed["computed.activeCount"]).toBe(0);
+        });
+        it("should handle sequential operations with state dependencies", async () => {
+            const schema = createTestSchema({
+                actions: {
+                    transfer: {
+                        flow: {
+                            kind: "seq",
+                            steps: [
+                                {
+                                    kind: "patch",
+                                    op: "set",
+                                    path: "fromBalance",
+                                    value: {
+                                        kind: "sub",
+                                        left: { kind: "get", path: "fromBalance" },
+                                        right: { kind: "get", path: "input.amount" },
+                                    },
+                                },
+                                {
+                                    kind: "patch",
+                                    op: "set",
+                                    path: "toBalance",
+                                    value: {
+                                        kind: "add",
+                                        left: { kind: "get", path: "toBalance" },
+                                        right: { kind: "get", path: "input.amount" },
+                                    },
+                                },
+                            ],
+                        },
+                    },
+                },
+            });
+            const snapshot = createSnapshot({
+                fromBalance: 100,
+                toBalance: 50,
+            }, "test-hash");
+            const intent = createIntent("transfer", { amount: 30 });
+            const result = await compute(schema, snapshot, intent);
+            expect(result.status).toBe("complete");
+            expect(result.snapshot.data).toEqual({
+                fromBalance: 70,
+                toBalance: 80,
+            });
+        });
+    });
+    describe("Version Management", () => {
+        it("should increment version on each compute", async () => {
+            const schema = createTestSchema({
+                actions: {
+                    noop: {
+                        flow: { kind: "seq", steps: [] },
+                    },
+                },
+            });
+            const snapshot = createSnapshot({}, "test-hash");
+            expect(snapshot.meta.version).toBe(0);
+            const result1 = await compute(schema, snapshot, createIntent("noop"));
+            expect(result1.snapshot.meta.version).toBe(1);
+            const result2 = await compute(schema, result1.snapshot, createIntent("noop"));
+            expect(result2.snapshot.meta.version).toBe(2);
+        });
+    });
+    describe("System State", () => {
+        it("should track errors in system.errors", async () => {
+            const schema = createTestSchema({
+                actions: {
+                    fail: {
+                        flow: { kind: "fail", code: "TEST_ERROR" },
+                    },
+                },
+            });
+            const snapshot = createSnapshot({}, "test-hash");
+            const result1 = await compute(schema, snapshot, createIntent("fail"));
+            expect(result1.snapshot.system.errors).toHaveLength(1);
+            expect(result1.snapshot.system.lastError?.code).toBe("VALIDATION_ERROR");
+            // Run again to accumulate errors
+            const result2 = await compute(schema, result1.snapshot, createIntent("fail"));
+            expect(result2.snapshot.system.errors).toHaveLength(2);
+        });
+        it("should reset currentAction after completion", async () => {
+            const schema = createTestSchema({
+                actions: {
+                    test: {
+                        flow: { kind: "patch", op: "set", path: "done", value: { kind: "lit", value: true } },
+                    },
+                },
+            });
+            const snapshot = createSnapshot({}, "test-hash");
+            const result = await compute(schema, snapshot, createIntent("test"));
+            expect(result.snapshot.system.currentAction).toBeNull();
+            expect(result.snapshot.system.status).toBe("idle");
+        });
+    });
+});
+//# sourceMappingURL=compute.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compute.test.js","sourceRoot":"","sources":["../../src/core/compute.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAG/D,2CAA2C;AAC3C,SAAS,gBAAgB,CAAC,YAAmC,EAAE;IAC7D,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,SAAS,EAAE,GAAG,EAAE;IACvB,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,gCAAgC,EAAE,KAAK,IAAI,EAAE;YAC9C,MAAM,MAAM,GAAG,gBAAgB,CAAC;gBAC9B,OAAO,EAAE;oBACP,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,IAAI,EAAE,OAAO;4BACb,EAAE,EAAE,KAAK;4BACT,IAAI,EAAE,OAAO;4BACb,KAAK,EAAE;gCACL,IAAI,EAAE,KAAK;gCACX,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE;gCAC7F,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;6BACjC;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;YAEzC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YAEvD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YACnD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,KAAK,IAAI,EAAE;YAC5C,MAAM,MAAM,GAAG,gBAAgB,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,YAAY,CAAC,aAAa,CAAC,CAAC;YAE3C,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YAEvD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACxE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;YAC/C,MAAM,MAAM,GAAG,gBAAgB,CAAC;gBAC9B,OAAO,EAAE;oBACP,OAAO,EAAE;wBACP,IAAI,EAAE;4BACJ,IAAI,EAAE,OAAO;4BACb,EAAE,EAAE,KAAK;4BACT,IAAI,EAAE,MAAM;4BACZ,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;yBAC3C;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAE1D,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YAEvD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;YACnD,MAAM,MAAM,GAAG,gBAAgB,CAAC;gBAC9B,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;gCACL,IAAI,EAAE,KAAK;gCACX,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE;gCACtC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE;6BAC7C;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,kCAAkC;YAClC,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,WAAW,CAAC,CAAC;YAChE,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YACzD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAE1D,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YAEvD,+BAA+B;YAC/B,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YAC9D,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YACzD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAE1D,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACrC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;YAC7D,MAAM,MAAM,GAAG,gBAAgB,CAAC;gBAC9B,QAAQ,EAAE;oBACR,MAAM,EAAE;wBACN,gBAAgB,EAAE;4BAChB,IAAI,EAAE;gCACJ,IAAI,EAAE,KAAK;gCACX,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE;gCACzF,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE;6BAC3F;4BACD,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;yBACjB;qBACF;iBACF;gBACD,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,IAAI,EAAE;4BACJ,IAAI,EAAE,OAAO;4BACb,EAAE,EAAE,KAAK;4BACT,IAAI,EAAE,GAAG;4BACT,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE;yBAC5C;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;YAC/D,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YAEpD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YAEvD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACxC,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;YACvE,MAAM,MAAM,GAAG,gBAAgB,CAAC;gBAC9B,OAAO,EAAE;oBACP,SAAS,EAAE;wBACT,IAAI,EAAE;4BACJ,IAAI,EAAE,KAAK;4BACX,KAAK,EAAE;gCACL,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;gCAClF;oCACE,IAAI,EAAE,QAAQ;oCACd,IAAI,EAAE,MAAM;oCACZ,MAAM,EAAE;wCACN,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,8BAA8B,EAAE;qCAC5D;iCACF;6BACF;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;YAEzC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YAEvD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACtC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACnE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;YACpE,MAAM,MAAM,GAAG,gBAAgB,CAAC;gBAC9B,OAAO,EAAE;oBACP,eAAe,EAAE;wBACf,IAAI,EAAE;4BACJ,IAAI,EAAE,KAAK;4BACX,KAAK,EAAE;gCACL,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;gCAClF;oCACE,IAAI,EAAE,IAAI;oCACV,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,kBAAkB,EAAE;oCAC/C,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,qBAAqB,EAAE;iCACtD;gCACD,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;6BACrF;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,YAAY;YACZ,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YAClD,MAAM,OAAO,GAAG,YAAY,CAAC,iBAAiB,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YACtE,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAE1D,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAEzD,eAAe;YACf,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YAClD,MAAM,OAAO,GAAG,YAAY,CAAC,iBAAiB,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;YACvE,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAE1D,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,yBAAyB,EAAE,KAAK,IAAI,EAAE;YACvC,MAAM,MAAM,GAAG,gBAAgB,CAAC;gBAC9B,OAAO,EAAE;oBACP,aAAa,EAAE;wBACb,IAAI,EAAE;4BACJ,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE;4BACnE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,mBAAmB,EAAE,EAAE;4BACnG,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE;yBAC/F;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,kBAAkB;YAClB,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YAClD,MAAM,OAAO,GAAG,YAAY,CAAC,eAAe,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/D,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAE1D,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACrC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YAE7E,mBAAmB;YACnB,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YAClD,MAAM,OAAO,GAAG,YAAY,CAAC,eAAe,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YACjE,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAE1D,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,6BAA6B,EAAE,KAAK,IAAI,EAAE;YAC3C,MAAM,MAAM,GAAG,gBAAgB,CAAC;gBAC9B,OAAO,EAAE;oBACP,YAAY,EAAE;wBACZ,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,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;YAE5C,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YAEvD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;YACnC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;YAChF,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;YACjD,MAAM,MAAM,GAAG,gBAAgB,CAAC;gBAC9B,QAAQ,EAAE;oBACR,MAAM,EAAE;wBACN,sBAAsB,EAAE;4BACtB,IAAI,EAAE;gCACJ,IAAI,EAAE,KAAK;gCACX,GAAG,EAAE;oCACH,IAAI,EAAE,QAAQ;oCACd,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE;oCAC/F,SAAS,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE;iCAC1E;6BACF;4BACD,IAAI,EAAE,CAAC,OAAO,CAAC;yBAChB;qBACF;iBACF;gBACD,OAAO,EAAE;oBACP,OAAO,EAAE;wBACP,IAAI,EAAE;4BACJ,IAAI,EAAE,OAAO;4BACb,EAAE,EAAE,KAAK;4BACT,IAAI,EAAE,OAAO;4BACb,KAAK,EAAE;gCACL,IAAI,EAAE,UAAU;gCAChB,IAAI,EAAE;oCACJ;wCACE,IAAI,EAAE,IAAI;wCACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;wCAC7D,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;wCAChC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE;qCACrC;oCACD,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;iCAC3B;6BACF;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,qCAAqC;YACrC,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;YAE9D,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YAEvD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;YAC3E,MAAM,MAAM,GAAG,gBAAgB,CAAC;gBAC9B,OAAO,EAAE;oBACP,QAAQ,EAAE;wBACR,IAAI,EAAE;4BACJ,IAAI,EAAE,KAAK;4BACX,KAAK,EAAE;gCACL;oCACE,IAAI,EAAE,OAAO;oCACb,EAAE,EAAE,KAAK;oCACT,IAAI,EAAE,aAAa;oCACnB,KAAK,EAAE;wCACL,IAAI,EAAE,KAAK;wCACX,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE;wCAC1C,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE;qCAC7C;iCACF;gCACD;oCACE,IAAI,EAAE,OAAO;oCACb,EAAE,EAAE,KAAK;oCACT,IAAI,EAAE,WAAW;oCACjB,KAAK,EAAE;wCACL,IAAI,EAAE,KAAK;wCACX,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE;wCACxC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE;qCAC7C;iCACF;6BACF;yBACF;qBACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,QAAQ,GAAG,cAAc,CAAC;gBAC9B,WAAW,EAAE,GAAG;gBAChB,SAAS,EAAE,EAAE;aACd,EAAE,WAAW,CAAC,CAAC;YAEhB,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YACxD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YAEvD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;gBACnC,WAAW,EAAE,EAAE;gBACf,SAAS,EAAE,EAAE;aACd,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,EAAE,CAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;YACxD,MAAM,MAAM,GAAG,gBAAgB,CAAC;gBAC9B,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;qBACjC;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YACjD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEtC,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;YACtE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAE9C,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;YAC9E,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;YACpD,MAAM,MAAM,GAAG,gBAAgB,CAAC;gBAC9B,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE;qBAC3C;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;YAEtE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAEzE,iCAAiC;YACjC,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;YAC9E,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;YAC3D,MAAM,MAAM,GAAG,gBAAgB,CAAC;gBAC9B,OAAO,EAAE;oBACP,IAAI,EAAE;wBACJ,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;qBACtF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;YAErE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/explain.d.ts

@@ -0,0 +1,14 @@
+import type { DomainSchema } from "../schema/domain.js";
+import type { Snapshot } from "../schema/snapshot.js";
+import type { SemanticPath } from "../schema/common.js";
+import type { ExplainResult } from "../schema/result.js";
+/**
+ * Explain why a value is what it is
+ *
+ * @param schema - The domain schema
+ * @param snapshot - Current snapshot state
+ * @param path - The path to explain
+ * @returns ExplainResult with value, trace, and dependencies
+ */
+export declare function explain(schema: DomainSchema, snapshot: Snapshot, path: SemanticPath): ExplainResult;
+//# sourceMappingURL=explain.d.ts.map

package/dist/core/explain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"explain.d.ts","sourceRoot":"","sources":["../../src/core/explain.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,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAOzD;;;;;;;GAOG;AACH,wBAAgB,OAAO,CACrB,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,YAAY,GACjB,aAAa,CAiCf"}

package/dist/core/explain.js

@@ -0,0 +1,74 @@
+import { createTraceNode } from "../schema/trace.js";
+import { getByPath } from "../utils/path.js";
+import { createContext } from "../evaluator/context.js";
+import { evaluateExpr } from "../evaluator/expr.js";
+import { isOk } from "../schema/common.js";
+/**
+ * Explain why a value is what it is
+ *
+ * @param schema - The domain schema
+ * @param snapshot - Current snapshot state
+ * @param path - The path to explain
+ * @returns ExplainResult with value, trace, and dependencies
+ */
+export function explain(schema, snapshot, path) {
+    // Check if it's a computed path
+    if (path.startsWith("computed.")) {
+        return explainComputed(schema, snapshot, path);
+    }
+    // Check if it's a system path
+    if (path.startsWith("system.")) {
+        const value = getByPath(snapshot.system, path.slice(7));
+        return {
+            value,
+            trace: createTraceNode("expr", path, { path }, value, []),
+            deps: [],
+        };
+    }
+    // Check if it's an input path
+    if (path.startsWith("input.") || path === "input") {
+        const value = path === "input" ? snapshot.input : getByPath(snapshot.input, path.slice(6));
+        return {
+            value,
+            trace: createTraceNode("expr", path, { path }, value, []),
+            deps: [],
+        };
+    }
+    // Default: it's a data path
+    const value = getByPath(snapshot.data, path);
+    return {
+        value,
+        trace: createTraceNode("expr", path, { path }, value, []),
+        deps: [],
+    };
+}
+/**
+ * Explain a computed value
+ */
+function explainComputed(schema, snapshot, path) {
+    const spec = schema.computed.fields[path];
+    if (!spec) {
+        // Not a computed field, just return the stored value
+        const value = snapshot.computed[path];
+        return {
+            value,
+            trace: createTraceNode("computed", path, { path }, value, []),
+            deps: [],
+        };
+    }
+    // Evaluate the expression to get the trace
+    const ctx = createContext(snapshot, schema, null, path);
+    const result = evaluateExpr(spec.expr, ctx);
+    const value = isOk(result) ? result.value : null;
+    // Build trace with dependency information
+    const childTraces = spec.deps.map((dep) => {
+        const depResult = explain(schema, snapshot, dep);
+        return depResult.trace;
+    });
+    return {
+        value,
+        trace: createTraceNode("computed", path, { expr: spec.expr }, value, childTraces),
+        deps: spec.deps,
+    };
+}
+//# sourceMappingURL=explain.js.map

package/dist/core/explain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"explain.js","sourceRoot":"","sources":["../../src/core/explain.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAE3C;;;;;;;GAOG;AACH,MAAM,UAAU,OAAO,CACrB,MAAoB,EACpB,QAAkB,EAClB,IAAkB;IAElB,gCAAgC;IAChC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QACjC,OAAO,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC;IAED,8BAA8B;IAC9B,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,OAAO;YACL,KAAK;YACL,KAAK,EAAE,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;YACzD,IAAI,EAAE,EAAE;SACT,CAAC;IACJ,CAAC;IAED,8BAA8B;IAC9B,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,OAAO;YACL,KAAK;YACL,KAAK,EAAE,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;YACzD,IAAI,EAAE,EAAE;SACT,CAAC;IACJ,CAAC;IAED,4BAA4B;IAC5B,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7C,OAAO;QACL,KAAK;QACL,KAAK,EAAE,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QACzD,IAAI,EAAE,EAAE;KACT,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CACtB,MAAoB,EACpB,QAAkB,EAClB,IAAkB;IAElB,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAE1C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,qDAAqD;QACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACtC,OAAO;YACL,KAAK;YACL,KAAK,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;YAC7D,IAAI,EAAE,EAAE;SACT,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,MAAM,GAAG,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAE5C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAEjD,0CAA0C;IAC1C,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACxC,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QACjD,OAAO,SAAS,CAAC,KAAK,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,KAAK;QACL,KAAK,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC;QACjF,IAAI,EAAE,IAAI,CAAC,IAAI;KAChB,CAAC;AACJ,CAAC"}

package/dist/core/index.d.ts

@@ -0,0 +1,5 @@
+export { validate } from "./validate.js";
+export { apply } from "./apply.js";
+export { compute } from "./compute.js";
+export { explain } from "./explain.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC"}

package/dist/core/index.js

@@ -0,0 +1,5 @@
+export { validate } from "./validate.js";
+export { apply } from "./apply.js";
+export { compute } from "./compute.js";
+export { explain } from "./explain.js";
+//# sourceMappingURL=index.js.map

package/dist/core/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC"}

package/dist/core/validate.d.ts

@@ -0,0 +1,15 @@
+import type { ValidationResult } from "../schema/result.js";
+/**
+ * Validate a domain schema
+ *
+ * Validation rules:
+ * - V-001: All paths in ComputedSpec.deps MUST exist
+ * - V-002: ComputedSpec dependency graph MUST be acyclic
+ * - V-003: All paths in ExprNode.get MUST exist (TODO: implement path validation)
+ * - V-004: All `call` references in FlowSpec MUST exist
+ * - V-005: FlowSpec `call` graph MUST be acyclic
+ * - V-006: ActionSpec.available expression MUST return boolean (runtime check)
+ * - V-007: ActionSpec.input MUST be valid FieldSpec (Zod handles this)
+ */
+export declare function validate(schema: unknown): ValidationResult;
+//# sourceMappingURL=validate.d.ts.map

package/dist/core/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/core/validate.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAmB,MAAM,qBAAqB,CAAC;AAK7E;;;;;;;;;;;GAWG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,gBAAgB,CAiD1D"}