@livestore/common 0.0.58-dev.6 → 0.0.58-dev.8

package/dist/sync/next/history-dag.d.ts

@@ -0,0 +1,30 @@
+import { type EventId } from '../../adapter-types.js';
+import type { MutationEventFactsGroup } from '../../schema/mutations.js';
+import { graphology } from './graphology_.js';
+export declare const connectionTypeOptions: readonly ["parent", "facts"];
+export type ConnectionType = (typeof connectionTypeOptions)[number];
+/**
+ * Eventlog represented as a multi-DAG including edges for
+ * - total-order (parent) relationships
+ * - dependency (requires/reads facts) relationships
+ */
+export type HistoryDag = graphology.IGraph<HistoryDagNode, {
+    type: ConnectionType;
+}>;
+export declare const emptyHistoryDag: () => HistoryDag;
+export type HistoryDagNode = {
+    id: EventId;
+    parentId: EventId;
+    mutation: string;
+    args: any;
+    /** Facts are being used for conflict detection and history compaction */
+    factsGroup: MutationEventFactsGroup;
+    meta?: any;
+};
+export declare const rootEventNode: HistoryDagNode;
+export declare const EMPTY_FACT_VALUE: unique symbol;
+export declare const eventIdToString: (eventId: EventId) => string;
+export declare const historyDagFromNodes: (dagNodes: HistoryDagNode[], options?: {
+    skipFactsCheck: boolean;
+}) => HistoryDag;
+//# sourceMappingURL=history-dag.d.ts.map

package/dist/sync/next/history-dag.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"history-dag.d.ts","sourceRoot":"","sources":["../../../src/sync/next/history-dag.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,OAAO,EAAW,MAAM,wBAAwB,CAAA;AAC9D,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAA;AAExE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7C,eAAO,MAAM,qBAAqB,8BAA+B,CAAA;AACjE,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAA;AAEnE;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,CAAA;AAEpF,eAAO,MAAM,eAAe,QAAO,UAK/B,CAAA;AAKJ,MAAM,MAAM,cAAc,GAAG;IAC3B,EAAE,EAAE,OAAO,CAAA;IACX,QAAQ,EAAE,OAAO,CAAA;IACjB,QAAQ,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE,GAAG,CAAA;IACT,yEAAyE;IACzE,UAAU,EAAE,uBAAuB,CAAA;IACnC,IAAI,CAAC,EAAE,GAAG,CAAA;CACX,CAAA;AAED,eAAO,MAAM,aAAa,EAAE,cAO3B,CAAA;AAED,eAAO,MAAM,gBAAgB,eAA6B,CAAA;AAE1D,eAAO,MAAM,eAAe,YAAa,OAAO,WACwC,CAAA;AAExF,eAAO,MAAM,mBAAmB,aAAc,cAAc,EAAE,YAAY;IAAE,cAAc,EAAE,OAAO,CAAA;CAAE,eA2DpG,CAAA"}

package/dist/sync/next/history-dag.js

@@ -0,0 +1,69 @@
+import { ROOT_ID } from '../../adapter-types.js';
+import { factsToString, validateFacts } from './facts.js';
+import { graphology } from './graphology_.js';
+export const connectionTypeOptions = ['parent', 'facts'];
+export const emptyHistoryDag = () => new graphology.Graph({
+    allowSelfLoops: false,
+    multi: true,
+    type: 'directed',
+});
+// TODO consider making `ROOT_ID` parent to itself
+const rootParentId = { global: ROOT_ID.global - 1, local: 0 };
+export const rootEventNode = {
+    id: ROOT_ID,
+    parentId: rootParentId,
+    // unused below
+    mutation: '__Root__',
+    args: {},
+    factsGroup: { modifySet: new Map(), modifyUnset: new Map(), depRequire: new Map(), depRead: new Map() },
+};
+export const EMPTY_FACT_VALUE = Symbol('EMPTY_FACT_VALUE');
+export const eventIdToString = (eventId) => eventId.local === 0 ? eventId.global.toString() : `${eventId.global}.${eventId.local}`;
+export const historyDagFromNodes = (dagNodes, options) => {
+    if (options?.skipFactsCheck !== true) {
+        const validationResult = validateFacts({
+            factGroups: dagNodes.map((node) => node.factsGroup),
+            initialSnapshot: new Map(),
+        });
+        if (validationResult.success === false) {
+            throw new Error(`Mutation ${dagNodes[validationResult.index].mutation} requires facts that have not been set yet.\nRequires: ${factsToString(validationResult.requiredFacts)}\nFacts Snapshot: ${factsToString(validationResult.currentSnapshot)}`);
+        }
+    }
+    const dag = emptyHistoryDag();
+    dagNodes.forEach((node) => dag.addNode(eventIdToString(node.id), node));
+    dagNodes.forEach((node) => {
+        if (eventIdToString(node.parentId) !== eventIdToString(rootParentId)) {
+            dag.addEdge(eventIdToString(node.parentId), eventIdToString(node.id), { type: 'parent' });
+        }
+    });
+    dagNodes.forEach((node) => {
+        const factKeys = [...node.factsGroup.depRequire.keys(), ...node.factsGroup.depRead.keys()];
+        for (const factKey of factKeys) {
+            // Find the first ancestor node with a matching fact key (via modifySet or modifyUnset) by traversing the graph backwards via the parent edges
+            const depNode = (() => {
+                let currentIdStr = eventIdToString(node.id);
+                while (currentIdStr !== eventIdToString(rootParentId)) {
+                    const parentEdge = dag.inEdges(currentIdStr).find((e) => dag.getEdgeAttribute(e, 'type') === 'parent');
+                    if (!parentEdge)
+                        return null;
+                    const parentIdStr = dag.source(parentEdge);
+                    const parentNode = dag.getNodeAttributes(parentIdStr);
+                    if (parentNode.factsGroup.modifySet.has(factKey) || parentNode.factsGroup.modifyUnset.has(factKey)) {
+                        return parentNode;
+                    }
+                    currentIdStr = parentIdStr;
+                }
+                return null;
+            })();
+            if (depNode) {
+                const depNodeIdStr = eventIdToString(depNode.id);
+                const nodeIdStr = eventIdToString(node.id);
+                if (dag.edges(depNodeIdStr, nodeIdStr).filter((e) => dag.getEdgeAttributes(e).type === 'facts').length === 0) {
+                    dag.addEdge(depNodeIdStr, nodeIdStr, { type: 'facts' });
+                }
+            }
+        }
+    });
+    return dag;
+};
+//# sourceMappingURL=history-dag.js.map

package/dist/sync/next/history-dag.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"history-dag.js","sourceRoot":"","sources":["../../../src/sync/next/history-dag.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,OAAO,EAAE,MAAM,wBAAwB,CAAA;AAE9D,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7C,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAU,CAAA;AAUjE,MAAM,CAAC,MAAM,eAAe,GAAG,GAAe,EAAE,CAC9C,IAAI,UAAU,CAAC,KAAK,CAAC;IACnB,cAAc,EAAE,KAAK;IACrB,KAAK,EAAE,IAAI;IACX,IAAI,EAAE,UAAU;CACjB,CAAC,CAAA;AAEJ,kDAAkD;AAClD,MAAM,YAAY,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAoB,CAAA;AAY/E,MAAM,CAAC,MAAM,aAAa,GAAmB;IAC3C,EAAE,EAAE,OAAO;IACX,QAAQ,EAAE,YAAY;IACtB,eAAe;IACf,QAAQ,EAAE,UAAU;IACpB,IAAI,EAAE,EAAE;IACR,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,WAAW,EAAE,IAAI,GAAG,EAAE,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE;CACxG,CAAA;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAA;AAE1D,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAgB,EAAE,EAAE,CAClD,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,EAAE,CAAA;AAExF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,QAA0B,EAAE,OAAqC,EAAE,EAAE;IACvG,IAAI,OAAO,EAAE,cAAc,KAAK,IAAI,EAAE,CAAC;QACrC,MAAM,gBAAgB,GAAG,aAAa,CAAC;YACrC,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC;YACnD,eAAe,EAAE,IAAI,GAAG,EAAe;SACxC,CAAC,CAAA;QAEF,IAAI,gBAAgB,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CACb,YAAY,QAAQ,CAAC,gBAAgB,CAAC,KAAK,CAAE,CAAC,QAAQ,0DAA0D,aAAa,CAAC,gBAAgB,CAAC,aAAa,CAAC,qBAAqB,aAAa,CAAC,gBAAgB,CAAC,eAAe,CAAC,EAAE,CACpO,CAAA;QACH,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAG,eAAe,EAAE,CAAA;IAE7B,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;IAEvE,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,IAAI,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,eAAe,CAAC,YAAY,CAAC,EAAE,CAAC;YACrE,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;QAC3F,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAA;QAC1F,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,8IAA8I;YAC9I,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE;gBACpB,IAAI,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAE3C,OAAO,YAAY,KAAK,eAAe,CAAC,YAAY,CAAC,EAAE,CAAC;oBACtD,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAA;oBACtG,IAAI,CAAC,UAAU;wBAAE,OAAO,IAAI,CAAA;oBAE5B,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;oBAC1C,MAAM,UAAU,GAAG,GAAG,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAA;oBAErD,IAAI,UAAU,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;wBACnG,OAAO,UAAU,CAAA;oBACnB,CAAC;oBAED,YAAY,GAAG,WAAW,CAAA;gBAC5B,CAAC;gBAED,OAAO,IAAI,CAAA;YACb,CAAC,CAAC,EAAE,CAAA;YAEJ,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,YAAY,GAAG,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;gBAChD,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAC1C,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC7G,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;gBACzD,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA"}

package/dist/sync/next/mod.d.ts

@@ -0,0 +1,5 @@
+export * from './history-dag.js';
+export * from './facts.js';
+export * from './compact-events.js';
+export * from './rebase-events.js';
+//# sourceMappingURL=mod.d.ts.map

package/dist/sync/next/mod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../../src/sync/next/mod.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAA;AAChC,cAAc,YAAY,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA"}

package/dist/sync/next/mod.js

@@ -0,0 +1,5 @@
+export * from './history-dag.js';
+export * from './facts.js';
+export * from './compact-events.js';
+export * from './rebase-events.js';
+//# sourceMappingURL=mod.js.map

package/dist/sync/next/mod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.js","sourceRoot":"","sources":["../../../src/sync/next/mod.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAA;AAChC,cAAc,YAAY,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA"}

package/dist/sync/next/mutation-fixtures.d.ts

@@ -0,0 +1,73 @@
+import type { MutationDef } from '@livestore/common/schema';
+import type { EventNode } from './history-dag.js';
+/** Used for conflict detection and event history compaction */
+export declare const facts: {
+    todoExists: (id: string) => string;
+    todoIsWriteable: (id: string, writeable: boolean) => [string, boolean];
+    todoCompleted: (id: string, completed: boolean) => [string, boolean];
+    todoTextUpdated: (id: string) => string;
+    inputValue: (id: string) => string;
+};
+export declare const mutations: {
+    createTodo: MutationDef<"createTodo", {
+        readonly id: string;
+        readonly text: string;
+    }, {
+        readonly id: string;
+        readonly text: string;
+    }>;
+    upsertTodo: MutationDef<"upsertTodo", {
+        readonly id: string;
+        readonly text?: string | undefined;
+    }, {
+        readonly id: string;
+        readonly text?: string | undefined;
+    }>;
+    completeTodo: MutationDef<"completeTodo", {
+        readonly id: string;
+    }, {
+        readonly id: string;
+    }>;
+    uncompleteTodo: MutationDef<"uncompleteTodo", {
+        readonly id: string;
+    }, {
+        readonly id: string;
+    }>;
+    completeTodos: MutationDef<"completeTodos", {
+        readonly ids: readonly string[];
+    }, {
+        readonly ids: readonly string[];
+    }>;
+    toggleTodo: MutationDef<"toggleTodo", {
+        readonly id: string;
+    }, {
+        readonly id: string;
+    }>;
+    setReadonlyTodo: MutationDef<"setReadonlyTodo", {
+        readonly id: string;
+        readonly readonly: boolean;
+    }, {
+        readonly id: string;
+        readonly readonly: boolean;
+    }>;
+    setTextTodo: MutationDef<"setTextTodo", {
+        readonly id: string;
+        readonly text: string;
+    }, {
+        readonly id: string;
+        readonly text: string;
+    }>;
+    setInputValue: MutationDef<"setInputValue", {
+        readonly id: string;
+        readonly text: string;
+    }, {
+        readonly id: string;
+        readonly text: string;
+    }>;
+};
+export type PartialEvent = {
+    mutation: string;
+    args: any;
+};
+export declare const toEventNodes: (partialEvents: PartialEvent[], mutationDefs: Record<string, MutationDef.Any>) => EventNode[];
+//# sourceMappingURL=mutation-fixtures.d.ts.map

package/dist/sync/next/mutation-fixtures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutation-fixtures.d.ts","sourceRoot":"","sources":["../../../src/sync/next/mutation-fixtures.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAK3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAGjD,+DAA+D;AAC/D,eAAO,MAAM,KAAK;qBACC,MAAM;0BACD,MAAM,aAAa,OAAO;wBAC5B,MAAM,aAAa,OAAO;0BACxB,MAAM;qBACX,MAAM;CACvB,CAAA;AAEF,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+GrB,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,GAAG,CAAA;CAAE,CAAA;AAE1D,eAAO,MAAM,YAAY,kBACR,YAAY,EAAE,gBACf,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,KAC5C,SAAS,EAkFX,CAAA"}

package/dist/sync/next/mutation-fixtures.js

@@ -0,0 +1,160 @@
+import { defineFacts, defineMutation } from '@livestore/common/schema';
+import { Schema } from '@livestore/utils/effect';
+import { factsSnapshotForDag, getFactsGroupForMutationArgs } from './facts.js';
+import { makeDag, ROOT_ID, rootEventNode } from './history-dag.js';
+/** Used for conflict detection and event history compaction */
+export const facts = defineFacts({
+    todoExists: (id) => `todo-exists-${id}`,
+    todoIsWriteable: (id, writeable) => [`todo-is-writeable-${id}`, writeable],
+    todoCompleted: (id, completed) => [`todo-completed-${id}`, completed],
+    todoTextUpdated: (id) => `todo-text-updated-${id}`,
+    inputValue: (id) => `input-value-${id}`,
+});
+export const mutations = {
+    createTodo: defineMutation('createTodo', Schema.Struct({ id: Schema.String, text: Schema.String }), 'INSERT INTO todos (id, text) VALUES ($id, $text)', {
+        facts: ({ id }) => ({
+            modify: {
+                set: [facts.todoExists(id), facts.todoIsWriteable(id, true), facts.todoCompleted(id, false)],
+            },
+        }),
+    }),
+    upsertTodo: defineMutation('upsertTodo', Schema.Struct({ id: Schema.String, text: Schema.optional(Schema.String) }), 'INSERT INTO todos (id, text) VALUES ($id, $text) ON CONFLICT (id) DO UPDATE SET text = $text', {
+        facts: ({ id }, currentFacts) => 
+        // TODO enable an API along the lines of `map.has(key, value)`
+        currentFacts.has(facts.todoExists(id)) && currentFacts.get(facts.todoIsWriteable(id, true)[0]) === false
+            ? { require: [facts.todoExists(id), facts.todoIsWriteable(id, true)] }
+            : { modify: { set: [facts.todoExists(id), facts.todoIsWriteable(id, true), facts.todoTextUpdated(id)] } },
+    }),
+    completeTodo: defineMutation('completeTodo', Schema.Struct({ id: Schema.String }), 
+    // consider `RETURNING` to validate before applying facts
+    'UPDATE todos SET completed = true WHERE id = $id', {
+        // prewrite assertions from DB
+        // enables more concurrency
+        // turning database inside out
+        // similar to upsert semantics
+        facts: ({ id }) => ({
+            require: [facts.todoExists(id), facts.todoIsWriteable(id, true)],
+            modify: { set: [facts.todoCompleted(id, true)] },
+        }),
+    }),
+    uncompleteTodo: defineMutation('uncompleteTodo', Schema.Struct({ id: Schema.String }), 'UPDATE todos SET completed = false WHERE id = $id', {
+        facts: ({ id }) => ({
+            require: [facts.todoExists(id), facts.todoIsWriteable(id, true)],
+            modify: { set: [facts.todoCompleted(id, false)] },
+        }),
+    }),
+    completeTodos: defineMutation('completeTodos', Schema.Struct({ ids: Schema.Array(Schema.String) }), 'UPDATE todos SET completed = true WHERE id IN ($ids:csv)', {
+        facts: ({ ids }) => ({
+            require: ids.flatMap((id) => [facts.todoExists(id), facts.todoIsWriteable(id, true)]),
+            modify: { set: ids.map((id) => facts.todoCompleted(id, true)) },
+        }),
+    }),
+    toggleTodo: defineMutation('toggleTodo', Schema.Struct({ id: Schema.String }), 'UPDATE todos SET completed = NOT completed WHERE id = $id', {
+        facts: ({ id }, currentFacts) => {
+            const currentIsCompleted = currentFacts.get(facts.todoCompleted(id, true)[0]) === true;
+            return {
+                require: [facts.todoExists(id), facts.todoIsWriteable(id, true)],
+                modify: {
+                    // remove: [facts.todoCompleted(id, currentIsCompleted)],
+                    set: [facts.todoCompleted(id, !currentIsCompleted)],
+                },
+            };
+        },
+    }),
+    setReadonlyTodo: defineMutation('setReadonlyTodo', Schema.Struct({ id: Schema.String, readonly: Schema.Boolean }), 'UPDATE todos SET readonly = $readonly WHERE id = $id', {
+        facts: ({ id, readonly }) => ({
+            require: [facts.todoExists(id)],
+            modify: { set: [facts.todoIsWriteable(id, !readonly)] },
+        }),
+    }),
+    setTextTodo: defineMutation('setTextTodo', Schema.Struct({ id: Schema.String, text: Schema.String }), 'UPDATE todos SET text = $text WHERE id = $id', {
+        facts: ({ id }) => ({
+            require: [facts.todoExists(id), facts.todoIsWriteable(id, true)],
+            modify: { set: [facts.todoTextUpdated(id)] },
+        }),
+    }),
+    setInputValue: defineMutation('setInputValue', Schema.Struct({ id: Schema.String, text: Schema.String }), 'UPDATE todos SET text = $text WHERE id = $id', {
+        localOnly: true,
+        facts: ({ id }) => ({ modify: { set: [facts.inputValue(id)] } }),
+    }),
+};
+export const toEventNodes = (partialEvents, mutationDefs) => {
+    const nodesAcc = [rootEventNode];
+    let currentEventId = ROOT_ID;
+    const getNextEventId = (mutationDef) => {
+        if (mutationDef.options.localOnly) {
+            return { global: currentEventId.global, local: currentEventId.local + 1 };
+        }
+        return { global: currentEventId.global + 1, local: 0 };
+    };
+    const eventNodes = partialEvents.map((partialEvent) => {
+        const mutationDef = mutationDefs[partialEvent.mutation];
+        const eventId = getNextEventId(mutationDef);
+        currentEventId = eventId;
+        const factsSnapshot = factsSnapshotForDag(makeDag(nodesAcc, { skipFactsCheck: true }), undefined);
+        // console.log('factsSnapshot', eventId, factsSnapshot)
+        // const depRead: MutationEventFactsSnapshot = new Map<string, any>()
+        // const factsSnapshotProxy = new Proxy(factsSnapshot, {
+        //   get: (target, prop) => {
+        //     if (prop === 'has') {
+        //       return (key: string) => {
+        //         depRead.set(key, EMPTY_FACT_VALUE)
+        //         return target.has(key)
+        //       }
+        //     } else if (prop === 'get') {
+        //       return (key: string) => {
+        //         depRead.set(key, EMPTY_FACT_VALUE)
+        //         return target.get(key)
+        //       }
+        //     }
+        //     notYetImplemented(`toEventNodes: ${prop.toString()} is not yet implemented`)
+        //   },
+        // })
+        // const factsRes = mutationDef.options.facts?.(partialEvent.args, factsSnapshotProxy)
+        // console.log('factsRes', factsRes?.modify, factsRes?.require)
+        // const iterableToMap = (iterable: Iterable<MutationEventFactInput>) => {
+        //   const map = new Map()
+        //   for (const item of iterable) {
+        //     if (typeof item === 'string') {
+        //       map.set(item, EMPTY_FACT_VALUE)
+        //     } else {
+        //       map.set(item[0], item[1])
+        //     }
+        //   }
+        //   return map
+        // }
+        // const facts = {
+        //   modifyAdd: factsRes?.modify.add ? iterableToMap(factsRes.modify.add) : new Map(),
+        //   modifyRemove: factsRes?.modify.remove ? iterableToMap(factsRes.modify.remove) : new Map(),
+        //   depRequire: factsRes?.require ? iterableToMap(factsRes.require) : new Map(),
+        //   depRead,
+        // } satisfies MutationEventFactsGroup
+        // applyFactGroup(facts, factsSnapshot)
+        const facts = getFactsGroupForMutationArgs({
+            factsCallback: mutationDef.options.facts,
+            args: partialEvent.args,
+            currentFacts: factsSnapshot,
+        });
+        const node = {
+            id: eventId,
+            parentId: getParentId(eventId),
+            mutation: partialEvent.mutation,
+            args: partialEvent.args,
+            factsGroup: facts,
+        };
+        nodesAcc.push(node);
+        return node;
+    });
+    eventNodes.unshift(rootEventNode);
+    // console.log('eventNodes', eventNodes)
+    return eventNodes;
+};
+const getParentId = (eventId) => {
+    const globalParentId = eventId.global;
+    const localParentId = eventId.local - 1;
+    if (localParentId < 0) {
+        return { global: globalParentId - 1, local: 0 };
+    }
+    return { global: globalParentId, local: localParentId };
+};
+//# sourceMappingURL=mutation-fixtures.js.map

package/dist/sync/next/mutation-fixtures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutation-fixtures.js","sourceRoot":"","sources":["../../../src/sync/next/mutation-fixtures.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACtE,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AAEhD,OAAO,EAAE,mBAAmB,EAAE,4BAA4B,EAAE,MAAM,YAAY,CAAA;AAE9E,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAElE,+DAA+D;AAC/D,MAAM,CAAC,MAAM,KAAK,GAAG,WAAW,CAAC;IAC/B,UAAU,EAAE,CAAC,EAAU,EAAE,EAAE,CAAC,eAAe,EAAE,EAAE;IAC/C,eAAe,EAAE,CAAC,EAAU,EAAE,SAAkB,EAAE,EAAE,CAAC,CAAC,qBAAqB,EAAE,EAAE,EAAE,SAAS,CAAC;IAC3F,aAAa,EAAE,CAAC,EAAU,EAAE,SAAkB,EAAE,EAAE,CAAC,CAAC,kBAAkB,EAAE,EAAE,EAAE,SAAS,CAAC;IACtF,eAAe,EAAE,CAAC,EAAU,EAAE,EAAE,CAAC,qBAAqB,EAAE,EAAE;IAC1D,UAAU,EAAE,CAAC,EAAU,EAAE,EAAE,CAAC,eAAe,EAAE,EAAE;CAChD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,UAAU,EAAE,cAAc,CACxB,YAAY,EACZ,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,EACzD,kDAAkD,EAClD;QACE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAClB,MAAM,EAAE;gBACN,GAAG,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;aAC7F;SACF,CAAC;KACH,CACF;IACD,UAAU,EAAE,cAAc,CACxB,YAAY,EACZ,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAC1E,8FAA8F,EAC9F;QACE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE;QAC9B,8DAA8D;QAC9D,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK;YACtG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE;YACtE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;KAC9G,CACF;IACD,YAAY,EAAE,cAAc,CAC1B,cAAc,EACd,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IACpC,yDAAyD;IACzD,kDAAkD,EAClD;QACE,8BAA8B;QAC9B,2BAA2B;QAC3B,8BAA8B;QAC9B,8BAA8B;QAC9B,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAClB,OAAO,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAChE,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE;SACjD,CAAC;KACH,CACF;IACD,cAAc,EAAE,cAAc,CAC5B,gBAAgB,EAChB,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,EACpC,mDAAmD,EACnD;QACE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAClB,OAAO,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAChE,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE;SAClD,CAAC;KACH,CACF;IACD,aAAa,EAAE,cAAc,CAC3B,eAAe,EACf,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EACnD,0DAA0D,EAC1D;QACE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACnB,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;YACrF,MAAM,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE;SAChE,CAAC;KACH,CACF;IACD,UAAU,EAAE,cAAc,CACxB,YAAY,EACZ,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,EACpC,2DAA2D,EAC3D;QACE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE;YAC9B,MAAM,kBAAkB,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAA;YACtF,OAAO;gBACL,OAAO,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBAChE,MAAM,EAAE;oBACN,yDAAyD;oBACzD,GAAG,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC;iBACpD;aACF,CAAA;QACH,CAAC;KACF,CACF;IACD,eAAe,EAAE,cAAc,CAC7B,iBAAiB,EACjB,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,EAC9D,sDAAsD,EACtD;QACE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;YAC5B,OAAO,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YAC/B,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE;SACxD,CAAC;KACH,CACF;IACD,WAAW,EAAE,cAAc,CACzB,aAAa,EACb,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,EACzD,8CAA8C,EAC9C;QACE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAClB,OAAO,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAChE,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,EAAE;SAC7C,CAAC;KACH,CACF;IACD,aAAa,EAAE,cAAc,CAC3B,eAAe,EACf,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,EACzD,8CAA8C,EAC9C;QACE,SAAS,EAAE,IAAI;QACf,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;KACjE,CACF;CACF,CAAA;AAID,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,aAA6B,EAC7B,YAA6C,EAChC,EAAE;IACf,MAAM,QAAQ,GAAgB,CAAC,aAAa,CAAC,CAAA;IAE7C,IAAI,cAAc,GAAY,OAAO,CAAA;IAErC,MAAM,cAAc,GAAG,CAAC,WAA4B,EAAW,EAAE;QAC/D,IAAI,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;YAClC,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,cAAc,CAAC,KAAK,GAAG,CAAC,EAAE,CAAA;QAC3E,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IACxD,CAAC,CAAA;IAED,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE;QACpD,MAAM,WAAW,GAAG,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAE,CAAA;QACxD,MAAM,OAAO,GAAG,cAAc,CAAC,WAAW,CAAC,CAAA;QAC3C,cAAc,GAAG,OAAO,CAAA;QAExB,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,CAAA;QACjG,uDAAuD;QACvD,qEAAqE;QACrE,wDAAwD;QACxD,6BAA6B;QAC7B,4BAA4B;QAC5B,kCAAkC;QAClC,6CAA6C;QAC7C,iCAAiC;QACjC,UAAU;QACV,mCAAmC;QACnC,kCAAkC;QAClC,6CAA6C;QAC7C,iCAAiC;QACjC,UAAU;QACV,QAAQ;QAER,mFAAmF;QACnF,OAAO;QACP,KAAK;QAEL,sFAAsF;QACtF,+DAA+D;QAC/D,0EAA0E;QAC1E,0BAA0B;QAC1B,mCAAmC;QACnC,sCAAsC;QACtC,wCAAwC;QACxC,eAAe;QACf,kCAAkC;QAClC,QAAQ;QACR,MAAM;QACN,eAAe;QACf,IAAI;QACJ,kBAAkB;QAClB,sFAAsF;QACtF,+FAA+F;QAC/F,iFAAiF;QACjF,aAAa;QACb,sCAAsC;QAEtC,uCAAuC;QAEvC,MAAM,KAAK,GAAG,4BAA4B,CAAC;YACzC,aAAa,EAAE,WAAW,CAAC,OAAO,CAAC,KAAK;YACxC,IAAI,EAAE,YAAY,CAAC,IAAI;YACvB,YAAY,EAAE,aAAa;SAC5B,CAAC,CAAA;QAEF,MAAM,IAAI,GAAG;YACX,EAAE,EAAE,OAAO;YACX,QAAQ,EAAE,WAAW,CAAC,OAAO,CAAC;YAC9B,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,IAAI,EAAE,YAAY,CAAC,IAAI;YACvB,UAAU,EAAE,KAAK;SACE,CAAA;QACrB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnB,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,CAAA;IAEF,UAAU,CAAC,OAAO,CAAC,aAAsB,CAAC,CAAA;IAE1C,wCAAwC;IAExC,OAAO,UAAU,CAAA;AACnB,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,OAAgB,EAAW,EAAE;IAChD,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAA;IACrC,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,GAAG,CAAC,CAAA;IAEvC,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,MAAM,EAAE,cAAc,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IACjD,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,aAAa,EAAE,CAAA;AACzD,CAAC,CAAA"}

package/dist/sync/next/rebase-events.d.ts

@@ -0,0 +1,27 @@
+import type { MutationDef, MutationEvent, MutationEventFactsSnapshot } from '../../schema/mutations.js';
+import { type FactValidationResult } from './facts.js';
+import type { HistoryDagNode } from './history-dag.js';
+export type RebaseEventWithConflict = HistoryDagNode & {
+    conflictType: 'overlap' | 'missing-requirement';
+    conflictingEvents: HistoryDagNode[];
+};
+export type RebaseInput = {
+    newRemoteEvents: RebaseEventWithConflict[];
+    pendingLocalEvents: RebaseEventWithConflict[];
+    validate: (args: {
+        rebasedLocalEvents: MutationEvent.PartialAny[];
+        mutationDefs: Record<string, MutationDef.Any>;
+    }) => FactValidationResult;
+};
+export type RebaseOutput = {
+    rebasedLocalEvents: MutationEvent.PartialAny[];
+};
+export type RebaseFn = (input: RebaseInput) => RebaseOutput;
+export declare const defaultRebaseFn: RebaseFn;
+export declare const rebaseEvents: ({ rebaseFn, pendingLocalEvents, newRemoteEvents, currentFactsSnapshot, }: {
+    pendingLocalEvents: HistoryDagNode[];
+    newRemoteEvents: HistoryDagNode[];
+    rebaseFn: RebaseFn;
+    currentFactsSnapshot: MutationEventFactsSnapshot;
+}) => MutationEvent.Any[];
+//# sourceMappingURL=rebase-events.d.ts.map

package/dist/sync/next/rebase-events.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rebase-events.d.ts","sourceRoot":"","sources":["../../../src/sync/next/rebase-events.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AACvG,OAAO,EAGL,KAAK,oBAAoB,EAG1B,MAAM,YAAY,CAAA;AACnB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAEtD,MAAM,MAAM,uBAAuB,GAAG,cAAc,GAAG;IACrD,YAAY,EAAE,SAAS,GAAG,qBAAqB,CAAA;IAC/C,iBAAiB,EAAE,cAAc,EAAE,CAAA;CACpC,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,eAAe,EAAE,uBAAuB,EAAE,CAAA;IAC1C,kBAAkB,EAAE,uBAAuB,EAAE,CAAA;IAC7C,QAAQ,EAAE,CAAC,IAAI,EAAE;QACf,kBAAkB,EAAE,aAAa,CAAC,UAAU,EAAE,CAAA;QAC9C,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,CAAA;KAC9C,KAAK,oBAAoB,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,kBAAkB,EAAE,aAAa,CAAC,UAAU,EAAE,CAAA;CAC/C,CAAA;AAED,MAAM,MAAM,QAAQ,GAAG,CAAC,KAAK,EAAE,WAAW,KAAK,YAAY,CAAA;AAE3D,eAAO,MAAM,eAAe,EAAE,QAM7B,CAAA;AAED,eAAO,MAAM,YAAY,6EAKtB;IACD,kBAAkB,EAAE,cAAc,EAAE,CAAA;IACpC,eAAe,EAAE,cAAc,EAAE,CAAA;IACjC,QAAQ,EAAE,QAAQ,CAAA;IAClB,oBAAoB,EAAE,0BAA0B,CAAA;CACjD,KAAG,aAAa,CAAC,GAAG,EA+CpB,CAAA"}

package/dist/sync/next/rebase-events.js

@@ -0,0 +1,41 @@
+import { applyFactGroups, factsIntersect, getFactsGroupForMutationArgs, validateFacts, } from './facts.js';
+export const defaultRebaseFn = ({ pendingLocalEvents }) => {
+    if (pendingLocalEvents.some((_) => _.conflictType === 'missing-requirement')) {
+        throw new Error('missing-requirement conflicts must be resolved before rebasing');
+    }
+    return { rebasedLocalEvents: pendingLocalEvents };
+};
+export const rebaseEvents = ({ rebaseFn, pendingLocalEvents, newRemoteEvents, currentFactsSnapshot, }) => {
+    const initialSnapshot = new Map(currentFactsSnapshot);
+    applyFactGroups(newRemoteEvents.map((event) => event.factsGroup), initialSnapshot);
+    // TODO detect and set actual conflict type (overlap or missing-requirement)
+    // TODO bring back validateFacts
+    const { rebasedLocalEvents } = rebaseFn({
+        pendingLocalEvents: pendingLocalEvents.map((pending) => ({
+            ...pending,
+            conflictType: 'overlap',
+            conflictingEvents: newRemoteEvents.filter((remote) => factsIntersect(remote.factsGroup.modifySet, pending.factsGroup.modifySet)),
+        })),
+        newRemoteEvents: newRemoteEvents.map((remote) => ({
+            ...remote,
+            conflictType: 'overlap',
+            conflictingEvents: pendingLocalEvents.filter((pending) => factsIntersect(pending.factsGroup.modifySet, remote.factsGroup.modifySet)),
+        })),
+        validate: ({ rebasedLocalEvents, mutationDefs }) => validateFacts({
+            factGroups: rebasedLocalEvents.map((event) => getFactsGroupForMutationArgs({
+                factsCallback: mutationDefs[event.mutation].options.facts,
+                args: event.args,
+                currentFacts: new Map(),
+            })),
+            initialSnapshot,
+        }),
+    });
+    const headGlobalId = newRemoteEvents.at(-1).id.global;
+    return rebasedLocalEvents.map((event, index) => ({
+        id: { global: headGlobalId + index + 1, local: 0 },
+        parentId: { global: headGlobalId + index, local: 0 },
+        mutation: event.mutation,
+        args: event.args,
+    }));
+};
+//# sourceMappingURL=rebase-events.js.map

package/dist/sync/next/rebase-events.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rebase-events.js","sourceRoot":"","sources":["../../../src/sync/next/rebase-events.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,eAAe,EACf,cAAc,EAEd,4BAA4B,EAC5B,aAAa,GACd,MAAM,YAAY,CAAA;AAuBnB,MAAM,CAAC,MAAM,eAAe,GAAa,CAAC,EAAE,kBAAkB,EAAE,EAAE,EAAE;IAClE,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,qBAAqB,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAA;IACnF,CAAC;IAED,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,CAAA;AACnD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,EAC3B,QAAQ,EACR,kBAAkB,EAClB,eAAe,EACf,oBAAoB,GAMrB,EAAuB,EAAE;IACxB,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,oBAAoB,CAAC,CAAA;IACrD,eAAe,CACb,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,EAChD,eAAe,CAChB,CAAA;IAED,4EAA4E;IAC5E,gCAAgC;IAChC,MAAM,EAAE,kBAAkB,EAAE,GAAG,QAAQ,CAAC;QACtC,kBAAkB,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACvD,GAAG,OAAO;YACV,YAAY,EAAE,SAAS;YACvB,iBAAiB,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CACnD,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,CAC1E;SACF,CAAC,CAAC;QACH,eAAe,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAChD,GAAG,MAAM;YACT,YAAY,EAAE,SAAS;YACvB,iBAAiB,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CACvD,cAAc,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAC1E;SACF,CAAC,CAAC;QACH,QAAQ,EAAE,CAAC,EAAE,kBAAkB,EAAE,YAAY,EAAE,EAAE,EAAE,CACjD,aAAa,CAAC;YACZ,UAAU,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3C,4BAA4B,CAAC;gBAC3B,aAAa,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAE,CAAC,OAAO,CAAC,KAAK;gBAC1D,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,YAAY,EAAE,IAAI,GAAG,EAAE;aACxB,CAAC,CACH;YACD,eAAe;SAChB,CAAC;KACL,CAAC,CAAA;IACF,MAAM,YAAY,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,MAAM,CAAA;IAEtD,OAAO,kBAAkB,CAAC,GAAG,CAC3B,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACf,CAAC;QACC,EAAE,EAAE,EAAE,MAAM,EAAE,YAAY,GAAG,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAoB;QACpE,QAAQ,EAAE,EAAE,MAAM,EAAE,YAAY,GAAG,KAAK,EAAE,KAAK,EAAE,CAAC,EAAoB;QACtE,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAA6B,CACjC,CAAA;AACH,CAAC,CAAA"}

package/dist/sync/next/test/compact-events.calculator.test.d.ts

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

package/dist/sync/next/test/compact-events.calculator.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compact-events.calculator.test.d.ts","sourceRoot":"","sources":["../../../../src/sync/next/test/compact-events.calculator.test.ts"],"names":[],"mappings":""}

package/dist/sync/next/test/compact-events.calculator.test.js

@@ -0,0 +1,101 @@
+import { defineMutation } from '@livestore/common/schema';
+import { Schema } from '@livestore/utils/effect';
+import { describe, expect, it } from 'vitest';
+import { compactEvents } from '../compact-events.js';
+import { historyDagFromNodes } from '../history-dag.js';
+import { customSerializer } from './compact-events.test.js';
+import { toEventNodes } from './mutation-fixtures.js';
+expect.addSnapshotSerializer(customSerializer);
+const compact = (events) => {
+    const dag = historyDagFromNodes(toEventNodes(events, mutations));
+    const compacted = compactEvents(dag);
+    return Array.from(compacted.dag.nodeEntries())
+        .map((_) => _.attributes)
+        .map(({ factsGroup, ...rest }) => ({ ...rest, facts: factsGroup }))
+        .slice(1);
+};
+const facts = {
+    multiplyByZero: `multiplyByZero`,
+};
+const mutations = {
+    add: defineMutation('add', Schema.Struct({ value: Schema.Number }), 'UPDATE values SET value = value + $value', {}),
+    multiply: defineMutation('multiply', Schema.Struct({ value: Schema.Number }), 'UPDATE values SET value = value * $value', {
+        facts: ({ value }, currentFacts) => ({
+            modify: {
+                set: value === 0 || currentFacts.has(facts.multiplyByZero) ? [facts.multiplyByZero] : [],
+                unset: value === 0 ? [] : [facts.multiplyByZero],
+            },
+        }),
+    }),
+    // TODO divide by zero
+};
+describe('compactEvents calculator', () => {
+    it('1 + 1', () => {
+        const expected = compact([
+            mutations.add({ value: 1 }), // 0
+            mutations.add({ value: 1 }), // 1
+        ]);
+        expect(expected).toMatchInlineSnapshot(`
+      [
+        { id: 0, parentId: -1, mutation: "add", args: { value: 1 }, facts: "" }
+        { id: 1, parentId: 0, mutation: "add", args: { value: 1 }, facts: "" }
+      ]
+    `);
+    });
+    it('2 * 2', () => {
+        const expected = compact([
+            mutations.multiply({ value: 2 }), // 0
+            mutations.multiply({ value: 2 }), // 1
+        ]);
+        expect(expected).toMatchInlineSnapshot(`
+      [
+        { id: 0, parentId: -1, mutation: "multiply", args: { value: 2 }, facts: "?multiplyByZero -multiplyByZero" }
+        { id: 1, parentId: 0, mutation: "multiply", args: { value: 2 }, facts: "?multiplyByZero -multiplyByZero" }
+      ]
+    `);
+    });
+    it('2 * 2 * 0', () => {
+        const expected = compact([
+            mutations.multiply({ value: 2 }), // 0
+            mutations.multiply({ value: 2 }), // 1
+            mutations.multiply({ value: 0 }), // 2
+        ]);
+        expect(expected).toMatchInlineSnapshot(`
+      [
+        { id: 2, parentId: -1, mutation: "multiply", args: { value: 0 }, facts: "+multiplyByZero" }
+      ]
+    `);
+    });
+    it('2 * 2 * 0 + 1', () => {
+        const expected = compact([
+            mutations.multiply({ value: 2 }), // 0
+            mutations.multiply({ value: 2 }), // 1
+            mutations.multiply({ value: 0 }), // 2
+            mutations.add({ value: 1 }), // 3
+        ]);
+        expect(expected).toMatchInlineSnapshot(`
+      [
+        { id: 2, parentId: -1, mutation: "multiply", args: { value: 0 }, facts: "+multiplyByZero" }
+        { id: 3, parentId: 2, mutation: "add", args: { value: 1 }, facts: "" }
+      ]
+    `);
+    });
+    it('1 + 2 * 0 * 2 + 1', () => {
+        const expected = compact([
+            mutations.add({ value: 1 }), // 0
+            mutations.multiply({ value: 2 }), // 1
+            mutations.multiply({ value: 0 }), // 2
+            mutations.multiply({ value: 2 }), // 3
+            mutations.add({ value: 1 }), // 4
+        ]);
+        expect(expected).toMatchInlineSnapshot(`
+      [
+        { id: 0, parentId: -1, mutation: "add", args: { value: 1 }, facts: "" }
+        { id: 2, parentId: 0, mutation: "multiply", args: { value: 0 }, facts: "+multiplyByZero" }
+        { id: 3, parentId: 2, mutation: "multiply", args: { value: 2 }, facts: "?multiplyByZero +multiplyByZero -multiplyByZero" }
+        { id: 4, parentId: 3, mutation: "add", args: { value: 1 }, facts: "" }
+      ]
+    `);
+    });
+});
+//# sourceMappingURL=compact-events.calculator.test.js.map

package/dist/sync/next/test/compact-events.calculator.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compact-events.calculator.test.js","sourceRoot":"","sources":["../../../../src/sync/next/test/compact-events.calculator.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAA;AAE7C,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAErD,MAAM,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,CAAA;AAE9C,MAAM,OAAO,GAAG,CAAC,MAAa,EAAE,EAAE;IAChC,MAAM,GAAG,GAAG,mBAAmB,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;IAChE,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,CAAA;IAEpC,OAAO,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;SACxB,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;SAClE,KAAK,CAAC,CAAC,CAAC,CAAA;AACb,CAAC,CAAA;AAED,MAAM,KAAK,GAAG;IACZ,cAAc,EAAE,gBAAgB;CACjC,CAAA;AAED,MAAM,SAAS,GAAG;IAChB,GAAG,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,0CAA0C,EAAE,EAAE,CAAC;IACnH,QAAQ,EAAE,cAAc,CACtB,UAAU,EACV,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,EACvC,0CAA0C,EAC1C;QACE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,YAAY,EAAE,EAAE,CAAC,CAAC;YACnC,MAAM,EAAE;gBACN,GAAG,EAAE,KAAK,KAAK,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE;gBACxF,KAAK,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;aACjD;SACF,CAAC;KACH,CACF;IACD,sBAAsB;CACvB,CAAA;AAED,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE;QACf,MAAM,QAAQ,GAAG,OAAO,CAAC;YACvB,SAAS,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;YACjC,SAAS,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;SAClC,CAAC,CAAA;QAEF,MAAM,CAAC,QAAQ,CAAC,CAAC,qBAAqB,CAAC;;;;;KAKtC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE;QACf,MAAM,QAAQ,GAAG,OAAO,CAAC;YACvB,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;YACtC,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;SACvC,CAAC,CAAA;QAEF,MAAM,CAAC,QAAQ,CAAC,CAAC,qBAAqB,CAAC;;;;;KAKtC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE;QACnB,MAAM,QAAQ,GAAG,OAAO,CAAC;YACvB,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;YACtC,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;YACtC,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;SACvC,CAAC,CAAA;QAEF,MAAM,CAAC,QAAQ,CAAC,CAAC,qBAAqB,CAAC;;;;KAItC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,QAAQ,GAAG,OAAO,CAAC;YACvB,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;YACtC,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;YACtC,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;YACtC,SAAS,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;SAClC,CAAC,CAAA;QAEF,MAAM,CAAC,QAAQ,CAAC,CAAC,qBAAqB,CAAC;;;;;KAKtC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC;YACvB,SAAS,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;YACjC,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;YACtC,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;YACtC,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;YACtC,SAAS,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI;SAClC,CAAC,CAAA;QAEF,MAAM,CAAC,QAAQ,CAAC,CAAC,qBAAqB,CAAC;;;;;;;KAOtC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/dist/sync/next/test/compact-events.test.d.ts

@@ -0,0 +1,2 @@
+export declare const customSerializer: any;
+//# sourceMappingURL=compact-events.test.d.ts.map

package/dist/sync/next/test/compact-events.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compact-events.test.d.ts","sourceRoot":"","sources":["../../../../src/sync/next/test/compact-events.test.ts"],"names":[],"mappings":"AA8DA,eAAO,MAAM,gBAAgB,EAKxB,GAAG,CAAA"}