@sunfall/arc-db 0.1.0-alpha.0

package/dist/collection-state.d.ts

@@ -0,0 +1,72 @@
+import { type WritableSignal } from "@sunfall/arc-core";
+import type { Deferred } from "effect";
+import type { CollectionDefinition, CollectionKey, CollectionLoadState, CollectionMutation, CollectionRuntimeError, CollectionOrigin, CollectionRow, CollectionTransaction } from "./collection-contract.js";
+import type { CollectionIndexCacheEntry } from "./collection-index-materialization.js";
+export interface StoredRow<A extends object, K extends CollectionKey> {
+    readonly key: K;
+    value: A;
+    synced: boolean;
+    origin: CollectionOrigin;
+}
+export interface PendingMutationEntry<A extends object, K extends CollectionKey> {
+    readonly transaction: CollectionTransaction<A, K>;
+    readonly rollbackRows: Map<K, StoredRow<A, K> | undefined>;
+    readonly createdAt: number;
+    attempts: number;
+    activeAttempt: PendingMutationAttempt<A, K> | undefined;
+}
+export interface PendingMutationAttempt<A extends object, K extends CollectionKey> {
+    readonly id: number;
+    readonly deferred: Deferred.Deferred<CollectionTransaction<A, K>, any>;
+}
+export interface CollectionLoadAttempt {
+    readonly generation: number;
+    readonly force: boolean;
+    readonly deferred: Deferred.Deferred<void, any>;
+}
+export interface OptimisticRowPatch<A extends object, K extends CollectionKey> {
+    readonly transactionId: string;
+    readonly mutation: CollectionMutation<A, K>;
+    committed: boolean;
+}
+export interface OptimisticRowStack<A extends object, K extends CollectionKey> {
+    base: StoredRow<A, K> | undefined;
+    readonly patches: Array<OptimisticRowPatch<A, K>>;
+}
+export interface CollectionState<A extends object, K extends CollectionKey, E> {
+    readonly rows: Map<K, StoredRow<A, K>>;
+    readonly pendingMutations: Map<string, PendingMutationEntry<A, K>>;
+    readonly optimisticRows: Map<K, OptimisticRowStack<A, K>>;
+    readonly indexCache: Map<string, CollectionIndexCacheEntry<A, K>>;
+    readonly version: WritableSignal<number>;
+    readonly loadState: WritableSignal<CollectionLoadState<CollectionRuntimeError<E>>>;
+    nextTransactionId: number;
+    nextMutationAttemptId: number;
+    loadGeneration: number;
+    activeLoad: CollectionLoadAttempt | undefined;
+    initialized: boolean;
+    initialDataError: CollectionRuntimeError<E> | undefined;
+    persistenceRestored: boolean;
+}
+export declare const makeCollectionState: <A extends object, K extends CollectionKey, E>() => CollectionState<A, K, E>;
+export declare const bumpCollectionState: (state: CollectionState<any, any, any>) => void;
+export declare const augmentCollectionRow: <A extends object, K extends CollectionKey>(definition: CollectionDefinition<A, K, any, any>, row: StoredRow<A, K>) => CollectionRow<A, K>;
+export declare const markStoredRowsSynced: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>, keys: ReadonlyArray<K>) => void;
+export declare const cloneStoredRow: <A extends object, K extends CollectionKey>(row: StoredRow<A, K>) => StoredRow<A, K>;
+export declare const cloneRollbackRow: <A extends object, K extends CollectionKey>(row: StoredRow<A, K> | undefined) => StoredRow<A, K> | undefined;
+export declare const cloneOptimisticRowStack: <A extends object, K extends CollectionKey>(stack: OptimisticRowStack<A, K>) => OptimisticRowStack<A, K>;
+export declare const clonePendingMutationEntry: <A extends object, K extends CollectionKey>(entry: PendingMutationEntry<A, K>, options?: {
+    readonly preserveActiveAttempt?: boolean;
+}) => PendingMutationEntry<A, K>;
+export declare const restoreStoredRows: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>, snapshots: ReadonlyMap<K, StoredRow<A, K> | undefined>) => void;
+export declare const restoreOptimisticState: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>, rows: ReadonlyMap<K, StoredRow<A, K>>, pendingMutations: ReadonlyMap<string, PendingMutationEntry<A, K>>, optimisticRows: ReadonlyMap<K, OptimisticRowStack<A, K>>) => void;
+export declare const optimisticMutationKeys: <A extends object, K extends CollectionKey>(transaction: CollectionTransaction<A, K>) => ReadonlyArray<K>;
+export declare const rebaseOptimisticRows: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>, keys: ReadonlyArray<K>) => void;
+export declare const applyOptimisticTransaction: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>, transaction: CollectionTransaction<A, K>, snapshots: ReadonlyMap<K, StoredRow<A, K> | undefined>) => void;
+export declare const applyCollectionBaseRow: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>, row: StoredRow<A, K>, rebaseKeys: Set<K>) => void;
+export declare const deleteCollectionBaseRow: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>, key: K, rebaseKeys: Set<K>) => void;
+export declare const rebaseCollectionBaseRows: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>, rebaseKeys: Set<K>) => void;
+export declare const commitOptimisticTransaction: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>, transaction: CollectionTransaction<A, K>) => boolean;
+export declare const rollbackOptimisticTransaction: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>, transaction: CollectionTransaction<A, K>) => boolean;
+export declare const syncOptimisticRowsFromPendingMutations: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>) => void;
+//# sourceMappingURL=collection-state.d.ts.map

package/dist/collection-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-state.d.ts","sourceRoot":"","sources":["../src/collection-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,KAAK,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACvC,OAAO,KAAK,EACV,oBAAoB,EACpB,aAAa,EACb,mBAAmB,EACnB,kBAAkB,EAClB,sBAAsB,EACtB,gBAAgB,EAChB,aAAa,EACb,qBAAqB,EACtB,MAAM,0BAA0B,CAAC;AAOlC,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAEvF,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa;IAClE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;IAChB,KAAK,EAAE,CAAC,CAAC;IACT,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,gBAAgB,CAAC;CAC1B;AAED,MAAM,WAAW,oBAAoB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa;IAC7E,QAAQ,CAAC,WAAW,EAAE,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC;IAC3D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,sBAAsB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC;CACzD;AAED,MAAM,WAAW,sBAAsB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa;IAC/E,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;CACxE;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;CACjD;AAED,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa;IAC3E,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa;IAC3E,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CACnD;AAED,MAAM,WAAW,eAAe,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,EAAE,CAAC;IAC3E,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,QAAQ,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnE,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,mBAAmB,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,iBAAiB,EAAE,MAAM,CAAC;IAC1B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,qBAAqB,GAAG,SAAS,CAAC;IAC9C,WAAW,EAAE,OAAO,CAAC;IACrB,gBAAgB,EAAE,sBAAsB,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;IACxD,mBAAmB,EAAE,OAAO,CAAC;CAC9B;AAED,eAAO,MAAM,mBAAmB,GAC9B,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,aAAa,EACvB,CAAC,OACE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAiB1B,CAAC;AAEH,eAAO,MAAM,mBAAmB,UAAW,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,KAAG,IAG3E,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,cAChE,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,OAC3C,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KACnB,aAAa,CAAC,CAAC,EAAE,CAAC,CAOjB,CAAC;AAEL,eAAO,MAAM,oBAAoB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SACrE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,QAC3B,aAAa,CAAC,CAAC,CAAC,KACrB,IAQF,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,OACjE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KACnB,SAAS,CAAC,CAAC,EAAE,CAAC,CAKf,CAAC;AAEH,eAAO,MAAM,gBAAgB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,OACnE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,KAC/B,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAoD,CAAC;AAE1E,eAAO,MAAM,uBAAuB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SACxE,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,KAC9B,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAOxB,CAAC;AAEH,eAAO,MAAM,yBAAyB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SAC1E,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,YACxB;IAAE,QAAQ,CAAC,qBAAqB,CAAC,EAAE,OAAO,CAAA;CAAE,KACpD,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAQ1B,CAAC;AAEH,eAAO,MAAM,iBAAiB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SAClE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,aACtB,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,KACrD,IASF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SACvE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,QAC3B,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,oBACnB,WAAW,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,kBACjD,WAAW,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KACvD,IAkBF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,eACjE,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,KACvC,aAAa,CAAC,CAAC,CAA+E,CAAC;AAsFlG,eAAO,MAAM,oBAAoB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SACrE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,QAC3B,aAAa,CAAC,CAAC,CAAC,KACrB,IAKF,CAAC;AAEF,eAAO,MAAM,0BAA0B,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SAC3E,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,eACpB,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,aAC7B,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,KACrD,IAiBF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SACvE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,OAC5B,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,cACR,GAAG,CAAC,CAAC,CAAC,KACjB,IASF,CAAC;AAEF,eAAO,MAAM,uBAAuB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SACxE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,OAC5B,CAAC,cACM,GAAG,CAAC,CAAC,CAAC,KACjB,IASF,CAAC;AAEF,eAAO,MAAM,wBAAwB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SACzE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,cACrB,GAAG,CAAC,CAAC,CAAC,KACjB,IAOF,CAAC;AAUF,eAAO,MAAM,2BAA2B,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SAC5E,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,eACpB,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,KACvC,OAmBF,CAAC;AAEF,eAAO,MAAM,6BAA6B,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SAC9E,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,eACpB,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,KACvC,OAgBF,CAAC;AAEF,eAAO,MAAM,sCAAsC,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SACvF,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAChC,IAiCF,CAAC"}

package/dist/collection-state.js

@@ -0,0 +1,276 @@
+import { Signal } from "@sunfall/arc-core";
+import { cloneCollectionMutation, cloneCollectionTransaction, cloneCollectionValue, detachCollectionRow, } from "./collection-value-detachment.js";
+export const makeCollectionState = () => ({
+    rows: new Map(),
+    pendingMutations: new Map(),
+    optimisticRows: new Map(),
+    indexCache: new Map(),
+    version: Signal.make(0),
+    loadState: Signal.make({
+        _tag: "Initial",
+        waiting: false,
+    }),
+    nextTransactionId: 0,
+    nextMutationAttemptId: 0,
+    loadGeneration: 0,
+    activeLoad: undefined,
+    initialized: false,
+    initialDataError: undefined,
+    persistenceRestored: false,
+});
+export const bumpCollectionState = (state) => {
+    state.indexCache.clear();
+    state.version.update((value) => value + 1);
+};
+export const augmentCollectionRow = (definition, row) => detachCollectionRow({
+    collection: definition.name,
+    key: row.key,
+    value: row.value,
+    synced: row.synced,
+    origin: row.origin,
+});
+export const markStoredRowsSynced = (state, keys) => {
+    for (const key of keys) {
+        const row = state.rows.get(key);
+        if (row) {
+            row.synced = true;
+        }
+    }
+    bumpCollectionState(state);
+};
+export const cloneStoredRow = (row) => ({
+    key: row.key,
+    value: cloneCollectionValue(row.value),
+    synced: row.synced,
+    origin: row.origin,
+});
+export const cloneRollbackRow = (row) => (row ? cloneStoredRow(row) : undefined);
+export const cloneOptimisticRowStack = (stack) => ({
+    base: cloneRollbackRow(stack.base),
+    patches: stack.patches.map((patch) => ({
+        transactionId: patch.transactionId,
+        mutation: cloneCollectionMutation(patch.mutation),
+        committed: patch.committed,
+    })),
+});
+export const clonePendingMutationEntry = (entry, options = {}) => ({
+    transaction: cloneCollectionTransaction(entry.transaction),
+    rollbackRows: new Map(Array.from(entry.rollbackRows, ([key, row]) => [key, cloneRollbackRow(row)])),
+    createdAt: entry.createdAt,
+    attempts: entry.attempts,
+    activeAttempt: options.preserveActiveAttempt === true ? entry.activeAttempt : undefined,
+});
+export const restoreStoredRows = (state, snapshots) => {
+    for (const [key, row] of snapshots) {
+        if (row) {
+            state.rows.set(key, cloneStoredRow(row));
+        }
+        else {
+            state.rows.delete(key);
+        }
+    }
+    bumpCollectionState(state);
+};
+export const restoreOptimisticState = (state, rows, pendingMutations, optimisticRows) => {
+    state.rows.clear();
+    for (const [key, row] of rows) {
+        state.rows.set(key, cloneStoredRow(row));
+    }
+    state.pendingMutations.clear();
+    for (const [id, entry] of pendingMutations) {
+        state.pendingMutations.set(id, clonePendingMutationEntry(entry, { preserveActiveAttempt: true }));
+    }
+    state.optimisticRows.clear();
+    for (const [key, stack] of optimisticRows) {
+        state.optimisticRows.set(key, cloneOptimisticRowStack(stack));
+    }
+};
+export const optimisticMutationKeys = (transaction) => Array.from(new Set(transaction.mutations.map((mutation) => mutation.key)));
+const applyOptimisticMutationToRow = (row, mutation) => {
+    switch (mutation._tag) {
+        case "Insert":
+            return {
+                key: mutation.key,
+                value: cloneCollectionValue(mutation.value),
+                synced: false,
+                origin: "local",
+            };
+        case "Update": {
+            const previous = row?.value ?? mutation.previous;
+            return {
+                key: mutation.key,
+                value: cloneCollectionValue({ ...previous, ...mutation.changes }),
+                synced: false,
+                origin: "local",
+            };
+        }
+        case "Delete":
+            return undefined;
+    }
+};
+const collapseCommittedOptimisticPatches = (stack) => {
+    while (stack.patches[0]?.committed) {
+        const [patch] = stack.patches.splice(0, 1);
+        if (!patch) {
+            return;
+        }
+        stack.base = applyOptimisticMutationToRow(stack.base, patch.mutation);
+        if (stack.base) {
+            stack.base.synced = true;
+        }
+    }
+};
+const rebaseOptimisticRow = (state, key) => {
+    const stack = state.optimisticRows.get(key);
+    if (!stack) {
+        return;
+    }
+    collapseCommittedOptimisticPatches(stack);
+    if (stack.patches.length === 0) {
+        state.optimisticRows.delete(key);
+        if (stack.base) {
+            state.rows.set(key, cloneStoredRow(stack.base));
+        }
+        else {
+            state.rows.delete(key);
+        }
+        return;
+    }
+    let row = cloneRollbackRow(stack.base);
+    let hasPendingPatch = false;
+    for (const patch of stack.patches) {
+        const pending = state.pendingMutations.get(patch.transactionId);
+        if (pending) {
+            pending.rollbackRows.set(key, cloneRollbackRow(row));
+        }
+        row = applyOptimisticMutationToRow(row, patch.mutation);
+        hasPendingPatch = hasPendingPatch || !patch.committed;
+        if (row) {
+            row.synced = !hasPendingPatch;
+            row.origin = "local";
+        }
+    }
+    if (row) {
+        state.rows.set(key, row);
+    }
+    else {
+        state.rows.delete(key);
+    }
+};
+export const rebaseOptimisticRows = (state, keys) => {
+    for (const key of keys) {
+        rebaseOptimisticRow(state, key);
+    }
+    bumpCollectionState(state);
+};
+export const applyOptimisticTransaction = (state, transaction, snapshots) => {
+    for (const mutation of transaction.mutations) {
+        let stack = state.optimisticRows.get(mutation.key);
+        if (!stack) {
+            stack = {
+                base: cloneRollbackRow(snapshots.get(mutation.key)),
+                patches: [],
+            };
+            state.optimisticRows.set(mutation.key, stack);
+        }
+        stack.patches.push({
+            transactionId: transaction.id,
+            mutation,
+            committed: false,
+        });
+    }
+    rebaseOptimisticRows(state, optimisticMutationKeys(transaction));
+};
+export const applyCollectionBaseRow = (state, row, rebaseKeys) => {
+    const stack = state.optimisticRows.get(row.key);
+    if (stack) {
+        stack.base = cloneStoredRow(row);
+        rebaseKeys.add(row.key);
+        return;
+    }
+    state.rows.set(row.key, cloneStoredRow(row));
+};
+export const deleteCollectionBaseRow = (state, key, rebaseKeys) => {
+    const stack = state.optimisticRows.get(key);
+    if (stack) {
+        stack.base = undefined;
+        rebaseKeys.add(key);
+        return;
+    }
+    state.rows.delete(key);
+};
+export const rebaseCollectionBaseRows = (state, rebaseKeys) => {
+    if (rebaseKeys.size > 0) {
+        rebaseOptimisticRows(state, Array.from(rebaseKeys));
+        return;
+    }
+    bumpCollectionState(state);
+};
+const hasOptimisticTransaction = (state, transaction) => optimisticMutationKeys(transaction).some((key) => state.optimisticRows.get(key)?.patches.some((patch) => patch.transactionId === transaction.id));
+export const commitOptimisticTransaction = (state, transaction) => {
+    if (!hasOptimisticTransaction(state, transaction)) {
+        return false;
+    }
+    const keys = optimisticMutationKeys(transaction);
+    for (const key of keys) {
+        const stack = state.optimisticRows.get(key);
+        if (!stack) {
+            continue;
+        }
+        for (const patch of stack.patches) {
+            if (patch.transactionId === transaction.id) {
+                patch.committed = true;
+            }
+        }
+    }
+    rebaseOptimisticRows(state, keys);
+    return true;
+};
+export const rollbackOptimisticTransaction = (state, transaction) => {
+    if (!hasOptimisticTransaction(state, transaction)) {
+        return false;
+    }
+    const keys = optimisticMutationKeys(transaction);
+    for (const key of keys) {
+        const stack = state.optimisticRows.get(key);
+        if (!stack) {
+            continue;
+        }
+        const remaining = stack.patches.filter((patch) => patch.transactionId !== transaction.id);
+        stack.patches.splice(0, stack.patches.length, ...remaining);
+    }
+    rebaseOptimisticRows(state, keys);
+    return true;
+};
+export const syncOptimisticRowsFromPendingMutations = (state) => {
+    const desired = new Map();
+    const rebaseKeys = new Set(state.optimisticRows.keys());
+    for (const entry of state.pendingMutations.values()) {
+        for (const mutation of entry.transaction.mutations) {
+            let stack = desired.get(mutation.key);
+            if (!stack) {
+                const existing = state.optimisticRows.get(mutation.key);
+                const rollback = entry.rollbackRows.has(mutation.key)
+                    ? entry.rollbackRows.get(mutation.key)
+                    : state.rows.get(mutation.key);
+                stack = {
+                    base: existing ? cloneRollbackRow(existing.base) : cloneRollbackRow(rollback),
+                    patches: [],
+                };
+                desired.set(mutation.key, stack);
+            }
+            stack.patches.push({
+                transactionId: entry.transaction.id,
+                mutation,
+                committed: false,
+            });
+            rebaseKeys.add(mutation.key);
+        }
+    }
+    state.optimisticRows.clear();
+    for (const [key, stack] of desired) {
+        state.optimisticRows.set(key, stack);
+    }
+    rebaseOptimisticRows(state, Array.from(rebaseKeys));
+};
+//# sourceMappingURL=collection-state.js.map

package/dist/collection-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-state.js","sourceRoot":"","sources":["../src/collection-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAuB,MAAM,mBAAmB,CAAC;AAYhE,OAAO,EACL,uBAAuB,EACvB,0BAA0B,EAC1B,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,kCAAkC,CAAC;AAwD1C,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAIL,EAAE,CAAC,CAAC;IAChC,IAAI,EAAE,IAAI,GAAG,EAAE;IACf,gBAAgB,EAAE,IAAI,GAAG,EAAE;IAC3B,cAAc,EAAE,IAAI,GAAG,EAAE;IACzB,UAAU,EAAE,IAAI,GAAG,EAAE;IACrB,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC,IAAI,CAAiD;QACrE,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,KAAK;KACf,CAAC;IACF,iBAAiB,EAAE,CAAC;IACpB,qBAAqB,EAAE,CAAC;IACxB,cAAc,EAAE,CAAC;IACjB,UAAU,EAAE,SAAS;IACrB,WAAW,EAAE,KAAK;IAClB,gBAAgB,EAAE,SAAS;IAC3B,mBAAmB,EAAE,KAAK;CAC3B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,KAAqC,EAAQ,EAAE;IACjF,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;IACzB,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,UAAgD,EAChD,GAAoB,EACC,EAAE,CACvB,mBAAmB,CAAC;IAClB,UAAU,EAAE,UAAU,CAAC,IAAI;IAC3B,GAAG,EAAE,GAAG,CAAC,GAAG;IACZ,KAAK,EAAE,GAAG,CAAC,KAAK;IAChB,MAAM,EAAE,GAAG,CAAC,MAAM;IAClB,MAAM,EAAE,GAAG,CAAC,MAAM;CACnB,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAiC,EACjC,IAAsB,EAChB,EAAE;IACR,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,GAAG,EAAE,CAAC;YACR,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC;IACD,mBAAmB,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,GAAoB,EACH,EAAE,CAAC,CAAC;IACrB,GAAG,EAAE,GAAG,CAAC,GAAG;IACZ,KAAK,EAAE,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC;IACtC,MAAM,EAAE,GAAG,CAAC,MAAM;IAClB,MAAM,EAAE,GAAG,CAAC,MAAM;CACnB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,GAAgC,EACH,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAE1E,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAA+B,EACL,EAAE,CAAC,CAAC;IAC9B,IAAI,EAAE,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC;IAClC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACrC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,QAAQ,EAAE,uBAAuB,CAAC,KAAK,CAAC,QAAQ,CAAC;QACjD,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAC,CAAC;CACJ,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,KAAiC,EACjC,OAAO,GAAiD,EAAE,EAC9B,EAAE,CAAC,CAAC;IAChC,WAAW,EAAE,0BAA0B,CAAC,KAAK,CAAC,WAAW,CAAC;IAC1D,YAAY,EAAE,IAAI,GAAG,CACnB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAC7E;IACD,SAAS,EAAE,KAAK,CAAC,SAAS;IAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;IACxB,aAAa,EAAE,OAAO,CAAC,qBAAqB,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;CACxF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAAiC,EACjC,SAAsD,EAChD,EAAE;IACR,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,IAAI,GAAG,EAAE,CAAC;YACR,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,mBAAmB,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAiC,EACjC,IAAqC,EACrC,gBAAiE,EACjE,cAAwD,EAClD,EAAE;IACR,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;IACnB,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,gBAAgB,EAAE,CAAC;QAC3C,KAAK,CAAC,gBAAgB,CAAC,GAAG,CACxB,EAAE,EACF,yBAAyB,CAAC,KAAK,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,CAClE,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,cAAc,EAAE,CAAC;QAC1C,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,uBAAuB,CAAC,KAAK,CAAC,CAAC,CAAC;IAChE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,WAAwC,EACtB,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAElG,MAAM,4BAA4B,GAAG,CACnC,GAAgC,EAChC,QAAkC,EACL,EAAE;IAC/B,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,EAAE,QAAQ,CAAC,GAAG;gBACjB,KAAK,EAAE,oBAAoB,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAC3C,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,OAAO;aAChB,CAAC;QACJ,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,QAAQ,GAAG,GAAG,EAAE,KAAK,IAAI,QAAQ,CAAC,QAAQ,CAAC;YACjD,OAAO;gBACL,GAAG,EAAE,QAAQ,CAAC,GAAG;gBACjB,KAAK,EAAE,oBAAoB,CAAC,EAAE,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAO,CAAC;gBACtE,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,OAAO;aAChB,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,KAA+B,EACzB,EAAE;IACR,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;QACnC,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;QACT,CAAC;QACD,KAAK,CAAC,IAAI,GAAG,4BAA4B,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtE,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QAC3B,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,KAAiC,EACjC,GAAM,EACA,EAAE;IACR,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;IACT,CAAC;IAED,kCAAkC,CAAC,KAAK,CAAC,CAAC;IAE1C,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAClD,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACzB,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,GAAG,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAChE,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;QACD,GAAG,GAAG,4BAA4B,CAAC,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACxD,eAAe,GAAG,eAAe,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;QACtD,IAAI,GAAG,EAAE,CAAC;YACR,GAAG,CAAC,MAAM,GAAG,CAAC,eAAe,CAAC;YAC9B,GAAG,CAAC,MAAM,GAAG,OAAO,CAAC;QACvB,CAAC;IACH,CAAC;IAED,IAAI,GAAG,EAAE,CAAC;QACR,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3B,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAiC,EACjC,IAAsB,EAChB,EAAE;IACR,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,mBAAmB,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,KAAiC,EACjC,WAAwC,EACxC,SAAsD,EAChD,EAAE;IACR,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;QAC7C,IAAI,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,KAAK,GAAG;gBACN,IAAI,EAAE,gBAAgB,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBACnD,OAAO,EAAE,EAAE;aACZ,CAAC;YACF,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAChD,CAAC;QACD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YACjB,aAAa,EAAE,WAAW,CAAC,EAAE;YAC7B,QAAQ;YACR,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,sBAAsB,CAAC,WAAW,CAAC,CAAC,CAAC;AACnE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAiC,EACjC,GAAoB,EACpB,UAAkB,EACZ,EAAE;IACR,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,CAAC,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACjC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,OAAO;IACT,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAAiC,EACjC,GAAM,EACN,UAAkB,EACZ,EAAE;IACR,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,CAAC,IAAI,GAAG,SAAS,CAAC;QACvB,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,OAAO;IACT,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,KAAiC,EACjC,UAAkB,EACZ,EAAE;IACR,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACxB,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QACpD,OAAO;IACT,CAAC;IAED,mBAAmB,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,KAAiC,EACjC,WAAwC,EAC/B,EAAE,CACX,sBAAsB,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAC/C,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,KAAK,WAAW,CAAC,EAAE,CAAC,CAC/F,CAAC;AAEJ,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,KAAiC,EACjC,WAAwC,EAC/B,EAAE;IACX,IAAI,CAAC,wBAAwB,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,IAAI,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC;IACjD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,aAAa,KAAK,WAAW,CAAC,EAAE,EAAE,CAAC;gBAC3C,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,KAAiC,EACjC,WAAwC,EAC/B,EAAE;IACX,IAAI,CAAC,wBAAwB,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,IAAI,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC;IACjD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,KAAK,WAAW,CAAC,EAAE,CAAC,CAAC;QAC1F,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC;IAC9D,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,KAAiC,EAC3B,EAAE;IACR,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAI,KAAK,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC;IAE3D,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,EAAE,EAAE,CAAC;QACpD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;YACnD,IAAI,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACtC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBACxD,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;oBACnD,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;oBACtC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBACjC,KAAK,GAAG;oBACN,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC;oBAC7E,OAAO,EAAE,EAAE;iBACZ,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACnC,CAAC;YACD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBACjB,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,EAAE;gBACnC,QAAQ;gBACR,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;YACH,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QACnC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC"}

package/dist/collection-sync-load-policy.d.ts

@@ -0,0 +1,17 @@
+import { Effect } from "effect";
+import type { CollectionDefinition, CollectionKey, CollectionRuntimeError } from "./collection-contract.js";
+/** Options for one Collection Sync Load Policy invocation. */
+export interface CollectionSyncLoadPolicyOptions {
+    /** Forces a fresh `refetch`/`load` attempt even when the collection is already ready. */
+    readonly force: boolean;
+}
+/**
+ * Runs the Collection Sync Load Policy for `preloadEffect` and `refetchEffect`.
+ *
+ * The policy owns in-flight load ownership, joiners, stale generation checks,
+ * restore-before-load, retry scheduling, row replacement, lifecycle events, and
+ * load persistence. Collection Runtime calls this small Interface so load
+ * ordering stays Effect-first and runtime/request-local.
+ */
+export declare const runCollectionSyncLoadPolicyEffect: <A extends object, K extends CollectionKey, E, R>(definition: CollectionDefinition<A, K, E, R>, options: CollectionSyncLoadPolicyOptions) => Effect.Effect<void, CollectionRuntimeError<E>, R>;
+//# sourceMappingURL=collection-sync-load-policy.d.ts.map

package/dist/collection-sync-load-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-sync-load-policy.d.ts","sourceRoot":"","sources":["../src/collection-sync-load-policy.ts"],"names":[],"mappings":"AACA,OAAO,EAA0B,MAAM,EAAQ,MAAM,QAAQ,CAAC;AAC9D,OAAO,KAAK,EAEV,oBAAoB,EACpB,aAAa,EAGb,sBAAsB,EACvB,MAAM,0BAA0B,CAAC;AA8BlC,8DAA8D;AAC9D,MAAM,WAAW,+BAA+B;IAC9C,yFAAyF;IACzF,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAmTD;;;;;;;GAOG;AACH,eAAO,MAAM,iCAAiC,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,EAAE,CAAC,EAAE,CAAC,cACnF,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,WACnC,+BAA+B,KACvC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC,CAgH/C,CAAC"}

package/dist/collection-sync-load-policy.js

@@ -0,0 +1,245 @@
+import { EffectInputCallbackError } from "@sunfall/arc-core";
+import { Cause, Clock, Deferred, Effect, Exit } from "effect";
+import { collectionPersistenceConfig, collectionPersistencePersistOptions, persistCollectionSnapshotEffect, restoreCollectionBeforePreloadEffect, } from "./collection-persistence.js";
+import { ingestCollectionOutputRowsEffect } from "./collection-row-ingress.js";
+import { applyCollectionBaseRow, deleteCollectionBaseRow, makeCollectionState, rebaseCollectionBaseRows, } from "./collection-state.js";
+import { collectionStoreEffect } from "./runtime-collection-store.js";
+import { collectionCallbackEffect, collectionStateEffect, } from "./collection-projection-callback-policy.js";
+import { restoreCollectionStateSnapshot, snapshotCollectionState, withCollectionDurableCommitPermit, } from "./collection-write-commit.js";
+import { collectionSnapshotFromState } from "./collection-snapshot-codec.js";
+import { withCollectionPolicyRetry } from "./collection-policy.js";
+const publishStoreEvent = (store, event) => store.publish(event);
+const replaceLoadedCollectionRows = (state, rows) => {
+    const nextRows = new Map();
+    for (const row of rows) {
+        nextRows.set(row.key, row);
+    }
+    for (const row of state.rows.values()) {
+        if (!row.synced && !nextRows.has(row.key) && !state.optimisticRows.has(row.key)) {
+            nextRows.set(row.key, row);
+        }
+    }
+    state.rows.clear();
+    const rebaseKeys = new Set();
+    for (const row of nextRows.values()) {
+        applyCollectionBaseRow(state, row, rebaseKeys);
+    }
+    for (const key of state.optimisticRows.keys()) {
+        if (!nextRows.has(key)) {
+            deleteCollectionBaseRow(state, key, rebaseKeys);
+        }
+    }
+    rebaseCollectionBaseRows(state, rebaseKeys);
+};
+const isInterruptedCause = (cause) => cause.reasons.some(Cause.isInterruptReason);
+const failCollectionLoadEffect = (store, definition, state, error) => Effect.gen(function* () {
+    state.loadState.set({
+        _tag: "Failure",
+        waiting: false,
+        error: error,
+    });
+    yield* publishStoreEvent(store, {
+        _tag: "CollectionLoadFailure",
+        collection: definition.name,
+        error,
+    });
+    return yield* Effect.fail(error);
+});
+const beginCollectionLoadAttempt = (state, force) => Effect.gen(function* () {
+    if (!force && state.activeLoad) {
+        return { _tag: "Join", attempt: state.activeLoad };
+    }
+    const attempt = {
+        generation: ++state.loadGeneration,
+        force,
+        deferred: yield* Deferred.make(),
+    };
+    state.activeLoad = attempt;
+    return { _tag: "Owner", attempt };
+});
+const isCurrentLoadAttempt = (state, attempt) => state.loadGeneration === attempt.generation &&
+    state.activeLoad?.generation === attempt.generation;
+const completeCollectionLoadAttempt = (state, attempt, exit) => Effect.gen(function* () {
+    if (state.activeLoad?.generation === attempt.generation) {
+        state.activeLoad = undefined;
+    }
+    yield* Deferred.done(attempt.deferred, exit).pipe(Effect.asVoid);
+});
+const effectFromLoadAttemptExit = (exit) => Exit.isSuccess(exit) ? Effect.void : Effect.failCause(exit.cause);
+const supersededLoadAttemptWithoutActiveError = (definition, state, attempt) => new EffectInputCallbackError({
+    operation: `Collection.load(${definition.name}).superseded`,
+    cause: {
+        attemptGeneration: attempt.generation,
+        currentGeneration: state.loadGeneration,
+        loadState: state.loadState.get()._tag,
+    },
+    guidance: "A superseded collection load can only complete from a visible Ready or Failure state, or by joining the current active load generation.",
+});
+const waitForSupersedingLoadAttempt = (definition, state, attempt) => Effect.suspend(() => {
+    const current = state.loadState.get();
+    switch (current._tag) {
+        case "Ready":
+            return Effect.void;
+        case "Failure":
+            return Effect.fail(current.error);
+        case "Initial":
+        case "Pending": {
+            const active = state.activeLoad;
+            return active && active.generation !== attempt.generation
+                ? Deferred.await(active.deferred)
+                : Effect.fail(supersededLoadAttemptWithoutActiveError(definition, state, attempt));
+        }
+    }
+});
+const resolveLoadAttemptCompletion = (definition, state, attempt, exit) => state.loadGeneration === attempt.generation
+    ? effectFromLoadAttemptExit(exit)
+    : waitForSupersedingLoadAttempt(definition, state, attempt);
+const collectionLoadOperation = (definition, force) => force
+    ? (definition.options.refetch ?? definition.options.load)
+    : (definition.options.load ?? definition.options.refetch);
+const restoreBeforePreloadEffect = (definition, state, store, attempt) => Effect.suspend(() => {
+    const restoreVersion = state.version.get();
+    return restoreCollectionBeforePreloadEffect(definition, state, store, collectionStoreEffect, () => isCurrentLoadAttempt(state, attempt) && state.version.get() === restoreVersion);
+});
+const shouldPersistLoad = (definition) => {
+    const config = collectionPersistenceConfig(definition);
+    return config !== undefined && config.persistOnLoad !== false;
+};
+const stagedLoadedCollectionSnapshotEffect = (definition, state, rows, updatedAt) => Effect.try({
+    try: () => {
+        const stagedState = makeCollectionState();
+        restoreCollectionStateSnapshot(stagedState, snapshotCollectionState(state));
+        replaceLoadedCollectionRows(stagedState, rows);
+        return collectionSnapshotFromState(definition, stagedState, updatedAt);
+    },
+    catch: (cause) => new EffectInputCallbackError({
+        operation: `Collection.load(${definition.name}).snapshot`,
+        cause,
+        guidance: "Collection load snapshots must be serializable before rows are committed to live state.",
+    }),
+});
+const persistLoadSnapshotEffect = (definition, store, snapshot) => Effect.suspend(() => {
+    const config = collectionPersistenceConfig(definition);
+    if (config === undefined || config.persistOnLoad === false) {
+        return Effect.succeed(undefined);
+    }
+    return persistCollectionSnapshotEffect(definition, Effect.succeed(snapshot), config.storage, collectionPersistencePersistOptions(config), store).pipe(Effect.asVoid);
+});
+const restoreLoadStateIfCurrentEffect = (state, attempt, loadState) => Effect.sync(() => {
+    if (isCurrentLoadAttempt(state, attempt)) {
+        state.loadState.set(loadState);
+    }
+});
+const commitLoadedCollectionRowsEffect = (definition, state, store, attempt, rows, previousLoadState, updatedAt) => withCollectionDurableCommitPermit(state, Effect.uninterruptibleMask((restore) => Effect.gen(function* () {
+    if (!isCurrentLoadAttempt(state, attempt)) {
+        return;
+    }
+    const snapshot = shouldPersistLoad(definition)
+        ? yield* stagedLoadedCollectionSnapshotEffect(definition, state, rows, updatedAt).pipe(Effect.catch((error) => isCurrentLoadAttempt(state, attempt)
+            ? failCollectionLoadEffect(store, definition, state, error)
+            : Effect.fail(error)))
+        : undefined;
+    if (!isCurrentLoadAttempt(state, attempt)) {
+        return;
+    }
+    const persistExit = yield* snapshot === undefined
+        ? Effect.succeed(Exit.void)
+        : restore(persistLoadSnapshotEffect(definition, store, snapshot)).pipe(Effect.exit);
+    if (Exit.isFailure(persistExit)) {
+        if (isInterruptedCause(persistExit.cause)) {
+            yield* restoreLoadStateIfCurrentEffect(state, attempt, previousLoadState);
+        }
+        else if (isCurrentLoadAttempt(state, attempt)) {
+            yield* failCollectionLoadEffect(store, definition, state, persistExit.cause.reasons.find(Cause.isFailReason)?.error ??
+                Cause.squash(persistExit.cause)).pipe(Effect.exit);
+        }
+        return yield* Effect.failCause(persistExit.cause);
+    }
+    if (!isCurrentLoadAttempt(state, attempt)) {
+        return;
+    }
+    replaceLoadedCollectionRows(state, rows);
+    state.initialDataError = undefined;
+    state.loadState.set({ _tag: "Ready", waiting: false, updatedAt });
+    yield* publishStoreEvent(store, {
+        _tag: "CollectionLoaded",
+        collection: definition.name,
+        count: state.rows.size,
+        updatedAt,
+    });
+})));
+/**
+ * Runs the Collection Sync Load Policy for `preloadEffect` and `refetchEffect`.
+ *
+ * The policy owns in-flight load ownership, joiners, stale generation checks,
+ * restore-before-load, retry scheduling, row replacement, lifecycle events, and
+ * load persistence. Collection Runtime calls this small Interface so load
+ * ordering stays Effect-first and runtime/request-local.
+ */
+export const runCollectionSyncLoadPolicyEffect = (definition, options) => Effect.gen(function* () {
+    const store = yield* collectionStoreEffect;
+    const state = yield* collectionStateEffect(definition, store);
+    const ownership = yield* beginCollectionLoadAttempt(state, options.force);
+    if (ownership._tag === "Join") {
+        return yield* Deferred.await(ownership.attempt.deferred);
+    }
+    const attempt = ownership.attempt;
+    const failCurrentLoad = (error) => isCurrentLoadAttempt(state, attempt)
+        ? failCollectionLoadEffect(store, definition, state, error)
+        : Effect.fail(error);
+    const runOwnerLoad = Effect.gen(function* () {
+        const restored = yield* restoreBeforePreloadEffect(definition, state, store, attempt).pipe(Effect.catch((error) => failCurrentLoad(error)));
+        if (!isCurrentLoadAttempt(state, attempt)) {
+            return;
+        }
+        const current = state.loadState.get();
+        const operation = collectionLoadOperation(definition, options.force);
+        const shouldLoadAfterRestore = restored &&
+            collectionPersistenceConfig(definition)?.loadAfterRestore === true &&
+            operation !== undefined;
+        if (!options.force && current._tag === "Ready" && !shouldLoadAfterRestore) {
+            return;
+        }
+        if (!operation) {
+            if (state.initialDataError !== undefined) {
+                return yield* failCurrentLoad(state.initialDataError);
+            }
+            if (current._tag === "Initial" && isCurrentLoadAttempt(state, attempt)) {
+                const updatedAt = yield* Clock.currentTimeMillis;
+                state.loadState.set({ _tag: "Ready", waiting: false, updatedAt });
+            }
+            return;
+        }
+        const load = collectionCallbackEffect(operation);
+        const previousLoadState = state.loadState.get();
+        if (isCurrentLoadAttempt(state, attempt)) {
+            state.loadState.set({ _tag: "Pending", waiting: true });
+        }
+        const values = yield* withCollectionPolicyRetry(definition, load).pipe(Effect.onExit((exit) => Exit.isFailure(exit) && isInterruptedCause(exit.cause)
+            ? restoreLoadStateIfCurrentEffect(state, attempt, previousLoadState)
+            : Effect.void), Effect.catch((error) => failCurrentLoad(error)));
+        yield* Effect.gen(function* () {
+            const rows = yield* ingestCollectionOutputRowsEffect(definition, values, {
+                operation: "load",
+                path: `$.collections[${definition.name}].rows`,
+                synced: true,
+                origin: "remote",
+            }).pipe(Effect.catch((error) => failCurrentLoad(error)));
+            if (!isCurrentLoadAttempt(state, attempt)) {
+                return;
+            }
+            const updatedAt = yield* Clock.currentTimeMillis;
+            yield* commitLoadedCollectionRowsEffect(definition, state, store, attempt, rows, previousLoadState, updatedAt);
+        }).pipe(Effect.onExit((exit) => Exit.isFailure(exit) && isInterruptedCause(exit.cause)
+            ? restoreLoadStateIfCurrentEffect(state, attempt, previousLoadState)
+            : Effect.void));
+    }).pipe(Effect.exit, Effect.flatMap((exit) => Effect.gen(function* () {
+        const completionExit = yield* Effect.exit(resolveLoadAttemptCompletion(definition, state, attempt, exit));
+        yield* completeCollectionLoadAttempt(state, attempt, completionExit);
+        return yield* effectFromLoadAttemptExit(completionExit);
+    })));
+    return yield* runOwnerLoad.pipe(Effect.onExit((exit) => Exit.isFailure(exit)
+        ? completeCollectionLoadAttempt(state, attempt, exit)
+        : Effect.void));
+});
+//# sourceMappingURL=collection-sync-load-policy.js.map