@sunfall/arc-db 0.1.0-alpha.0

package/dist/collection-definition-snapshot.js

@@ -0,0 +1,122 @@
+import { Effect } from "effect";
+import { CollectionDefinitionSnapshotTypeId } from "./collection-ids.js";
+import { CollectionSnapshotCodecError } from "./collection-snapshot-codec.js";
+import { withCollectionDurableCommitPermit } from "./collection-write-commit.js";
+/** Marks a Collection Definition as requiring store-explicit snapshot dispatch. */
+export function markStoreExplicitCollectionSnapshotDefinition(definition) {
+    Object.defineProperty(definition, CollectionDefinitionSnapshotTypeId, {
+        value: CollectionDefinitionSnapshotTypeId,
+        enumerable: false,
+    });
+}
+/** Checks only for the marker; callers should still validate implementation fields. */
+export const hasStoreExplicitCollectionSnapshotMarker = (definition) => definition[CollectionDefinitionSnapshotTypeId] === CollectionDefinitionSnapshotTypeId;
+/** Checks that a marked Collection Definition has the full store-explicit Interface. */
+export const isStoreExplicitCollectionSnapshotDefinition = (definition) => hasStoreExplicitCollectionSnapshotMarker(definition) &&
+    typeof definition
+        .snapshotWithStore === "function" &&
+    typeof definition
+        .snapshotWithStoreEffect === "function" &&
+    typeof definition
+        .hydratePreflightEffect === "function" &&
+    typeof definition
+        .hydrateWithStoreEffect === "function";
+const missingStoreExplicitSnapshotMethods = (definition) => {
+    const candidate = definition;
+    return [
+        ...(typeof candidate.snapshotWithStore === "function" ? [] : ["snapshotWithStore"]),
+        ...(typeof candidate.snapshotWithStoreEffect === "function" ? [] : ["snapshotWithStoreEffect"]),
+        ...(typeof candidate.hydratePreflightEffect === "function" ? [] : ["hydratePreflightEffect"]),
+        ...(typeof candidate.hydrateWithStoreEffect === "function" ? [] : ["hydrateWithStoreEffect"]),
+    ];
+};
+const incompleteStoreExplicitSnapshotError = (definition, operation) => new CollectionSnapshotCodecError({
+    operation,
+    path: "$",
+    reason: `Collection "${definition.name}" is marked as owning store-explicit snapshots but is missing ${missingStoreExplicitSnapshotMethods(definition).join(", ")}.`,
+});
+const requireStoreExplicitCollectionSnapshotDefinition = (definition, operation) => {
+    if (isStoreExplicitCollectionSnapshotDefinition(definition)) {
+        return definition;
+    }
+    throw incompleteStoreExplicitSnapshotError(definition, operation);
+};
+const requireStoreExplicitCollectionSnapshotDefinitionEffect = (definition, operation) => isStoreExplicitCollectionSnapshotDefinition(definition)
+    ? Effect.succeed(definition)
+    : Effect.fail(incompleteStoreExplicitSnapshotError(definition, operation));
+/** Runs the synchronous store-explicit snapshot implementation. */
+export const snapshotStoreExplicitCollection = (definition, store, updatedAt) => requireStoreExplicitCollectionSnapshotDefinition(definition, "snapshot").snapshotWithStore(store, updatedAt);
+/** Runs the Effect-backed store-explicit snapshot implementation. */
+export const snapshotStoreExplicitCollectionEffect = (definition, store, updatedAt) => Effect.gen(function* () {
+    const snapshotDefinition = yield* requireStoreExplicitCollectionSnapshotDefinitionEffect(definition, "snapshot");
+    return yield* snapshotDefinition.snapshotWithStoreEffect(store, updatedAt);
+});
+/** Runs hydrate preflight for a store-explicit snapshot definition. */
+export const hydrateStoreExplicitCollectionSnapshotPreflightEffect = (definition, snapshot, options) => Effect.gen(function* () {
+    const snapshotDefinition = yield* requireStoreExplicitCollectionSnapshotDefinitionEffect(definition, "hydrate");
+    yield* snapshotDefinition.hydratePreflightEffect(snapshot, options);
+});
+/** Runs hydrate application for a store-explicit snapshot definition. */
+export const hydrateStoreExplicitCollectionSnapshotEffect = (definition, store, snapshot, options) => Effect.gen(function* () {
+    const snapshotDefinition = yield* requireStoreExplicitCollectionSnapshotDefinitionEffect(definition, "hydrate");
+    yield* snapshotDefinition.hydratePreflightEffect(snapshot, options);
+    yield* snapshotDefinition.hydrateWithStoreEffect(store, snapshot, options);
+});
+export const collectionDurableSnapshotSources = (definition) => {
+    const visited = new Set();
+    const sources = [];
+    const visit = (current) => {
+        if (visited.has(current)) {
+            return;
+        }
+        visited.add(current);
+        const explicit = current;
+        if (hasStoreExplicitCollectionSnapshotMarker(current) &&
+            typeof explicit.durableSnapshotSources === "function") {
+            for (const source of explicit.durableSnapshotSources()) {
+                visit(source);
+            }
+            return;
+        }
+        sources.push(current);
+    };
+    visit(definition);
+    return sources;
+};
+const durableSnapshotSourceOrder = new WeakMap();
+let nextDurableSnapshotSourceOrder = 0;
+const durableSnapshotSourceOrderOf = (definition) => {
+    const existing = durableSnapshotSourceOrder.get(definition);
+    if (existing !== undefined) {
+        return existing;
+    }
+    const order = nextDurableSnapshotSourceOrder++;
+    durableSnapshotSourceOrder.set(definition, order);
+    return order;
+};
+/**
+ * Plans the concrete writable sources whose durable commit permits protect a
+ * snapshot payload.
+ *
+ * Store-explicit definitions such as live-query collections can expand to
+ * transitive source collections. The returned sources are deduped by
+ * definition identity and sorted deterministically so unrelated callers cannot
+ * acquire the same permits in opposite order.
+ */
+export const collectionDurableSnapshotPermitSources = (definitions) => {
+    const sources = new Set();
+    for (const definition of definitions) {
+        for (const source of collectionDurableSnapshotSources(definition)) {
+            sources.add(source);
+        }
+    }
+    return Array.from(sources).sort((left, right) => {
+        const byName = left.name.localeCompare(right.name);
+        return byName === 0
+            ? durableSnapshotSourceOrderOf(left) - durableSnapshotSourceOrderOf(right)
+            : byName;
+    });
+};
+/** Acquires all durable snapshot permits for a payload using the shared plan. */
+export const withCollectionDurableSnapshotPermits = (store, definitions, effect) => collectionDurableSnapshotPermitSources(definitions).reduceRight((current, source) => withCollectionDurableCommitPermit(store.state(source), current), effect);
+//# sourceMappingURL=collection-definition-snapshot.js.map

package/dist/collection-definition-snapshot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-definition-snapshot.js","sourceRoot":"","sources":["../src/collection-definition-snapshot.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,kCAAkC,EAAE,MAAM,qBAAqB,CAAC;AASzE,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAAE,iCAAiC,EAAE,MAAM,8BAA8B,CAAC;AA6DjF,mFAAmF;AACnF,MAAM,UAAU,6CAA6C,CAC3D,UAAsB;IAItB,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,kCAAkC,EAAE;QACpE,KAAK,EAAE,kCAAkC;QACzC,UAAU,EAAE,KAAK;KAClB,CAAC,CAAC;AACL,CAAC;AAED,uFAAuF;AACvF,MAAM,CAAC,MAAM,wCAAwC,GAAG,CAAC,UAAyB,EAAW,EAAE,CAE3F,UAGD,CAAC,kCAAkC,CAAC,KAAK,kCAAkC,CAAC;AAE/E,wFAAwF;AACxF,MAAM,CAAC,MAAM,2CAA2C,GAAG,CACzD,UAAyB,EACgD,EAAE,CAC3E,wCAAwC,CAAC,UAAU,CAAC;IACpD,OAAQ,UAAqE;SAC1E,iBAAiB,KAAK,UAAU;IACnC,OAAQ,UAAqE;SAC1E,uBAAuB,KAAK,UAAU;IACzC,OAAQ,UAAqE;SAC1E,sBAAsB,KAAK,UAAU;IACxC,OAAQ,UAAqE;SAC1E,sBAAsB,KAAK,UAAU,CAAC;AAE3C,MAAM,mCAAmC,GAAG,CAAC,UAAyB,EAAqB,EAAE;IAC3F,MAAM,SAAS,GAAG,UAAoE,CAAC;IACvF,OAAO;QACL,GAAG,CAAC,OAAO,SAAS,CAAC,iBAAiB,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;QACnF,GAAG,CAAC,OAAO,SAAS,CAAC,uBAAuB,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;QAC/F,GAAG,CAAC,OAAO,SAAS,CAAC,sBAAsB,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC;QAC7F,GAAG,CAAC,OAAO,SAAS,CAAC,sBAAsB,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC;KAC9F,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,oCAAoC,GAAG,CAC3C,UAAyB,EACzB,SAAiC,EACH,EAAE,CAChC,IAAI,4BAA4B,CAAC;IAC/B,SAAS;IACT,IAAI,EAAE,GAAG;IACT,MAAM,EAAE,eAAe,UAAU,CAAC,IAAI,iEAAiE,mCAAmC,CACxI,UAAU,CACX,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;CAChB,CAAC,CAAC;AAEL,MAAM,gDAAgD,GAAG,CACvD,UAAyB,EACzB,SAAiC,EAC0B,EAAE;IAC7D,IAAI,2CAA2C,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5D,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,MAAM,oCAAoC,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF,MAAM,sDAAsD,GAAG,CAC7D,UAAyB,EACzB,SAAiC,EAIjC,EAAE,CACF,2CAA2C,CAAC,UAAU,CAAC;IACrD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;IAC5B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,oCAAoC,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;AAE/E,mEAAmE;AACnE,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,UAAyB,EACzB,KAAiC,EACjC,SAAiB,EACa,EAAE,CAChC,gDAAgD,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,iBAAiB,CACxF,KAAK,EACL,SAAS,CACV,CAAC;AAEJ,qEAAqE;AACrE,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,UAAyB,EACzB,KAAiC,EACjC,SAAiB,EAIjB,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,kBAAkB,GAAG,KAAK,CAAC,CAAC,sDAAsD,CACtF,UAAU,EACV,UAAU,CACX,CAAC;IACF,OAAO,KAAK,CAAC,CAAC,kBAAkB,CAAC,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAC7E,CAAC,CAAC,CAAC;AAEL,uEAAuE;AACvE,MAAM,CAAC,MAAM,qDAAqD,GAAG,CACnE,UAAyB,EACzB,QAAsC,EACtC,OAAiC,EAC6C,EAAE,CAChF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,kBAAkB,GAAG,KAAK,CAAC,CAAC,sDAAsD,CACtF,UAAU,EACV,SAAS,CACV,CAAC;IACF,KAAK,CAAC,CAAC,kBAAkB,CAAC,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AACtE,CAAC,CAAC,CAAC;AAEL,yEAAyE;AACzE,MAAM,CAAC,MAAM,4CAA4C,GAAG,CAC1D,UAAyB,EACzB,KAAiC,EACjC,QAAsC,EACtC,OAAiC,EAC6C,EAAE,CAChF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,kBAAkB,GAAG,KAAK,CAAC,CAAC,sDAAsD,CACtF,UAAU,EACV,SAAS,CACV,CAAC;IACF,KAAK,CAAC,CAAC,kBAAkB,CAAC,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACpE,KAAK,CAAC,CAAC,kBAAkB,CAAC,sBAAsB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC7E,CAAC,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,UAAyB,EACK,EAAE;IAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiB,CAAC;IACzC,MAAM,OAAO,GAAoB,EAAE,CAAC;IAEpC,MAAM,KAAK,GAAG,CAAC,OAAsB,EAAQ,EAAE;QAC7C,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACzB,OAAO;QACT,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAErB,MAAM,QAAQ,GAAG,OAA6D,CAAC;QAC/E,IACE,wCAAwC,CAAC,OAAO,CAAC;YACjD,OAAO,QAAQ,CAAC,sBAAsB,KAAK,UAAU,EACrD,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,sBAAsB,EAAE,EAAE,CAAC;gBACvD,KAAK,CAAC,MAAM,CAAC,CAAC;YAChB,CAAC;YACD,OAAO;QACT,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxB,CAAC,CAAC;IAEF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,IAAI,OAAO,EAAyB,CAAC;AACxE,IAAI,8BAA8B,GAAG,CAAC,CAAC;AAEvC,MAAM,4BAA4B,GAAG,CAAC,UAAyB,EAAU,EAAE;IACzE,MAAM,QAAQ,GAAG,0BAA0B,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,KAAK,GAAG,8BAA8B,EAAE,CAAC;IAC/C,0BAA0B,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAClD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,WAAoC,EACN,EAAE;IAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiB,CAAC;IACzC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,KAAK,MAAM,MAAM,IAAI,gCAAgC,CAAC,UAAU,CAAC,EAAE,CAAC;YAClE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnD,OAAO,MAAM,KAAK,CAAC;YACjB,CAAC,CAAC,4BAA4B,CAAC,IAAI,CAAC,GAAG,4BAA4B,CAAC,KAAK,CAAC;YAC1E,CAAC,CAAC,MAAM,CAAC;IACb,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,iFAAiF;AACjF,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,KAAiC,EACjC,WAAoC,EACpC,MAA8B,EACN,EAAE,CAC1B,sCAAsC,CAAC,WAAW,CAAC,CAAC,WAAW,CAC7D,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,iCAAiC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,EACpF,MAAM,CACP,CAAC"}

package/dist/collection-errors.d.ts

@@ -0,0 +1,38 @@
+import type { CollectionKey } from "./collection-contract.js";
+declare const CollectionRowNotFound_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "CollectionRowNotFound";
+} & Readonly<A>;
+/**
+ * Error raised when an update/delete targets a missing row.
+ */
+export declare class CollectionRowNotFound extends CollectionRowNotFound_base<{
+    readonly collection: string;
+    readonly key: CollectionKey;
+}> {
+}
+declare const CollectionRowKeyChanged_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "CollectionRowKeyChanged";
+} & Readonly<A>;
+/**
+ * Error raised when an update would move a row to a different collection key.
+ */
+export declare class CollectionRowKeyChanged extends CollectionRowKeyChanged_base<{
+    readonly collection: string;
+    readonly key: CollectionKey;
+    readonly nextKey: CollectionKey;
+    readonly guidance: string;
+}> {
+}
+declare const ReadonlyCollectionMutation_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "ReadonlyCollectionMutation";
+} & Readonly<A>;
+/**
+ * Error raised when a mutation is attempted on a read-only live-query collection.
+ */
+export declare class ReadonlyCollectionMutation extends ReadonlyCollectionMutation_base<{
+    readonly collection: string;
+    readonly operation: string;
+}> {
+}
+export {};
+//# sourceMappingURL=collection-errors.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"collection-errors.d.ts","sourceRoot":"","sources":["../src/collection-errors.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;;;;AAE9D;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,2BAA0C;IACnF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;CAC7B,CAAC;CAAG;;;;AAEL;;GAEG;AACH,qBAAa,uBAAwB,SAAQ,6BAA4C;IACvF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,CAAC;CAAG;;;;AAEL;;GAEG;AACH,qBAAa,0BAA2B,SAAQ,gCAA+C;IAC7F,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;CAAG"}

package/dist/collection-errors.js

@@ -0,0 +1,17 @@
+import { Data } from "effect";
+/**
+ * Error raised when an update/delete targets a missing row.
+ */
+export class CollectionRowNotFound extends Data.TaggedError("CollectionRowNotFound") {
+}
+/**
+ * Error raised when an update would move a row to a different collection key.
+ */
+export class CollectionRowKeyChanged extends Data.TaggedError("CollectionRowKeyChanged") {
+}
+/**
+ * Error raised when a mutation is attempted on a read-only live-query collection.
+ */
+export class ReadonlyCollectionMutation extends Data.TaggedError("ReadonlyCollectionMutation") {
+}
+//# sourceMappingURL=collection-errors.js.map

package/dist/collection-errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-errors.js","sourceRoot":"","sources":["../src/collection-errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAG9B;;GAEG;AACH,MAAM,OAAO,qBAAsB,SAAQ,IAAI,CAAC,WAAW,CAAC,uBAAuB,CAGjF;CAAG;AAEL;;GAEG;AACH,MAAM,OAAO,uBAAwB,SAAQ,IAAI,CAAC,WAAW,CAAC,yBAAyB,CAKrF;CAAG;AAEL;;GAEG;AACH,MAAM,OAAO,0BAA2B,SAAQ,IAAI,CAAC,WAAW,CAAC,4BAA4B,CAG3F;CAAG"}

package/dist/collection-ids.d.ts

@@ -0,0 +1,6 @@
+/** Runtime marker for Collection Definitions. */
+export declare const CollectionTypeId: unique symbol;
+/** Runtime marker for Collection Store instances. */
+export declare const CollectionStoreTypeId: unique symbol;
+export declare const CollectionDefinitionSnapshotTypeId: unique symbol;
+//# sourceMappingURL=collection-ids.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"collection-ids.d.ts","sourceRoot":"","sources":["../src/collection-ids.ts"],"names":[],"mappings":"AAAA,iDAAiD;AACjD,eAAO,MAAM,gBAAgB,EAAE,OAAO,MAEV,CAAC;AAE7B,qDAAqD;AACrD,eAAO,MAAM,qBAAqB,EAAE,OAAO,MAEV,CAAC;AAElC,eAAO,MAAM,kCAAkC,EAAE,OAAO,MAEV,CAAC"}

package/dist/collection-ids.js

@@ -0,0 +1,6 @@
+/** Runtime marker for Collection Definitions. */
+export const CollectionTypeId = Symbol.for("@sunfall/arc-db/Collection");
+/** Runtime marker for Collection Store instances. */
+export const CollectionStoreTypeId = Symbol.for("@sunfall/arc-db/CollectionStore");
+export const CollectionDefinitionSnapshotTypeId = Symbol.for("@sunfall/arc-db/CollectionDefinitionSnapshot");
+//# sourceMappingURL=collection-ids.js.map

package/dist/collection-ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-ids.js","sourceRoot":"","sources":["../src/collection-ids.ts"],"names":[],"mappings":"AAAA,iDAAiD;AACjD,MAAM,CAAC,MAAM,gBAAgB,GAAkB,MAAM,CAAC,GAAG,CACvD,4BAA4B,CACF,CAAC;AAE7B,qDAAqD;AACrD,MAAM,CAAC,MAAM,qBAAqB,GAAkB,MAAM,CAAC,GAAG,CAC5D,iCAAiC,CACF,CAAC;AAElC,MAAM,CAAC,MAAM,kCAAkC,GAAkB,MAAM,CAAC,GAAG,CACzE,8CAA8C,CACF,CAAC"}

package/dist/collection-index-materialization.d.ts

@@ -0,0 +1,29 @@
+import type { AnyCollection, CollectionDefinition, CollectionIndexDefinition, CollectionIndexRecord, CollectionIndexValue, CollectionKey, CollectionRow } from "./collection-contract.js";
+import { type CollectionState, type StoredRow } from "./collection-state.js";
+declare const UnknownCollectionIndex_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "UnknownCollectionIndex";
+} & Readonly<A>;
+/**
+ * Error raised when reading an index that was not declared on the collection.
+ */
+export declare class UnknownCollectionIndex extends UnknownCollectionIndex_base<{
+    readonly collection: string;
+    readonly index: string;
+}> {
+}
+export interface CollectionIndexCacheEntry<A extends object, K extends CollectionKey> {
+    readonly version: number;
+    readonly buckets: ReadonlyMap<string, ReadonlyArray<StoredRow<A, K>>>;
+}
+export declare const collectionIndexKey: (value: CollectionIndexValue) => string;
+export declare const collectionIndexes: <A extends object>(options: {
+    readonly indexes?: CollectionIndexRecord<A>;
+}) => ReadonlyMap<string, CollectionIndexDefinition<A>>;
+export declare const collectionIndex: <A extends object>(definition: AnyCollection, name: string) => CollectionIndexDefinition<A>;
+export declare const collectionIndexValues: <A extends object>(index: CollectionIndexDefinition<A>, value: A) => ReadonlyArray<CollectionIndexValue>;
+export declare const uniqueCollectionIndexValues: <A extends object>(index: CollectionIndexDefinition<A>, value: A) => ReadonlyArray<CollectionIndexValue>;
+export declare const rowsMatchingCollectionIndex: <A extends object, K extends CollectionKey>(definition: CollectionDefinition<A, K, any, any>, rows: ReadonlyArray<CollectionRow<A, K>>, index: string, value: CollectionIndexValue) => ReadonlyArray<CollectionRow<A, K>>;
+export declare const rowsByCollectionIndex: <A extends object, K extends CollectionKey, E, R>(definition: CollectionDefinition<A, K, E, R>, state: CollectionState<A, K, E>, index: string, value: CollectionIndexValue) => ReadonlyArray<CollectionRow<A, K>>;
+export declare const collectionIndexJoinKeys: <A extends object>(definition: AnyCollection, index: string, row: CollectionRow<A, any>) => ReadonlyArray<CollectionIndexValue>;
+export {};
+//# sourceMappingURL=collection-index-materialization.d.ts.map

package/dist/collection-index-materialization.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-index-materialization.d.ts","sourceRoot":"","sources":["../src/collection-index-materialization.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,aAAa,EACb,oBAAoB,EACpB,yBAAyB,EAEzB,qBAAqB,EAErB,oBAAoB,EACpB,aAAa,EACb,aAAa,EACd,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAwB,KAAK,eAAe,EAAE,KAAK,SAAS,EAAE,MAAM,uBAAuB,CAAC;;;;AAMnG;;GAEG;AACH,qBAAa,sBAAuB,SAAQ,4BAA2C;IACrF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;CAAG;AAEL,MAAM,WAAW,yBAAyB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa;IAClF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;CACvE;AAiDD,eAAO,MAAM,kBAAkB,UAAW,oBAAoB,KAAG,MAKhE,CAAC;AAUF,eAAO,MAAM,iBAAiB,GAAI,CAAC,SAAS,MAAM,WAAW;IAC3D,QAAQ,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;CAC7C,KAAG,WAAW,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC,CAAC,CAMjD,CAAC;AAEJ,eAAO,MAAM,eAAe,GAAI,CAAC,SAAS,MAAM,cAClC,aAAa,QACnB,MAAM,KACX,yBAAyB,CAAC,CAAC,CAQ7B,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAAI,CAAC,SAAS,MAAM,SAC7C,yBAAyB,CAAC,CAAC,CAAC,SAC5B,CAAC,KACP,aAAa,CAAC,oBAAoB,CAapC,CAAC;AAEF,eAAO,MAAM,2BAA2B,GAAI,CAAC,SAAS,MAAM,SACnD,yBAAyB,CAAC,CAAC,CAAC,SAC5B,CAAC,KACP,aAAa,CAAC,oBAAoB,CAWpC,CAAC;AAEF,eAAO,MAAM,2BAA2B,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,cACvE,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,QAC1C,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SACjC,MAAM,SACN,oBAAoB,KAC1B,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAQnC,CAAC;AA0BF,eAAO,MAAM,qBAAqB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,EAAE,CAAC,EAAE,CAAC,cACvE,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,SACrC,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,SACxB,MAAM,SACN,oBAAoB,KAC1B,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAYnC,CAAC;AAaF,eAAO,MAAM,uBAAuB,GAAI,CAAC,SAAS,MAAM,cAC1C,aAAa,SAClB,MAAM,OACR,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,KACzB,aAAa,CAAC,oBAAoB,CAC0D,CAAC"}

package/dist/collection-index-materialization.js

@@ -0,0 +1,118 @@
+import { EffectInputCallbackError, stableStringify } from "@sunfall/arc-core";
+import { Data } from "effect";
+import { augmentCollectionRow } from "./collection-state.js";
+import { cloneCollectionValue, collectionExecutableValuePath, } from "./collection-value-detachment.js";
+/**
+ * Error raised when reading an index that was not declared on the collection.
+ */
+export class UnknownCollectionIndex extends Data.TaggedError("UnknownCollectionIndex") {
+}
+const collectionIndexGuidance = "Collection secondary index selectors must return scalar plain values: string, number, boolean, valid Date, null, undefined, or arrays of those values.";
+const collectionIndexError = (operation, cause) => new EffectInputCallbackError({
+    operation,
+    cause,
+    guidance: collectionIndexGuidance,
+});
+const isCollectionIndexValue = (value) => value === null ||
+    value === undefined ||
+    typeof value === "string" ||
+    typeof value === "number" ||
+    typeof value === "boolean" ||
+    value instanceof Date;
+const normalizeCollectionIndexValue = (value, operation, path) => {
+    const executable = collectionExecutableValuePath(value, path);
+    if (executable !== undefined) {
+        throw collectionIndexError(operation, new TypeError(`Collection secondary index value contains ${executable.reason} at ${executable.path}.`));
+    }
+    if (!isCollectionIndexValue(value)) {
+        throw collectionIndexError(operation, new TypeError(`Collection secondary index value at ${path} must be a scalar index value.`));
+    }
+    if (value instanceof Date && !Number.isFinite(value.getTime())) {
+        throw collectionIndexError(operation, new TypeError(`Collection secondary index Date value at ${path} must be valid.`));
+    }
+    return value;
+};
+export const collectionIndexKey = (value) => {
+    const normalized = normalizeCollectionIndexValue(value, "Collection.index.value", "$.indexValue");
+    return normalized instanceof Date
+        ? `Date:${normalized.toISOString()}`
+        : stableStringify(normalized);
+};
+const normalizeCollectionIndex = (index) => (typeof index === "function" ? { key: index } : index);
+const isCollectionIndexValueArray = (value) => Array.isArray(value);
+export const collectionIndexes = (options) => new Map(Object.entries(options.indexes ?? {}).map(([name, index]) => [
+    name,
+    normalizeCollectionIndex(index),
+]));
+export const collectionIndex = (definition, name) => {
+    const index = collectionIndexes(definition.options).get(name);
+    if (!index) {
+        throw new UnknownCollectionIndex({ collection: definition.name, index: name });
+    }
+    return index;
+};
+export const collectionIndexValues = (index, value) => {
+    try {
+        const result = index.key(value);
+        const candidates = isCollectionIndexValueArray(result) ? result : [result];
+        return candidates.map((candidate, index) => normalizeCollectionIndexValue(candidate, "Collection.index.selector", `$.index[${index}]`));
+    }
+    catch (cause) {
+        if (cause instanceof EffectInputCallbackError) {
+            throw cause;
+        }
+        throw collectionIndexError("Collection.index.selector", cause);
+    }
+};
+export const uniqueCollectionIndexValues = (index, value) => {
+    const values = [];
+    const seen = new Set();
+    for (const candidate of collectionIndexValues(index, value)) {
+        const key = collectionIndexKey(candidate);
+        if (!seen.has(key)) {
+            seen.add(key);
+            values.push(candidate);
+        }
+    }
+    return values;
+};
+export const rowsMatchingCollectionIndex = (definition, rows, index, value) => {
+    const definitionIndex = collectionIndex(definition, index);
+    const key = collectionIndexKey(value);
+    return rows.filter((row) => collectionIndexValues(definitionIndex, row).some((candidate) => collectionIndexKey(candidate) === key));
+};
+const buildCollectionIndexCache = (state, version, index) => {
+    const buckets = new Map();
+    for (const row of state.rows.values()) {
+        for (const value of uniqueCollectionIndexValues(index, row.value)) {
+            const key = collectionIndexKey(value);
+            const bucket = buckets.get(key);
+            if (bucket) {
+                bucket.push(row);
+            }
+            else {
+                buckets.set(key, [row]);
+            }
+        }
+    }
+    return {
+        version,
+        buckets,
+    };
+};
+export const rowsByCollectionIndex = (definition, state, index, value) => {
+    const definitionIndex = collectionIndex(definition, index);
+    const version = state.version.get();
+    let cache = state.indexCache.get(index);
+    if (!cache || cache.version !== version) {
+        cache = buildCollectionIndexCache(state, version, definitionIndex);
+        state.indexCache.set(index, cache);
+    }
+    return (cache.buckets.get(collectionIndexKey(value)) ?? []).map((row) => augmentCollectionRow(definition, row));
+};
+const collectionIndexRowValue = (row) => {
+    const { $key: _key, $collection: _collection, $synced: _synced, $origin: _origin, ...value } = row;
+    return cloneCollectionValue(value);
+};
+export const collectionIndexJoinKeys = (definition, index, row) => uniqueCollectionIndexValues(collectionIndex(definition, index), collectionIndexRowValue(row));
+//# sourceMappingURL=collection-index-materialization.js.map

package/dist/collection-index-materialization.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-index-materialization.js","sourceRoot":"","sources":["../src/collection-index-materialization.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC9E,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAY9B,OAAO,EAAE,oBAAoB,EAAwC,MAAM,uBAAuB,CAAC;AACnG,OAAO,EACL,oBAAoB,EACpB,6BAA6B,GAC9B,MAAM,kCAAkC,CAAC;AAE1C;;GAEG;AACH,MAAM,OAAO,sBAAuB,SAAQ,IAAI,CAAC,WAAW,CAAC,wBAAwB,CAGnF;CAAG;AAOL,MAAM,uBAAuB,GAC3B,wJAAwJ,CAAC;AAE3J,MAAM,oBAAoB,GAAG,CAAC,SAAiB,EAAE,KAAc,EAA4B,EAAE,CAC3F,IAAI,wBAAwB,CAAC;IAC3B,SAAS;IACT,KAAK;IACL,QAAQ,EAAE,uBAAuB;CAClC,CAAC,CAAC;AAEL,MAAM,sBAAsB,GAAG,CAAC,KAAc,EAAiC,EAAE,CAC/E,KAAK,KAAK,IAAI;IACd,KAAK,KAAK,SAAS;IACnB,OAAO,KAAK,KAAK,QAAQ;IACzB,OAAO,KAAK,KAAK,QAAQ;IACzB,OAAO,KAAK,KAAK,SAAS;IAC1B,KAAK,YAAY,IAAI,CAAC;AAExB,MAAM,6BAA6B,GAAG,CACpC,KAAc,EACd,SAAiB,EACjB,IAAY,EACU,EAAE;IACxB,MAAM,UAAU,GAAG,6BAA6B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,oBAAoB,CACxB,SAAS,EACT,IAAI,SAAS,CACX,6CAA6C,UAAU,CAAC,MAAM,OAAO,UAAU,CAAC,IAAI,GAAG,CACxF,CACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,oBAAoB,CACxB,SAAS,EACT,IAAI,SAAS,CAAC,uCAAuC,IAAI,gCAAgC,CAAC,CAC3F,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QAC/D,MAAM,oBAAoB,CACxB,SAAS,EACT,IAAI,SAAS,CAAC,4CAA4C,IAAI,iBAAiB,CAAC,CACjF,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAA2B,EAAU,EAAE;IACxE,MAAM,UAAU,GAAG,6BAA6B,CAAC,KAAK,EAAE,wBAAwB,EAAE,cAAc,CAAC,CAAC;IAClG,OAAO,UAAU,YAAY,IAAI;QAC/B,CAAC,CAAC,QAAQ,UAAU,CAAC,WAAW,EAAE,EAAE;QACpC,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,KAA8B,EACA,EAAE,CAAC,CAAC,OAAO,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAE1F,MAAM,2BAA2B,GAAG,CAClC,KAA4B,EACkB,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAExE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAmB,OAEnD,EAAqD,EAAE,CACtD,IAAI,GAAG,CACL,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;IAC3D,IAAI;IACJ,wBAAwB,CAAC,KAAgC,CAAC;CAC3D,CAAC,CACH,CAAC;AAEJ,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAAyB,EACzB,IAAY,EACkB,EAAE;IAChC,MAAM,KAAK,GAAG,iBAAiB,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAE/C,CAAC;IACd,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,sBAAsB,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAmC,EACnC,KAAQ,EAC6B,EAAE;IACvC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,UAAU,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3E,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACzC,6BAA6B,CAAC,SAAS,EAAE,2BAA2B,EAAE,WAAW,KAAK,GAAG,CAAC,CAC3F,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,wBAAwB,EAAE,CAAC;YAC9C,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,oBAAoB,CAAC,2BAA2B,EAAE,KAAK,CAAC,CAAC;IACjE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,KAAmC,EACnC,KAAQ,EAC6B,EAAE;IACvC,MAAM,MAAM,GAAgC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,GAAG,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;QAC1C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,UAAgD,EAChD,IAAwC,EACxC,KAAa,EACb,KAA2B,EACS,EAAE;IACtC,MAAM,eAAe,GAAG,eAAe,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACtC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CACzB,qBAAqB,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC,IAAI,CAC9C,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,KAAK,GAAG,CACrD,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,KAAiC,EACjC,OAAe,EACf,KAAmC,EACF,EAAE;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkC,CAAC;IAC1D,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,KAAK,MAAM,KAAK,IAAI,2BAA2B,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAClE,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO;QACP,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,UAA4C,EAC5C,KAA+B,EAC/B,KAAa,EACb,KAA2B,EACS,EAAE;IACtC,MAAM,eAAe,GAAG,eAAe,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;IACpC,IAAI,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;QACxC,KAAK,GAAG,yBAAyB,CAAC,KAAK,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;QACnE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACtE,oBAAoB,CAAC,UAAU,EAAE,GAAG,CAAC,CACtC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAmB,GAA0B,EAAK,EAAE;IAClF,MAAM,EACJ,IAAI,EAAE,IAAI,EACV,WAAW,EAAE,WAAW,EACxB,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,OAAO,EAChB,GAAG,KAAK,EACT,GAAG,GAAkD,CAAC;IACvD,OAAO,oBAAoB,CAAC,KAAK,CAAM,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,UAAyB,EACzB,KAAa,EACb,GAA0B,EACW,EAAE,CACvC,2BAA2B,CAAC,eAAe,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC"}

package/dist/collection-mutation-queue.d.ts

@@ -0,0 +1,10 @@
+import type { CollectionKey, CollectionMutation, CollectionTransaction } from "./collection-contract.js";
+import { pendingEntryFromSnapshot, pendingMutationSnapshot, pendingMutationSnapshots } from "./collection-snapshot-codec.js";
+import { type CollectionState, type PendingMutationEntry, type StoredRow } from "./collection-state.js";
+export declare const createCollectionTransaction: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>, collection: string, mutations: ReadonlyArray<CollectionMutation<A, K>>) => CollectionTransaction<A, K>;
+export declare const advanceCollectionTransactionIdentity: (state: CollectionState<any, any, any>, id: string) => void;
+export { pendingEntryFromSnapshot, pendingMutationSnapshot, pendingMutationSnapshots };
+export declare const enqueuePendingMutation: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>, mutation: CollectionTransaction<A, K>, rollbackRows: ReadonlyMap<K, StoredRow<A, K> | undefined>, createdAt: number) => PendingMutationEntry<A, K>;
+export declare const dequeuePendingMutation: <A extends object, K extends CollectionKey>(state: CollectionState<A, K, any>, id: string) => void;
+export declare const recordPendingMutationAttempt: <A extends object, K extends CollectionKey>(entry: PendingMutationEntry<A, K>) => CollectionTransaction<A, K>;
+//# sourceMappingURL=collection-mutation-queue.d.ts.map

package/dist/collection-mutation-queue.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-mutation-queue.d.ts","sourceRoot":"","sources":["../src/collection-mutation-queue.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,aAAa,EACb,kBAAkB,EAClB,qBAAqB,EACtB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,wBAAwB,EACzB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAEL,KAAK,eAAe,EACpB,KAAK,oBAAoB,EACzB,KAAK,SAAS,EACf,MAAM,uBAAuB,CAAC;AAK/B,eAAO,MAAM,2BAA2B,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SAC5E,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,cACrB,MAAM,aACP,aAAa,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KACjD,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAKzB,CAAC;AAEL,eAAO,MAAM,oCAAoC,UACxC,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,MACjC,MAAM,KACT,IAUF,CAAC;AAEF,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,CAAC;AAEvF,eAAO,MAAM,sBAAsB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SACvE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,YACvB,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,gBACvB,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,aAC9C,MAAM,KAChB,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAgB3B,CAAC;AAEF,eAAO,MAAM,sBAAsB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SACvE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAC7B,MAAM,KACT,IAIF,CAAC;AAEF,eAAO,MAAM,4BAA4B,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,SAC7E,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,KAChC,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAG5B,CAAC"}

package/dist/collection-mutation-queue.js

@@ -0,0 +1,46 @@
+import { pendingEntryFromSnapshot, pendingMutationSnapshot, pendingMutationSnapshots, } from "./collection-snapshot-codec.js";
+import { bumpCollectionState, } from "./collection-state.js";
+import { cloneFrozenCollectionTransaction } from "./collection-value-detachment.js";
+const transactionIdPattern = /^ctx_(\d+)$/;
+export const createCollectionTransaction = (state, collection, mutations) => cloneFrozenCollectionTransaction({
+    id: `ctx_${++state.nextTransactionId}`,
+    collection,
+    mutations,
+});
+export const advanceCollectionTransactionIdentity = (state, id) => {
+    const matched = transactionIdPattern.exec(id);
+    if (!matched) {
+        return;
+    }
+    const value = Number.parseInt(matched[1] ?? "0", 10);
+    if (Number.isSafeInteger(value) && value > state.nextTransactionId) {
+        state.nextTransactionId = value;
+    }
+};
+export { pendingEntryFromSnapshot, pendingMutationSnapshot, pendingMutationSnapshots };
+export const enqueuePendingMutation = (state, mutation, rollbackRows, createdAt) => {
+    const existing = state.pendingMutations.get(mutation.id);
+    if (existing) {
+        return existing;
+    }
+    const entry = {
+        transaction: cloneFrozenCollectionTransaction(mutation),
+        rollbackRows: new Map(rollbackRows),
+        createdAt,
+        attempts: 0,
+        activeAttempt: undefined,
+    };
+    state.pendingMutations.set(mutation.id, entry);
+    bumpCollectionState(state);
+    return entry;
+};
+export const dequeuePendingMutation = (state, id) => {
+    if (state.pendingMutations.delete(id)) {
+        bumpCollectionState(state);
+    }
+};
+export const recordPendingMutationAttempt = (entry) => {
+    entry.attempts += 1;
+    return entry.transaction;
+};
+//# sourceMappingURL=collection-mutation-queue.js.map

package/dist/collection-mutation-queue.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-mutation-queue.js","sourceRoot":"","sources":["../src/collection-mutation-queue.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,mBAAmB,GAIpB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,gCAAgC,EAAE,MAAM,kCAAkC,CAAC;AAEpF,MAAM,oBAAoB,GAAG,aAAa,CAAC;AAE3C,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,KAAiC,EACjC,UAAkB,EAClB,SAAkD,EACrB,EAAE,CAC/B,gCAAgC,CAAC;IAC/B,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,iBAAiB,EAAE;IACtC,UAAU;IACV,SAAS;CACV,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,KAAqC,EACrC,EAAU,EACJ,EAAE;IACR,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9C,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;IACrD,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,KAAK,CAAC,iBAAiB,EAAE,CAAC;QACnE,KAAK,CAAC,iBAAiB,GAAG,KAAK,CAAC;IAClC,CAAC;AACH,CAAC,CAAC;AAEF,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,CAAC;AAEvF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAiC,EACjC,QAAqC,EACrC,YAAyD,EACzD,SAAiB,EACW,EAAE;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACzD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,KAAK,GAA+B;QACxC,WAAW,EAAE,gCAAgC,CAAC,QAAQ,CAAC;QACvD,YAAY,EAAE,IAAI,GAAG,CAAC,YAAY,CAAC;QACnC,SAAS;QACT,QAAQ,EAAE,CAAC;QACX,aAAa,EAAE,SAAS;KACzB,CAAC;IACF,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/C,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAiC,EACjC,EAAU,EACJ,EAAE;IACR,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QACtC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,KAAiC,EACJ,EAAE;IAC/B,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC;IACpB,OAAO,KAAK,CAAC,WAAW,CAAC;AAC3B,CAAC,CAAC"}

package/dist/collection-mutation-workflow.d.ts

@@ -0,0 +1,18 @@
+import { Effect } from "effect";
+import { CollectionRowKeyChanged, CollectionRowNotFound } from "./collection-errors.js";
+import type { CollectionDefinition, CollectionKey, CollectionRuntimeError, CollectionTransaction, CollectionUpdate } from "./collection-contract.js";
+/**
+ * Flush restored or otherwise queued optimistic collection mutations.
+ *
+ * The workflow owns restored-pending replay, active attempt joiners, mutation
+ * retry policy, optimistic commit/rollback, lifecycle events, and mutation
+ * persistence so `Collection.define` can stay a small public facade.
+ */
+export declare const flushCollectionPendingMutationsEffect: <A extends object, K extends CollectionKey, E, R>(definition: CollectionDefinition<A, K, E, R>) => Effect.Effect<ReadonlyArray<CollectionTransaction<A, K>>, CollectionRuntimeError<E>, R>;
+/** Optimistically insert rows and run the insert mutation workflow. */
+export declare const insertCollectionMutationEffect: <A extends object, K extends CollectionKey, E, R>(definition: CollectionDefinition<A, K, E, R>, input: A | ReadonlyArray<A>) => Effect.Effect<CollectionTransaction<A, K>, CollectionRuntimeError<E>, R>;
+/** Optimistically update one row and run the update mutation workflow. */
+export declare const updateCollectionMutationEffect: <A extends object, K extends CollectionKey, E, R>(definition: CollectionDefinition<A, K, E, R>, key: K, update: CollectionUpdate<A>) => Effect.Effect<CollectionTransaction<A, K>, CollectionRuntimeError<E> | CollectionRowNotFound | CollectionRowKeyChanged, R>;
+/** Optimistically delete one row and run the delete mutation workflow. */
+export declare const deleteCollectionMutationEffect: <A extends object, K extends CollectionKey, E, R>(definition: CollectionDefinition<A, K, E, R>, key: K) => Effect.Effect<CollectionTransaction<A, K>, CollectionRuntimeError<E> | CollectionRowNotFound, R>;
+//# sourceMappingURL=collection-mutation-workflow.d.ts.map

package/dist/collection-mutation-workflow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-mutation-workflow.d.ts","sourceRoot":"","sources":["../src/collection-mutation-workflow.ts"],"names":[],"mappings":"AACA,OAAO,EAAmB,MAAM,EAAQ,MAAM,QAAQ,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAwCxF,OAAO,KAAK,EACV,oBAAoB,EACpB,aAAa,EAGb,sBAAsB,EAEtB,qBAAqB,EACrB,gBAAgB,EACjB,MAAM,0BAA0B,CAAC;AAwQlC;;;;;;GAMG;AACH,eAAO,MAAM,qCAAqC,GAChD,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,aAAa,EACvB,CAAC,EACD,CAAC,cAEW,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAC3C,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC,CAwBrF,CAAC;AAEL,uEAAuE;AACvE,eAAO,MAAM,8BAA8B,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,EAAE,CAAC,EAAE,CAAC,cAChF,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,SACrC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,KAC1B,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC,CAmCtE,CAAC;AAEL,0EAA0E;AAC1E,eAAO,MAAM,8BAA8B,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,EAAE,CAAC,EAAE,CAAC,cAChF,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,OACvC,CAAC,UACE,gBAAgB,CAAC,CAAC,CAAC,KAC1B,MAAM,CAAC,MAAM,CACd,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,EAC3B,sBAAsB,CAAC,CAAC,CAAC,GAAG,qBAAqB,GAAG,uBAAuB,EAC3E,CAAC,CAuCC,CAAC;AAEL,0EAA0E;AAC1E,eAAO,MAAM,8BAA8B,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,aAAa,EAAE,CAAC,EAAE,CAAC,cAChF,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,OACvC,CAAC,KACL,MAAM,CAAC,MAAM,CACd,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,EAC3B,sBAAsB,CAAC,CAAC,CAAC,GAAG,qBAAqB,EACjD,CAAC,CA0BC,CAAC"}