@optimystic/db-core 0.0.1

package/dist/src/transaction/coordinator.js

@@ -0,0 +1,417 @@
+import { TransactionContext } from "./context.js";
+import { createActionsStatements } from "./actions-engine.js";
+import { createTransactionStamp, createTransactionId } from "./transaction.js";
+import { Log, blockIdsForTransforms, transformsFromTransform } from "../index.js";
+/**
+ * Coordinates multi-collection transactions.
+ *
+ * This is the ONLY interface for all mutations (single or multi-collection).
+ *
+ * Responsibilities:
+ * - Manage collections (create as needed)
+ * - Apply actions to collections (run handlers, write to logs)
+ * - Commit transactions by running consensus phases (GATHER, PEND, COMMIT)
+ */
+export class TransactionCoordinator {
+    transactor;
+    collections;
+    constructor(transactor, collections) {
+        this.transactor = transactor;
+        this.collections = collections;
+    }
+    /**
+     * Apply actions to collections (called by engines during statement execution).
+     *
+     * This is the core method that engines call to apply actions to collections.
+     * Actions are tagged with the stamp ID and executed immediately through collections
+     * to update the local snapshot.
+     *
+     * @param actions - The actions to apply (per collection)
+     * @param stampId - The transaction stamp ID to tag actions with
+     */
+    async applyActions(actions, stampId) {
+        for (const { collectionId, actions: collectionActions } of actions) {
+            // Get collection
+            const collection = this.collections.get(collectionId);
+            if (!collection) {
+                throw new Error(`Collection not found: ${collectionId}`);
+            }
+            // Apply each action (tagged with stampId)
+            for (const action of collectionActions) {
+                const taggedAction = { ...action, transaction: stampId };
+                await collection.act(taggedAction);
+            }
+        }
+    }
+    /**
+     * Commit a transaction (actions already applied, orchestrate PEND/COMMIT).
+     *
+     * This is called by TransactionSession.commit() after all statements have been executed.
+     * Actions have already been applied to collections via applyActions(), so this method
+     * just orchestrates the distributed consensus.
+     *
+     * @param transaction - The transaction to commit
+     */
+    async commit(transaction) {
+        // Collect transforms and determine critical blocks for each affected collection
+        const collectionData = Array.from(this.collections.entries())
+            .map(([collectionId, collection]) => ({
+            collectionId,
+            collection,
+            transforms: collection.tracker.transforms
+        }))
+            .filter(({ transforms }) => Object.keys(transforms.inserts).length +
+            Object.keys(transforms.updates).length +
+            transforms.deletes.length > 0);
+        if (collectionData.length === 0) {
+            return; // Nothing to commit
+        }
+        // Get critical block IDs (log tail) for each affected collection
+        // The critical block is the current log tail that must participate in consensus
+        const collectionTransforms = new Map();
+        const criticalBlocks = new Map();
+        for (const { collectionId, collection, transforms } of collectionData) {
+            collectionTransforms.set(collectionId, transforms);
+            // Get the current log tail block ID (critical block)
+            const log = await Log.open(collection.tracker, collectionId);
+            if (!log) {
+                throw new Error(`Log not found for collection ${collectionId}`);
+            }
+            const tailPath = await log.chain.getTail();
+            if (tailPath) {
+                criticalBlocks.set(collectionId, tailPath.block.header.id);
+            }
+        }
+        // Compute hash of ALL operations across ALL collections
+        // This hash is used for validation - validators re-execute the transaction
+        // and compare their computed operations hash with this one
+        const allOperations = collectionData.flatMap(({ collectionId, transforms }) => [
+            ...Object.entries(transforms.inserts).map(([blockId, block]) => ({ type: 'insert', collectionId, blockId, block })),
+            ...Object.entries(transforms.updates).map(([blockId, operations]) => ({ type: 'update', collectionId, blockId, operations })),
+            ...transforms.deletes.map(blockId => ({ type: 'delete', collectionId, blockId }))
+        ]);
+        const operationsHash = this.hashOperations(allOperations);
+        // Execute consensus phases (GATHER, PEND, COMMIT)
+        const coordResult = await this.coordinateTransaction(transaction, operationsHash, collectionTransforms, criticalBlocks);
+        if (!coordResult.success) {
+            throw new Error(`Transaction commit failed: ${coordResult.error}`);
+        }
+    }
+    /**
+     * Rollback a transaction (undo applied actions).
+     *
+     * This is called by TransactionSession.rollback() to undo all actions
+     * that were applied via applyActions().
+     *
+     * @param _stampId - The transaction stamp ID to rollback (currently unused - we clear all trackers)
+     */
+    async rollback(_stampId) {
+        // Clear trackers for all collections
+        // This discards all pending changes that were applied via applyActions()
+        // TODO: In the future, we may want to track which collections were affected by
+        // a specific stampId and only reset those trackers
+        for (const collection of this.collections.values()) {
+            // Reset the tracker to discard all pending transforms
+            collection.tracker.reset();
+        }
+    }
+    /**
+     * Compute hash of all operations in a transaction.
+     * This hash is used for validation - validators re-execute the transaction
+     * and compare their computed operations hash with this one.
+     */
+    hashOperations(operations) {
+        const operationsData = JSON.stringify(operations);
+        const hash = Array.from(operationsData).reduce((acc, char) => {
+            const charCode = char.charCodeAt(0);
+            return ((acc << 5) - acc + charCode) & acc;
+        }, 0);
+        return `ops:${Math.abs(hash).toString(36)}`;
+    }
+    /**
+     * Commit a transaction context.
+     *
+     * @deprecated Use TransactionSession instead of TransactionContext
+     * This is called by TransactionContext.commit().
+     *
+     * @param context - The transaction context to commit
+     * @returns Execution result with actions and results
+     */
+    async commitTransaction(context) {
+        const collectionActions = Array.from(context.getCollectionActions().entries()).map(([collectionId, actions]) => ({ collectionId, actions }));
+        if (collectionActions.length === 0) {
+            return { success: true }; // Nothing to commit
+        }
+        // Create transaction statements
+        const statements = createActionsStatements(collectionActions);
+        const reads = context.getReads();
+        // Create stamp from context
+        const stamp = createTransactionStamp('local', // TODO: Get from context or coordinator
+        Date.now(), '', // TODO: Get from engine
+        context.engine);
+        const transaction = {
+            stamp,
+            statements,
+            reads,
+            id: createTransactionId(stamp.id, statements, reads)
+        };
+        // Create ActionsEngine for execution (TransactionContext only supports actions)
+        const { ActionsEngine } = await import('./actions-engine.js');
+        const engine = new ActionsEngine(this);
+        // Execute through standard path
+        return await this.execute(transaction, engine);
+    }
+    /**
+     * Execute a fully-formed transaction.
+     *
+     * This can be called directly with a complete transaction (e.g., from Quereus),
+     * or indirectly via commitTransaction().
+     *
+     * @param transaction - The transaction to execute
+     * @param engine - The engine to use for executing the transaction
+     * @returns Execution result with actions and results
+     */
+    async execute(transaction, engine) {
+        // 1. Validate engine matches transaction
+        // Note: We don't enforce this strictly since the engine is passed in explicitly
+        // The caller is responsible for ensuring the correct engine is used
+        const result = await engine.execute(transaction);
+        if (!result.success) {
+            return result;
+        }
+        if (!result.actions || result.actions.length === 0) {
+            return { success: true }; // Nothing to do
+        }
+        // 2. Apply actions to collections and collect transforms
+        const collectionTransforms = new Map();
+        const criticalBlocks = new Map();
+        const actionResults = new Map();
+        const allCollectionIds = result.actions.map(ca => ca.collectionId);
+        for (const collectionActions of result.actions) {
+            const applyResult = await this.applyActionsToCollection(collectionActions, transaction, allCollectionIds);
+            if (!applyResult.success) {
+                return { success: false, error: applyResult.error };
+            }
+            collectionTransforms.set(collectionActions.collectionId, applyResult.transforms);
+            criticalBlocks.set(collectionActions.collectionId, applyResult.logTailBlockId);
+            actionResults.set(collectionActions.collectionId, applyResult.results);
+        }
+        // 3. Compute operations hash for validation
+        const allOperations = Array.from(collectionTransforms.entries()).flatMap(([collectionId, transforms]) => [
+            ...Object.entries(transforms.inserts).map(([blockId, block]) => ({ type: 'insert', collectionId, blockId, block })),
+            ...Object.entries(transforms.updates).map(([blockId, operations]) => ({ type: 'update', collectionId, blockId, operations })),
+            ...transforms.deletes.map(blockId => ({ type: 'delete', collectionId, blockId }))
+        ]);
+        const operationsHash = this.hashOperations(allOperations);
+        // 4. Coordinate (GATHER if multi-collection)
+        const coordResult = await this.coordinateTransaction(transaction, operationsHash, collectionTransforms, criticalBlocks);
+        if (!coordResult.success) {
+            return coordResult;
+        }
+        // 4. Return results from actions
+        return {
+            success: true,
+            actions: result.actions,
+            results: actionResults
+        };
+    }
+    /**
+     * Apply actions to a collection.
+     *
+     * This runs the action handlers, writes to the log, and collects transforms.
+     */
+    async applyActionsToCollection(collectionActions, transaction, allCollectionIds) {
+        const collection = this.collections.get(collectionActions.collectionId);
+        if (!collection) {
+            return {
+                success: false,
+                error: `Collection not found: ${collectionActions.collectionId}`
+            };
+        }
+        // At this point, actions have already been executed through collection.act()
+        // when they were added to the TransactionContext. The collection's tracker
+        // already has the transforms, and the actions are in the pending buffer.
+        // Get transforms from the collection's tracker
+        const transforms = collection.tracker.transforms;
+        // Write actions to the collection's log to get the log tail block ID
+        const log = await Log.open(collection.tracker, collectionActions.collectionId);
+        if (!log) {
+            return {
+                success: false,
+                error: `Log not found for collection ${collectionActions.collectionId}`
+            };
+        }
+        // Generate action ID from transaction ID
+        const actionId = transaction.id;
+        const newRev = (collection['source'].actionContext?.rev ?? 0) + 1;
+        // Add actions to log (this updates the tracker with log block changes)
+        const addResult = await log.addActions(collectionActions.actions, actionId, newRev, () => blockIdsForTransforms(transforms), allCollectionIds);
+        // Return the transforms and log tail block ID
+        return {
+            success: true,
+            transforms,
+            logTailBlockId: addResult.tailPath.block.header.id,
+            results: [] // TODO: Collect results from action handlers when we support read operations
+        };
+    }
+    /**
+     * Coordinate a transaction across multiple collections.
+     *
+     * @param transaction - The transaction to coordinate
+     * @param operationsHash - Hash of all operations for validation
+     * @param collectionTransforms - Map of collectionId to its transforms
+     * @param criticalBlocks - Map of collectionId to its log tail blockId
+     */
+    async coordinateTransaction(transaction, operationsHash, collectionTransforms, criticalBlocks) {
+        // 1. GATHER phase: collect critical cluster nominees (skip if single collection)
+        const criticalBlockIds = Array.from(criticalBlocks.values());
+        const superclusterNominees = await this.gatherPhase(criticalBlockIds);
+        // 2. PEND phase: distribute to all block clusters
+        const pendResult = await this.pendPhase(transaction, operationsHash, collectionTransforms, superclusterNominees);
+        if (!pendResult.success) {
+            return pendResult;
+        }
+        // 3. COMMIT phase: commit to all critical blocks
+        const commitResult = await this.commitPhase(transaction.id, criticalBlockIds, pendResult.pendedBlockIds);
+        if (!commitResult.success) {
+            // Cancel pending actions on failure
+            await this.cancelPhase(transaction.id, collectionTransforms);
+            return commitResult;
+        }
+        // 4. PROPAGATE and CHECKPOINT phases are handled by clusters automatically
+        // (as per user's note: "managed by each cluster, the client doesn't have to worry about them")
+        return { success: true };
+    }
+    /**
+     * GATHER phase: Collect nominees from critical clusters.
+     *
+     * Skip if only one collection affected (single-collection consensus).
+     *
+     * @param criticalBlockIds - Block IDs of all log tails
+     * @returns Set of peer IDs to use for consensus, or null for single-collection
+     */
+    async gatherPhase(criticalBlockIds) {
+        // Skip GATHER if only one collection affected
+        if (criticalBlockIds.length === 1) {
+            return null; // Use normal single-collection consensus
+        }
+        // Check if transactor supports cluster queries (optional method)
+        if (!this.transactor.queryClusterNominees) {
+            // Transactor doesn't support cluster queries - proceed without supercluster
+            return null;
+        }
+        // Query each critical cluster for their nominees and merge into supercluster
+        const nomineePromises = criticalBlockIds.map(blockId => this.transactor.queryClusterNominees(blockId));
+        const results = await Promise.all(nomineePromises);
+        // Merge all nominees into a single set
+        const supercluster = results.reduce((acc, result) => {
+            result.nominees.forEach(nominee => acc.add(nominee));
+            return acc;
+        }, new Set());
+        return supercluster;
+    }
+    /**
+     * PEND phase: Distribute transaction to all affected block clusters.
+     *
+     * @param transaction - The full transaction for replay/validation
+     * @param operationsHash - Hash of all operations for validation
+     * @param collectionTransforms - Map of collectionId to its transforms
+     * @param superclusterNominees - Nominees for multi-collection consensus (null for single-collection)
+     */
+    async pendPhase(transaction, operationsHash, collectionTransforms, superclusterNominees) {
+        if (collectionTransforms.size === 0) {
+            return { success: false, error: 'No transforms to pend' };
+        }
+        const pendedBlockIds = new Map();
+        const actionId = transaction.id;
+        const nominees = superclusterNominees ? Array.from(superclusterNominees) : undefined;
+        // Pend each collection's transforms
+        for (const [collectionId, transforms] of collectionTransforms.entries()) {
+            const collection = this.collections.get(collectionId);
+            if (!collection) {
+                return { success: false, error: `Collection not found: ${collectionId}` };
+            }
+            // Get revision from the collection's source
+            const rev = (collection['source'].actionContext?.rev ?? 0) + 1;
+            // Create pend request with transaction and operations hash for validation
+            const pendRequest = {
+                actionId,
+                rev,
+                transforms,
+                policy: 'r', // Return policy: fail but return pending actions
+                transaction,
+                operationsHash,
+                superclusterNominees: nominees
+            };
+            // Pend the transaction
+            const pendResult = await this.transactor.pend(pendRequest);
+            if (!pendResult.success) {
+                return {
+                    success: false,
+                    error: `Pend failed for collection ${collectionId}: ${pendResult.reason}`
+                };
+            }
+            // Store the pended block IDs for commit phase
+            pendedBlockIds.set(collectionId, pendResult.blockIds);
+        }
+        return { success: true, pendedBlockIds };
+    }
+    /**
+     * COMMIT phase: Commit to all critical blocks.
+     */
+    async commitPhase(actionId, criticalBlockIds, pendedBlockIds) {
+        // Commit each collection's transaction
+        for (const [collectionId, blockIds] of pendedBlockIds.entries()) {
+            const collection = this.collections.get(collectionId);
+            if (!collection) {
+                return { success: false, error: `Collection not found: ${collectionId}` };
+            }
+            // Get revision
+            const rev = (collection['source'].actionContext?.rev ?? 0) + 1;
+            // Find the critical block (log tail) for this collection
+            const logTailBlockId = criticalBlockIds.find(blockId => blockIds.includes(blockId));
+            if (!logTailBlockId) {
+                return {
+                    success: false,
+                    error: `Log tail block not found for collection ${collectionId}`
+                };
+            }
+            // Create commit request
+            const commitRequest = {
+                actionId,
+                blockIds,
+                tailId: logTailBlockId,
+                rev
+            };
+            // Commit the transaction
+            const commitResult = await this.transactor.commit(commitRequest);
+            if (!commitResult.success) {
+                return {
+                    success: false,
+                    error: `Commit failed for collection ${collectionId}`
+                };
+            }
+        }
+        return { success: true };
+    }
+    /**
+     * CANCEL phase: Cancel pending actions on all affected blocks.
+     */
+    async cancelPhase(actionId, collectionTransforms) {
+        // Cancel each collection's pending transaction
+        for (const [collectionId, transforms] of collectionTransforms.entries()) {
+            const collection = this.collections.get(collectionId);
+            if (!collection) {
+                continue; // Skip if collection not found
+            }
+            // Get the block IDs from transforms
+            const blockIds = blockIdsForTransforms(transforms);
+            // Cancel the transaction
+            await this.transactor.cancel({
+                actionId,
+                blockIds
+            });
+        }
+    }
+}
+//# sourceMappingURL=coordinator.js.map

package/dist/src/transaction/coordinator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coordinator.js","sourceRoot":"","sources":["../../../src/transaction/coordinator.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,GAAG,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAUlF;;;;;;;;;GASG;AACH,MAAM,OAAO,sBAAsB;IAEhB;IACA;IAFlB,YACkB,UAAuB,EACvB,WAA+C;QAD/C,eAAU,GAAV,UAAU,CAAa;QACvB,gBAAW,GAAX,WAAW,CAAoC;IAC9D,CAAC;IAEJ;;;;;;;;;OASG;IACH,KAAK,CAAC,YAAY,CACjB,OAA4B,EAC5B,OAAe;QAEf,KAAK,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,iBAAiB,EAAE,IAAI,OAAO,EAAE,CAAC;YACpE,iBAAiB;YACjB,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACtD,IAAI,CAAC,UAAU,EAAE,CAAC;gBACjB,MAAM,IAAI,KAAK,CAAC,yBAAyB,YAAY,EAAE,CAAC,CAAC;YAC1D,CAAC;YAED,0CAA0C;YAC1C,KAAK,MAAM,MAAM,IAAI,iBAAiB,EAAE,CAAC;gBACxC,MAAM,YAAY,GAAG,EAAE,GAAI,MAAc,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;gBAClE,MAAM,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACpC,CAAC;QACF,CAAC;IACF,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,MAAM,CAAC,WAAwB;QACpC,gFAAgF;QAChF,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;aAC3D,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;YACrC,YAAY;YACZ,UAAU;YACV,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,UAAU;SACzC,CAAC,CAAC;aACF,MAAM,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAC1B,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM;YACtC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM;YACtC,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAC7B,CAAC;QAEH,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,oBAAoB;QAC7B,CAAC;QAED,iEAAiE;QACjE,gFAAgF;QAChF,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAA4B,CAAC;QACjE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAyB,CAAC;QAExD,KAAK,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,cAAc,EAAE,CAAC;YACvE,oBAAoB,CAAC,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAEnD,qDAAqD;YACrD,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YAC7D,IAAI,CAAC,GAAG,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CAAC,gCAAgC,YAAY,EAAE,CAAC,CAAC;YACjE,CAAC;YAED,MAAM,QAAQ,GAAG,MAAO,GAA4G,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACrJ,IAAI,QAAQ,EAAE,CAAC;gBACd,cAAc,CAAC,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC5D,CAAC;QACF,CAAC;QAED,wDAAwD;QACxD,2EAA2E;QAC3E,2DAA2D;QAC3D,MAAM,aAAa,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;YAC9E,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,CAC9D,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAC3D;YACD,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,CACnE,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAChE;YACD,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CACnC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CACpD;SACD,CAAC,CAAC;QAEH,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;QAE1D,kDAAkD;QAClD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,qBAAqB,CACnD,WAAW,EACX,cAAc,EACd,oBAAoB,EACpB,cAAc,CACd,CAAC;QAEF,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,8BAA8B,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;QACpE,CAAC;IACF,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,QAAQ,CAAC,QAAgB;QAC9B,qCAAqC;QACrC,yEAAyE;QACzE,+EAA+E;QAC/E,mDAAmD;QACnD,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;YACpD,sDAAsD;YACtD,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAC5B,CAAC;IACF,CAAC;IAED;;;;OAIG;IACK,cAAc,CAAC,UAAgC;QACtD,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACpC,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,GAAG,GAAG,QAAQ,CAAC,GAAG,GAAG,CAAC;QAC5C,CAAC,EAAE,CAAC,CAAC,CAAC;QACN,OAAO,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;IAC7C,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,iBAAiB,CAAC,OAA2B;QAClD,MAAM,iBAAiB,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CACjF,CAAC,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CACxD,CAAC;QAEF,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,oBAAoB;QAC/C,CAAC;QAED,gCAAgC;QAChC,MAAM,UAAU,GAAG,uBAAuB,CAAC,iBAAiB,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC;QAEjC,4BAA4B;QAC5B,MAAM,KAAK,GAAG,sBAAsB,CACnC,OAAO,EAAE,wCAAwC;QACjD,IAAI,CAAC,GAAG,EAAE,EACV,EAAE,EAAE,wBAAwB;QAC5B,OAAO,CAAC,MAAM,CACd,CAAC;QAEF,MAAM,WAAW,GAAgB;YAChC,KAAK;YACL,UAAU;YACV,KAAK;YACL,EAAE,EAAE,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC;SACpD,CAAC;QAEF,gFAAgF;QAChF,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,qBAAqB,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC;QAEvC,gCAAgC;QAChC,OAAO,MAAM,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,OAAO,CAAC,WAAwB,EAAE,MAA0B;QACjE,yCAAyC;QACzC,gFAAgF;QAChF,oEAAoE;QAEpE,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACjD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO,MAAM,CAAC;QACf,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,gBAAgB;QAC3C,CAAC;QAED,yDAAyD;QACzD,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAA4B,CAAC;QACjE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAyB,CAAC;QACxD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAuB,CAAC;QACrD,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;QAEnE,KAAK,MAAM,iBAAiB,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAChD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,wBAAwB,CACtD,iBAAiB,EACjB,WAAW,EACX,gBAAgB,CAChB,CAAC;YAEF,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;gBAC1B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC;YACrD,CAAC;YAED,oBAAoB,CAAC,GAAG,CAAC,iBAAiB,CAAC,YAAY,EAAE,WAAW,CAAC,UAAW,CAAC,CAAC;YAClF,cAAc,CAAC,GAAG,CAAC,iBAAiB,CAAC,YAAY,EAAE,WAAW,CAAC,cAAe,CAAC,CAAC;YAChF,aAAa,CAAC,GAAG,CAAC,iBAAiB,CAAC,YAAY,EAAE,WAAW,CAAC,OAAQ,CAAC,CAAC;QACzE,CAAC;QAED,4CAA4C;QAC5C,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC;YACxG,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,CAC9D,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAC3D;YACD,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,CACnE,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAChE;YACD,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CACnC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CACpD;SACD,CAAC,CAAC;QACH,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;QAE1D,6CAA6C;QAC7C,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,qBAAqB,CACnD,WAAW,EACX,cAAc,EACd,oBAAoB,EACpB,cAAc,CACd,CAAC;QAEF,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;YAC1B,OAAO,WAAW,CAAC;QACpB,CAAC;QAED,iCAAiC;QACjC,OAAO;YACN,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,OAAO,EAAE,aAAa;SACtB,CAAC;IACH,CAAC;IAED;;;;OAIG;IACK,KAAK,CAAC,wBAAwB,CACrC,iBAAoC,EACpC,WAAwB,EACxB,gBAAgC;QAQhC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;QACxE,IAAI,CAAC,UAAU,EAAE,CAAC;YACjB,OAAO;gBACN,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,yBAAyB,iBAAiB,CAAC,YAAY,EAAE;aAChE,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,2EAA2E;QAC3E,yEAAyE;QAEzE,+CAA+C;QAC/C,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC;QAEjD,qEAAqE;QACrE,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC;QAC/E,IAAI,CAAC,GAAG,EAAE,CAAC;YACV,OAAO;gBACN,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,gCAAgC,iBAAiB,CAAC,YAAY,EAAE;aACvE,CAAC;QACH,CAAC;QAED,yCAAyC;QACzC,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAElE,uEAAuE;QACvE,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,UAAU,CACrC,iBAAiB,CAAC,OAAO,EACzB,QAAQ,EACR,MAAM,EACN,GAAG,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC,EACvC,gBAAgB,CAChB,CAAC;QAEF,8CAA8C;QAC9C,OAAO;YACN,OAAO,EAAE,IAAI;YACb,UAAU;YACV,cAAc,EAAE,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;YAClD,OAAO,EAAE,EAAE,CAAC,6EAA6E;SACzF,CAAC;IACH,CAAC;IAED;;;;;;;OAOG;IACK,KAAK,CAAC,qBAAqB,CAClC,WAAwB,EACxB,cAAsB,EACtB,oBAAmD,EACnD,cAA0C;QAE1C,iFAAiF;QACjF,MAAM,gBAAgB,GAAG,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7D,MAAM,oBAAoB,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC;QAEtE,kDAAkD;QAClD,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,SAAS,CACtC,WAAW,EACX,cAAc,EACd,oBAAoB,EACpB,oBAAoB,CACpB,CAAC;QACF,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;YACzB,OAAO,UAAU,CAAC;QACnB,CAAC;QAED,iDAAiD;QACjD,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,WAAW,CAC1C,WAAW,CAAC,EAAc,EAC1B,gBAAgB,EAChB,UAAU,CAAC,cAAe,CAC1B,CAAC;QACF,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC;YAC3B,oCAAoC;YACpC,MAAM,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,EAAc,EAAE,oBAAoB,CAAC,CAAC;YACzE,OAAO,YAAY,CAAC;QACrB,CAAC;QAED,2EAA2E;QAC3E,+FAA+F;QAE/F,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC1B,CAAC;IAED;;;;;;;OAOG;IACK,KAAK,CAAC,WAAW,CACxB,gBAAoC;QAEpC,8CAA8C;QAC9C,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,CAAC,yCAAyC;QACvD,CAAC;QAED,iEAAiE;QACjE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,oBAAoB,EAAE,CAAC;YAC3C,4EAA4E;YAC5E,OAAO,IAAI,CAAC;QACb,CAAC;QAED,6EAA6E;QAC7E,MAAM,eAAe,GAAG,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CACtD,IAAI,CAAC,UAAU,CAAC,oBAAqB,CAAC,OAAO,CAAC,CAC9C,CAAC;QACF,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAEnD,uCAAuC;QACvC,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAClC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE;YACf,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;YACrD,OAAO,GAAG,CAAC;QACZ,CAAC,EACD,IAAI,GAAG,EAAU,CACjB,CAAC;QAEF,OAAO,YAAY,CAAC;IACrB,CAAC;IAED;;;;;;;OAOG;IACK,KAAK,CAAC,SAAS,CACtB,WAAwB,EACxB,cAAsB,EACtB,oBAA2D,EAC3D,oBAAgD;QAEhD,IAAI,oBAAoB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;QAC3D,CAAC;QAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAA2B,CAAC;QAC1D,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAc,CAAC;QAC5C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAErF,oCAAoC;QACpC,KAAK,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,IAAI,oBAAoB,CAAC,OAAO,EAAE,EAAE,CAAC;YACzE,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACtD,IAAI,CAAC,UAAU,EAAE,CAAC;gBACjB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,yBAAyB,YAAY,EAAE,EAAE,CAAC;YAC3E,CAAC;YAED,4CAA4C;YAC5C,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAE/D,0EAA0E;YAC1E,MAAM,WAAW,GAAgB;gBAChC,QAAQ;gBACR,GAAG;gBACH,UAAU;gBACV,MAAM,EAAE,GAAG,EAAE,iDAAiD;gBAC9D,WAAW;gBACX,cAAc;gBACd,oBAAoB,EAAE,QAAQ;aAC9B,CAAC;YAEF,uBAAuB;YACvB,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC3D,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;gBACzB,OAAO;oBACN,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,8BAA8B,YAAY,KAAK,UAAU,CAAC,MAAM,EAAE;iBACzE,CAAC;YACH,CAAC;YAED,8CAA8C;YAC9C,cAAc,CAAC,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACvD,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;IAC1C,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,WAAW,CACxB,QAAkB,EAClB,gBAA2B,EAC3B,cAA4C;QAE5C,uCAAuC;QACvC,KAAK,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,IAAI,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC;YACjE,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACtD,IAAI,CAAC,UAAU,EAAE,CAAC;gBACjB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,yBAAyB,YAAY,EAAE,EAAE,CAAC;YAC3E,CAAC;YAED,eAAe;YACf,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAE/D,yDAAyD;YACzD,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CACtD,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAC1B,CAAC;YAEF,IAAI,CAAC,cAAc,EAAE,CAAC;gBACrB,OAAO;oBACN,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,2CAA2C,YAAY,EAAE;iBAChE,CAAC;YACH,CAAC;YAED,wBAAwB;YACxB,MAAM,aAAa,GAAkB;gBACpC,QAAQ;gBACR,QAAQ;gBACR,MAAM,EAAE,cAAc;gBACtB,GAAG;aACH,CAAC;YAEF,yBAAyB;YACzB,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;YACjE,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC;gBAC3B,OAAO;oBACN,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,gCAAgC,YAAY,EAAE;iBACrD,CAAC;YACH,CAAC;QACF,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC1B,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,WAAW,CACxB,QAAkB,EAClB,oBAAmD;QAEnD,+CAA+C;QAC/C,KAAK,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,IAAI,oBAAoB,CAAC,OAAO,EAAE,EAAE,CAAC;YACzE,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACtD,IAAI,CAAC,UAAU,EAAE,CAAC;gBACjB,SAAS,CAAC,+BAA+B;YAC1C,CAAC;YAED,oCAAoC;YACpC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;YAEnD,yBAAyB;YACzB,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;gBAC5B,QAAQ;gBACR,QAAQ;aACR,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;CAED"}

package/dist/src/transaction/index.d.ts

@@ -0,0 +1,10 @@
+export type { Transaction, TransactionStamp, ReadDependency, TransactionRef, ITransactionEngine, ExecutionResult, CollectionActions, ValidationResult, ITransactionValidator } from './transaction.js';
+export { createTransactionStamp, createTransactionId } from './transaction.js';
+export { ActionsEngine, ACTIONS_ENGINE_ID, createActionsStatements } from './actions-engine.js';
+export type { ActionsStatement } from './actions-engine.js';
+export { TransactionCoordinator } from './coordinator.js';
+export { TransactionContext } from './context.js';
+export { TransactionSession } from './session.js';
+export { TransactionValidator } from './validator.js';
+export type { EngineRegistration, ValidationCoordinatorFactory } from './validator.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/src/transaction/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/transaction/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACX,WAAW,EACX,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,kBAAkB,EAClB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACN,sBAAsB,EACtB,mBAAmB,EACnB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACN,aAAa,EACb,iBAAiB,EACjB,uBAAuB,EACvB,MAAM,qBAAqB,CAAC;AAE7B,YAAY,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACtD,YAAY,EAAE,kBAAkB,EAAE,4BAA4B,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/src/transaction/index.js

@@ -0,0 +1,7 @@
+export { createTransactionStamp, createTransactionId } from './transaction.js';
+export { ActionsEngine, ACTIONS_ENGINE_ID, createActionsStatements } from './actions-engine.js';
+export { TransactionCoordinator } from './coordinator.js';
+export { TransactionContext } from './context.js';
+export { TransactionSession } from './session.js';
+export { TransactionValidator } from './validator.js';
+//# sourceMappingURL=index.js.map

package/dist/src/transaction/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/transaction/index.ts"],"names":[],"mappings":"AAYA,OAAO,EACN,sBAAsB,EACtB,mBAAmB,EACnB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACN,aAAa,EACb,iBAAiB,EACjB,uBAAuB,EACvB,MAAM,qBAAqB,CAAC;AAI7B,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/src/transaction/session.d.ts

@@ -0,0 +1,80 @@
+import type { TransactionCoordinator } from "./coordinator.js";
+import type { ExecutionResult, ITransactionEngine, TransactionStamp, CollectionActions } from "./transaction.js";
+/**
+ * TransactionSession manages incremental transaction building.
+ *
+ * This is the high-level API for building transactions incrementally:
+ * - Stamp is created at BEGIN (stable throughout transaction)
+ * - Execute statements one at a time
+ * - Engine translates statements to actions (if not already provided)
+ * - Actions are immediately applied to collections via coordinator.applyActions()
+ * - On commit, all statements are compiled into a complete Transaction
+ * - The Transaction is then committed through coordinator.commit() for PEND/COMMIT orchestration
+ *
+ * Usage:
+ *   const session = new TransactionSession(coordinator, engine);
+ *   await session.execute('INSERT INTO users (id, name) VALUES (?, ?)', [1, 'Alice']);
+ *   await session.execute('SELECT * FROM orders WHERE user_id = ?', [1]);
+ *   const result = await session.commit();
+ *
+ * For validation/replay, use engine.execute() directly with a complete Transaction.
+ */
+export declare class TransactionSession {
+    private readonly coordinator;
+    private readonly engine;
+    private readonly statements;
+    private readonly stamp;
+    private committed;
+    private rolledBack;
+    constructor(coordinator: TransactionCoordinator, engine: ITransactionEngine, peerId?: string, // TODO: Get from coordinator or config
+    schemaHash?: string);
+    /**
+     * Execute a statement.
+     *
+     * If actions are provided, they are applied directly.
+     * Otherwise, the engine translates the statement to actions.
+     *
+     * @param statement - The statement to execute (engine-specific, e.g., SQL statement)
+     * @param actions - Optional pre-computed actions (for Quereus module case)
+     * @returns Execution result with any returned values
+     */
+    execute(statement: string, actions?: CollectionActions[]): Promise<{
+        success: boolean;
+        error?: string;
+    }>;
+    /**
+     * Commit the transaction.
+     *
+     * Compiles all statements into a complete Transaction and commits through coordinator.
+     */
+    commit(): Promise<ExecutionResult>;
+    /**
+     * Rollback the transaction (discard local state).
+     *
+     * Note: Actions have already been applied to collections' trackers.
+     * Rollback just prevents commit and clears session state.
+     * Collections will discard tracker state when they sync or update.
+     */
+    rollback(): Promise<void>;
+    /**
+     * Get the transaction stamp ID (stable throughout transaction).
+     */
+    getStampId(): string;
+    /**
+     * Get the transaction stamp (full metadata).
+     */
+    getStamp(): TransactionStamp;
+    /**
+     * Get the list of accumulated statements.
+     */
+    getStatements(): readonly string[];
+    /**
+     * Check if the transaction has been committed.
+     */
+    isCommitted(): boolean;
+    /**
+     * Check if the transaction has been rolled back.
+     */
+    isRolledBack(): boolean;
+}
+//# sourceMappingURL=session.d.ts.map

package/dist/src/transaction/session.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"session.d.ts","sourceRoot":"","sources":["../../../src/transaction/session.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,KAAK,EAAe,eAAe,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAG9H;;;;;;;;;;;;;;;;;;GAkBG;AACH,qBAAa,kBAAkB;IAO7B,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM;IAPxB,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAgB;IAC3C,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAmB;IACzC,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,UAAU,CAAS;gBAGT,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,kBAAkB,EAC3C,MAAM,GAAE,MAAgB,EAAE,uCAAuC;IACjE,UAAU,GAAE,MAAW;IAWxB;;;;;;;;;OASG;IACG,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,iBAAiB,EAAE,GAAG,OAAO,CAAC;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IA2C9G;;;;OAIG;IACG,MAAM,IAAI,OAAO,CAAC,eAAe,CAAC;IAuBxC;;;;;;OAMG;IACG,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC;IAc/B;;OAEG;IACH,UAAU,IAAI,MAAM;IAIpB;;OAEG;IACH,QAAQ,IAAI,gBAAgB;IAI5B;;OAEG;IACH,aAAa,IAAI,SAAS,MAAM,EAAE;IAIlC;;OAEG;IACH,WAAW,IAAI,OAAO;IAItB;;OAEG;IACH,YAAY,IAAI,OAAO;CAGvB"}