@proseql/core 0.1.0

package/dist/transactions/transaction.js

@@ -0,0 +1,240 @@
+/**
+ * Transaction support for atomic multi-collection operations.
+ *
+ * `createTransaction` returns a TransactionContext with collection accessors,
+ * commit/rollback methods, and mutation tracking. Mutations are visible
+ * immediately within the transaction (read-own-writes) and either committed
+ * atomically or rolled back to pre-transaction state.
+ *
+ * `$transaction` is a callback wrapper that auto-commits on success and
+ * auto-rolls back on failure.
+ */
+import { Effect, PubSub, Ref } from "effect";
+import { TransactionError } from "../errors/crud-errors.js";
+// ============================================================================
+// createTransaction Factory
+// ============================================================================
+/**
+ * Create a new transaction context.
+ *
+ * Parameters:
+ * - stateRefs: The database's collection Refs (will be snapshotted and potentially restored)
+ * - transactionLock: Single-writer lock Ref (prevents concurrent transactions)
+ * - buildCollectionForTx: Callback to create collection accessors with transaction-aware mutations
+ * - persistenceTrigger: Optional trigger for scheduling saves on commit
+ * - changePubSub: Optional PubSub for reactive change notifications. When provided,
+ *   individual mutation events are suppressed during the transaction and a single
+ *   batch event is published for each mutated collection on commit.
+ *
+ * Returns an Effect that yields a TransactionContext. The context provides:
+ * - Collection accessors with the same interface as db.collectionName
+ * - commit() to finalize changes and trigger persistence
+ * - rollback() to restore snapshots and discard changes
+ * - isActive to check if transaction is still open
+ * - mutatedCollections to see which collections were written to
+ *
+ * On failure (e.g., lock already held), returns TransactionError.
+ */
+export const createTransaction = (stateRefs, transactionLock, buildCollectionForTx, persistenceTrigger, changePubSub) => Effect.gen(function* () {
+    // Task 2.3: Single-writer lock - atomically check and acquire via Ref.modify
+    const lockAcquired = yield* Ref.modify(transactionLock, (locked) => {
+        if (locked) {
+            return [false, true]; // Lock not acquired, stays locked
+        }
+        return [true, true]; // Lock acquired, now locked
+    });
+    if (!lockAcquired) {
+        return yield* new TransactionError({
+            operation: "begin",
+            reason: "another transaction is already active",
+            message: "Cannot begin transaction: another transaction is already active",
+        });
+    }
+    // Task 2.2: Capture snapshots on begin
+    // Snapshot all collections upfront (O(n) Ref.get, each is O(1) - copies the reference)
+    const snapshots = new Map();
+    for (const [name, ref] of Object.entries(stateRefs)) {
+        const snapshot = yield* Ref.get(ref);
+        snapshots.set(name, snapshot);
+    }
+    // Task 2.7: Mutation tracking set
+    // CRUD operations call addMutation(collectionName) instead of scheduling persistence writes.
+    // On commit, persistenceTrigger.schedule is called for each collection in this set.
+    // On rollback, this set is simply discarded (no persistence writes).
+    const mutatedCollections = new Set();
+    // isActive flag - guards all transaction operations
+    let isActive = true;
+    // Build the addMutation callback
+    const addMutation = (collectionName) => {
+        mutatedCollections.add(collectionName);
+    };
+    // Helper to check if transaction is still active before any operation
+    const checkActive = () => Effect.suspend(() => isActive
+        ? Effect.void
+        : new TransactionError({
+            operation: "begin",
+            reason: "transaction is no longer active",
+            message: "Cannot perform operation: transaction is no longer active",
+        }));
+    // Helper to wrap an effect-returning method with isActive check
+    const wrapWithActiveCheck = (effect) => Effect.flatMap(checkActive(), () => effect);
+    // Build collection accessors with isActive guards
+    const collections = {};
+    for (const collectionName of Object.keys(stateRefs)) {
+        const baseCollection = buildCollectionForTx(collectionName, addMutation);
+        // Wrap each method to check isActive before proceeding
+        // Note: query returns Stream/CursorPage which need different handling
+        collections[collectionName] = {
+            ...baseCollection,
+            create: (...args) => wrapWithActiveCheck(baseCollection.create(...args)),
+            createMany: (...args) => wrapWithActiveCheck(baseCollection.createMany(...args)),
+            update: (...args) => wrapWithActiveCheck(baseCollection.update(...args)),
+            updateMany: (...args) => wrapWithActiveCheck(baseCollection.updateMany(...args)),
+            delete: (...args) => wrapWithActiveCheck(baseCollection.delete(...args)),
+            deleteMany: (...args) => wrapWithActiveCheck(baseCollection.deleteMany(...args)),
+            upsert: (...args) => wrapWithActiveCheck(baseCollection.upsert(...args)),
+            upsertMany: (...args) => wrapWithActiveCheck(baseCollection.upsertMany(...args)),
+            findById: (...args) => wrapWithActiveCheck(baseCollection.findById(...args)),
+            createWithRelationships: (...args) => wrapWithActiveCheck(baseCollection.createWithRelationships(...args)),
+            updateWithRelationships: (...args) => wrapWithActiveCheck(baseCollection.updateWithRelationships(...args)),
+            deleteWithRelationships: (...args) => wrapWithActiveCheck(baseCollection.deleteWithRelationships(...args)),
+            deleteManyWithRelationships: (...args) => wrapWithActiveCheck(baseCollection.deleteManyWithRelationships(...args)),
+            // aggregate uses the base implementation since reads don't modify state
+            // and its conditional return type is incompatible with wrapWithActiveCheck
+            aggregate: baseCollection.aggregate,
+        };
+    }
+    const commit = () => Effect.gen(function* () {
+        if (!isActive) {
+            return yield* new TransactionError({
+                operation: "commit",
+                reason: "transaction is no longer active",
+                message: "Cannot commit: transaction is no longer active",
+            });
+        }
+        // Trigger persistence for mutated collections
+        if (persistenceTrigger) {
+            for (const name of mutatedCollections) {
+                persistenceTrigger.schedule(name);
+            }
+        }
+        // Publish change events for each mutated collection (one event per collection)
+        // This notifies reactive subscribers about the committed changes
+        if (changePubSub) {
+            for (const collectionName of mutatedCollections) {
+                yield* PubSub.publish(changePubSub, {
+                    collection: collectionName,
+                    operation: "update",
+                });
+            }
+        }
+        // Release lock
+        yield* Ref.set(transactionLock, false);
+        isActive = false;
+    });
+    const rollback = () => Effect.gen(function* () {
+        if (!isActive) {
+            return yield* new TransactionError({
+                operation: "rollback",
+                reason: "transaction is no longer active",
+                message: "Cannot rollback: transaction is no longer active",
+            });
+        }
+        // Restore snapshots
+        for (const [name, snapshot] of snapshots) {
+            const ref = stateRefs[name];
+            if (ref) {
+                yield* Ref.set(ref, snapshot);
+            }
+        }
+        // Release lock
+        yield* Ref.set(transactionLock, false);
+        isActive = false;
+        // NOTE: We deliberately do NOT publish any ChangeEvents on rollback.
+        // Reactive subscribers should never see tentative transaction state.
+        // Only committed changes trigger notifications (see commit()).
+        // Rollback always fails to short-circuit
+        return yield* new TransactionError({
+            operation: "rollback",
+            reason: "transaction rolled back",
+            message: "Transaction rolled back",
+        });
+    });
+    // Build the TransactionContext
+    const ctx = {
+        commit,
+        rollback,
+        get isActive() {
+            return isActive;
+        },
+        get mutatedCollections() {
+            return mutatedCollections;
+        },
+        ...collections,
+    };
+    return ctx;
+});
+// ============================================================================
+// $transaction Callback Wrapper
+// ============================================================================
+/**
+ * Execute a callback within an atomic transaction context.
+ *
+ * All CRUD operations inside the callback operate against the live in-memory state.
+ * On success, changes are committed and persistence is triggered.
+ * On failure (error thrown or explicit rollback), all mutations are reverted.
+ *
+ * Usage:
+ * ```ts
+ * const result = await db.$transaction((ctx) =>
+ *   Effect.gen(function* () {
+ *     const user = yield* ctx.users.create({ name: "Alice" })
+ *     const post = yield* ctx.posts.create({ authorId: user.id, title: "Hello" })
+ *     return { user, post }
+ *   })
+ * ).pipe(Effect.runPromise)
+ * ```
+ *
+ * @param stateRefs - The database's collection Refs
+ * @param transactionLock - Single-writer lock Ref
+ * @param buildCollectionForTx - Callback to create collection accessors
+ * @param persistenceTrigger - Optional trigger for scheduling saves on commit
+ * @param changePubSub - Optional PubSub for reactive change notifications
+ * @param fn - The callback to execute within the transaction
+ * @returns Effect that yields the callback result, with TransactionError in error channel
+ */
+export const $transaction = (stateRefs, transactionLock, buildCollectionForTx, persistenceTrigger, changePubSub, fn) => Effect.gen(function* () {
+    // Task 3.2: Check for nested transactions before attempting to acquire lock
+    // $transaction is the user-facing callback API, so if the lock is already held
+    // when $transaction is called, it's a nested transaction attempt.
+    const isLocked = yield* Ref.get(transactionLock);
+    if (isLocked) {
+        return yield* new TransactionError({
+            operation: "begin",
+            reason: "nested transactions not supported",
+            message: "Cannot begin transaction: nested transactions not supported",
+        });
+    }
+    // Create the transaction context
+    const ctx = yield* createTransaction(stateRefs, transactionLock, buildCollectionForTx, persistenceTrigger, changePubSub);
+    // Run the callback and handle success/failure
+    const result = yield* fn(ctx).pipe(
+    // On success: commit and return the result
+    Effect.flatMap((value) => Effect.gen(function* () {
+        yield* ctx.commit();
+        return value;
+    })), 
+    // On failure: rollback and re-raise the original error
+    Effect.catchAll((error) => Effect.gen(function* () {
+        // Only rollback if still active (might have been explicitly rolled back)
+        if (ctx.isActive) {
+            // Rollback always fails with TransactionError, but we want to
+            // re-raise the original error, so we catch the rollback error
+            yield* ctx.rollback().pipe(Effect.catchAll(() => Effect.void));
+        }
+        // Re-raise the original error
+        return yield* Effect.fail(error);
+    })));
+    return result;
+});
+//# sourceMappingURL=transaction.js.map

package/dist/transactions/transaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transaction.js","sourceRoot":"","sources":["../../src/transactions/transaction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAkC5D,+EAA+E;AAC/E,4BAA4B;AAC5B,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAGhC,SAAoB,EACpB,eAAiC,EACjC,oBAA0C,EAC1C,kBAAuC,EACvC,YAAyC,EACiB,EAAE,CAC5D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,6EAA6E;IAC7E,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC,MAAM,EAAE,EAAE;QAClE,IAAI,MAAM,EAAE,CAAC;YACZ,OAAO,CAAC,KAAK,EAAE,IAAI,CAAU,CAAC,CAAC,kCAAkC;QAClE,CAAC;QACD,OAAO,CAAC,IAAI,EAAE,IAAI,CAAU,CAAC,CAAC,4BAA4B;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,YAAY,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC,CAAC,IAAI,gBAAgB,CAAC;YAClC,SAAS,EAAE,OAAO;YAClB,MAAM,EAAE,uCAAuC;YAC/C,OAAO,EACN,iEAAiE;SAClE,CAAC,CAAC;IACJ,CAAC;IAED,uCAAuC;IACvC,uFAAuF;IACvF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsC,CAAC;IAChE,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC/B,CAAC;IAED,kCAAkC;IAClC,6FAA6F;IAC7F,oFAAoF;IACpF,qEAAqE;IACrE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE7C,oDAAoD;IACpD,IAAI,QAAQ,GAAG,IAAI,CAAC;IAEpB,iCAAiC;IACjC,MAAM,WAAW,GAAG,CAAC,cAAsB,EAAQ,EAAE;QACpD,kBAAkB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACxC,CAAC,CAAC;IAEF,sEAAsE;IACtE,MAAM,WAAW,GAAG,GAA0C,EAAE,CAC/D,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CACnB,QAAQ;QACP,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,IAAI,gBAAgB,CAAC;YACrB,SAAS,EAAE,OAAO;YAClB,MAAM,EAAE,iCAAiC;YACzC,OAAO,EACN,2DAA2D;SAC5D,CAAC,CACJ,CAAC;IAEH,gEAAgE;IAChE,MAAM,mBAAmB,GAAG,CAC3B,MAA2B,EACc,EAAE,CAC3C,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;IAE7C,kDAAkD;IAClD,MAAM,WAAW,GAA4C,EAAE,CAAC;IAChE,KAAK,MAAM,cAAc,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACrD,MAAM,cAAc,GAAG,oBAAoB,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;QAEzE,uDAAuD;QACvD,sEAAsE;QACtE,WAAW,CAAC,cAAc,CAAC,GAAG;YAC7B,GAAG,cAAc;YACjB,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CACnB,mBAAmB,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;YACpD,UAAU,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CACvB,mBAAmB,CAAC,cAAc,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,CAAC;YACxD,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CACnB,mBAAmB,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;YACpD,UAAU,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CACvB,mBAAmB,CAAC,cAAc,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,CAAC;YACxD,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CACnB,mBAAmB,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;YACpD,UAAU,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CACvB,mBAAmB,CAAC,cAAc,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,CAAC;YACxD,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CACnB,mBAAmB,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;YACpD,UAAU,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CACvB,mBAAmB,CAAC,cAAc,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,CAAC;YACxD,QAAQ,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CACrB,mBAAmB,CAAC,cAAc,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC;YACtD,uBAAuB,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CACpC,mBAAmB,CAAC,cAAc,CAAC,uBAAuB,CAAC,GAAG,IAAI,CAAC,CAAC;YACrE,uBAAuB,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CACpC,mBAAmB,CAAC,cAAc,CAAC,uBAAuB,CAAC,GAAG,IAAI,CAAC,CAAC;YACrE,uBAAuB,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CACpC,mBAAmB,CAAC,cAAc,CAAC,uBAAuB,CAAC,GAAG,IAAI,CAAC,CAAC;YACrE,2BAA2B,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CACxC,mBAAmB,CAClB,cAAc,CAAC,2BAA2B,CAAC,GAAG,IAAI,CAAC,CACnD;YACF,wEAAwE;YACxE,2EAA2E;YAC3E,SAAS,EAAE,cAAc,CAAC,SAAS;SACR,CAAC;IAC9B,CAAC;IAED,MAAM,MAAM,GAAG,GAA0C,EAAE,CAC1D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnB,IAAI,CAAC,QAAQ,EAAE,CAAC;YACf,OAAO,KAAK,CAAC,CAAC,IAAI,gBAAgB,CAAC;gBAClC,SAAS,EAAE,QAAQ;gBACnB,MAAM,EAAE,iCAAiC;gBACzC,OAAO,EAAE,gDAAgD;aACzD,CAAC,CAAC;QACJ,CAAC;QAED,8CAA8C;QAC9C,IAAI,kBAAkB,EAAE,CAAC;YACxB,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;gBACvC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACnC,CAAC;QACF,CAAC;QAED,+EAA+E;QAC/E,iEAAiE;QACjE,IAAI,YAAY,EAAE,CAAC;YAClB,KAAK,MAAM,cAAc,IAAI,kBAAkB,EAAE,CAAC;gBACjD,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE;oBACnC,UAAU,EAAE,cAAc;oBAC1B,SAAS,EAAE,QAAiB;iBAC5B,CAAC,CAAC;YACJ,CAAC;QACF,CAAC;QAED,eAAe;QACf,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;QACvC,QAAQ,GAAG,KAAK,CAAC;IAClB,CAAC,CAAC,CAAC;IAEJ,MAAM,QAAQ,GAAG,GAA2C,EAAE,CAC7D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnB,IAAI,CAAC,QAAQ,EAAE,CAAC;YACf,OAAO,KAAK,CAAC,CAAC,IAAI,gBAAgB,CAAC;gBAClC,SAAS,EAAE,UAAU;gBACrB,MAAM,EAAE,iCAAiC;gBACzC,OAAO,EAAE,kDAAkD;aAC3D,CAAC,CAAC;QACJ,CAAC;QAED,oBAAoB;QACpB,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,GAAG,EAAE,CAAC;gBACT,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAC/B,CAAC;QACF,CAAC;QAED,eAAe;QACf,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;QACvC,QAAQ,GAAG,KAAK,CAAC;QAEjB,qEAAqE;QACrE,qEAAqE;QACrE,+DAA+D;QAE/D,yCAAyC;QACzC,OAAO,KAAK,CAAC,CAAC,IAAI,gBAAgB,CAAC;YAClC,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,yBAAyB;SAClC,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEJ,+BAA+B;IAC/B,MAAM,GAAG,GAA2B;QACnC,MAAM;QACN,QAAQ;QACR,IAAI,QAAQ;YACX,OAAO,QAAQ,CAAC;QACjB,CAAC;QACD,IAAI,kBAAkB;YACrB,OAAO,kBAAyC,CAAC;QAClD,CAAC;QACD,GAAG,WAAW;KACY,CAAC;IAE5B,OAAO,GAAG,CAAC;AACZ,CAAC,CAAC,CAAC;AAEJ,+EAA+E;AAC/E,gCAAgC;AAChC,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAK3B,SAAoB,EACpB,eAAiC,EACjC,oBAA0C,EAC1C,kBAAkD,EAClD,YAAoD,EACpD,EAAwD,EACf,EAAE,CAC3C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,4EAA4E;IAC5E,+EAA+E;IAC/E,kEAAkE;IAClE,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IACjD,IAAI,QAAQ,EAAE,CAAC;QACd,OAAO,KAAK,CAAC,CAAC,IAAI,gBAAgB,CAAC;YAClC,SAAS,EAAE,OAAO;YAClB,MAAM,EAAE,mCAAmC;YAC3C,OAAO,EAAE,6DAA6D;SACtE,CAAC,CAAC;IACJ,CAAC;IAED,iCAAiC;IACjC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,iBAAiB,CACnC,SAAS,EACT,eAAe,EACf,oBAAoB,EACpB,kBAAkB,EAClB,YAAY,CACZ,CAAC;IAEF,8CAA8C;IAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI;IACjC,2CAA2C;IAC3C,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnB,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;QACpB,OAAO,KAAK,CAAC;IACd,CAAC,CAAC,CACF;IACD,uDAAuD;IACvD,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACzB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnB,yEAAyE;QACzE,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAClB,8DAA8D;YAC9D,8DAA8D;YAC9D,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,CAAC;QACD,8BAA8B;QAC9B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CACF,CACD,CAAC;IAEF,OAAO,MAAM,CAAC;AACf,CAAC,CAAC,CAAC"}

package/dist/types/aggregate-types.d.ts

@@ -0,0 +1,73 @@
+/**
+ * Aggregate types for scalar and grouped aggregations.
+ *
+ * Scalar aggregates compute a single result from a filtered set.
+ * Grouped aggregates partition by field values and compute aggregates per group.
+ */
+import type { WhereClause } from "./types.js";
+/**
+ * Result of a scalar aggregate operation.
+ * Only requested aggregations appear in the result.
+ */
+export interface AggregateResult {
+    readonly count?: number;
+    readonly sum?: Record<string, number>;
+    readonly avg?: Record<string, number | null>;
+    readonly min?: Record<string, unknown>;
+    readonly max?: Record<string, unknown>;
+}
+/**
+ * A single group's result in a grouped aggregation.
+ * Contains the grouping field values and the computed aggregates.
+ */
+export interface GroupResult extends AggregateResult {
+    readonly group: Record<string, unknown>;
+}
+/**
+ * Result of a grouped aggregate operation.
+ * Array of group objects ordered by first-encounter.
+ */
+export type GroupedAggregateResult = ReadonlyArray<GroupResult>;
+/**
+ * Base aggregate options shared by both scalar and grouped configs.
+ */
+interface AggregateOptions {
+    readonly count?: true;
+    readonly sum?: string | ReadonlyArray<string>;
+    readonly avg?: string | ReadonlyArray<string>;
+    readonly min?: string | ReadonlyArray<string>;
+    readonly max?: string | ReadonlyArray<string>;
+}
+/**
+ * Configuration for scalar aggregation (no grouping).
+ * Generic over entity type, relations, and database for where clause typing.
+ */
+export interface ScalarAggregateConfig<T = unknown, Relations = unknown, DB = unknown> extends AggregateOptions {
+    readonly where?: WhereClause<T, Relations, DB>;
+}
+/**
+ * Configuration for grouped aggregation.
+ * Extends scalar config with required groupBy field.
+ */
+export interface GroupedAggregateConfig<T = unknown, Relations = unknown, DB = unknown> extends ScalarAggregateConfig<T, Relations, DB> {
+    readonly groupBy: string | ReadonlyArray<string>;
+}
+/**
+ * Union type for aggregate configuration.
+ * The presence of `groupBy` distinguishes grouped from scalar aggregation.
+ */
+export type AggregateConfig<T = unknown, Relations = unknown, DB = unknown> = ScalarAggregateConfig<T, Relations, DB> | GroupedAggregateConfig<T, Relations, DB>;
+/**
+ * Check if a config is for grouped aggregation.
+ */
+export declare const isGroupedAggregateConfig: <T, Relations, DB>(config: AggregateConfig<T, Relations, DB>) => config is GroupedAggregateConfig<T, Relations, DB>;
+/**
+ * Infer the return type based on config.
+ * - With groupBy → GroupedAggregateResult (array of group objects)
+ * - Without groupBy → AggregateResult (single object)
+ */
+export type InferAggregateResult<Config extends AggregateConfig> = Config extends {
+    readonly groupBy: string | ReadonlyArray<string>;
+} ? GroupedAggregateResult : AggregateResult;
+export {};
+//# sourceMappingURL=aggregate-types.d.ts.map

package/dist/types/aggregate-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"aggregate-types.d.ts","sourceRoot":"","sources":["../../src/types/aggregate-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAM9C;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;IAC7C,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACvC;AAED;;;GAGG;AACH,MAAM,WAAW,WAAY,SAAQ,eAAe;IACnD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACxC;AAED;;;GAGG;AACH,MAAM,MAAM,sBAAsB,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;AAMhE;;GAEG;AACH,UAAU,gBAAgB;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;CAC9C;AAED;;;GAGG;AACH,MAAM,WAAW,qBAAqB,CACrC,CAAC,GAAG,OAAO,EACX,SAAS,GAAG,OAAO,EACnB,EAAE,GAAG,OAAO,CACX,SAAQ,gBAAgB;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;CAC/C;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB,CACtC,CAAC,GAAG,OAAO,EACX,SAAS,GAAG,OAAO,EACnB,EAAE,GAAG,OAAO,CACX,SAAQ,qBAAqB,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;CACjD;AAED;;;GAGG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,GAAG,OAAO,EAAE,SAAS,GAAG,OAAO,EAAE,EAAE,GAAG,OAAO,IACvE,qBAAqB,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,GACvC,sBAAsB,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;AAM5C;;GAEG;AACH,eAAO,MAAM,wBAAwB,GAAI,CAAC,EAAE,SAAS,EAAE,EAAE,EACxD,QAAQ,eAAe,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,KACvC,MAAM,IAAI,sBAAsB,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CACA,CAAC;AAMrD;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,CAAC,MAAM,SAAS,eAAe,IAC9D,MAAM,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;CAAE,GAChE,sBAAsB,GACtB,eAAe,CAAC"}

package/dist/types/aggregate-types.js

@@ -0,0 +1,14 @@
+/**
+ * Aggregate types for scalar and grouped aggregations.
+ *
+ * Scalar aggregates compute a single result from a filtered set.
+ * Grouped aggregates partition by field values and compute aggregates per group.
+ */
+// ============================================================================
+// Type Guards
+// ============================================================================
+/**
+ * Check if a config is for grouped aggregation.
+ */
+export const isGroupedAggregateConfig = (config) => "groupBy" in config && config.groupBy !== undefined;
+//# sourceMappingURL=aggregate-types.js.map

package/dist/types/aggregate-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"aggregate-types.js","sourceRoot":"","sources":["../../src/types/aggregate-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAiFH,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACvC,MAAyC,EACY,EAAE,CACvD,SAAS,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC"}

package/dist/types/computed-types.d.ts

@@ -0,0 +1,71 @@
+/**
+ * Type definitions for computed fields.
+ *
+ * Computed fields are derived at query time from stored entity data.
+ * They are never persisted to disk - only materialized in the query pipeline.
+ */
+/**
+ * A computed field derivation function.
+ * Takes the full entity (with populated relationships if applicable) and returns the computed value.
+ *
+ * @template T - The entity type (may include populated relationship data)
+ * @template R - The return type of the computed field
+ */
+export type ComputedFieldDefinition<T, R> = (entity: T) => R;
+/**
+ * Configuration object mapping computed field names to their derivation functions.
+ *
+ * @template T - The entity type that computed fields derive from
+ *
+ * @example
+ * ```ts
+ * const computed = {
+ *   displayName: (book) => `${book.title} (${book.year})`,
+ *   isClassic: (book) => book.year < 1980,
+ * } satisfies ComputedFieldsConfig<Book>
+ * ```
+ */
+export type ComputedFieldsConfig<T> = Record<string, ComputedFieldDefinition<T, unknown>>;
+/**
+ * Infer the shape of computed fields from a config object.
+ * Maps each key in the config to the return type of its derivation function.
+ *
+ * @template C - The computed fields config object type
+ *
+ * @example
+ * ```ts
+ * type Config = {
+ *   displayName: (b: Book) => string;
+ *   isClassic: (b: Book) => boolean;
+ * }
+ * type Computed = InferComputedFields<Config>
+ * // { displayName: string; isClassic: boolean }
+ * ```
+ */
+export type InferComputedFields<C> = C extends ComputedFieldsConfig<infer _> ? {
+    readonly [K in keyof C]: C[K] extends ComputedFieldDefinition<infer _T, infer R> ? R : never;
+} : Record<string, never>;
+/**
+ * Merge stored entity type with inferred computed fields.
+ * The result is the full entity shape as seen in query results.
+ *
+ * @template T - The stored entity type
+ * @template C - The computed fields config
+ *
+ * @example
+ * ```ts
+ * type Book = { id: string; title: string; year: number }
+ * type Config = { displayName: (b: Book) => string }
+ * type Full = WithComputed<Book, Config>
+ * // { id: string; title: string; year: number; readonly displayName: string }
+ * ```
+ */
+export type WithComputed<T, C> = T & InferComputedFields<C>;
+/**
+ * Extract computed field keys from a config object.
+ * Useful for checking if a select clause includes computed fields.
+ *
+ * @template C - The computed fields config object type
+ */
+export type ComputedFieldKeys<C> = C extends ComputedFieldsConfig<infer _> ? keyof C : never;
+//# sourceMappingURL=computed-types.d.ts.map

package/dist/types/computed-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"computed-types.d.ts","sourceRoot":"","sources":["../../src/types/computed-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;;;;;GAMG;AACH,MAAM,MAAM,uBAAuB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC;AAE7D;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,MAAM,CAC3C,MAAM,EACN,uBAAuB,CAAC,CAAC,EAAE,OAAO,CAAC,CACnC,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAChC,CAAC,SAAS,oBAAoB,CAAC,MAAM,CAAC,CAAC,GACpC;IACA,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,uBAAuB,CAC5D,MAAM,EAAE,EACR,MAAM,CAAC,CACP,GACE,CAAC,GACD,KAAK;CACR,GACA,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAE1B;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;AAE5D;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAC9B,CAAC,SAAS,oBAAoB,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC"}

package/dist/types/computed-types.js

@@ -0,0 +1,8 @@
+/**
+ * Type definitions for computed fields.
+ *
+ * Computed fields are derived at query time from stored entity data.
+ * They are never persisted to disk - only materialized in the query pipeline.
+ */
+export {};
+//# sourceMappingURL=computed-types.js.map

package/dist/types/computed-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"computed-types.js","sourceRoot":"","sources":["../../src/types/computed-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/dist/types/crud-relationship-types.d.ts

@@ -0,0 +1,180 @@
+/**
+ * Type definitions for CRUD operations with relationships
+ * Implements Phase 2 relationship features with full type safety
+ */
+import type { CreateInput, UpdateInput } from "./crud-types.js";
+import type { RelationshipDef } from "./types.js";
+/**
+ * Input type for connecting to existing entities
+ * Supports connection by ID or any unique field combination
+ */
+export type ConnectInput<T> = {
+    id: string;
+} | Partial<T>;
+/**
+ * Input type for connect or create pattern
+ * If entity doesn't exist, create it with provided data
+ */
+export type ConnectOrCreateInput<T> = {
+    where: ConnectInput<T>;
+    create: CreateInput<T>;
+};
+/**
+ * Input type for updating with where clause
+ * Used for updating specific items in many-to-many relationships
+ */
+export type UpdateWithWhereInput<T> = {
+    where: ConnectInput<T>;
+    data: UpdateInput<T>;
+};
+/**
+ * Operations available for single (ref) relationships
+ */
+export type SingleRelationshipInput<T> = {
+    $connect?: ConnectInput<T>;
+    $disconnect?: boolean;
+    $create?: CreateInput<T>;
+    $connectOrCreate?: ConnectOrCreateInput<T>;
+    $update?: UpdateInput<T>;
+    $delete?: boolean;
+};
+/**
+ * Operations available for many (inverse) relationships
+ */
+export type ManyRelationshipInput<T> = {
+    $connect?: ConnectInput<T> | ConnectInput<T>[];
+    $disconnect?: ConnectInput<T> | ConnectInput<T>[] | boolean;
+    $create?: CreateInput<T> | CreateInput<T>[];
+    $createMany?: CreateInput<T>[];
+    $update?: UpdateWithWhereInput<T> | UpdateWithWhereInput<T>[];
+    $updateMany?: {
+        where: Partial<T>;
+        data: UpdateInput<T>;
+    };
+    $delete?: ConnectInput<T> | ConnectInput<T>[];
+    $deleteMany?: Partial<T>;
+    $set?: ConnectInput<T>[];
+    $connectOrCreate?: ConnectOrCreateInput<T> | ConnectOrCreateInput<T>[];
+};
+/**
+ * Extract relationship input type based on relationship type
+ */
+export type RelationshipInput<R> = R extends RelationshipDef<infer T, "ref"> ? SingleRelationshipInput<T> | ConnectInput<T> : R extends RelationshipDef<infer T, "inverse"> ? ManyRelationshipInput<T> : never;
+/**
+ * Transform entity relationships for create input
+ * Allows relationship operations during entity creation
+ */
+export type CreateWithRelationshipsInput<T, Relations> = CreateInput<T> & {
+    [K in keyof Relations]?: RelationshipInput<Relations[K]>;
+};
+/**
+ * Transform entity relationships for update input
+ * Allows relationship operations during entity update
+ */
+export type UpdateWithRelationshipsInput<T, Relations> = UpdateInput<T> & {
+    [K in keyof Relations]?: RelationshipInput<Relations[K]>;
+};
+/**
+ * Cascade behavior options for delete operations
+ */
+export type CascadeOption = "cascade" | "restrict" | "set_null" | "cascade_soft" | "preserve";
+/**
+ * Delete options with cascade configuration
+ */
+export type DeleteWithRelationshipsOptions<_T, Relations> = {
+    soft?: boolean;
+    returnDeleted?: boolean;
+    include?: {
+        [K in keyof Relations]?: CascadeOption;
+    };
+};
+/**
+ * Result of delete operation with cascade information
+ */
+export type DeleteWithRelationshipsResult<T> = {
+    deleted: T;
+    cascaded?: {
+        [collection: string]: {
+            count: number;
+            ids: string[];
+        };
+    };
+};
+/**
+ * Options for batch operations with relationships
+ */
+export type BatchRelationshipOptions = {
+    validateRelationships?: boolean;
+    skipDuplicates?: boolean;
+};
+/**
+ * Result of batch operations with relationship information
+ */
+export type BatchRelationshipResult<T> = {
+    success: T[];
+    failed: Array<{
+        data: Partial<T>;
+        error: string;
+        index: number;
+    }>;
+    cascaded?: {
+        [collection: string]: {
+            count: number;
+            action: CascadeOption;
+        };
+    };
+};
+/**
+ * Relationship constraint validation
+ */
+export type RelationshipConstraint = {
+    type: "max_count" | "unique" | "required";
+    field: string;
+    value?: unknown;
+    message: string;
+};
+/**
+ * Foreign key violation error details
+ */
+export type ForeignKeyViolation = {
+    field: string;
+    targetCollection: string;
+    missingId: string;
+    message: string;
+};
+/**
+ * Restrict violation error details
+ */
+export type RestrictViolation = {
+    collection: string;
+    relatedCollection: string;
+    relatedCount: number;
+    message: string;
+};
+/**
+ * Check if a relationship input contains operations
+ */
+export declare function isRelationshipOperation(value: unknown): value is Record<string, unknown>;
+/**
+ * Extract entity type from relationship definition
+ */
+export type ExtractRelationshipEntity<R> = R extends RelationshipDef<infer T, infer _> ? T : never;
+/**
+ * Extract relationship type (ref/inverse) from definition
+ */
+export type ExtractRelationshipType<R> = R extends RelationshipDef<infer _, infer Type> ? Type : never;
+/**
+ * Filter relationships by type
+ */
+export type FilterRelationshipsByType<Relations, Type extends "ref" | "inverse"> = {
+    [K in keyof Relations as Relations[K] extends RelationshipDef<infer _, Type> ? K : never]: Relations[K];
+};
+/**
+ * Get ref relationships only
+ */
+export type RefRelationships<Relations> = FilterRelationshipsByType<Relations, "ref">;
+/**
+ * Get inverse relationships only
+ */
+export type InverseRelationships<Relations> = FilterRelationshipsByType<Relations, "inverse">;
+//# sourceMappingURL=crud-relationship-types.d.ts.map

package/dist/types/crud-relationship-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"crud-relationship-types.d.ts","sourceRoot":"","sources":["../../src/types/crud-relationship-types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAMlD;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAE1D;;;GAGG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI;IACrC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;CACvB,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI;IACrC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;CACrB,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,uBAAuB,CAAC,CAAC,IAAI;IACxC,QAAQ,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3B,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,OAAO,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IACzB,gBAAgB,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;IAC3C,OAAO,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IACzB,OAAO,CAAC,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAAI;IACtC,QAAQ,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,WAAW,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC;IAC5D,OAAO,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5C,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/B,OAAO,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,WAAW,CAAC,EAAE;QACb,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;KACrB,CAAC;IACF,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9C,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;IACzB,gBAAgB,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;CACvE,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAC9B,CAAC,SAAS,eAAe,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,GACtC,uBAAuB,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,GAC5C,CAAC,SAAS,eAAe,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,GAC5C,qBAAqB,CAAC,CAAC,CAAC,GACxB,KAAK,CAAC;AAMX;;;GAGG;AACH,MAAM,MAAM,4BAA4B,CAAC,CAAC,EAAE,SAAS,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG;KACxE,CAAC,IAAI,MAAM,SAAS,CAAC,CAAC,EAAE,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;CACxD,CAAC;AAMF;;;GAGG;AACH,MAAM,MAAM,4BAA4B,CAAC,CAAC,EAAE,SAAS,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG;KACxE,CAAC,IAAI,MAAM,SAAS,CAAC,CAAC,EAAE,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;CACxD,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,aAAa,GACtB,SAAS,GACT,UAAU,GACV,UAAU,GACV,cAAc,GACd,UAAU,CAAC;AAEd;;GAEG;AACH,MAAM,MAAM,8BAA8B,CAAC,EAAE,EAAE,SAAS,IAAI;IAC3D,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,OAAO,CAAC,EAAE;SACR,CAAC,IAAI,MAAM,SAAS,CAAC,CAAC,EAAE,aAAa;KACtC,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,6BAA6B,CAAC,CAAC,IAAI;IAC9C,OAAO,EAAE,CAAC,CAAC;IACX,QAAQ,CAAC,EAAE;QACV,CAAC,UAAU,EAAE,MAAM,GAAG;YACrB,KAAK,EAAE,MAAM,CAAC;YACd,GAAG,EAAE,MAAM,EAAE,CAAC;SACd,CAAC;KACF,CAAC;CACF,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,wBAAwB,GAAG;IACtC,qBAAqB,CAAC,EAAE,OAAO,CAAC;IAChC,cAAc,CAAC,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,uBAAuB,CAAC,CAAC,IAAI;IACxC,OAAO,EAAE,CAAC,EAAE,CAAC;IACb,MAAM,EAAE,KAAK,CAAC;QACb,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QACjB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;KACd,CAAC,CAAC;IACH,QAAQ,CAAC,EAAE;QACV,CAAC,UAAU,EAAE,MAAM,GAAG;YACrB,KAAK,EAAE,MAAM,CAAC;YACd,MAAM,EAAE,aAAa,CAAC;SACtB,CAAC;KACF,CAAC;CACF,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACpC,IAAI,EAAE,WAAW,GAAG,QAAQ,GAAG,UAAU,CAAC;IAC1C,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,gBAAgB,EAAE,MAAM,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;CAChB,CAAC;AAMF;;GAEG;AACH,wBAAgB,uBAAuB,CACtC,KAAK,EAAE,OAAO,GACZ,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAIlC;AAED;;GAEG;AACH,MAAM,MAAM,yBAAyB,CAAC,CAAC,IACtC,CAAC,SAAS,eAAe,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAEzD;;GAEG;AACH,MAAM,MAAM,uBAAuB,CAAC,CAAC,IACpC,CAAC,SAAS,eAAe,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE/D;;GAEG;AACH,MAAM,MAAM,yBAAyB,CACpC,SAAS,EACT,IAAI,SAAS,KAAK,GAAG,SAAS,IAC3B;KACF,CAAC,IAAI,MAAM,SAAS,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,eAAe,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,GACzE,CAAC,GACD,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC;CACvB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,gBAAgB,CAAC,SAAS,IAAI,yBAAyB,CAClE,SAAS,EACT,KAAK,CACL,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,oBAAoB,CAAC,SAAS,IAAI,yBAAyB,CACtE,SAAS,EACT,SAAS,CACT,CAAC"}

package/dist/types/crud-relationship-types.js

@@ -0,0 +1,17 @@
+/**
+ * Type definitions for CRUD operations with relationships
+ * Implements Phase 2 relationship features with full type safety
+ */
+// ============================================================================
+// Type Helpers
+// ============================================================================
+/**
+ * Check if a relationship input contains operations
+ */
+export function isRelationshipOperation(value) {
+    if (typeof value !== "object" || value === null)
+        return false;
+    const keys = Object.keys(value);
+    return keys.some((key) => key.startsWith("$"));
+}
+//# sourceMappingURL=crud-relationship-types.js.map

package/dist/types/crud-relationship-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"crud-relationship-types.js","sourceRoot":"","sources":["../../src/types/crud-relationship-types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA4MH,+EAA+E;AAC/E,eAAe;AACf,+EAA+E;AAE/E;;GAEG;AACH,MAAM,UAAU,uBAAuB,CACtC,KAAc;IAEd,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC"}