@elaraai/east 0.0.1-beta.25 → 0.0.1-beta.27

package/dist/src/patch/invert.js

@@ -0,0 +1,302 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * invertFor - Invert a patch.
+ *
+ * @module
+ */
+import { toEastTypeValue } from "../type_of_type.js";
+import { isVariant, variant } from "../containers/variant.js";
+import { equalFor, compareFor } from "../comparison.js";
+import { SortedMap } from "../containers/sortedmap.js";
+import {} from "./types.js";
+export function invertFor(type, ctx = { invert: [], types: [], equal: [] }) {
+    // Convert to EastTypeValue and use a properly typed variable
+    const t = isVariant(type) ? type : toEastTypeValue(type);
+    if (t.type === "Never") {
+        return (_patch) => {
+            throw new Error("Cannot invert patches for type Never");
+        };
+    }
+    else if (t.type === "Null" ||
+        t.type === "Boolean" ||
+        t.type === "Integer" ||
+        t.type === "Float" ||
+        t.type === "String" ||
+        t.type === "DateTime" ||
+        t.type === "Blob") {
+        return (patch) => {
+            if (patch.type === "unchanged") {
+                return patch;
+            }
+            else if (patch.type === "replace") {
+                return variant("replace", { before: patch.value.after, after: patch.value.before });
+            }
+            else {
+                throw new Error(`Invalid patch type for primitive inversion: ${patch.type}`);
+            }
+        };
+    }
+    else if (t.type === "Array") {
+        let elementInvert;
+        const ret = (patch) => {
+            if (patch.type === "unchanged") {
+                return patch;
+            }
+            else if (patch.type === "replace") {
+                return variant("replace", { before: patch.value.after, after: patch.value.before });
+            }
+            else if (patch.type === "patch") {
+                const operations = patch.value;
+                const inverted = [];
+                for (let i = operations.length - 1; i >= 0; i--) {
+                    const op = operations[i];
+                    if (op.operation.type === "delete") {
+                        // Delete becomes insert at same position
+                        inverted.push({
+                            key: op.key,
+                            offset: 0n,
+                            operation: variant("insert", op.operation.value),
+                        });
+                    }
+                    else if (op.operation.type === "insert") {
+                        // Insert becomes delete at same position
+                        inverted.push({
+                            key: op.key,
+                            offset: 0n,
+                            operation: variant("delete", op.operation.value),
+                        });
+                    }
+                    else if (op.operation.type === "update") {
+                        inverted.push({
+                            key: op.key,
+                            offset: 0n,
+                            operation: variant("update", elementInvert(op.operation.value)),
+                        });
+                    }
+                }
+                return variant("patch", inverted);
+            }
+            else {
+                throw new Error(`Invalid patch type for array inversion: ${patch.type}`);
+            }
+        };
+        // Build array equality using equalFor with current context
+        const arrayEqual = equalFor(t, ctx.equal);
+        ctx.invert.push(ret);
+        ctx.types.push(t);
+        ctx.equal.push(arrayEqual);
+        elementInvert = invertFor(t.value, ctx);
+        ctx.invert.pop();
+        ctx.types.pop();
+        ctx.equal.pop();
+        return ret;
+    }
+    else if (t.type === "Set") {
+        const keyCompare = compareFor(t.value);
+        return (patch) => {
+            if (patch.type === "unchanged") {
+                return patch;
+            }
+            else if (patch.type === "replace") {
+                return variant("replace", { before: patch.value.after, after: patch.value.before });
+            }
+            else if (patch.type === "patch") {
+                const operations = patch.value;
+                const inverted = new SortedMap(undefined, keyCompare);
+                for (const [key, op] of operations) {
+                    if (op.type === "delete") {
+                        inverted.set(key, variant("insert", null));
+                    }
+                    else if (op.type === "insert") {
+                        inverted.set(key, variant("delete", null));
+                    }
+                }
+                return variant("patch", inverted);
+            }
+            else {
+                throw new Error(`Invalid patch type for set inversion: ${patch.type}`);
+            }
+        };
+    }
+    else if (t.type === "Dict") {
+        let valueInvert;
+        const keyCompare = compareFor(t.value.key);
+        const ret = (patch) => {
+            if (patch.type === "unchanged") {
+                return patch;
+            }
+            else if (patch.type === "replace") {
+                return variant("replace", { before: patch.value.after, after: patch.value.before });
+            }
+            else if (patch.type === "patch") {
+                const operations = patch.value;
+                const inverted = new SortedMap(undefined, keyCompare);
+                for (const [key, op] of operations) {
+                    if (op.type === "delete") {
+                        inverted.set(key, variant("insert", op.value));
+                    }
+                    else if (op.type === "insert") {
+                        inverted.set(key, variant("delete", op.value));
+                    }
+                    else if (op.type === "update") {
+                        inverted.set(key, variant("update", valueInvert(op.value)));
+                    }
+                }
+                return variant("patch", inverted);
+            }
+            else {
+                throw new Error(`Invalid patch type for dict inversion: ${patch.type}`);
+            }
+        };
+        // Build dict equality using equalFor with current context
+        const dictEqual = equalFor(t, ctx.equal);
+        ctx.invert.push(ret);
+        ctx.types.push(t);
+        ctx.equal.push(dictEqual);
+        valueInvert = invertFor(t.value.value, ctx);
+        ctx.invert.pop();
+        ctx.types.pop();
+        ctx.equal.pop();
+        return ret;
+    }
+    else if (t.type === "Struct") {
+        const fieldInverts = {};
+        const ret = (patch) => {
+            if (patch.type === "unchanged") {
+                return patch;
+            }
+            else if (patch.type === "replace") {
+                return variant("replace", { before: patch.value.after, after: patch.value.before });
+            }
+            else if (patch.type === "patch") {
+                const result = {};
+                let allUnchanged = true;
+                for (const { name } of t.value) {
+                    const inverted = fieldInverts[name](patch.value[name]);
+                    result[name] = inverted;
+                    if (inverted.type !== "unchanged") {
+                        allUnchanged = false;
+                    }
+                }
+                if (allUnchanged) {
+                    return variant("unchanged", null);
+                }
+                return variant("patch", result);
+            }
+            else {
+                throw new Error(`Invalid patch type for struct inversion: ${patch.type}`);
+            }
+        };
+        // Build struct equality using equalFor with current context
+        const structEqual = equalFor(t, ctx.equal);
+        ctx.invert.push(ret);
+        ctx.types.push(t);
+        ctx.equal.push(structEqual);
+        for (const { name, type: fieldType } of t.value) {
+            fieldInverts[name] = invertFor(fieldType, ctx);
+        }
+        ctx.invert.pop();
+        ctx.types.pop();
+        ctx.equal.pop();
+        return ret;
+    }
+    else if (t.type === "Variant") {
+        const caseInverts = {};
+        const ret = (patch) => {
+            if (patch.type === "unchanged") {
+                return patch;
+            }
+            else if (patch.type === "replace") {
+                return variant("replace", { before: patch.value.after, after: patch.value.before });
+            }
+            else if (patch.type === "patch") {
+                const caseName = patch.value.type;
+                const inverted = caseInverts[caseName](patch.value.value);
+                if (inverted.type === "unchanged") {
+                    return variant("unchanged", null);
+                }
+                return variant("patch", variant(caseName, inverted));
+            }
+            else {
+                throw new Error(`Invalid patch type for variant inversion: ${patch.type}`);
+            }
+        };
+        // Build variant equality using equalFor with current context
+        const variantEqual = equalFor(t, ctx.equal);
+        ctx.invert.push(ret);
+        ctx.types.push(t);
+        ctx.equal.push(variantEqual);
+        for (const { name, type: caseType } of t.value) {
+            caseInverts[name] = invertFor(caseType, ctx);
+        }
+        ctx.invert.pop();
+        ctx.types.pop();
+        ctx.equal.pop();
+        return ret;
+    }
+    else if (t.type === "Ref") {
+        let innerInvert;
+        const ret = (patch) => {
+            if (patch.type === "unchanged") {
+                return patch;
+            }
+            else if (patch.type === "replace") {
+                return variant("replace", { before: patch.value.after, after: patch.value.before });
+            }
+            else if (patch.type === "patch") {
+                const inverted = innerInvert(patch.value);
+                if (inverted.type === "unchanged") {
+                    return variant("unchanged", null);
+                }
+                return variant("patch", inverted);
+            }
+            else {
+                throw new Error(`Invalid patch type for ref inversion: ${patch.type}`);
+            }
+        };
+        // Build ref equality using equalFor with current context
+        const refEqual = equalFor(t, ctx.equal);
+        ctx.invert.push(ret);
+        ctx.types.push(t);
+        ctx.equal.push(refEqual);
+        innerInvert = invertFor(t.value, ctx);
+        ctx.invert.pop();
+        ctx.types.pop();
+        ctx.equal.pop();
+        return ret;
+    }
+    else if (t.type === "Recursive") {
+        // Recursive types use replace-only semantics - only unchanged and replace patches
+        return (patch) => {
+            if (patch.type === "unchanged") {
+                return patch;
+            }
+            else if (patch.type === "replace") {
+                return variant("replace", { before: patch.value.after, after: patch.value.before });
+            }
+            else {
+                throw new Error(`Invalid patch type for recursive type inversion: ${patch.type}`);
+            }
+        };
+    }
+    else if (t.type === "Function" || t.type === "AsyncFunction") {
+        return (patch) => {
+            if (patch.type === "unchanged") {
+                return patch;
+            }
+            else if (patch.type === "replace") {
+                return variant("replace", { before: patch.value.after, after: patch.value.before });
+            }
+            else {
+                throw new Error(`Invalid patch type for function inversion: ${patch.type}`);
+            }
+        };
+    }
+    else {
+        throw new Error(`Unhandled type in invertFor: ${t.type}`);
+    }
+}
+//# sourceMappingURL=invert.js.map

package/dist/src/patch/invert.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invert.js","sourceRoot":"","sources":["../../../src/patch/invert.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;GAIG;AAEH,OAAO,EAAE,eAAe,EAAsB,MAAM,oBAAoB,CAAC;AAEzE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAgC,MAAM,0BAA0B,CAAC;AAC5F,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACvD,OAAO,EAAsB,MAAM,YAAY,CAAC;AAIhD,MAAM,UAAU,SAAS,CAAC,IAA8B,EAAE,MAAqB,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;IACjH,6DAA6D;IAC7D,MAAM,CAAC,GAAkB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAgB,CAAC,CAAC;IAEpF,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvB,OAAO,CAAC,MAAW,EAAE,EAAE;YACrB,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAC1D,CAAC,CAAC;IACJ,CAAC;SAAM,IACL,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,SAAS;QACpB,CAAC,CAAC,IAAI,KAAK,SAAS;QACpB,CAAC,CAAC,IAAI,KAAK,OAAO;QAClB,CAAC,CAAC,IAAI,KAAK,QAAQ;QACnB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,CAAC,CAAC,IAAI,KAAK,MAAM,EACjB,CAAC;QACD,OAAO,CAAC,KAAmB,EAAE,EAAE;YAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAC;YACf,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,OAAO,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACtF,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,+CAA+C,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,IAAI,aAAkC,CAAC;QAEvC,MAAM,GAAG,GAAG,CAAC,KAAmB,EAAE,EAAE;YAClC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAC;YACf,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,OAAO,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACtF,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,UAAU,GAAU,KAAK,CAAC,KAAK,CAAC;gBACtC,MAAM,QAAQ,GAAU,EAAE,CAAC;gBAE3B,KAAK,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAChD,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;oBAC1B,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACnC,yCAAyC;wBACzC,QAAQ,CAAC,IAAI,CAAC;4BACZ,GAAG,EAAE,EAAE,CAAC,GAAG;4BACX,MAAM,EAAE,EAAE;4BACV,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;yBACjD,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC1C,yCAAyC;wBACzC,QAAQ,CAAC,IAAI,CAAC;4BACZ,GAAG,EAAE,EAAE,CAAC,GAAG;4BACX,MAAM,EAAE,EAAE;4BACV,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;yBACjD,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC1C,QAAQ,CAAC,IAAI,CAAC;4BACZ,GAAG,EAAE,EAAE,CAAC,GAAG;4BACX,MAAM,EAAE,EAAE;4BACV,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;yBAChE,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBAED,OAAO,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YACpC,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,2CAA2C,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC,CAAC;QAEF,2DAA2D;QAC3D,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAE1C,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3B,aAAa,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACxC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QACjB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAChB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAEhB,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5B,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAEvC,OAAO,CAAC,KAAmB,EAAE,EAAE;YAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAC;YACf,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,OAAO,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACtF,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,UAAU,GAAwB,KAAK,CAAC,KAAK,CAAC;gBACpD,MAAM,QAAQ,GAAG,IAAI,SAAS,CAAW,SAAS,EAAE,UAAU,CAAC,CAAC;gBAEhE,KAAK,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC;oBACnC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACzB,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;oBAC7C,CAAC;yBAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAChC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;oBAC7C,CAAC;gBACH,CAAC;gBAED,OAAO,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YACpC,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,yCAAyC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACzE,CAAC;QACH,CAAC,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC7B,IAAI,WAAgC,CAAC;QACrC,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAE3C,MAAM,GAAG,GAAG,CAAC,KAAmB,EAAE,EAAE;YAClC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAC;YACf,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,OAAO,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACtF,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,UAAU,GAAwB,KAAK,CAAC,KAAK,CAAC;gBACpD,MAAM,QAAQ,GAAG,IAAI,SAAS,CAAW,SAAS,EAAE,UAAU,CAAC,CAAC;gBAEhE,KAAK,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC;oBACnC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACzB,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;oBACjD,CAAC;yBAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAChC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;oBACjD,CAAC;yBAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAChC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC9D,CAAC;gBACH,CAAC;gBAED,OAAO,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YACpC,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,0CAA0C,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC,CAAC;QAEF,0DAA0D;QAC1D,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAEzC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1B,WAAW,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5C,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QACjB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAChB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAEhB,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAwC,EAAE,CAAC;QAE7D,MAAM,GAAG,GAAG,CAAC,KAAmB,EAAE,EAAE;YAClC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAC;YACf,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,OAAO,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACtF,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,MAAM,GAAwB,EAAE,CAAC;gBACvC,IAAI,YAAY,GAAG,IAAI,CAAC;gBAExB,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;oBAC/B,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;oBACxD,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC;oBACxB,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;wBAClC,YAAY,GAAG,KAAK,CAAC;oBACvB,CAAC;gBACH,CAAC;gBAED,IAAI,YAAY,EAAE,CAAC;oBACjB,OAAO,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBACpC,CAAC;gBAED,OAAO,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAClC,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,4CAA4C,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC,CAAC;QAEF,4DAA4D;QAC5D,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAE3C,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC5B,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAChD,YAAY,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACjD,CAAC;QACD,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QACjB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAChB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAEhB,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,WAAW,GAAwC,EAAE,CAAC;QAE5D,MAAM,GAAG,GAAG,CAAC,KAAmB,EAAE,EAAE;YAClC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAC;YACf,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,OAAO,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACtF,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;gBAClC,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAE3D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAClC,OAAO,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBACpC,CAAC;gBAED,OAAO,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YACvD,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,6CAA6C,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC,CAAC;QAEF,6DAA6D;QAC7D,MAAM,YAAY,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAE5C,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC7B,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC/C,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC/C,CAAC;QACD,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QACjB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAChB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAEhB,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5B,IAAI,WAAgC,CAAC;QAErC,MAAM,GAAG,GAAG,CAAC,KAAmB,EAAE,EAAE;YAClC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAC;YACf,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,OAAO,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACtF,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAClC,OAAO,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBACpC,CAAC;gBACD,OAAO,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YACpC,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,yCAAyC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACzE,CAAC;QACH,CAAC,CAAC;QAEF,yDAAyD;QACzD,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAExC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,WAAW,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACtC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QACjB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAChB,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAEhB,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,kFAAkF;QAClF,OAAO,CAAC,KAAmB,EAAE,EAAE;YAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAC;YACf,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,OAAO,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACtF,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,oDAAoD,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACpF,CAAC;QACH,CAAC,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC/D,OAAO,CAAC,KAAmB,EAAE,EAAE;YAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,KAAK,CAAC;YACf,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,OAAO,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACtF,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,KAAK,CAAC,8CAA8C,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9E,CAAC;QACH,CAAC,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,gCAAiC,CAAmB,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC"}

package/dist/src/patch/type_of_patch.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * PatchType constructor for computing patch types from East types.
+ *
+ * @module
+ */
+import { type EastType } from "../types.js";
+/**
+ * Construct the patch type for a given East type.
+ * Works directly with EastType objects (not EastTypeValue variants).
+ * Uses a context map to handle recursive types.
+ */
+export declare function PatchType<T extends EastType>(type: T, ctx?: Map<EastType, EastType>): EastType;
+//# sourceMappingURL=type_of_patch.d.ts.map

package/dist/src/patch/type_of_patch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type_of_patch.d.ts","sourceRoot":"","sources":["../../../src/patch/type_of_patch.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;GAIG;AAEH,OAAO,EACL,KAAK,QAAQ,EAOd,MAAM,aAAa,CAAC;AAErB;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,QAAQ,CA4H9F"}

package/dist/src/patch/type_of_patch.js

@@ -0,0 +1,143 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * PatchType constructor for computing patch types from East types.
+ *
+ * @module
+ */
+import { NullType, StructType, VariantType, ArrayType, DictType, IntegerType, } from "../types.js";
+/**
+ * Construct the patch type for a given East type.
+ * Works directly with EastType objects (not EastTypeValue variants).
+ * Uses a context map to handle recursive types.
+ */
+export function PatchType(type, ctx) {
+    // Initialize context for tracking recursive types
+    const context = ctx ?? new Map();
+    // Check if we've already computed the patch type for this type (handles recursion)
+    const cached = context.get(type);
+    if (cached !== undefined) {
+        return cached;
+    }
+    const t = type;
+    if (t.type === "Never" ||
+        t.type === "Null" ||
+        t.type === "Boolean" ||
+        t.type === "Integer" ||
+        t.type === "Float" ||
+        t.type === "String" ||
+        t.type === "DateTime" ||
+        t.type === "Blob") {
+        return VariantType({
+            unchanged: NullType,
+            replace: StructType({ before: type, after: type }),
+        });
+    }
+    else if (t.type === "Array") {
+        const elementType = t.value;
+        const elementPatchType = PatchType(elementType, context);
+        const operationType = VariantType({
+            delete: elementType,
+            insert: elementType,
+            update: elementPatchType,
+        });
+        const entryType = StructType({
+            key: IntegerType,
+            offset: IntegerType,
+            operation: operationType,
+        });
+        return VariantType({
+            unchanged: NullType,
+            replace: StructType({ before: type, after: type }),
+            patch: ArrayType(entryType),
+        });
+    }
+    else if (t.type === "Set") {
+        const keyType = t.key;
+        const operationType = VariantType({
+            delete: NullType,
+            insert: NullType,
+        });
+        return VariantType({
+            unchanged: NullType,
+            replace: StructType({ before: type, after: type }),
+            patch: DictType(keyType, operationType),
+        });
+    }
+    else if (t.type === "Dict") {
+        const keyType = t.key;
+        const valueType = t.value;
+        const valuePatchType = PatchType(valueType, context);
+        const operationType = VariantType({
+            delete: valueType,
+            insert: valueType,
+            update: valuePatchType,
+        });
+        return VariantType({
+            unchanged: NullType,
+            replace: StructType({ before: type, after: type }),
+            patch: DictType(keyType, operationType),
+        });
+    }
+    else if (t.type === "Struct") {
+        const fieldTypes = t.fields;
+        const patchFields = {};
+        for (const [name, fieldType] of Object.entries(fieldTypes)) {
+            patchFields[name] = PatchType(fieldType, context);
+        }
+        return VariantType({
+            unchanged: NullType,
+            replace: StructType({ before: type, after: type }),
+            patch: StructType(patchFields),
+        });
+    }
+    else if (t.type === "Variant") {
+        const caseTypes = t.cases;
+        const patchCases = {};
+        for (const [name, caseType] of Object.entries(caseTypes)) {
+            patchCases[name] = PatchType(caseType, context);
+        }
+        return VariantType({
+            unchanged: NullType,
+            replace: StructType({ before: type, after: type }),
+            patch: VariantType(patchCases),
+        });
+    }
+    else if (t.type === "Ref") {
+        const innerType = t.value;
+        const innerPatchType = PatchType(innerType, context);
+        return VariantType({
+            unchanged: NullType,
+            replace: StructType({ before: type, after: type }),
+            patch: innerPatchType,
+        });
+    }
+    else if (t.type === "Recursive") {
+        // Check if we've already seen this type (handles circular back-references)
+        const cached = context.get(type);
+        if (cached !== undefined) {
+            return cached;
+        }
+        // For back-references within the recursive structure, use replace-only semantics
+        // Register this BEFORE recursing so circular refs are caught
+        const replaceOnlyType = VariantType({
+            unchanged: NullType,
+            replace: StructType({ before: type, after: type }),
+        });
+        context.set(type, replaceOnlyType);
+        // Recurse into the node - the outer structure gets structural patching
+        return PatchType(t.node, context);
+    }
+    else if (t.type === "Function" || t.type === "AsyncFunction") {
+        return VariantType({
+            unchanged: NullType,
+            replace: StructType({ before: type, after: type }),
+        });
+    }
+    else {
+        throw new Error(`Unhandled type in PatchType: ${t.type}`);
+    }
+}
+//# sourceMappingURL=type_of_patch.js.map

package/dist/src/patch/type_of_patch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type_of_patch.js","sourceRoot":"","sources":["../../../src/patch/type_of_patch.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;GAIG;AAEH,OAAO,EAEL,QAAQ,EACR,UAAU,EACV,WAAW,EACX,SAAS,EACT,QAAQ,EACR,WAAW,GACZ,MAAM,aAAa,CAAC;AAErB;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAqB,IAAO,EAAE,GAA6B;IAClF,kDAAkD;IAClD,MAAM,OAAO,GAAG,GAAG,IAAI,IAAI,GAAG,EAAsB,CAAC;IAErD,mFAAmF;IACnF,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,CAAC,GAAG,IAAgB,CAAC;IAE3B,IACE,CAAC,CAAC,IAAI,KAAK,OAAO;QAClB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,SAAS;QACpB,CAAC,CAAC,IAAI,KAAK,SAAS;QACpB,CAAC,CAAC,IAAI,KAAK,OAAO;QAClB,CAAC,CAAC,IAAI,KAAK,QAAQ;QACnB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,CAAC,CAAC,IAAI,KAAK,MAAM,EACjB,CAAC;QACD,OAAO,WAAW,CAAC;YACjB,SAAS,EAAE,QAAQ;YACnB,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;SACnD,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC;QAC5B,MAAM,gBAAgB,GAAG,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACzD,MAAM,aAAa,GAAG,WAAW,CAAC;YAChC,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,gBAAgB;SACzB,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,UAAU,CAAC;YAC3B,GAAG,EAAE,WAAW;YAChB,MAAM,EAAE,WAAW;YACnB,SAAS,EAAE,aAAa;SACzB,CAAC,CAAC;QACH,OAAO,WAAW,CAAC;YACjB,SAAS,EAAE,QAAQ;YACnB,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YAClD,KAAK,EAAE,SAAS,CAAC,SAAS,CAAC;SAC5B,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC;QACtB,MAAM,aAAa,GAAG,WAAW,CAAC;YAChC,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,QAAQ;SACjB,CAAC,CAAC;QACH,OAAO,WAAW,CAAC;YACjB,SAAS,EAAE,QAAQ;YACnB,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YAClD,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;SACxC,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC;QACtB,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC;QAC1B,MAAM,cAAc,GAAG,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACrD,MAAM,aAAa,GAAG,WAAW,CAAC;YAChC,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,cAAc;SACvB,CAAC,CAAC;QACH,OAAO,WAAW,CAAC;YACjB,SAAS,EAAE,QAAQ;YACnB,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YAClD,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;SACxC,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;QAC5B,MAAM,WAAW,GAA6B,EAAE,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3D,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACpD,CAAC;QACD,OAAO,WAAW,CAAC;YACjB,SAAS,EAAE,QAAQ;YACnB,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YAClD,KAAK,EAAE,UAAU,CAAC,WAAW,CAAC;SAC/B,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC;QAC1B,MAAM,UAAU,GAA6B,EAAE,CAAC;QAChD,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YACzD,UAAU,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,WAAW,CAAC;YACjB,SAAS,EAAE,QAAQ;YACnB,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YAClD,KAAK,EAAE,WAAW,CAAC,UAAU,CAAC;SAC/B,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC;QAC1B,MAAM,cAAc,GAAG,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACrD,OAAO,WAAW,CAAC;YACjB,SAAS,EAAE,QAAQ;YACnB,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YAClD,KAAK,EAAE,cAAc;SACtB,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,2EAA2E;QAC3E,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,iFAAiF;QACjF,6DAA6D;QAC7D,MAAM,eAAe,GAAG,WAAW,CAAC;YAClC,SAAS,EAAE,QAAQ;YACnB,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;SACnD,CAAC,CAAC;QACH,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QAEnC,uEAAuE;QACvE,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC/D,OAAO,WAAW,CAAC;YACjB,SAAS,EAAE,QAAQ;YACnB,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;SACnD,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,gCAAiC,CAAc,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC"}

package/dist/src/patch/types.d.ts

@@ -0,0 +1,166 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Shared types and context interfaces for the patch system.
+ *
+ * @module
+ */
+import type { EastTypeValue } from "../type_of_type.js";
+import type { EastType, NullType, NeverType, BooleanType, IntegerType, FloatType, StringType, DateTimeType, BlobType, RefType, ArrayType, SetType, DictType, StructType, VariantType, RecursiveType } from "../types.js";
+/**
+ * Context for building diff handlers with proper recursive type support.
+ * Handlers are built in parallel so that when we encounter a `.Recursive n`
+ * back-reference, we can look up the appropriate handler from any array.
+ */
+export interface DiffContext {
+    /** Diff handlers: (before, after) => Patch */
+    diff: Array<(before: any, after: any) => any>;
+    /** Types at each level - used to call equalFor/compareFor on Recursive back-references */
+    types: Array<EastTypeValue>;
+    /** Equality handlers built in parallel - passed to equalFor for Recursive resolution */
+    equal: Array<(a: any, b: any) => boolean>;
+}
+/**
+ * Context for building apply handlers with proper recursive type support.
+ */
+export interface ApplyContext {
+    /** Apply handlers: (base, patch) => value */
+    apply: Array<(base: any, patch: any) => any>;
+    /** Types at each level */
+    types: Array<EastTypeValue>;
+    /** Equality handlers built in parallel - passed to equalFor for Recursive resolution */
+    equal: Array<(a: any, b: any) => boolean>;
+    /** Print handlers built in parallel - used for error messages */
+    print: Array<(value: any) => string>;
+}
+/**
+ * Context for building compose handlers with proper recursive type support.
+ */
+export interface ComposeContext {
+    /** Compose handlers: (first, second) => combined patch */
+    compose: Array<(first: any, second: any) => any>;
+    /** Apply handlers built in parallel - used instead of calling applyFor with fresh context */
+    apply: Array<(base: any, patch: any) => any>;
+    /** Invert handlers built in parallel - used instead of calling invertFor with fresh context */
+    invert: Array<(patch: any) => any>;
+    /** Types at each level */
+    types: Array<EastTypeValue>;
+    /** Equality handlers built in parallel - passed to equalFor for Recursive resolution */
+    equal: Array<(a: any, b: any) => boolean>;
+    /** Print handlers built in parallel - used for error messages */
+    print: Array<(value: any) => string>;
+}
+/**
+ * Context for building invert handlers with proper recursive type support.
+ */
+export interface InvertContext {
+    /** Invert handlers: (patch) => inverted patch */
+    invert: Array<(patch: any) => any>;
+    /** Types at each level */
+    types: Array<EastTypeValue>;
+    /** Equality handlers built in parallel - passed to equalFor for Recursive resolution */
+    equal: Array<(a: any, b: any) => boolean>;
+}
+/** Type-level computation of the patch type for a given East type. */
+export type PatchTypeOf<T extends EastType> = T extends NeverType | NullType | BooleanType | IntegerType | FloatType | StringType | DateTimeType | BlobType ? VariantType<{
+    unchanged: NullType;
+    replace: StructType<{
+        before: T;
+        after: T;
+    }>;
+}> : T extends RefType<infer V extends EastType> ? VariantType<{
+    unchanged: NullType;
+    replace: StructType<{
+        before: T;
+        after: T;
+    }>;
+    patch: PatchTypeOf<V>;
+}> : T extends ArrayType<infer E extends EastType> ? VariantType<{
+    unchanged: NullType;
+    replace: StructType<{
+        before: T;
+        after: T;
+    }>;
+    patch: ArrayType<StructType<{
+        key: IntegerType;
+        offset: IntegerType;
+        operation: VariantType<{
+            delete: E;
+            insert: E;
+            update: PatchTypeOf<E>;
+        }>;
+    }>>;
+}> : T extends SetType<infer K> ? VariantType<{
+    unchanged: NullType;
+    replace: StructType<{
+        before: T;
+        after: T;
+    }>;
+    patch: DictType<K, VariantType<{
+        delete: NullType;
+        insert: NullType;
+    }>>;
+}> : T extends DictType<infer K, infer V extends EastType> ? VariantType<{
+    unchanged: NullType;
+    replace: StructType<{
+        before: T;
+        after: T;
+    }>;
+    patch: DictType<K, VariantType<{
+        delete: V;
+        insert: V;
+        update: PatchTypeOf<V>;
+    }>>;
+}> : T extends StructType<infer Fields> ? VariantType<{
+    unchanged: NullType;
+    replace: StructType<{
+        before: T;
+        after: T;
+    }>;
+    patch: StructType<{
+        [K in keyof Fields]: Fields[K] extends EastType ? PatchTypeOf<Fields[K]> : never;
+    }>;
+}> : T extends VariantType<infer Cases> ? VariantType<{
+    unchanged: NullType;
+    replace: StructType<{
+        before: T;
+        after: T;
+    }>;
+    patch: VariantType<{
+        [K in keyof Cases]: Cases[K] extends EastType ? PatchTypeOf<Cases[K]> : never;
+    }>;
+}> : T extends RecursiveType<infer _Node extends EastType> ? VariantType<{
+    unchanged: NullType;
+    replace: StructType<{
+        before: T;
+        after: T;
+    }>;
+}> : VariantType<{
+    unchanged: NullType;
+    replace: StructType<{
+        before: T;
+        after: T;
+    }>;
+}>;
+/**
+ * Error thrown when patch operations encounter conflicts.
+ */
+export declare class ConflictError extends Error {
+    constructor(message: string);
+}
+/**
+ * Resolve a type that might be a Recursive back-reference.
+ * @internal
+ */
+export declare function resolveType(t: EastTypeValue, types: Array<EastTypeValue>): EastTypeValue;
+/**
+ * Compute the Longest Common Subsequence of two arrays.
+ * @internal
+ */
+export declare function computeLCS<T>(before: T[], after: T[], equal: (a: T, b: T) => boolean): {
+    beforeIndices: number[];
+    afterIndices: number[];
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/src/patch/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/patch/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;GAIG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EACV,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,WAAW,EACX,WAAW,EACX,SAAS,EACT,UAAU,EACV,YAAY,EACZ,QAAQ,EACR,OAAO,EACP,SAAS,EACT,OAAO,EACP,QAAQ,EACR,UAAU,EACV,WAAW,EACX,aAAa,EACd,MAAM,aAAa,CAAC;AAMrB;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,8CAA8C;IAC9C,IAAI,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC;IAC9C,0FAA0F;IAC1F,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IAC5B,wFAAwF;IACxF,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;CAC3C;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,6CAA6C;IAC7C,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC;IAC7C,0BAA0B;IAC1B,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IAC5B,wFAAwF;IACxF,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;IAC1C,iEAAiE;IACjE,KAAK,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,MAAM,CAAC,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,0DAA0D;IAC1D,OAAO,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC;IACjD,6FAA6F;IAC7F,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC;IAC7C,+FAA+F;IAC/F,MAAM,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC;IACnC,0BAA0B;IAC1B,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IAC5B,wFAAwF;IACxF,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;IAC1C,iEAAiE;IACjE,KAAK,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,MAAM,CAAC,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,iDAAiD;IACjD,MAAM,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC;IACnC,0BAA0B;IAC1B,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IAC5B,wFAAwF;IACxF,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;CAC3C;AAMD,sEAAsE;AACtE,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,QAAQ,IACxC,CAAC,SAAS,SAAS,GAAG,QAAQ,GAAG,WAAW,GAAG,WAAW,GAAG,SAAS,GAAG,UAAU,GAAG,YAAY,GAAG,QAAQ,GACzG,WAAW,CAAC;IAAE,SAAS,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,UAAU,CAAC;QAAE,MAAM,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;CAAE,CAAC,GACpF,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,SAAS,QAAQ,CAAC,GACzC,WAAW,CAAC;IAAE,SAAS,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,UAAU,CAAC;QAAE,MAAM,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;IAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC,GAC3G,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,SAAS,QAAQ,CAAC,GAC3C,WAAW,CAAC;IACV,SAAS,EAAE,QAAQ,CAAC;IACpB,OAAO,EAAE,UAAU,CAAC;QAAE,MAAM,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;IAC7C,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC;QAC1B,GAAG,EAAE,WAAW,CAAC;QACjB,MAAM,EAAE,WAAW,CAAC;QACpB,SAAS,EAAE,WAAW,CAAC;YAAE,MAAM,EAAE,CAAC,CAAC;YAAC,MAAM,EAAE,CAAC,CAAC;YAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;SAAE,CAAC,CAAC;KAC1E,CAAC,CAAC,CAAC;CACL,CAAC,GACJ,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GACxB,WAAW,CAAC;IACV,SAAS,EAAE,QAAQ,CAAC;IACpB,OAAO,EAAE,UAAU,CAAC;QAAE,MAAM,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;IAC7C,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,WAAW,CAAC;QAAE,MAAM,EAAE,QAAQ,CAAC;QAAC,MAAM,EAAE,QAAQ,CAAA;KAAE,CAAC,CAAC,CAAC;CACzE,CAAC,GACJ,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,SAAS,QAAQ,CAAC,GACnD,WAAW,CAAC;IACV,SAAS,EAAE,QAAQ,CAAC;IACpB,OAAO,EAAE,UAAU,CAAC;QAAE,MAAM,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;IAC7C,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,WAAW,CAAC;QAAE,MAAM,EAAE,CAAC,CAAC;QAAC,MAAM,EAAE,CAAC,CAAC;QAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;KAAE,CAAC,CAAC,CAAC;CACnF,CAAC,GACJ,CAAC,SAAS,UAAU,CAAC,MAAM,MAAM,CAAC,GAChC,WAAW,CAAC;IACV,SAAS,EAAE,QAAQ,CAAC;IACpB,OAAO,EAAE,UAAU,CAAC;QAAE,MAAM,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;IAC7C,KAAK,EAAE,UAAU,CAAC;SAAG,CAAC,IAAI,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;KAAE,CAAC,CAAC;CACzG,CAAC,GACJ,CAAC,SAAS,WAAW,CAAC,MAAM,KAAK,CAAC,GAChC,WAAW,CAAC;IACV,SAAS,EAAE,QAAQ,CAAC;IACpB,OAAO,EAAE,UAAU,CAAC;QAAE,MAAM,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;IAC7C,KAAK,EAAE,WAAW,CAAC;SAAG,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;KAAE,CAAC,CAAC;CACvG,CAAC,GACJ,CAAC,SAAS,aAAa,CAAC,MAAM,KAAK,SAAS,QAAQ,CAAC,GACnD,WAAW,CAAC;IACV,SAAS,EAAE,QAAQ,CAAC;IACpB,OAAO,EAAE,UAAU,CAAC;QAAE,MAAM,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;CAE9C,CAAC,GACJ,WAAW,CAAC;IAAE,SAAS,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,UAAU,CAAC;QAAE,MAAM,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AAEvF;;GAEG;AACH,qBAAa,aAAc,SAAQ,KAAK;gBAC1B,OAAO,EAAE,MAAM;CAI5B;AAMD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,GAAG,aAAa,CASxF;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAC1B,MAAM,EAAE,CAAC,EAAE,EACX,KAAK,EAAE,CAAC,EAAE,EACV,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAAO,GAC7B;IAAE,aAAa,EAAE,MAAM,EAAE,CAAC;IAAC,YAAY,EAAE,MAAM,EAAE,CAAA;CAAE,CAmCrD"}