@manifesto-ai/core 0.2.0 → 1.0.0

package/dist/core/compute.js

@@ -0,0 +1,197 @@
+import { createError } from "../errors.js";
+import { createContext } from "../evaluator/context.js";
+import { evaluateExpr } from "../evaluator/expr.js";
+import { evaluateFlow, createFlowState } from "../evaluator/flow.js";
+import { evaluateComputed } from "../evaluator/computed.js";
+import { isOk, isErr } from "../schema/common.js";
+/**
+ * Compute the result of dispatching an intent
+ *
+ * This is the ONLY entry point for computation.
+ * Each call is independent - there is no suspended context.
+ *
+ * @param schema - The domain schema
+ * @param snapshot - Current snapshot state
+ * @param intent - The intent to process
+ * @returns ComputeResult with new snapshot, trace, and status
+ */
+export async function compute(schema, snapshot, intent) {
+    const startTime = Date.now();
+    // 0. Ensure computed values are up-to-date before availability check
+    let currentSnapshot = snapshot;
+    const initialComputedResult = evaluateComputed(schema, snapshot);
+    if (isOk(initialComputedResult)) {
+        currentSnapshot = {
+            ...snapshot,
+            computed: initialComputedResult.value,
+        };
+    }
+    // 1. Look up the action
+    const action = schema.actions[intent.type];
+    if (!action) {
+        return createErrorResult(currentSnapshot, intent, "UNKNOWN_ACTION", `Unknown action: ${intent.type}`, startTime);
+    }
+    // 2. Check availability condition
+    if (action.available) {
+        const ctx = createContext(currentSnapshot, schema, intent.type, "available");
+        const availResult = evaluateExpr(action.available, ctx);
+        if (isErr(availResult)) {
+            return createErrorResult(currentSnapshot, intent, "INTERNAL_ERROR", `Error evaluating availability: ${availResult.error.message}`, startTime);
+        }
+        const isAvailable = availResult.value !== false && availResult.value !== null && availResult.value !== undefined;
+        if (!isAvailable) {
+            return createErrorResult(currentSnapshot, intent, "ACTION_UNAVAILABLE", `Action "${intent.type}" is not available`, startTime);
+        }
+    }
+    // 3. Prepare snapshot with input and system state
+    const preparedSnapshot = {
+        ...currentSnapshot,
+        input: intent.input,
+        system: {
+            ...currentSnapshot.system,
+            status: "computing",
+            currentAction: intent.type,
+        },
+    };
+    // 4. Create evaluation context and flow state
+    const ctx = createContext(preparedSnapshot, schema, intent.type, `actions.${intent.type}.flow`);
+    const flowState = createFlowState(preparedSnapshot);
+    // 5. Evaluate the flow
+    const flowResult = await evaluateFlow(action.flow, ctx, flowState, `actions.${intent.type}.flow`);
+    // 6. Get final snapshot from flow state
+    let finalSnapshot = flowResult.state.snapshot;
+    // 7. Recompute all computed values
+    const computedResult = evaluateComputed(schema, finalSnapshot);
+    if (isOk(computedResult)) {
+        finalSnapshot = {
+            ...finalSnapshot,
+            computed: computedResult.value,
+        };
+    }
+    // 8. Update system state based on flow result
+    const systemStatus = mapFlowStatus(flowResult.state.status);
+    const systemState = {
+        status: systemStatus === "complete" || systemStatus === "halted" ? "idle" : systemStatus,
+        lastError: flowResult.state.error,
+        errors: flowResult.state.error
+            ? [...finalSnapshot.system.errors, flowResult.state.error]
+            : finalSnapshot.system.errors,
+        pendingRequirements: [...flowResult.state.requirements],
+        currentAction: systemStatus === "pending" ? intent.type : null,
+    };
+    finalSnapshot = {
+        ...finalSnapshot,
+        system: systemState,
+        meta: {
+            ...finalSnapshot.meta,
+            version: finalSnapshot.meta.version + 1,
+            timestamp: Date.now(),
+        },
+    };
+    // 9. Build trace graph
+    const trace = {
+        root: flowResult.trace,
+        nodes: collectTraceNodes(flowResult.trace),
+        intent: { type: intent.type, input: intent.input },
+        baseVersion: currentSnapshot.meta.version,
+        resultVersion: finalSnapshot.meta.version,
+        duration: Date.now() - startTime,
+        terminatedBy: mapFlowStatusToTermination(flowResult.state.status),
+    };
+    return {
+        snapshot: finalSnapshot,
+        trace,
+        status: systemStatus,
+    };
+}
+/**
+ * Map flow status to compute status
+ */
+function mapFlowStatus(status) {
+    switch (status) {
+        case "running":
+        case "complete":
+            return "complete";
+        case "pending":
+            return "pending";
+        case "halted":
+            return "halted";
+        case "error":
+            return "error";
+    }
+}
+/**
+ * Map flow status to trace termination
+ */
+function mapFlowStatusToTermination(status) {
+    switch (status) {
+        case "running":
+        case "complete":
+            return "complete";
+        case "pending":
+            return "effect";
+        case "halted":
+            return "halt";
+        case "error":
+            return "error";
+    }
+}
+/**
+ * Collect all trace nodes into a flat map
+ */
+function collectTraceNodes(root) {
+    const nodes = {};
+    function collect(node) {
+        nodes[node.id] = node;
+        for (const child of node.children) {
+            collect(child);
+        }
+    }
+    collect(root);
+    return nodes;
+}
+/**
+ * Create an error result
+ */
+function createErrorResult(snapshot, intent, code, message, startTime) {
+    const error = createError(code, message, intent.type, "");
+    const errorSnapshot = {
+        ...snapshot,
+        input: intent.input,
+        system: {
+            ...snapshot.system,
+            status: "error",
+            lastError: error,
+            errors: [...snapshot.system.errors, error],
+            currentAction: null,
+        },
+        meta: {
+            ...snapshot.meta,
+            version: snapshot.meta.version + 1,
+            timestamp: Date.now(),
+        },
+    };
+    const trace = {
+        root: {
+            id: `trace-error-${Date.now()}`,
+            kind: "error",
+            sourcePath: "",
+            inputs: {},
+            output: error,
+            children: [],
+            timestamp: Date.now(),
+        },
+        nodes: {},
+        intent: { type: intent.type, input: intent.input },
+        baseVersion: snapshot.meta.version,
+        resultVersion: errorSnapshot.meta.version,
+        duration: Date.now() - startTime,
+        terminatedBy: "error",
+    };
+    return {
+        snapshot: errorSnapshot,
+        trace,
+        status: "error",
+    };
+}
+//# sourceMappingURL=compute.js.map

package/dist/core/compute.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compute.js","sourceRoot":"","sources":["../../src/core/compute.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAmB,MAAM,sBAAsB,CAAC;AACtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAElD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,MAAoB,EACpB,QAAkB,EAClB,MAAc;IAEd,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAE7B,qEAAqE;IACrE,IAAI,eAAe,GAAG,QAAQ,CAAC;IAC/B,MAAM,qBAAqB,GAAG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACjE,IAAI,IAAI,CAAC,qBAAqB,CAAC,EAAE,CAAC;QAChC,eAAe,GAAG;YAChB,GAAG,QAAQ;YACX,QAAQ,EAAE,qBAAqB,CAAC,KAAK;SACtC,CAAC;IACJ,CAAC;IAED,wBAAwB;IACxB,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,iBAAiB,CACtB,eAAe,EACf,MAAM,EACN,gBAAgB,EAChB,mBAAmB,MAAM,CAAC,IAAI,EAAE,EAChC,SAAS,CACV,CAAC;IACJ,CAAC;IAED,kCAAkC;IAClC,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,aAAa,CAAC,eAAe,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC7E,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAExD,IAAI,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;YACvB,OAAO,iBAAiB,CACtB,eAAe,EACf,MAAM,EACN,gBAAgB,EAChB,kCAAkC,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,EAC7D,SAAS,CACV,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GAAG,WAAW,CAAC,KAAK,KAAK,KAAK,IAAI,WAAW,CAAC,KAAK,KAAK,IAAI,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS,CAAC;QACjH,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,iBAAiB,CACtB,eAAe,EACf,MAAM,EACN,oBAAoB,EACpB,WAAW,MAAM,CAAC,IAAI,oBAAoB,EAC1C,SAAS,CACV,CAAC;QACJ,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,MAAM,gBAAgB,GAAa;QACjC,GAAG,eAAe;QAClB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM,EAAE;YACN,GAAG,eAAe,CAAC,MAAM;YACzB,MAAM,EAAE,WAAW;YACnB,aAAa,EAAE,MAAM,CAAC,IAAI;SAC3B;KACF,CAAC;IAEF,8CAA8C;IAC9C,MAAM,GAAG,GAAG,aAAa,CAAC,gBAAgB,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,WAAW,MAAM,CAAC,IAAI,OAAO,CAAC,CAAC;IAChG,MAAM,SAAS,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC;IAEpD,uBAAuB;IACvB,MAAM,UAAU,GAAG,MAAM,YAAY,CACnC,MAAM,CAAC,IAAI,EACX,GAAG,EACH,SAAS,EACT,WAAW,MAAM,CAAC,IAAI,OAAO,CAC9B,CAAC;IAEF,wCAAwC;IACxC,IAAI,aAAa,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;IAE9C,mCAAmC;IACnC,MAAM,cAAc,GAAG,gBAAgB,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC/D,IAAI,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACzB,aAAa,GAAG;YACd,GAAG,aAAa;YAChB,QAAQ,EAAE,cAAc,CAAC,KAAK;SAC/B,CAAC;IACJ,CAAC;IAED,8CAA8C;IAC9C,MAAM,YAAY,GAAG,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAgB;QAC/B,MAAM,EAAE,YAAY,KAAK,UAAU,IAAI,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY;QACxF,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK;QACjC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK;YAC5B,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;YAC1D,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM;QAC/B,mBAAmB,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC;QACvD,aAAa,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;KAC/D,CAAC;IAEF,aAAa,GAAG;QACd,GAAG,aAAa;QAChB,MAAM,EAAE,WAAW;QACnB,IAAI,EAAE;YACJ,GAAG,aAAa,CAAC,IAAI;YACrB,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC;YACvC,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;SACtB;KACF,CAAC;IAEF,uBAAuB;IACvB,MAAM,KAAK,GAAe;QACxB,IAAI,EAAE,UAAU,CAAC,KAAK;QACtB,KAAK,EAAE,iBAAiB,CAAC,UAAU,CAAC,KAAK,CAAC;QAC1C,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;QAClD,WAAW,EAAE,eAAe,CAAC,IAAI,CAAC,OAAO;QACzC,aAAa,EAAE,aAAa,CAAC,IAAI,CAAC,OAAO;QACzC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;QAChC,YAAY,EAAE,0BAA0B,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;KAClE,CAAC;IAEF,OAAO;QACL,QAAQ,EAAE,aAAa;QACvB,KAAK;QACL,MAAM,EAAE,YAAY;KACrB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,MAAkB;IACvC,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,UAAU;YACb,OAAO,UAAU,CAAC;QACpB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,0BAA0B,CAAC,MAAkB;IACpD,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,UAAU;YACb,OAAO,UAAU,CAAC;QACpB,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,IAA4C;IACrE,MAAM,KAAK,GAA2D,EAAE,CAAC;IAEzE,SAAS,OAAO,CAAC,IAA4C;QAC3D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;QACtB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CACxB,QAAkB,EAClB,MAAc,EACd,IAAY,EACZ,OAAe,EACf,SAAiB;IAEjB,MAAM,KAAK,GAAG,WAAW,CACvB,IAA4C,EAC5C,OAAO,EACP,MAAM,CAAC,IAAI,EACX,EAAE,CACH,CAAC;IAEF,MAAM,aAAa,GAAa;QAC9B,GAAG,QAAQ;QACX,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM,EAAE;YACN,GAAG,QAAQ,CAAC,MAAM;YAClB,MAAM,EAAE,OAAO;YACf,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC;YAC1C,aAAa,EAAE,IAAI;SACpB;QACD,IAAI,EAAE;YACJ,GAAG,QAAQ,CAAC,IAAI;YAChB,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC;YAClC,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;SACtB;KACF,CAAC;IAEF,MAAM,KAAK,GAAe;QACxB,IAAI,EAAE;YACJ,EAAE,EAAE,eAAe,IAAI,CAAC,GAAG,EAAE,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,EAAE;YACZ,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;SACtB;QACD,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;QAClD,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO;QAClC,aAAa,EAAE,aAAa,CAAC,IAAI,CAAC,OAAO;QACzC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;QAChC,YAAY,EAAE,OAAO;KACtB,CAAC;IAEF,OAAO;QACL,QAAQ,EAAE,aAAa;QACvB,KAAK;QACL,MAAM,EAAE,OAAO;KAChB,CAAC;AACJ,CAAC"}

package/dist/core/compute.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=compute.test.d.ts.map

package/dist/core/compute.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compute.test.d.ts","sourceRoot":"","sources":["../../src/core/compute.test.ts"],"names":[],"mappings":""}

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"}