@optimystic/db-core 0.14.0 → 0.16.2

package/dist/src/testing/test-transactor.js

@@ -0,0 +1,423 @@
+import { ensuredMap, Latches } from "../index.js";
+import { applyTransform, blockIdsForTransforms, transformForBlockId, emptyTransforms, concatTransform, transformsFromTransform } from "../transform/index.js";
+// Simple in-memory transactor for testing that maintains materialized blocks for every revision
+export class TestTransactor {
+    blocks = new Map();
+    available = true;
+    getLocks = new Map(); // Track lock releases
+    constructor() { }
+    async get(blockGets) {
+        this.checkAvailable();
+        const results = {};
+        const uniqueBlockIds = [...new Set(blockGets.blockIds)].sort(); // Ensure consistent lock order if needed, though get is read-only
+        const releases = [];
+        try {
+            // Acquire locks for all requested blocks to ensure consistent read
+            for (const blockId of uniqueBlockIds) {
+                const lockId = `TestTransactor.commit:${blockId}`; // Use the same lock as commit
+                // Wait for any existing lock promise to resolve before acquiring the next
+                let release = await this.getLocks.get(lockId);
+                if (release)
+                    await Promise.resolve(release); // Ensure previous lock released if overlapping calls happen
+                const releasePromise = Latches.acquire(lockId);
+                this.getLocks.set(blockId, releasePromise.then(r => () => {
+                    r();
+                    this.getLocks.delete(blockId); // Clean up map entry after release
+                }));
+                release = await releasePromise;
+                releases.push(release);
+            }
+            // --- Start of Critical Section (Read) ---
+            for (const blockId of blockGets.blockIds) {
+                const blockState = this.blocks.get(blockId);
+                if (!blockState) {
+                    // Block doesn't exist yet
+                    results[blockId] = {
+                        block: undefined,
+                        state: { latest: undefined, pendings: [] }
+                    };
+                    continue;
+                }
+                // Get the appropriate materialized block based on context
+                let block;
+                if (blockGets.context?.actionId !== undefined) {
+                    // If requesting a specific action, apply pending transform if it exists
+                    const pendingTransform = blockState.pendingActions.get(blockGets.context.actionId);
+                    if (pendingTransform) {
+                        // Read latest committed block as base for pending transform
+                        const baseBlock = blockState.materializedBlocks.get(blockState.latestRev);
+                        block = applyTransformSafe(baseBlock, pendingTransform);
+                    }
+                    else {
+                        // Action not pending, maybe committed? Or maybe invalid actionId for context.
+                        // For simplicity, return undefined block if specific pending action not found.
+                        // A more complex impl might check committedActions history.
+                        block = undefined;
+                    }
+                }
+                else if (blockGets.context?.committed) {
+                    // Check context.committed for matching pending actions — mirrors coordinator
+                    // behavior: context.committed proves the action succeeded, so pending blocks
+                    // for that action should be served.
+                    for (const { actionId: cId } of blockGets.context.committed) {
+                        const pendingTransform = blockState.pendingActions.get(cId);
+                        if (pendingTransform) {
+                            const baseBlock = blockState.materializedBlocks.get(blockState.latestRev);
+                            block = applyTransformSafe(baseBlock, pendingTransform);
+                            break;
+                        }
+                    }
+                    // Fall through to standard resolution if no pending match
+                    if (block === undefined) {
+                        if (blockGets.context.rev !== undefined) {
+                            block = structuredClone(latestMaterializedAt(blockState, blockGets.context.rev));
+                        }
+                        else {
+                            block = structuredClone(blockState.materializedBlocks.get(blockState.latestRev));
+                        }
+                    }
+                }
+                else if (blockGets.context?.rev !== undefined) {
+                    // Return the materialized block at the highest revision ≤ requested
+                    block = structuredClone(latestMaterializedAt(blockState, blockGets.context.rev));
+                }
+                else {
+                    // Otherwise return latest materialized block
+                    block = structuredClone(blockState.materializedBlocks.get(blockState.latestRev));
+                }
+                const actionId = blockState.revisionActions.get(blockState.latestRev);
+                results[blockId] = {
+                    block,
+                    state: {
+                        latest: actionId !== undefined ? {
+                            rev: blockState.latestRev,
+                            actionId
+                        } : undefined,
+                        pendings: Array.from(blockState.pendingActions.keys())
+                    }
+                };
+            }
+            // --- End of Critical Section (Read) ---
+        }
+        finally {
+            // Release locks in reverse order
+            releases.reverse().forEach(release => release());
+        }
+        return results;
+    }
+    async getStatus(actionRefs) {
+        return actionRefs.map(ref => ({
+            ...ref,
+            statuses: ref.blockIds.map(blockId => {
+                const blockState = this.blocks.get(blockId);
+                if (!blockState)
+                    return 'aborted';
+                return blockState.pendingActions.has(ref.actionId) ? 'pending'
+                    : Array.from(blockState.revisionActions.values()).some(actionId => actionId === ref.actionId) ? 'committed'
+                        : 'aborted';
+            })
+        }));
+    }
+    async pend(request) {
+        this.checkAvailable();
+        const { actionId, transforms, policy, rev } = request;
+        const blockIds = blockIdsForTransforms(transforms);
+        const conflictingPendings = [];
+        const missing = [];
+        // Check for conflicts (pending or committed based on rev/insert)
+        for (const blockId of blockIds) {
+            const blockState = this.blocks.get(blockId);
+            const blockTransform = transformForBlockId(transforms, blockId);
+            if (!blockTransform)
+                continue; // Should not happen
+            if (blockState) {
+                // Check for existing pending actions
+                if (blockState.pendingActions.size > 0) {
+                    blockState.pendingActions.forEach((_, pendingActionId) => {
+                        conflictingPendings.push({ blockId, actionId: pendingActionId });
+                    });
+                }
+                // Check for conflicting committed revisions (if rev specified or it's an insert)
+                if (rev !== undefined || blockTransform.insert) {
+                    const checkRev = rev ?? 0; // Check from revision 0 if it's an insert
+                    if (blockState.latestRev >= checkRev) {
+                        // Collect conflicting committed actions
+                        const missingForBlock = new Map();
+                        for (let r = checkRev; r <= blockState.latestRev; r++) {
+                            const committedActionId = blockState.revisionActions.get(r);
+                            if (committedActionId !== undefined) {
+                                const committedTransform = blockState.committedActions.get(committedActionId);
+                                if (committedTransform) {
+                                    missingForBlock.set(committedActionId, { rev: r, transform: committedTransform });
+                                }
+                            }
+                        }
+                        // Add collected missing transforms for this block to the main missing list
+                        for (const [mActionId, data] of missingForBlock.entries()) {
+                            let existing = missing.find(m => m.actionId === mActionId);
+                            if (!existing) {
+                                existing = { actionId: mActionId, rev: data.rev, transforms: emptyTransforms() };
+                                missing.push(existing);
+                            }
+                            existing.rev = Math.max(existing.rev ?? 0, data.rev);
+                            existing.transforms = concatTransform(existing.transforms, blockId, data.transform);
+                        }
+                    }
+                }
+            }
+        }
+        // Handle failure due to committed conflicts first
+        if (missing.length > 0) {
+            return {
+                success: false,
+                missing
+            };
+        }
+        // Handle failure/retry due to pending conflicts
+        if (conflictingPendings.length > 0) {
+            if (policy === 'f') {
+                return { success: false, pending: conflictingPendings };
+            }
+            else if (policy === 'r') {
+                // Simulate fetching pending transforms for 'r' policy
+                const pendingWithTransforms = conflictingPendings
+                    .map(({ blockId: pBlockId, actionId: pActionId }) => {
+                    const pBlockState = this.blocks.get(pBlockId);
+                    const pTransform = pBlockState?.pendingActions.get(pActionId)
+                        ?? pBlockState?.committedActions.get(pActionId); // Might have been committed since check
+                    if (pTransform) {
+                        return { blockId: pBlockId, actionId: pActionId, transform: pTransform };
+                    }
+                    return null; // Handle case where it disappeared (cancelled?)
+                })
+                    .filter(p => p !== null);
+                return {
+                    success: false,
+                    pending: pendingWithTransforms
+                };
+            }
+            // Policy 'w' allows proceeding despite pending transactions
+        }
+        // No fatal conflicts found, proceed to pend
+        for (const blockId of blockIds) {
+            const blockTransform = transformForBlockId(transforms, blockId);
+            if (blockTransform) {
+                const blockState = ensuredMap(this.blocks, blockId, () => newBlockState());
+                blockState.pendingActions.set(actionId, blockTransform);
+            }
+        }
+        // Return success, include pending list as per StorageRepo behavior
+        return {
+            success: true,
+            pending: conflictingPendings,
+            blockIds
+        };
+    }
+    async cancel(actionRef) {
+        this.checkAvailable();
+        for (const blockId of actionRef.blockIds) {
+            const blockState = this.blocks.get(blockId);
+            if (blockState) {
+                blockState.pendingActions.delete(actionRef.actionId);
+            }
+        }
+    }
+    async commit(request) {
+        this.checkAvailable();
+        const { actionId, rev, blockIds } = request;
+        const uniqueBlockIds = [...new Set(blockIds)].sort();
+        const releases = [];
+        try {
+            // Simulate acquiring locks sequentially like StorageRepo
+            for (const id of uniqueBlockIds) {
+                const lockId = `TestTransactor.commit:${id}`;
+                const release = await Latches.acquire(lockId);
+                releases.push(release);
+            }
+            // --- Start of Critical Section (Simulated) ---
+            // Check for stale revisions
+            const staleBlocks = blockIds.filter(blockId => {
+                const blockState = this.blocks.get(blockId);
+                return blockState && blockState.latestRev >= rev;
+            });
+            if (staleBlocks.length > 0) {
+                // Collect missing actions for stale blocks
+                const missingByAction = new Map();
+                for (const blockId of staleBlocks) {
+                    const blockState = this.blocks.get(blockId);
+                    for (let r = rev; r <= blockState.latestRev; r++) {
+                        const committedActionId = blockState.revisionActions.get(r);
+                        if (committedActionId) {
+                            const transform = blockState.committedActions.get(committedActionId);
+                            if (transform) {
+                                const existing = missingByAction.get(committedActionId) ?? emptyTransforms();
+                                missingByAction.set(committedActionId, concatTransform(existing, blockId, transform));
+                            }
+                        }
+                    }
+                }
+                const missing = Array.from(missingByAction.entries()).map(([actionId, transforms]) => ({
+                    actionId,
+                    rev: Array.from(this.blocks.values())
+                        .flatMap(bs => Array.from(bs.revisionActions.entries()))
+                        .find(([, aId]) => aId === actionId)?.[0] ?? rev,
+                    transforms
+                }));
+                return { success: false, missing };
+            }
+            // Verify all blocks have the pending action
+            for (const blockId of blockIds) {
+                const blockState = this.blocks.get(blockId);
+                if (!blockState || !blockState.pendingActions.has(actionId)) {
+                    return {
+                        success: false,
+                        reason: `Action ${actionId} not found or not pending for block ${blockId}`
+                    };
+                }
+            }
+            // Commit the action for each block
+            for (const blockId of blockIds) {
+                const blockState = this.blocks.get(blockId);
+                const transform = blockState.pendingActions.get(actionId);
+                // Get base block to apply transform to
+                const baseBlock = blockState.materializedBlocks.get(blockState.latestRev);
+                let newBlock;
+                if (!baseBlock) {
+                    if (!transform.insert) {
+                        throw new Error(`Commit Error: Action ${actionId} has no insert for new block ${blockId}`);
+                    }
+                    newBlock = structuredClone(transform.insert);
+                }
+                else {
+                    newBlock = applyTransformSafe(baseBlock, transform);
+                    if (!newBlock && !transform.delete) {
+                        throw new Error(`Commit Error: Action ${actionId} resulted in undefined block but had no delete flag for block ${blockId}`);
+                    }
+                }
+                if (newBlock) {
+                    blockState.materializedBlocks.set(rev, newBlock);
+                }
+                // Update block state
+                blockState.latestRev = rev;
+                blockState.revisionActions.set(rev, actionId);
+                blockState.committedActions.set(actionId, transform);
+                blockState.pendingActions.delete(actionId);
+            }
+            // --- End of Critical Section (Simulated) ---
+            return { success: true };
+        }
+        finally {
+            // Release locks in reverse order
+            releases.reverse().forEach(release => release());
+        }
+    }
+    // Helper methods for testing
+    reset() {
+        this.blocks.clear();
+    }
+    getPendingActions() {
+        const allPending = new Map();
+        for (const [blockId, blockState] of this.blocks.entries()) {
+            for (const [actionId, transform] of blockState.pendingActions) {
+                const existing = allPending.get(actionId);
+                if (!existing) {
+                    allPending.set(actionId, { actionId, transforms: transformsFromTransform(transform, blockId) });
+                }
+                else {
+                    existing.transforms = concatTransform(existing.transforms, blockId, transform);
+                }
+            }
+        }
+        return allPending;
+    }
+    getCommittedActions() {
+        const allCommitted = new Map();
+        for (const [blockId, blockState] of this.blocks.entries()) {
+            for (const [rev, actionId] of blockState.revisionActions) {
+                const transform = blockState.committedActions.get(actionId);
+                if (transform) {
+                    const existing = allCommitted.get(actionId);
+                    if (!existing) {
+                        allCommitted.set(actionId, {
+                            actionId,
+                            rev,
+                            transforms: transformsFromTransform(transform, blockId)
+                        });
+                    }
+                    else {
+                        existing.transforms = concatTransform(existing.transforms, blockId, transform);
+                    }
+                }
+            }
+        }
+        return allCommitted;
+    }
+    setAvailable(available) {
+        this.available = available;
+    }
+    checkAvailable() {
+        if (!this.available) {
+            throw new Error('Transactor is not available');
+        }
+    }
+    /** Optional method for querying cluster nominees (used in GATHER phase for multi-collection transactions) */
+    queryClusterNominees;
+}
+/**
+ * Wraps a {@link TestTransactor} and forces its commit phase to fail a bounded (or unbounded)
+ * number of times before delegating, so tests can exercise the sync retry / backoff / give-up
+ * path deterministically. pend/get/getStatus/cancel delegate unchanged, so the pend→commit→cancel
+ * round-trip runs exactly as in production.
+ */
+export class FlakyCommitTransactor {
+    inner;
+    failFirstN;
+    reason;
+    /** Number of commit() calls observed so far (across success and forced failure). */
+    commitAttempts = 0;
+    /**
+     * @param inner delegate transactor
+     * @param failFirstN number of initial commit() calls to fail; Infinity to always fail
+     * @param reason the StaleFailure.reason returned on a forced failure
+     */
+    constructor(inner, failFirstN, reason = 'forced stale') {
+        this.inner = inner;
+        this.failFirstN = failFirstN;
+        this.reason = reason;
+    }
+    get(b) { return this.inner.get(b); }
+    getStatus(a) { return this.inner.getStatus(a); }
+    pend(r) { return this.inner.pend(r); }
+    cancel(a) { return this.inner.cancel(a); }
+    async commit(request) {
+        this.commitAttempts++;
+        if (this.commitAttempts <= this.failFirstN) {
+            return { success: false, reason: this.reason };
+        }
+        return this.inner.commit(request);
+    }
+}
+function newBlockState() {
+    return {
+        materializedBlocks: new Map(),
+        latestRev: 0,
+        revisionActions: new Map(),
+        pendingActions: new Map(),
+        committedActions: new Map()
+    };
+}
+/** Returns the materialized block at the highest revision ≤ the given revision */
+function latestMaterializedAt(blockState, maxRev) {
+    for (let rev = maxRev; rev >= 0; rev--) {
+        const block = blockState.materializedBlocks.get(rev);
+        if (block)
+            return block;
+    }
+    return undefined;
+}
+function applyTransformSafe(block, transform) {
+    if (!block)
+        return undefined;
+    return applyTransform(structuredClone(block), transform);
+}
+//# sourceMappingURL=test-transactor.js.map

package/dist/src/testing/test-transactor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-transactor.js","sourceRoot":"","sources":["../../../src/testing/test-transactor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiR,UAAU,EAAE,OAAO,EAA8B,MAAM,aAAa,CAAC;AAC7V,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,eAAe,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAiB9J,gGAAgG;AAChG,MAAM,OAAO,cAAc;IACjB,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,SAAS,GAAG,IAAI,CAAC;IACT,QAAQ,GAAG,IAAI,GAAG,EAAgC,CAAC,CAAC,sBAAsB;IAEjF,gBAAe,CAAC;IAEhB,KAAK,CAAC,GAAG,CAAC,SAAoB;QAC9B,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,MAAM,OAAO,GAAoB,EAAE,CAAC;QACtC,MAAM,cAAc,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,kEAAkE;QAClI,MAAM,QAAQ,GAAmB,EAAE,CAAC;QAEpC,IAAI,CAAC;YACJ,mEAAmE;YACnE,KAAK,MAAM,OAAO,IAAI,cAAc,EAAE,CAAC;gBACtC,MAAM,MAAM,GAAG,yBAAyB,OAAO,EAAE,CAAC,CAAC,8BAA8B;gBACjF,0EAA0E;gBAC1E,IAAI,OAAO,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAC9C,IAAI,OAAO;oBAAE,MAAM,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,4DAA4D;gBAEzG,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC/C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE;oBACxD,CAAC,EAAE,CAAC;oBACJ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,mCAAmC;gBACnE,CAAC,CAAC,CAAC,CAAC;gBACJ,OAAO,GAAG,MAAM,cAAc,CAAC;gBAC/B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,CAAC;YAED,2CAA2C;YAC3C,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;gBAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;oBACjB,0BAA0B;oBAC1B,OAAO,CAAC,OAAO,CAAC,GAAG;wBAClB,KAAK,EAAE,SAAS;wBAChB,KAAK,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE;qBAC1C,CAAC;oBACF,SAAS;gBACV,CAAC;gBAED,0DAA0D;gBAC1D,IAAI,KAAyB,CAAC;gBAC9B,IAAI,SAAS,CAAC,OAAO,EAAE,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC/C,wEAAwE;oBACxE,MAAM,gBAAgB,GAAG,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;oBACnF,IAAI,gBAAgB,EAAE,CAAC;wBACtB,4DAA4D;wBAC5D,MAAM,SAAS,GAAG,UAAU,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;wBAC1E,KAAK,GAAG,kBAAkB,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;oBACzD,CAAC;yBAAM,CAAC;wBACP,8EAA8E;wBAC9E,+EAA+E;wBAC/E,4DAA4D;wBAC5D,KAAK,GAAG,SAAS,CAAC;oBACnB,CAAC;gBACF,CAAC;qBAAM,IAAI,SAAS,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC;oBACzC,6EAA6E;oBAC7E,6EAA6E;oBAC7E,oCAAoC;oBACpC,KAAK,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;wBAC7D,MAAM,gBAAgB,GAAG,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBAC5D,IAAI,gBAAgB,EAAE,CAAC;4BACtB,MAAM,SAAS,GAAG,UAAU,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;4BAC1E,KAAK,GAAG,kBAAkB,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;4BACxD,MAAM;wBACP,CAAC;oBACF,CAAC;oBACD,0DAA0D;oBAC1D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;wBACzB,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;4BACzC,KAAK,GAAG,eAAe,CAAC,oBAAoB,CAAC,UAAU,EAAE,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;wBAClF,CAAC;6BAAM,CAAC;4BACP,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;wBAClF,CAAC;oBACF,CAAC;gBACF,CAAC;qBAAM,IAAI,SAAS,CAAC,OAAO,EAAE,GAAG,KAAK,SAAS,EAAE,CAAC;oBACjD,oEAAoE;oBACpE,KAAK,GAAG,eAAe,CAAC,oBAAoB,CAAC,UAAU,EAAE,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAClF,CAAC;qBAAM,CAAC;oBACP,6CAA6C;oBAC7C,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;gBAClF,CAAC;gBAGD,MAAM,QAAQ,GAAG,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;gBACtE,OAAO,CAAC,OAAO,CAAC,GAAG;oBAClB,KAAK;oBACL,KAAK,EAAE;wBACN,MAAM,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC;4BAChC,GAAG,EAAE,UAAU,CAAC,SAAS;4BACzB,QAAQ;yBACR,CAAC,CAAC,CAAC,SAAS;wBACb,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;qBACtD;iBACD,CAAC;YACH,CAAC;YACD,yCAAyC;QAE1C,CAAC;gBAAS,CAAC;YACV,iCAAiC;YACjC,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;QAClD,CAAC;QACC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,SAAS,CAAC,UAA0B;QACxC,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5B,GAAG,GAAG;YACN,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE;gBACnC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC5C,IAAI,CAAC,UAAU;oBAAE,OAAO,SAAS,CAAC;gBAClC,OAAO,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;oBACjE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW;wBAC3G,CAAC,CAAC,SAAS,CAAC;YACX,CAAC,CAAC;SACH,CAAC,CAAC,CAAC;IACN,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,OAAoB;QAC/B,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,OAAO,CAAC;QACtD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;QACnD,MAAM,mBAAmB,GAA+C,EAAE,CAAC;QAC3E,MAAM,OAAO,GAAuB,EAAE,CAAC;QAEvC,iEAAiE;QACjE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAChC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5C,MAAM,cAAc,GAAG,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAChE,IAAI,CAAC,cAAc;gBAAE,SAAS,CAAC,oBAAoB;YAEnD,IAAI,UAAU,EAAE,CAAC;gBAChB,qCAAqC;gBACrC,IAAI,UAAU,CAAC,cAAc,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;oBACxC,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE;wBACxD,mBAAmB,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC;oBAClE,CAAC,CAAC,CAAC;gBACJ,CAAC;gBAED,iFAAiF;gBACjF,IAAI,GAAG,KAAK,SAAS,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC;oBAChD,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,0CAA0C;oBACrE,IAAI,UAAU,CAAC,SAAS,IAAI,QAAQ,EAAE,CAAC;wBACtC,wCAAwC;wBACxC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAmD,CAAC;wBACnF,KAAK,IAAI,CAAC,GAAG,QAAkB,EAAE,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;4BACjE,MAAM,iBAAiB,GAAG,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;4BAC5D,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;gCACrC,MAAM,kBAAkB,GAAG,UAAU,CAAC,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;gCAC9E,IAAI,kBAAkB,EAAE,CAAC;oCACxB,eAAe,CAAC,GAAG,CAAC,iBAAiB,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC,CAAC;gCACnF,CAAC;4BACF,CAAC;wBACF,CAAC;wBAED,2EAA2E;wBAC3E,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,eAAe,CAAC,OAAO,EAAE,EAAE,CAAC;4BAC3D,IAAI,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;4BAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;gCACf,QAAQ,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,UAAU,EAAE,eAAe,EAAE,EAAE,CAAC;gCACjF,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;4BACxB,CAAC;4BACD,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;4BACrD,QAAQ,CAAC,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;wBACrF,CAAC;oBACF,CAAC;gBACF,CAAC;YACF,CAAC;QACF,CAAC;QAED,kDAAkD;QAClD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO;gBACN,OAAO,EAAE,KAAK;gBACd,OAAO;aACP,CAAC;QACH,CAAC;QAED,gDAAgD;QAChD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;gBACpB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;YACzD,CAAC;iBAAM,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;gBAC3B,sDAAsD;gBACtD,MAAM,qBAAqB,GAAG,mBAAmB;qBAC/C,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE;oBACnD,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBAC9C,MAAM,UAAU,GAAG,WAAW,EAAE,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC;2BACzD,WAAW,EAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,wCAAwC;oBAC1F,IAAI,UAAU,EAAE,CAAC;wBAChB,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;oBAC1E,CAAC;oBACD,OAAO,IAAI,CAAC,CAAC,gDAAgD;gBAC9D,CAAC,CAAC;qBACD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAqE,CAAC;gBAE9F,OAAO;oBACN,OAAO,EAAE,KAAK;oBACd,OAAO,EAAE,qBAAqB;iBAC9B,CAAC;YACH,CAAC;YACD,4DAA4D;QAC7D,CAAC;QAED,4CAA4C;QAC5C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAChC,MAAM,cAAc,GAAG,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAChE,IAAI,cAAc,EAAE,CAAC;gBACpB,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC,CAAC;gBAC3E,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;YACzD,CAAC;QACF,CAAC;QAED,mEAAmE;QACnE,OAAO;YACN,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,mBAAmB;YAC5B,QAAQ;SACM,CAAC;IACjB,CAAC;IAEA,KAAK,CAAC,MAAM,CAAC,SAAuB;QACpC,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACzC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5C,IAAI,UAAU,EAAE,CAAC;gBACf,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,OAAsB;QACnC,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;QAC5C,MAAM,cAAc,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrD,MAAM,QAAQ,GAAmB,EAAE,CAAC;QAEpC,IAAI,CAAC;YACH,yDAAyD;YACzD,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;gBAChC,MAAM,MAAM,GAAG,yBAAyB,EAAE,EAAE,CAAC;gBAC7C,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC9C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzB,CAAC;YAED,gDAAgD;YAEhD,4BAA4B;YAC5B,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE;gBAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC5C,OAAO,UAAU,IAAI,UAAU,CAAC,SAAS,IAAI,GAAG,CAAC;YACnD,CAAC,CAAC,CAAC;YAEH,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,2CAA2C;gBAC3C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAwB,CAAC;gBACxD,KAAK,MAAM,OAAO,IAAI,WAAW,EAAE,CAAC;oBAClC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;oBAC7C,KAAK,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;wBACjD,MAAM,iBAAiB,GAAG,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;wBAC5D,IAAI,iBAAiB,EAAE,CAAC;4BACtB,MAAM,SAAS,GAAG,UAAU,CAAC,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;4BACrE,IAAI,SAAS,EAAE,CAAC;gCACd,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,eAAe,EAAE,CAAC;gCAC7E,eAAe,CAAC,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;4BACxF,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,MAAM,OAAO,GAAuB,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;oBACzG,QAAQ;oBACR,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;yBAClC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC;yBACvD,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG;oBAClD,UAAU;iBACX,CAAC,CAAC,CAAC;gBACJ,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;YACrC,CAAC;YAED,4CAA4C;YAC5C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC5C,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC5D,OAAO;wBACL,OAAO,EAAE,KAAK;wBACd,MAAM,EAAE,UAAU,QAAQ,uCAAuC,OAAO,EAAE;qBAC3E,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,mCAAmC;YACnC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;gBAC7C,MAAM,SAAS,GAAG,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;gBAE3D,uCAAuC;gBACvC,MAAM,SAAS,GAAG,UAAU,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;gBAE1E,IAAI,QAA4B,CAAC;gBACjC,IAAI,CAAC,SAAS,EAAE,CAAC;oBACf,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;wBACtB,MAAM,IAAI,KAAK,CAAC,wBAAwB,QAAQ,gCAAgC,OAAO,EAAE,CAAC,CAAC;oBAC7F,CAAC;oBACD,QAAQ,GAAG,eAAe,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAC/C,CAAC;qBAAM,CAAC;oBACN,QAAQ,GAAG,kBAAkB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;oBACpD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;wBACnC,MAAM,IAAI,KAAK,CAAC,wBAAwB,QAAQ,iEAAiE,OAAO,EAAE,CAAC,CAAC;oBAC9H,CAAC;gBACH,CAAC;gBAED,IAAI,QAAQ,EAAE,CAAC;oBACb,UAAU,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBACnD,CAAC;gBAED,qBAAqB;gBACrB,UAAU,CAAC,SAAS,GAAG,GAAG,CAAC;gBAC3B,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBAC9C,UAAU,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;gBACrD,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC7C,CAAC;YAED,8CAA8C;YAE9C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAE3B,CAAC;gBAAS,CAAC;YACT,iCAAiC;YACjC,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,6BAA6B;IAC7B,KAAK;QACH,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;IAED,iBAAiB;QACf,MAAM,UAAU,GAAG,IAAI,GAAG,EAA8B,CAAC;QACzD,KAAK,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1D,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,cAAc,EAAE,CAAC;gBAC9D,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC1C,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,uBAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;gBAClG,CAAC;qBAAM,CAAC;oBACN,QAAQ,CAAC,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;gBACjF,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,mBAAmB;QACjB,MAAM,YAAY,GAAG,IAAI,GAAG,EAA8B,CAAC;QAC3D,KAAK,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1D,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,eAAe,EAAE,CAAC;gBACzD,MAAM,SAAS,GAAG,UAAU,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC5D,IAAI,SAAS,EAAE,CAAC;oBACd,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBAC5C,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACd,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE;4BACzB,QAAQ;4BACR,GAAG;4BACH,UAAU,EAAE,uBAAuB,CAAC,SAAS,EAAE,OAAO,CAAC;yBACxD,CAAC,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACN,QAAQ,CAAC,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;oBACjF,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,YAAY,CAAC;IACtB,CAAC;IAEF,YAAY,CAAC,SAAkB;QAC9B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC5B,CAAC;IAED,cAAc;QACb,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAChD,CAAC;IACF,CAAC;IAED,6GAA6G;IAC7G,oBAAoB,CAAwD;CAC5E;AAED;;;;;GAKG;AACH,MAAM,OAAO,qBAAqB;IAUf;IACA;IACA;IAXlB,oFAAoF;IACpF,cAAc,GAAG,CAAC,CAAC;IAEnB;;;;OAIG;IACH,YACkB,KAAqB,EACrB,UAAkB,EAClB,SAAS,cAAc;QAFvB,UAAK,GAAL,KAAK,CAAgB;QACrB,eAAU,GAAV,UAAU,CAAQ;QAClB,WAAM,GAAN,MAAM,CAAiB;IACtC,CAAC;IAEJ,GAAG,CAAC,CAAY,IAA8B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,SAAS,CAAC,CAAiB,IAAkC,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9F,IAAI,CAAC,CAAc,IAAyB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,CAAC,CAAe,IAAmB,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvE,KAAK,CAAC,MAAM,CAAC,OAAsB;QAClC,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC5C,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QAChD,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;CACD;AAED,SAAS,aAAa;IACrB,OAAO;QACN,kBAAkB,EAAE,IAAI,GAAG,EAAE;QAC7B,SAAS,EAAE,CAAC;QACZ,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,gBAAgB,EAAE,IAAI,GAAG,EAAE;KAC3B,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,SAAS,oBAAoB,CAAC,UAAsB,EAAE,MAAc;IACnE,KAAK,IAAI,GAAG,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,UAAU,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrD,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IACzB,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAyB,EAAE,SAAoB;IACzE,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,OAAO,cAAc,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;AAC3D,CAAC"}

package/dist/src/transaction/actions-engine.d.ts

@@ -1,5 +1,4 @@
 import type { ITransactionEngine, Transaction, ExecutionResult } from './transaction.js';
-import type { TransactionCoordinator } from './coordinator.js';
 export declare const ACTIONS_ENGINE_ID = "actions@1.0.0";
 /**
  * Built-in action-based transaction engine for testing.
@@ -7,6 +6,11 @@ export declare const ACTIONS_ENGINE_ID = "actions@1.0.0";
  * This engine treats each statement as a JSON-encoded CollectionActions object.
  * It's useful for testing the transaction infrastructure without needing SQL.
  *
+ * This is a PURE TRANSLATOR (model (a) of the {@link ITransactionEngine} contract):
+ * execute() parses statements into CollectionActions[] and RETURNS them. It never
+ * touches a coordinator or mutates any collection state — application is the sole
+ * responsibility of the session/coordinator that receives the returned actions.
+ *
  * Each statement format:
  * ```json
  * {
@@ -18,8 +22,7 @@ export declare const ACTIONS_ENGINE_ID = "actions@1.0.0";
  * ```
  */
 export declare class ActionsEngine implements ITransactionEngine {
-    private coordinator;
-    constructor(coordinator: TransactionCoordinator);
+    readonly id = "actions@1.0.0";
     execute(transaction: Transaction): Promise<ExecutionResult>;
 }
 //# sourceMappingURL=actions-engine.d.ts.map

package/dist/src/transaction/actions-engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"actions-engine.d.ts","sourceRoot":"","sources":["../../../src/transaction/actions-engine.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,eAAe,EAAqB,MAAM,kBAAkB,CAAC;AAC5G,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE/D,eAAO,MAAM,iBAAiB,kBAAkB,CAAC;AAEjD;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,aAAc,YAAW,kBAAkB;IAC3C,OAAO,CAAC,WAAW;gBAAX,WAAW,EAAE,sBAAsB;IAEjD,OAAO,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,eAAe,CAAC;CAyCjE"}
+{"version":3,"file":"actions-engine.d.ts","sourceRoot":"","sources":["../../../src/transaction/actions-engine.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,eAAe,EAAqB,MAAM,kBAAkB,CAAC;AAE5G,eAAO,MAAM,iBAAiB,kBAAkB,CAAC;AAEjD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,qBAAa,aAAc,YAAW,kBAAkB;IACvD,QAAQ,CAAC,EAAE,mBAAqB;IAE1B,OAAO,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,eAAe,CAAC;CAuCjE"}

package/dist/src/transaction/actions-engine.js

@@ -5,6 +5,11 @@ export const ACTIONS_ENGINE_ID = "actions@1.0.0";
  * This engine treats each statement as a JSON-encoded CollectionActions object.
  * It's useful for testing the transaction infrastructure without needing SQL.
  *
+ * This is a PURE TRANSLATOR (model (a) of the {@link ITransactionEngine} contract):
+ * execute() parses statements into CollectionActions[] and RETURNS them. It never
+ * touches a coordinator or mutates any collection state — application is the sole
+ * responsibility of the session/coordinator that receives the returned actions.
+ *
  * Each statement format:
  * ```json
  * {
@@ -16,10 +21,7 @@ export const ACTIONS_ENGINE_ID = "actions@1.0.0";
  * ```
  */
 export class ActionsEngine {
-    coordinator;
-    constructor(coordinator) {
-        this.coordinator = coordinator;
-    }
+    id = ACTIONS_ENGINE_ID;
     async execute(transaction) {
         try {
             // Parse each statement as a CollectionActions object
@@ -40,10 +42,9 @@ export class ActionsEngine {
                     };
                 }
                 allActions.push(collectionActions);
-                // Apply actions through coordinator (for validation/replay)
-                await this.coordinator.applyActions([collectionActions], transaction.stamp.id);
             }
-            // Return success (actions already applied)
+            // Pure translation: return parsed actions WITHOUT applying them. The caller
+            // (session.execute / coordinator.execute) applies them exactly once.
             return {
                 success: true,
                 actions: allActions

package/dist/src/transaction/actions-engine.js.map

@@ -1 +1 @@
-{"version":3,"file":"actions-engine.js","sourceRoot":"","sources":["../../../src/transaction/actions-engine.ts"],"names":[],"mappings":"AAGA,MAAM,CAAC,MAAM,iBAAiB,GAAG,eAAe,CAAC;AAEjD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,OAAO,aAAa;IACL;IAApB,YAAoB,WAAmC;QAAnC,gBAAW,GAAX,WAAW,CAAwB;IAAG,CAAC;IAE3D,KAAK,CAAC,OAAO,CAAC,WAAwB;QACrC,IAAI,CAAC;YACJ,qDAAqD;YACrD,MAAM,UAAU,GAAwB,EAAE,CAAC;YAE3C,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;gBAChD,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAsB,CAAC;gBAErE,qBAAqB;gBACrB,IAAI,CAAC,iBAAiB,CAAC,YAAY,IAAI,OAAO,iBAAiB,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;oBAC3F,OAAO;wBACN,OAAO,EAAE,KAAK;wBACd,KAAK,EAAE,yCAAyC;qBAChD,CAAC;gBACH,CAAC;gBAED,IAAI,CAAC,iBAAiB,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC7E,OAAO;wBACN,OAAO,EAAE,KAAK;wBACd,KAAK,EAAE,iCAAiC,iBAAiB,CAAC,YAAY,mCAAmC;qBACzG,CAAC;gBACH,CAAC;gBAED,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;gBAEnC,4DAA4D;gBAC5D,MAAM,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,iBAAiB,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAChF,CAAC;YAED,2CAA2C;YAC3C,OAAO;gBACN,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,UAAU;aACnB,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,OAAO;gBACN,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,kCAAkC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;aACjG,CAAC;QACH,CAAC;IACF,CAAC;CACD"}
+{"version":3,"file":"actions-engine.js","sourceRoot":"","sources":["../../../src/transaction/actions-engine.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,iBAAiB,GAAG,eAAe,CAAC;AAEjD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,OAAO,aAAa;IAChB,EAAE,GAAG,iBAAiB,CAAC;IAEhC,KAAK,CAAC,OAAO,CAAC,WAAwB;QACrC,IAAI,CAAC;YACJ,qDAAqD;YACrD,MAAM,UAAU,GAAwB,EAAE,CAAC;YAE3C,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;gBAChD,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAsB,CAAC;gBAErE,qBAAqB;gBACrB,IAAI,CAAC,iBAAiB,CAAC,YAAY,IAAI,OAAO,iBAAiB,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;oBAC3F,OAAO;wBACN,OAAO,EAAE,KAAK;wBACd,KAAK,EAAE,yCAAyC;qBAChD,CAAC;gBACH,CAAC;gBAED,IAAI,CAAC,iBAAiB,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC7E,OAAO;wBACN,OAAO,EAAE,KAAK;wBACd,KAAK,EAAE,iCAAiC,iBAAiB,CAAC,YAAY,mCAAmC;qBACzG,CAAC;gBACH,CAAC;gBAED,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YACpC,CAAC;YAED,4EAA4E;YAC5E,qEAAqE;YACrE,OAAO;gBACN,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,UAAU;aACnB,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,OAAO;gBACN,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,kCAAkC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;aACjG,CAAC;QACH,CAAC;IACF,CAAC;CACD"}

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

@@ -1,7 +1,7 @@
 import type { ITransactor, CollectionId, Transforms } from "../index.js";
 import type { Transaction, ExecutionResult, ITransactionEngine, CollectionActions, ReadDependency } from "./transaction.js";
 import type { Collection } from "../collection/collection.js";
-import { TransactionContext } from "./context.js";
+import type { SyncOptions } from "../collection/index.js";
 /**
  * Coordinates multi-collection transactions.
  *
@@ -35,19 +35,45 @@ export declare class TransactionCoordinator {
      */
     private applyActionsRaw;
     /**
-     * Commit a transaction: materialise a log entry from each collection's staged
+     * Commit a transaction with a bounded, jittered backoff retry around a CLEAN stale loss.
+     *
+     * The single-attempt work lives in {@link commitOnce}; this wrapper re-drives it when the attempt
+     * fails as a clean optimistic-concurrency loss ({@link CoordinatorStaleLossError} — nothing
+     * durably committed, every tracker restored to its pre-append state). Before each re-attempt it
+     * re-reads each collection to fresh revisions (so the retry pends against current state rather
+     * than immediately re-failing stale), then backs off with the same jitter policy as
+     * {@link Collection.sync}. Retry is bounded by `maxAttempts` and an optional wall-clock
+     * `deadlineMs`, and honours an abort `signal`.
+     *
+     * A {@link CoordinatorPartialCommitError} (a partial landing — some collection durably committed)
+     * is NOT retryable and escapes immediately: blindly retrying would re-log already-durable actions.
+     * Any other failure (expired transaction, unavailable transactor, unreachable cluster) also
+     * propagates without retry — only genuine clean stale losses are re-driven.
+     *
+     * Defaults are safe out of the box: a caller that passes no options gets bounded, jittered retry.
+     *
+     * @param transaction - The transaction to commit
+     * @param options - Retry knobs; shares the {@link SyncOptions} vocabulary with `Collection.sync`.
+     */
+    commit(transaction: Transaction, options?: SyncOptions): Promise<void>;
+    /**
+     * Commit a transaction (single attempt): materialise a log entry from each collection's staged
      * pending actions, then orchestrate the distributed consensus (GATHER/PEND/COMMIT).
      *
-     * Called by TransactionSession.commit() after all statements have executed. The
+     * Called by {@link commit} (which wraps it in the backoff+jitter retry loop). The
      * staged mutations already live in each collection's tracker — applied either via
      * applyActions() (engine-driven path) or directly via Collection.act()/Tree.stage
      * (the vtab's deferred-DML path) — but in BOTH cases without a log entry yet, so
      * this method appends that entry here (see the inline note below) before pending,
      * and folds the committed transforms back into each collection's read cache.
      *
+     * On a clean stale loss (nothing durable, every tracker restored) it throws
+     * {@link CoordinatorStaleLossError} so the caller can retry; on a partial landing it throws
+     * {@link CoordinatorPartialCommitError} (not retryable).
+     *
      * @param transaction - The transaction to commit
      */
-    commit(transaction: Transaction): Promise<void>;
+    private commitOnce;
     /**
      * Rollback a transaction (undo only the given stampId's applied actions).
      *
@@ -81,27 +107,10 @@ export declare class TransactionCoordinator {
      * Clear read dependencies from all collections.
      */
     clearReadDependencies(): void;
-    /**
-     * 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.
-     */
-    private hashOperations;
-    /**
-     * 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
-     */
-    commitTransaction(context: TransactionContext): Promise<ExecutionResult>;
     /**
      * Execute a fully-formed transaction.
      *
-     * This can be called directly with a complete transaction (e.g., from Quereus),
-     * or indirectly via commitTransaction().
+     * This is called with a complete transaction (e.g., from Quereus).
      *
      * @param transaction - The transaction to execute
      * @param engine - The engine to use for executing the transaction
@@ -141,6 +150,12 @@ export declare class TransactionCoordinator {
      * @param superclusterNominees - Nominees for multi-collection consensus (null for single-collection)
      */
     private pendPhase;
+    /**
+     * Pend a single collection's transforms. Resolves with the collection id and its
+     * pended block ids on success; throws with a per-collection reason on failure so the
+     * fan-out in {@link pendPhase} can settle it as a rejection.
+     */
+    private pendCollection;
     /**
      * COMMIT phase: Commit to all critical blocks with retry for transient failures.
      *
@@ -149,6 +164,12 @@ export declare class TransactionCoordinator {
      * Returns which collections committed vs failed so the caller can do targeted cancel.
      */
     private commitPhase;
+    /**
+     * Commit a single collection's pended blocks, retrying transient failures up to three
+     * times (forward recovery). Always resolves — success is carried in the returned
+     * `committed` flag — so the fan-out in {@link commitPhase} can aggregate every result.
+     */
+    private commitCollection;
     /**
      * CANCEL phase: Cancel pending actions on affected blocks.
      *

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

@@ -1 +1 @@
-{"version":3,"file":"coordinator.d.ts","sourceRoot":"","sources":["../../../src/transaction/coordinator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAW,YAAY,EAAE,UAAU,EAAiE,MAAM,aAAa,CAAC;AACjJ,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAE5H,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAgBlD;;;;;;;;;GASG;AACH,qBAAa,sBAAsB;IAUjC,OAAO,CAAC,QAAQ,CAAC,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,WAAW;IAV7B,yFAAyF;IACzF,OAAO,CAAC,SAAS,CAIZ;IACL,OAAO,CAAC,cAAc,CAAK;gBAGT,UAAU,EAAE,WAAW,EACvB,WAAW,EAAE,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;IAGjE;;;;;;;;;OASG;IACG,YAAY,CACjB,OAAO,EAAE,iBAAiB,EAAE,EAC5B,OAAO,EAAE,MAAM,GACb,OAAO,CAAC,IAAI,CAAC;IAkBhB;;OAEG;YACW,eAAe;IAiB7B;;;;;;;;;;;;OAYG;IACG,MAAM,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;IAwGrD;;;;;;;;OAQG;IACG,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IA6C9C;;;;;;OAMG;IACH,aAAa,IAAI,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC;IAe9C;;;;;OAKG;IACH,eAAe,IAAI,IAAI;IAMvB;;OAEG;IACH,mBAAmB,IAAI,cAAc,EAAE;IAQvC;;OAEG;IACH,qBAAqB,IAAI,IAAI;IAM7B;;;;OAIG;YACW,cAAc;IAK5B;;;;;;;;OAQG;IACG,iBAAiB,CAAC,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC;IAkC9E;;;;;;;;;OASG;IACG,OAAO,CAAC,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC;IA2G7F;;;;OAIG;YACW,wBAAwB;IA+DtC;;;;;;;OAOG;YACW,qBAAqB;IAuDnC;;;;;;;OAOG;YACW,WAAW;IAgCzB;;;;;;;OAOG;YACW,SAAS;IAuDvB;;;;;;OAMG;YACW,WAAW;IA0EzB;;;;;OAKG;YACW,WAAW;CAWzB"}
+{"version":3,"file":"coordinator.d.ts","sourceRoot":"","sources":["../../../src/transaction/coordinator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAW,YAAY,EAAE,UAAU,EAAwC,MAAM,aAAa,CAAC;AACxH,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAE5H,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAgC1D;;;;;;;;;GASG;AACH,qBAAa,sBAAsB;IAUjC,OAAO,CAAC,QAAQ,CAAC,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,WAAW;IAV7B,yFAAyF;IACzF,OAAO,CAAC,SAAS,CAIZ;IACL,OAAO,CAAC,cAAc,CAAK;gBAGT,UAAU,EAAE,WAAW,EACvB,WAAW,EAAE,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;IAGjE;;;;;;;;;OASG;IACG,YAAY,CACjB,OAAO,EAAE,iBAAiB,EAAE,EAC5B,OAAO,EAAE,MAAM,GACb,OAAO,CAAC,IAAI,CAAC;IAkBhB;;OAEG;YACW,eAAe;IAiB7B;;;;;;;;;;;;;;;;;;;;OAoBG;IACG,MAAM,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;IA6D5E;;;;;;;;;;;;;;;;OAgBG;YACW,UAAU;IA0KxB;;;;;;;;OAQG;IACG,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IA6C9C;;;;;;OAMG;IACH,aAAa,IAAI,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC;IAe9C;;;;;OAKG;IACH,eAAe,IAAI,IAAI;IAMvB;;OAEG;IACH,mBAAmB,IAAI,cAAc,EAAE;IAQvC;;OAEG;IACH,qBAAqB,IAAI,IAAI;IAM7B;;;;;;;;OAQG;IACG,OAAO,CAAC,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,kBAAkB,GAAG,OAAO,CAAC,eAAe,CAAC;IA8I7F;;;;OAIG;YACW,wBAAwB;IA+DtC;;;;;;;OAOG;YACW,qBAAqB;IAwEnC;;;;;;;OAOG;YACW,WAAW;IAmCzB;;;;;;;OAOG;YACW,SAAS;IA2DvB;;;;OAIG;YACW,cAAc;IAuC5B;;;;;;OAMG;YACW,WAAW;IA2DzB;;;;OAIG;YACW,gBAAgB;IAuD9B;;;;;OAKG;YACW,WAAW;CAkBzB"}