@livestore/common 0.0.58-dev.1 → 0.0.58-dev.11

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

@@ -0,0 +1,176 @@
+import { replacesFacts } from './facts.js';
+import { graphologyDag } from './graphology_.js';
+import { emptyHistoryDag, eventIdToString } from './history-dag.js';
+/**
+ * Idea:
+ * - iterate over all events from leaves to root
+ * - for each event
+ *   - gradually make sub dags by following the event's fact dependencies
+ *   - for each sub dag check and remove sub dags further up in the history dag that are a subset of the current sub dag
+ *
+ * TODO: try to implement this function on top of SQLite
+ */
+export const compactEvents = (inputDag) => {
+    const dag = inputDag.copy();
+    const compactedEventCount = 0;
+    const orderedEventIdStrs = graphologyDag.topologicalSort(dag).reverse();
+    // drop root
+    orderedEventIdStrs.pop();
+    for (const eventIdStr of orderedEventIdStrs) {
+        if (dag.hasNode(eventIdStr) === false) {
+            continue;
+        }
+        const subDagsForEvent = Array.from(makeSubDagsForEvent(dag, eventIdStr));
+        for (const subDag of subDagsForEvent) {
+            let shouldRetry = true;
+            while (shouldRetry) {
+                const subDagsInHistory = findSubDagsInHistory(dag, subDag, eventIdStr);
+                // console.debug(
+                //   'subDagsInHistory',
+                //   eventIdStr,
+                //   'target',
+                //   subDag.nodes(),
+                //   'found',
+                //   ...subDagsInHistory.subDags.map((_) => _.nodes()),
+                // )
+                for (const subDagInHistory of subDagsInHistory.subDags) {
+                    if (dagDependsOnDag(subDag, subDagInHistory, dag) === false) {
+                        dropFromDag(dag, subDagInHistory);
+                    }
+                }
+                // Sometimes some sub dags are ommitted because they depended on other sub dags in same batch.
+                // We can retry to also remove those.
+                // Implementation: retry if outsideDependencies overlap with deleted sub dags
+                if (subDagsInHistory.allOutsideDependencies.some((outsideDependencies) => outsideDependencies.every((dep) => subDagsInHistory.subDags.some((subDag) => subDag.hasNode(dep)))) === false) {
+                    shouldRetry = false;
+                }
+            }
+        }
+    }
+    return { dag, compactedEventCount };
+};
+function* makeSubDagsForEvent(inputDag, eventIdStr) {
+    /** Map from eventIdStr to array of eventIdStrs that are dependencies */
+    let nextIterationEls = new Map([[eventIdStr, []]]);
+    let previousDag;
+    while (nextIterationEls.size > 0) {
+        // start with a copy of the last sub dag to build on top of
+        const subDag = previousDag?.copy() ?? emptyHistoryDag();
+        const currentIterationEls = new Map(nextIterationEls);
+        nextIterationEls = new Map();
+        for (const [currentEventIdStr, edgeTargetIdStrs] of currentIterationEls) {
+            const node = inputDag.getNodeAttributes(currentEventIdStr);
+            if (subDag.hasNode(currentEventIdStr) === false) {
+                subDag.addNode(currentEventIdStr, { ...node });
+            }
+            for (const edgeTargetIdStr of edgeTargetIdStrs) {
+                subDag.addEdge(currentEventIdStr, edgeTargetIdStr, { type: 'facts' });
+            }
+            for (const depEdge of inputDag.outboundEdgeEntries(currentEventIdStr)) {
+                if (depEdge.attributes.type === 'facts') {
+                    const depEventIdStr = depEdge.target;
+                    nextIterationEls.set(depEventIdStr, [...(nextIterationEls.get(depEventIdStr) ?? []), currentEventIdStr]);
+                }
+            }
+        }
+        previousDag = subDag;
+        // console.debug('subDag yield', subDag.nodes())
+        yield subDag;
+    }
+}
+/**
+ * Iterates over all events from root to `upToExclEventIdStr`
+ * and collects all valid sub dags that are replaced by `targetSubDag`.
+ */
+const findSubDagsInHistory = (inputDag, targetSubDag, upToExclEventIdStr) => {
+    const subDags = [];
+    const allOutsideDependencies = [];
+    for (const eventIdStr of graphologyDag.topologicalSort(inputDag)) {
+        if (eventIdStr === upToExclEventIdStr) {
+            break;
+        }
+        for (const subDag of makeSubDagsForEvent(inputDag, eventIdStr)) {
+            // console.debug('findSubDagsInHistory', 'target', targetSubDag.nodes(), 'subDag', subDag.nodes())
+            if (subDag.size < targetSubDag.size) {
+                continue;
+            }
+            const outsideDependencies = outsideDependenciesForDag(subDag, inputDag);
+            if (outsideDependencies.length > 0) {
+                allOutsideDependencies.push(outsideDependencies);
+            }
+            if (outsideDependencies.length === 0 && dagReplacesDag(subDag, targetSubDag)) {
+                subDags.push(subDag);
+            }
+            else {
+                break;
+            }
+        }
+    }
+    return { subDags, allOutsideDependencies };
+};
+const dropFromDag = (dag, subDag) => {
+    for (const nodeIdStr of subDag.nodes()) {
+        removeEvent(dag, nodeIdStr);
+    }
+};
+/** Returns outside dependencies of `subDag` (but inside `inputDag`) */
+const outsideDependenciesForDag = (subDag, inputDag) => {
+    const outsideDependencies = [];
+    for (const nodeIdStr of subDag.nodes()) {
+        for (const edgeEntry of inputDag.outboundEdgeEntries(nodeIdStr)) {
+            if (edgeEntry.attributes.type === 'facts') {
+                const depEventIdStr = edgeEntry.target;
+                if (subDag.hasNode(depEventIdStr) === false) {
+                    outsideDependencies.push(depEventIdStr);
+                }
+            }
+        }
+    }
+    return outsideDependencies;
+};
+/** Checks whether dagA depends on dagB */
+const dagDependsOnDag = (dagA, dagB, inputDag) => {
+    for (const nodeAIdStr of dagA.nodes()) {
+        for (const edgeEntryA of inputDag.inboundEdgeEntries(nodeAIdStr)) {
+            if (edgeEntryA.attributes.type === 'facts') {
+                const depNodeIdStr = edgeEntryA.target;
+                if (dagB.hasNode(depNodeIdStr)) {
+                    return true;
+                }
+            }
+        }
+    }
+    return false;
+};
+/** Checks if dagA replaces dagB */
+const dagReplacesDag = (dagA, dagB) => {
+    if (dagA.size !== dagB.size) {
+        return false;
+    }
+    // TODO write tests that covers deterministic order when DAGs have branches
+    const nodeEntriesA = graphologyDag.topologicalSort(dagA).map((nodeId) => dagA.getNodeAttributes(nodeId));
+    const nodeEntriesB = graphologyDag.topologicalSort(dagB).map((nodeId) => dagB.getNodeAttributes(nodeId));
+    for (let i = 0; i < nodeEntriesA.length; i++) {
+        const nodeA = nodeEntriesA[i];
+        const nodeB = nodeEntriesB[i];
+        if (replacesFacts(nodeA.factsGroup, nodeB.factsGroup) === false) {
+            return false;
+        }
+    }
+    return true;
+};
+const removeEvent = (dag, eventIdStr) => {
+    // console.debug('removing event', eventIdStr)
+    const event = dag.getNodeAttributes(eventIdStr);
+    const parentIdStr = eventIdToString(event.parentId);
+    const childEdges = dag.outboundEdgeEntries(eventIdStr);
+    for (const childEdge of childEdges) {
+        if (childEdge.attributes.type === 'parent') {
+            const childEvent = dag.getNodeAttributes(childEdge.target);
+            childEvent.parentId = { ...event.parentId };
+            dag.addEdge(parentIdStr, eventIdToString(childEvent.id), { type: 'parent' });
+        }
+    }
+    dag.dropNode(eventIdStr);
+};
+//# sourceMappingURL=compact-events.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compact-events.js","sourceRoot":"","sources":["../../../src/sync/next/compact-events.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAEhD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAEnE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,QAAoB,EAAoD,EAAE;IACtG,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAA;IAC3B,MAAM,mBAAmB,GAAG,CAAC,CAAA;IAE7B,MAAM,kBAAkB,GAAG,aAAa,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAA;IAEvE,YAAY;IACZ,kBAAkB,CAAC,GAAG,EAAE,CAAA;IAExB,KAAK,MAAM,UAAU,IAAI,kBAAkB,EAAE,CAAC;QAC5C,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,KAAK,EAAE,CAAC;YACtC,SAAQ;QACV,CAAC;QAED,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAA;QACxE,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;YACrC,IAAI,WAAW,GAAG,IAAI,CAAA;YACtB,OAAO,WAAW,EAAE,CAAC;gBACnB,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,CAAC,CAAA;gBAEtE,iBAAiB;gBACjB,wBAAwB;gBACxB,gBAAgB;gBAChB,cAAc;gBACd,oBAAoB;gBACpB,aAAa;gBACb,uDAAuD;gBACvD,IAAI;gBAEJ,KAAK,MAAM,eAAe,IAAI,gBAAgB,CAAC,OAAO,EAAE,CAAC;oBACvD,IAAI,eAAe,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,CAAC,KAAK,KAAK,EAAE,CAAC;wBAC5D,WAAW,CAAC,GAAG,EAAE,eAAe,CAAC,CAAA;oBACnC,CAAC;gBACH,CAAC;gBAED,8FAA8F;gBAC9F,qCAAqC;gBACrC,6EAA6E;gBAC7E,IACE,gBAAgB,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,mBAAmB,EAAE,EAAE,CACnE,mBAAmB,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CACnG,KAAK,KAAK,EACX,CAAC;oBACD,WAAW,GAAG,KAAK,CAAA;gBACrB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,mBAAmB,EAAE,CAAA;AACrC,CAAC,CAAA;AAED,QAAQ,CAAC,CAAC,mBAAmB,CAAC,QAAoB,EAAE,UAAkB;IACpE,wEAAwE;IACxE,IAAI,gBAAgB,GAA0B,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IACzE,IAAI,WAAmC,CAAA;IAEvC,OAAO,gBAAgB,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACjC,2DAA2D;QAC3D,MAAM,MAAM,GAAG,WAAW,EAAE,IAAI,EAAE,IAAI,eAAe,EAAE,CAAA;QAEvD,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAA;QACrD,gBAAgB,GAAG,IAAI,GAAG,EAAE,CAAA;QAE5B,KAAK,MAAM,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,IAAI,mBAAmB,EAAE,CAAC;YACxE,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,CAAA;YAC1D,IAAI,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,KAAK,EAAE,CAAC;gBAChD,MAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,CAAA;YAChD,CAAC;YACD,KAAK,MAAM,eAAe,IAAI,gBAAgB,EAAE,CAAC;gBAC/C,MAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE,eAAe,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;YACvE,CAAC;YAED,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,mBAAmB,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBACtE,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBACxC,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAA;oBACpC,gBAAgB,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAA;gBAC1G,CAAC;YACH,CAAC;QACH,CAAC;QAED,WAAW,GAAG,MAAM,CAAA;QAEpB,gDAAgD;QAChD,MAAM,MAAM,CAAA;IACd,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,oBAAoB,GAAG,CAC3B,QAAoB,EACpB,YAAwB,EACxB,kBAA0B,EACqC,EAAE;IACjE,MAAM,OAAO,GAAiB,EAAE,CAAA;IAChC,MAAM,sBAAsB,GAAe,EAAE,CAAA;IAE7C,KAAK,MAAM,UAAU,IAAI,aAAa,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjE,IAAI,UAAU,KAAK,kBAAkB,EAAE,CAAC;YACtC,MAAK;QACP,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,mBAAmB,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;YAC/D,kGAAkG;YAClG,IAAI,MAAM,CAAC,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC;gBACpC,SAAQ;YACV,CAAC;YAED,MAAM,mBAAmB,GAAG,yBAAyB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;YACvE,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,sBAAsB,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;YAClD,CAAC;YAED,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC;gBAC7E,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACtB,CAAC;iBAAM,CAAC;gBACN,MAAK;YACP,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,EAAE,CAAA;AAC5C,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,GAAe,EAAE,MAAkB,EAAE,EAAE;IAC1D,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC;QACvC,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;IAC7B,CAAC;AACH,CAAC,CAAA;AAED,uEAAuE;AACvE,MAAM,yBAAyB,GAAG,CAAC,MAAkB,EAAE,QAAoB,EAAE,EAAE;IAC7E,MAAM,mBAAmB,GAAG,EAAE,CAAA;IAC9B,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC;QACvC,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YAChE,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC1C,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,CAAA;gBACtC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,KAAK,EAAE,CAAC;oBAC5C,mBAAmB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBACzC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,mBAAmB,CAAA;AAC5B,CAAC,CAAA;AAED,0CAA0C;AAC1C,MAAM,eAAe,GAAG,CAAC,IAAgB,EAAE,IAAgB,EAAE,QAAoB,EAAW,EAAE;IAC5F,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;QACtC,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAC;YACjE,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC3C,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAA;gBACtC,IAAI,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC/B,OAAO,IAAI,CAAA;gBACb,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,mCAAmC;AACnC,MAAM,cAAc,GAAG,CAAC,IAAgB,EAAE,IAAgB,EAAW,EAAE;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAA;IACd,CAAC;IAED,2EAA2E;IAC3E,MAAM,YAAY,GAAG,aAAa,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAA;IACxG,MAAM,YAAY,GAAG,aAAa,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAA;IAExG,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAE,CAAA;QAC9B,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAE,CAAA;QAE9B,IAAI,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,KAAK,KAAK,EAAE,CAAC;YAChE,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,GAAe,EAAE,UAAkB,EAAE,EAAE;IAC1D,8CAA8C;IAC9C,MAAM,KAAK,GAAG,GAAG,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAA;IAC/C,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IACnD,MAAM,UAAU,GAAG,GAAG,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAA;IAEtD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3C,MAAM,UAAU,GAAG,GAAG,CAAC,iBAAiB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;YAC1D,UAAU,CAAC,QAAQ,GAAG,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAA;YAC3C,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;QAC9E,CAAC;IACH,CAAC;IAED,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;AAC1B,CAAC,CAAA"}

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

@@ -0,0 +1,37 @@
+import type { EventId } from '../../adapter-types.js';
+import type { FactsCallback, MutationEventFacts, MutationEventFactsGroup, MutationEventFactsSnapshot } from '../../schema/mutations.js';
+import { type HistoryDag, type HistoryDagNode } from './history-dag.js';
+export declare const factsSnapshotForEvents: (events: HistoryDagNode[], endEventId: EventId) => MutationEventFactsSnapshot;
+export declare const factsSnapshotForDag: (dag: HistoryDag, endEventId: EventId | undefined) => MutationEventFactsSnapshot;
+export type FactValidationResult = {
+    success: true;
+} | {
+    success: false;
+    /** Index of the item that caused the validation to fail */
+    index: number;
+    requiredFacts: MutationEventFacts;
+    mismatch: {
+        existing: MutationEventFacts;
+        required: MutationEventFacts;
+    };
+    currentSnapshot: MutationEventFacts;
+};
+export declare const validateFacts: ({ factGroups, initialSnapshot, }: {
+    factGroups: MutationEventFactsGroup[];
+    initialSnapshot: MutationEventFactsSnapshot;
+}) => FactValidationResult;
+export declare const applyFactGroups: (factGroups: MutationEventFactsGroup[], snapshot: MutationEventFactsSnapshot) => void;
+export declare const applyFactGroup: (factGroup: MutationEventFactsGroup, snapshot: MutationEventFactsSnapshot) => void;
+/** Check if groupA depends on groupB */
+export declare const dependsOn: (groupA: MutationEventFactsGroup, groupB: MutationEventFactsGroup) => boolean;
+export declare const replacesFacts: (groupA: MutationEventFactsGroup, groupB: MutationEventFactsGroup) => boolean;
+export declare const isSameMapByKey: (set: MutationEventFacts, otherSet: MutationEventFacts) => boolean;
+export declare const factsToString: (facts: MutationEventFacts) => string;
+export declare const factsIntersect: (setA: MutationEventFacts, setB: MutationEventFacts) => boolean;
+export declare const getFactsGroupForMutationArgs: ({ factsCallback, args, currentFacts, }: {
+    factsCallback: FactsCallback<any> | undefined;
+    args: any;
+    currentFacts: MutationEventFactsSnapshot;
+}) => MutationEventFactsGroup;
+export declare const compareEventIds: (a: EventId, b: EventId) => number;
+//# sourceMappingURL=facts.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"facts.d.ts","sourceRoot":"","sources":["../../../src/sync/next/facts.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EACV,aAAa,EAEb,kBAAkB,EAClB,uBAAuB,EACvB,0BAA0B,EAC3B,MAAM,2BAA2B,CAAA;AAElC,OAAO,EAAoB,KAAK,UAAU,EAAE,KAAK,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAEzF,eAAO,MAAM,sBAAsB,WAAY,cAAc,EAAE,cAAc,OAAO,KAAG,0BAYtF,CAAA;AAED,eAAO,MAAM,mBAAmB,QAAS,UAAU,cAAc,OAAO,GAAG,SAAS,KAAG,0BAetF,CAAA;AAED,MAAM,MAAM,oBAAoB,GAC5B;IACE,OAAO,EAAE,IAAI,CAAA;CACd,GACD;IACE,OAAO,EAAE,KAAK,CAAA;IACd,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAA;IACb,aAAa,EAAE,kBAAkB,CAAA;IACjC,QAAQ,EAAE;QACR,QAAQ,EAAE,kBAAkB,CAAA;QAC5B,QAAQ,EAAE,kBAAkB,CAAA;KAC7B,CAAA;IACD,eAAe,EAAE,kBAAkB,CAAA;CACpC,CAAA;AAEL,eAAO,MAAM,aAAa,qCAGvB;IACD,UAAU,EAAE,uBAAuB,EAAE,CAAA;IACrC,eAAe,EAAE,0BAA0B,CAAA;CAC5C,KAAG,oBA8BH,CAAA;AAED,eAAO,MAAM,eAAe,eAAgB,uBAAuB,EAAE,YAAY,0BAA0B,SAI1G,CAAA;AAED,eAAO,MAAM,cAAc,cAAe,uBAAuB,YAAY,0BAA0B,SAQtG,CAAA;AAsBD,wCAAwC;AACxC,eAAO,MAAM,SAAS,WAAY,uBAAuB,UAAU,uBAAuB,KAAG,OAItC,CAAA;AAEvD,eAAO,MAAM,aAAa,WAAY,uBAAuB,UAAU,uBAAuB,KAAG,OAYhG,CAAA;AAED,eAAO,MAAM,cAAc,QAAS,kBAAkB,YAAY,kBAAkB,YACrB,CAAA;AAE/D,eAAO,MAAM,aAAa,UAAW,kBAAkB,WAItD,CAAA;AAED,eAAO,MAAM,cAAc,SAAU,kBAAkB,QAAQ,kBAAkB,KAAG,OAOnF,CAAA;AAED,eAAO,MAAM,4BAA4B,2CAItC;IACD,aAAa,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,SAAS,CAAA;IAC7C,IAAI,EAAE,GAAG,CAAA;IACT,YAAY,EAAE,0BAA0B,CAAA;CACzC,KAAG,uBAwCH,CAAA;AAED,eAAO,MAAM,eAAe,MAAO,OAAO,KAAK,OAAO,WAKrD,CAAA"}

package/dist/sync/next/facts.js

@@ -0,0 +1,156 @@
+import { notYetImplemented } from '@livestore/utils';
+import { graphologyDag } from './graphology_.js';
+import { EMPTY_FACT_VALUE } from './history-dag.js';
+export const factsSnapshotForEvents = (events, endEventId) => {
+    const facts = new Map();
+    for (const event of events) {
+        if (compareEventIds(event.id, endEventId) > 0) {
+            return facts;
+        }
+        applyFactGroup(event.factsGroup, facts);
+    }
+    return facts;
+};
+export const factsSnapshotForDag = (dag, endEventId) => {
+    const facts = new Map();
+    const orderedEventIdStrs = graphologyDag.topologicalSort(dag);
+    for (let i = 0; i < orderedEventIdStrs.length; i++) {
+        const event = dag.getNodeAttributes(orderedEventIdStrs[i]);
+        if (endEventId !== undefined && compareEventIds(event.id, endEventId) > 0) {
+            return facts;
+        }
+        applyFactGroup(event.factsGroup, facts);
+    }
+    return facts;
+};
+export const validateFacts = ({ factGroups, initialSnapshot, }) => {
+    const currentSnapshot = new Map(initialSnapshot);
+    for (const [index, factGroup] of factGroups.entries()) {
+        if (isSubSetMapByValue(factGroup.depRequire, currentSnapshot) === false) {
+            const existing = new Map();
+            const required = new Map();
+            for (const [key, value] of factGroup.depRequire) {
+                if (currentSnapshot.get(key) !== value) {
+                    existing.set(key, currentSnapshot.get(key));
+                    required.set(key, value);
+                }
+            }
+            return {
+                success: false,
+                index,
+                requiredFacts: factGroup.depRequire,
+                currentSnapshot,
+                mismatch: { existing, required },
+            };
+        }
+        applyFactGroup(factGroup, currentSnapshot);
+    }
+    return {
+        success: true,
+    };
+};
+export const applyFactGroups = (factGroups, snapshot) => {
+    for (const factGroup of factGroups) {
+        applyFactGroup(factGroup, snapshot);
+    }
+};
+export const applyFactGroup = (factGroup, snapshot) => {
+    for (const [key, value] of factGroup.modifySet) {
+        snapshot.set(key, value);
+    }
+    for (const [key, _value] of factGroup.modifyUnset) {
+        snapshot.delete(key);
+    }
+};
+/** Check if setA is a subset of setB */
+const isSubSetMapByValue = (setA, setB) => {
+    for (const [key, value] of setA) {
+        if (setB.get(key) !== value) {
+            return false;
+        }
+    }
+    return true;
+};
+/** Check if setA is a subset of setB */
+const isSubSetMapByKey = (setA, setB) => {
+    for (const [key, _value] of setA) {
+        if (!setB.has(key)) {
+            return false;
+        }
+    }
+    return true;
+};
+/** Check if groupA depends on groupB */
+export const dependsOn = (groupA, groupB) => factsIntersect(groupA.depRead, groupB.modifySet) ||
+    factsIntersect(groupA.depRead, groupB.modifyUnset) ||
+    factsIntersect(groupA.depRequire, groupB.modifySet) ||
+    factsIntersect(groupA.depRequire, groupB.modifyUnset);
+export const replacesFacts = (groupA, groupB) => {
+    const replaces = (a, b) => a.size > 0 && b.size > 0 && isSameMapByKey(a, b);
+    const noFactsOrSame = (a, b) => a.size === 0 || b.size === 0 || isSameMapByKey(a, b);
+    return ((replaces(groupA.modifySet, groupB.modifySet) && noFactsOrSame(groupA.modifyUnset, groupB.modifyUnset)) ||
+        (replaces(groupA.modifySet, groupB.modifyUnset) && noFactsOrSame(groupA.modifyUnset, groupB.modifySet)) ||
+        (replaces(groupA.modifyUnset, groupB.modifySet) && noFactsOrSame(groupA.modifySet, groupB.modifyUnset)) ||
+        (replaces(groupA.modifyUnset, groupB.modifyUnset) && noFactsOrSame(groupA.modifySet, groupB.modifySet)));
+};
+export const isSameMapByKey = (set, otherSet) => set.size === otherSet.size && isSubSetMapByKey(set, otherSet);
+export const factsToString = (facts) => {
+    return Array.from(facts)
+        .map(([key, value]) => (value === EMPTY_FACT_VALUE ? key : `${key}=${value}`))
+        .join(', ');
+};
+export const factsIntersect = (setA, setB) => {
+    for (const [key, _value] of setA) {
+        if (setB.has(key)) {
+            return true;
+        }
+    }
+    return false;
+};
+export const getFactsGroupForMutationArgs = ({ factsCallback, args, currentFacts, }) => {
+    const depRead = new Map();
+    const factsSnapshotProxy = new Proxy(currentFacts, {
+        get: (target, prop) => {
+            if (prop === 'has') {
+                return (key) => {
+                    depRead.set(key, EMPTY_FACT_VALUE);
+                    return target.has(key);
+                };
+            }
+            else if (prop === 'get') {
+                return (key) => {
+                    depRead.set(key, EMPTY_FACT_VALUE);
+                    return target.get(key);
+                };
+            }
+            notYetImplemented(`getFactsGroupForMutationArgs: ${prop.toString()} is not yet implemented`);
+        },
+    });
+    const factsRes = factsCallback?.(args, factsSnapshotProxy);
+    const iterableToMap = (iterable) => {
+        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 = {
+        modifySet: factsRes?.modify.set ? iterableToMap(factsRes.modify.set) : new Map(),
+        modifyUnset: factsRes?.modify.unset ? iterableToMap(factsRes.modify.unset) : new Map(),
+        depRequire: factsRes?.require ? iterableToMap(factsRes.require) : new Map(),
+        depRead,
+    };
+    return facts;
+};
+export const compareEventIds = (a, b) => {
+    if (a.global !== b.global) {
+        return a.global - b.global;
+    }
+    return a.local - b.local;
+};
+//# sourceMappingURL=facts.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"facts.js","sourceRoot":"","sources":["../../../src/sync/next/facts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAUpD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,EAAE,gBAAgB,EAAwC,MAAM,kBAAkB,CAAA;AAEzF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,MAAwB,EAAE,UAAmB,EAA8B,EAAE;IAClH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAe,CAAA;IAEpC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9C,OAAO,KAAK,CAAA;QACd,CAAC;QAED,cAAc,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;IACzC,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,GAAe,EAAE,UAA+B,EAA8B,EAAE;IAClH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAe,CAAA;IAEpC,MAAM,kBAAkB,GAAG,aAAa,CAAC,eAAe,CAAC,GAAG,CAAC,CAAA;IAE7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,GAAG,CAAC,iBAAiB,CAAC,kBAAkB,CAAC,CAAC,CAAE,CAAC,CAAA;QAC3D,IAAI,UAAU,KAAK,SAAS,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1E,OAAO,KAAK,CAAA;QACd,CAAC;QAED,cAAc,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;IACzC,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAkBD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,EAC5B,UAAU,EACV,eAAe,GAIhB,EAAwB,EAAE;IACzB,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAA;IAEhD,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,IAAI,kBAAkB,CAAC,SAAS,CAAC,UAAU,EAAE,eAAe,CAAC,KAAK,KAAK,EAAE,CAAC;YACxE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;YAC1B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;YAE1B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;gBAChD,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,EAAE,CAAC;oBACvC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;oBAC3C,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;gBAC1B,CAAC;YACH,CAAC;YAED,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK;gBACL,aAAa,EAAE,SAAS,CAAC,UAAU;gBACnC,eAAe;gBACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE;aACjC,CAAA;QACH,CAAC;QAED,cAAc,CAAC,SAAS,EAAE,eAAe,CAAC,CAAA;IAC5C,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI;KACd,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,UAAqC,EAAE,QAAoC,EAAE,EAAE;IAC7G,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,cAAc,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;IACrC,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,SAAkC,EAAE,QAAoC,EAAE,EAAE;IACzG,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;QAC/C,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAC1B,CAAC;IAED,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;QAClD,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IACtB,CAAC;AACH,CAAC,CAAA;AAED,wCAAwC;AACxC,MAAM,kBAAkB,GAAG,CAAC,IAAwB,EAAE,IAAwB,EAAE,EAAE;IAChF,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,EAAE,CAAC;YAC5B,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,wCAAwC;AACxC,MAAM,gBAAgB,GAAG,CAAC,IAAwB,EAAE,IAAwB,EAAE,EAAE;IAC9E,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,wCAAwC;AACxC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAA+B,EAAE,MAA+B,EAAW,EAAE,CACrG,cAAc,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC;IAChD,cAAc,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC;IAClD,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC;IACnD,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;AAEvD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAA+B,EAAE,MAA+B,EAAW,EAAE;IACzG,MAAM,QAAQ,GAAG,CAAC,CAAqB,EAAE,CAAqB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAEnH,MAAM,aAAa,GAAG,CAAC,CAAqB,EAAE,CAAqB,EAAE,EAAE,CACrE,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAEtD,OAAO,CACL,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI,aAAa,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;QACvG,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,aAAa,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACvG,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;QACvG,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CACxG,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,GAAuB,EAAE,QAA4B,EAAE,EAAE,CACtF,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,gBAAgB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;AAE/D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAyB,EAAE,EAAE;IACzD,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;SACrB,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC;SAC7E,IAAI,CAAC,IAAI,CAAC,CAAA;AACf,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAwB,EAAE,IAAwB,EAAW,EAAE;IAC5F,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,EAC3C,aAAa,EACb,IAAI,EACJ,YAAY,GAKb,EAA2B,EAAE;IAC5B,MAAM,OAAO,GAA+B,IAAI,GAAG,EAAe,CAAA;IAClE,MAAM,kBAAkB,GAAG,IAAI,KAAK,CAAC,YAAY,EAAE;QACjD,GAAG,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;YACpB,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;gBACnB,OAAO,CAAC,GAAW,EAAE,EAAE;oBACrB,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAA;oBAClC,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBACxB,CAAC,CAAA;YACH,CAAC;iBAAM,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC1B,OAAO,CAAC,GAAW,EAAE,EAAE;oBACrB,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAA;oBAClC,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBACxB,CAAC,CAAA;YACH,CAAC;YAED,iBAAiB,CAAC,iCAAiC,IAAI,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAA;QAC9F,CAAC;KACF,CAAC,CAAA;IAEF,MAAM,QAAQ,GAAG,aAAa,EAAE,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAA;IAC1D,MAAM,aAAa,GAAG,CAAC,QAA0C,EAAE,EAAE;QACnE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAE,CAAA;QACrB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7B,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAA;YACjC,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;YAC3B,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC,CAAA;IACD,MAAM,KAAK,GAAG;QACZ,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE;QAChF,WAAW,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE;QACtF,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE;QAC3E,OAAO;KACR,CAAA;IAED,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAU,EAAE,CAAU,EAAE,EAAE;IACxD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QAC1B,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAA;IAC5B,CAAC;IACD,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAA;AAC1B,CAAC,CAAA"}

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

@@ -0,0 +1,8 @@
+import type * as graphologyTypes from 'graphology-types';
+export declare const graphology: any;
+export declare class IGraph<NodeAttributes extends graphologyTypes.Attributes = graphologyTypes.Attributes, EdgeAttributes extends graphologyTypes.Attributes = graphologyTypes.Attributes, GraphAttributes extends graphologyTypes.Attributes = graphologyTypes.Attributes> extends graphologyTypes.AbstractGraph<NodeAttributes, EdgeAttributes, GraphAttributes> {
+    constructor(options?: graphologyTypes.GraphOptions);
+}
+export declare const DirectedGraph: typeof IGraph;
+export declare const Graph: typeof IGraph;
+//# sourceMappingURL=graphology.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"graphology.d.ts","sourceRoot":"","sources":["../../../src/sync/next/graphology.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,KAAK,eAAe,MAAM,kBAAkB,CAAA;AAExD,eAAO,MAAM,UAAU,EAAkB,GAAG,CAAA;AAE5C,MAAM,CAAC,OAAO,OAAO,MAAM,CACzB,cAAc,SAAS,eAAe,CAAC,UAAU,GAAG,eAAe,CAAC,UAAU,EAC9E,cAAc,SAAS,eAAe,CAAC,UAAU,GAAG,eAAe,CAAC,UAAU,EAC9E,eAAe,SAAS,eAAe,CAAC,UAAU,GAAG,eAAe,CAAC,UAAU,CAC/E,SAAQ,eAAe,CAAC,aAAa,CAAC,cAAc,EAAE,cAAc,EAAE,eAAe,CAAC;gBAC1E,OAAO,CAAC,EAAE,eAAe,CAAC,YAAY;CACnD;AAED,eAAO,MAAM,aAAa,EAIrB,OAAO,MAAM,CAAA;AAElB,eAAO,MAAM,KAAK,EAIb,OAAO,MAAM,CAAA"}

package/dist/sync/next/graphology.js

@@ -0,0 +1,36 @@
+// TODO re-enable when `graphology` supports ESM `exports` and `.js` import/export syntax
+// import {} from 'graphology'
+import * as graphology_ from 'graphology';
+export const graphology = graphology_;
+export const DirectedGraph = class DirectedGraph extends graphology.DirectedGraph {
+    constructor(options) {
+        super(options);
+    }
+};
+export const Graph = class Graph extends graphology.Graph {
+    constructor(options) {
+        super(options);
+    }
+};
+// export const graphology = graphology_ as graphologyTypes
+/*
+
+Example usage:
+
+const dag = new graphology.DirectedGraph({ allowSelfLoops: false })
+
+nodes.forEach((node) => dag.addNode(node.id, { width: node.data.label.length * 100, height: 40 }))
+edges.forEach((edge) => {
+    // TODO do this filtering earlier
+    if (!nodeIds.has(edge.source) || !nodeIds.has(edge.target)) return
+
+    dag.addEdge(edge.source, edge.target)
+})
+
+graphologyLayout.random.assign(dag) // needed for initial `x`, `y` values
+const sensibleSettings = forceAtlas2.inferSettings(dag)
+// forceAtlas2.assign(dag, { iterations: 100, settings: { adjustSizes: true,  } })
+forceAtlas2.assign(dag, { iterations: 100, settings: sensibleSettings })
+
+*/
+//# sourceMappingURL=graphology.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"graphology.js","sourceRoot":"","sources":["../../../src/sync/next/graphology.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,8BAA8B;AAC9B,OAAO,KAAK,WAAW,MAAM,YAAY,CAAA;AAGzC,MAAM,CAAC,MAAM,UAAU,GAAG,WAAkB,CAAA;AAU5C,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,aAAc,SAAQ,UAAU,CAAC,aAAa;IAC/E,YAAY,OAAsC;QAChD,KAAK,CAAC,OAAO,CAAC,CAAA;IAChB,CAAC;CACe,CAAA;AAElB,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,KAAM,SAAQ,UAAU,CAAC,KAAK;IACvD,YAAY,OAAsC;QAChD,KAAK,CAAC,OAAO,CAAC,CAAA;IAChB,CAAC;CACe,CAAA;AAElB,2DAA2D;AAE3D;;;;;;;;;;;;;;;;;;;EAmBE"}

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

@@ -0,0 +1,3 @@
+export * as graphology from './graphology.js';
+export { default as graphologyDag } from 'graphology-dag';
+//# sourceMappingURL=graphology_.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"graphology_.d.ts","sourceRoot":"","sources":["../../../src/sync/next/graphology_.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,OAAO,IAAI,aAAa,EAAE,MAAM,gBAAgB,CAAA"}

package/dist/sync/next/graphology_.js

@@ -0,0 +1,3 @@
+export * as graphology from './graphology.js';
+export { default as graphologyDag } from 'graphology-dag';
+//# sourceMappingURL=graphology_.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"graphology_.js","sourceRoot":"","sources":["../../../src/sync/next/graphology_.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,OAAO,IAAI,aAAa,EAAE,MAAM,gBAAgB,CAAA"}

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