@mosaic-code/prisma-deadlock-avoidance-tests 0.1.0

package/dist/extension.js

@@ -0,0 +1,322 @@
+import { Prisma } from '@prisma/client';
+import { TableLockGraph } from './graphs/table-graph.js';
+import { RowLockGraphs } from './graphs/row-graph.js';
+import { extractCaller } from './utils/caller-extractor.js';
+import { extractPrimaryKeys } from './utils/primary-key-extractor.js';
+import { inferTableFromSql, isLockingSql } from './utils/raw-query-parser.js';
+import { assertConsistentTableLocking as assertTableLocking, TableLockingAssertionError, } from './assertions/table-assertion.js';
+import { assertConsistentRowLocking as assertRowLocking, RowLockingAssertionError, } from './assertions/row-assertion.js';
+/**
+ * Operations that acquire locks on records
+ */
+const LOCKING_OPERATIONS = new Set([
+    'update',
+    'updateMany',
+    'delete',
+    'deleteMany',
+    'create',
+    'createMany',
+    'createManyAndReturn',
+    'upsert',
+]);
+let globalState = null;
+/**
+ * Get or create the global state instance
+ */
+function getGlobalState() {
+    if (!globalState) {
+        globalState = {
+            tableGraph: new TableLockGraph(),
+            rowGraphs: new RowLockGraphs(),
+            currentOperationTables: [],
+            currentLockedRecords: new Map(),
+            inBatch: false,
+        };
+    }
+    return globalState;
+}
+/**
+ * Start tracking a new transaction or batch of operations.
+ * Called automatically when $transaction is invoked.
+ */
+function startOperationBatch() {
+    const state = getGlobalState();
+    state.currentOperationTables = [];
+    state.currentLockedRecords.clear();
+    state.inBatch = true;
+}
+/**
+ * End the current operation batch.
+ * Called automatically when $transaction completes.
+ */
+function endOperationBatch() {
+    const state = getGlobalState();
+    state.currentOperationTables = [];
+    state.currentLockedRecords.clear();
+    state.inBatch = false;
+}
+/**
+ * Execute a function while tracking table ordering as a single batch.
+ * Called automatically by the $transaction wrapper.
+ */
+async function withOperationTracking(fn) {
+    startOperationBatch();
+    try {
+        return await fn();
+    }
+    finally {
+        endOperationBatch();
+    }
+}
+/**
+ * Record a table lock, creating edges from previously locked tables in the current batch
+ */
+function recordTableLock(table, state) {
+    const caller = extractCaller();
+    // Create edges from all previously locked tables to this one
+    for (const prevTable of state.currentOperationTables) {
+        if (prevTable !== table) {
+            state.tableGraph.addEdge(prevTable, table, caller);
+        }
+    }
+    // Add this table to the current operation's locked tables
+    if (!state.currentOperationTables.includes(table)) {
+        state.currentOperationTables.push(table);
+    }
+}
+/**
+ * Record row ordering from query results.
+ * Filters out records that have already been locked in the current transaction.
+ */
+function recordRowOrdering(table, result, state) {
+    const allKeys = extractPrimaryKeys(table, result);
+    if (allKeys.length === 0) {
+        return;
+    }
+    // Get or create the set of locked records for this table
+    let lockedRecords = state.currentLockedRecords.get(table);
+    if (!lockedRecords) {
+        lockedRecords = new Set();
+        state.currentLockedRecords.set(table, lockedRecords);
+    }
+    // Filter out records that have already been locked in this transaction
+    const newKeys = state.inBatch
+        ? allKeys.filter((key) => !lockedRecords.has(key))
+        : allKeys;
+    // Mark the new records as locked
+    for (const key of newKeys) {
+        lockedRecords.add(key);
+    }
+    // Only add to graph if we have multiple new keys (need ordering)
+    if (newKeys.length > 1) {
+        const caller = extractCaller();
+        state.rowGraphs.addRowOrdering(table, newKeys, caller);
+    }
+}
+/**
+ * Extract SQL string from raw query args
+ */
+function extractSqlFromArgs(args) {
+    if (!args)
+        return '';
+    if (typeof args === 'object' && args !== null) {
+        const argsObj = args;
+        if ('strings' in argsObj && Array.isArray(argsObj.strings)) {
+            return String(argsObj.strings[0] ?? '');
+        }
+        if ('0' in argsObj) {
+            return String(argsObj['0'] ?? '');
+        }
+    }
+    if (typeof args === 'string') {
+        return args;
+    }
+    return '';
+}
+/**
+ * Extract SQL from unsafe query args
+ */
+function extractSqlFromUnsafeArgs(args) {
+    if (Array.isArray(args) && args.length > 0) {
+        return String(args[0] ?? '');
+    }
+    return '';
+}
+/**
+ * Handle raw query tracking - extracts SQL, infers table, and records table lock.
+ * Logs a warning if table inference fails.
+ */
+function handleRawQuery(args, extractFn, enabled) {
+    if (!enabled)
+        return;
+    const sql = extractFn(args);
+    if (!sql)
+        return;
+    const table = inferTableFromSql(sql);
+    if (table && isLockingSql(sql)) {
+        const state = getGlobalState();
+        recordTableLock(table, state);
+    }
+    else if (isLockingSql(sql) && !table) {
+        // Log warning if this is a locking query but we couldn't infer the table
+        console.warn(`[prisma-deadlock-detection] Could not infer table name from raw query. ` +
+            `The query will not be tracked for deadlock detection. ` +
+            `Query: ${sql.slice(0, 100)}${sql.length > 100 ? '...' : ''}`);
+    }
+}
+/**
+ * Create the internal Prisma extension for query interception.
+ */
+function createDeadlockExtension(enabled) {
+    return Prisma.defineExtension({
+        name: 'prisma-deadlock-detection',
+        query: {
+            $allModels: {
+                async $allOperations({ model, operation, args, query }) {
+                    if (!enabled) {
+                        return query(args);
+                    }
+                    const state = getGlobalState();
+                    const isLocking = LOCKING_OPERATIONS.has(operation);
+                    // Record table lock before query execution
+                    if (isLocking) {
+                        recordTableLock(model, state);
+                    }
+                    // Execute the query
+                    const result = await query(args);
+                    // Record row ordering from result
+                    if (isLocking && result !== null && result !== undefined) {
+                        recordRowOrdering(model, result, state);
+                    }
+                    return result;
+                },
+            },
+            async $queryRaw({ args, query }) {
+                handleRawQuery(args, extractSqlFromArgs, enabled);
+                return query(args);
+            },
+            async $queryRawUnsafe({ args, query }) {
+                handleRawQuery(args, extractSqlFromUnsafeArgs, enabled);
+                return query(args);
+            },
+            async $executeRaw({ args, query }) {
+                handleRawQuery(args, extractSqlFromArgs, enabled);
+                return query(args);
+            },
+            async $executeRawUnsafe({ args, query }) {
+                handleRawQuery(args, extractSqlFromUnsafeArgs, enabled);
+                return query(args);
+            },
+        },
+    });
+}
+/**
+ * Wrap a Prisma client with deadlock detection.
+ * Automatically tracks table and row locking order across all transactions.
+ *
+ * Usage:
+ * ```typescript
+ * const prisma = withDeadlockDetection(new PrismaClient())
+ * ```
+ *
+ * @param client The PrismaClient instance to wrap
+ * @param config Optional configuration
+ * @returns A wrapped client with automatic transaction tracking
+ */
+export function withDeadlockDetection(client, config) {
+    if (process.env.NODE_ENV === 'production') {
+        console.warn('[@mosaic-code/prisma-deadlock-avoidance-tests] WARNING: This library is intended for test environments only. ' +
+            'Running in production may impact performance.');
+    }
+    const enabled = config?.enabled !== false;
+    // Apply the query interception extension
+    const extended = client.$extends(createDeadlockExtension(enabled));
+    // Wrap with proxy to intercept $transaction calls
+    return new Proxy(extended, {
+        get(target, prop) {
+            if (prop === '$transaction') {
+                // Return a wrapped $transaction method
+                return function (args) {
+                    const originalMethod = target.$transaction;
+                    // Check if this is an interactive transaction (callback-based)
+                    const isInteractive = typeof args === 'function';
+                    if (isInteractive && enabled) {
+                        // Automatically wrap the transaction callback with tracking
+                        return withOperationTracking(() => originalMethod.call(target, args));
+                    }
+                    // Batch transaction, disabled, or raw transaction - pass through
+                    return originalMethod.call(target, args);
+                };
+            }
+            // For all other properties, return the original value
+            const value = target[String(prop)];
+            // If it's a function, bind it to the target
+            return typeof value === 'function' ? value.bind(target) : value;
+        },
+    });
+}
+/**
+ * Assert that table locking has been consistent across all tracked operations.
+ * Throws TableLockingAssertionError if a cycle is detected.
+ */
+export function assertConsistentTableLocking() {
+    const state = getGlobalState();
+    assertTableLocking(state.tableGraph);
+}
+/**
+ * Assert that row locking has been consistent within tables.
+ * Throws RowLockingAssertionError if violations are detected.
+ *
+ * @param options Options controlling which tables to check and strictness mode
+ */
+export function assertConsistentRowLocking(options) {
+    const state = getGlobalState();
+    assertRowLocking(state.rowGraphs, options);
+}
+/**
+ * Assert no deadlock risk exists by checking both table and row locking consistency.
+ * This is a convenience function that calls both assertions.
+ *
+ * @param rowOptions Options for the row locking assertion
+ */
+export function assertNoDeadlockRisk(rowOptions) {
+    assertConsistentTableLocking();
+    assertConsistentRowLocking(rowOptions);
+}
+/**
+ * Reset all deadlock detection state.
+ * Call this between test runs if needed.
+ */
+export function resetDeadlockDetection() {
+    globalState = null;
+}
+/**
+ * Wrapper function for tracking operations from prisma-lock-for-update.
+ * Use this to wrap forUpdate calls so they're tracked in the deadlock detection graph.
+ *
+ * @param model The model name (e.g., 'User', 'Post')
+ * @param fn The async function that performs the forUpdate operation
+ * @returns The result of the operation
+ *
+ * @example
+ * ```typescript
+ * const user = await trackForUpdate('User', () =>
+ *   tx.user.findUniqueForUpdate({ where: { id: 1 } })
+ * )
+ * ```
+ */
+export async function trackForUpdate(model, fn) {
+    const state = getGlobalState();
+    // Record the table lock
+    recordTableLock(model, state);
+    // Execute the operation
+    const result = await fn();
+    // Extract and record row ordering from result
+    if (result !== null && result !== undefined) {
+        recordRowOrdering(model, result, state);
+    }
+    return result;
+}
+// Re-export error types for consumers
+export { TableLockingAssertionError, RowLockingAssertionError };
+//# sourceMappingURL=extension.js.map

package/dist/extension.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extension.js","sourceRoot":"","sources":["../src/extension.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAgB,MAAM,gBAAgB,CAAA;AAErD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AACxD,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAA;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAA;AAC7E,OAAO,EACL,4BAA4B,IAAI,kBAAkB,EAClD,0BAA0B,GAC3B,MAAM,iCAAiC,CAAA;AACxC,OAAO,EACL,0BAA0B,IAAI,gBAAgB,EAC9C,wBAAwB,GACzB,MAAM,+BAA+B,CAAA;AAEtC;;GAEG;AACH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,QAAQ;IACR,YAAY;IACZ,QAAQ;IACR,YAAY;IACZ,QAAQ;IACR,YAAY;IACZ,qBAAqB;IACrB,QAAQ;CACT,CAAC,CAAA;AAiBF,IAAI,WAAW,GAA+B,IAAI,CAAA;AAElD;;GAEG;AACH,SAAS,cAAc;IACrB,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,WAAW,GAAG;YACZ,UAAU,EAAE,IAAI,cAAc,EAAE;YAChC,SAAS,EAAE,IAAI,aAAa,EAAE;YAC9B,sBAAsB,EAAE,EAAE;YAC1B,oBAAoB,EAAE,IAAI,GAAG,EAAE;YAC/B,OAAO,EAAE,KAAK;SACf,CAAA;IACH,CAAC;IACD,OAAO,WAAW,CAAA;AACpB,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB;IAC1B,MAAM,KAAK,GAAG,cAAc,EAAE,CAAA;IAC9B,KAAK,CAAC,sBAAsB,GAAG,EAAE,CAAA;IACjC,KAAK,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAA;IAClC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAA;AACtB,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB;IACxB,MAAM,KAAK,GAAG,cAAc,EAAE,CAAA;IAC9B,KAAK,CAAC,sBAAsB,GAAG,EAAE,CAAA;IACjC,KAAK,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAA;IAClC,KAAK,CAAC,OAAO,GAAG,KAAK,CAAA;AACvB,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,qBAAqB,CAAI,EAAoB;IAC1D,mBAAmB,EAAE,CAAA;IACrB,IAAI,CAAC;QACH,OAAO,MAAM,EAAE,EAAE,CAAA;IACnB,CAAC;YAAS,CAAC;QACT,iBAAiB,EAAE,CAAA;IACrB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,KAAa,EAAE,KAA0B;IAChE,MAAM,MAAM,GAAG,aAAa,EAAE,CAAA;IAE9B,6DAA6D;IAC7D,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,sBAAsB,EAAE,CAAC;QACrD,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;YACxB,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QACpD,CAAC;IACH,CAAC;IAED,0DAA0D;IAC1D,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,KAAK,CAAC,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC1C,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CACxB,KAAa,EACb,MAAe,EACf,KAA0B;IAE1B,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACjD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAM;IACR,CAAC;IAED,yDAAyD;IACzD,IAAI,aAAa,GAAG,KAAK,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACzD,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,aAAa,GAAG,IAAI,GAAG,EAAE,CAAA;QACzB,KAAK,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAA;IACtD,CAAC;IAED,uEAAuE;IACvE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO;QAC3B,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,OAAO,CAAA;IAEX,iCAAiC;IACjC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACxB,CAAC;IAED,iEAAiE;IACjE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,MAAM,GAAG,aAAa,EAAE,CAAA;QAC9B,KAAK,CAAC,SAAS,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;IACxD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,IAAa;IACvC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAA;IAEpB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,MAAM,OAAO,GAAG,IAA+B,CAAA;QAC/C,IAAI,SAAS,IAAI,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3D,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;QACzC,CAAC;QACD,IAAI,GAAG,IAAI,OAAO,EAAE,CAAC;YACnB,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAA;QACnC,CAAC;IACH,CAAC;IAED,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAA;IACb,CAAC;IAED,OAAO,EAAE,CAAA;AACX,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAAC,IAAa;IAC7C,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;IAC9B,CAAC;IACD,OAAO,EAAE,CAAA;AACX,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CACrB,IAAa,EACb,SAAoC,EACpC,OAAgB;IAEhB,IAAI,CAAC,OAAO;QAAE,OAAM;IAEpB,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IAC3B,IAAI,CAAC,GAAG;QAAE,OAAM;IAEhB,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAA;IAEpC,IAAI,KAAK,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,cAAc,EAAE,CAAA;QAC9B,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC/B,CAAC;SAAM,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACvC,yEAAyE;QACzE,OAAO,CAAC,IAAI,CACV,yEAAyE;YACvE,wDAAwD;YACxD,UAAU,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAChE,CAAA;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAAC,OAAgB;IAC/C,OAAO,MAAM,CAAC,eAAe,CAAC;QAC5B,IAAI,EAAE,2BAA2B;QAEjC,KAAK,EAAE;YACL,UAAU,EAAE;gBACV,KAAK,CAAC,cAAc,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE;oBACpD,IAAI,CAAC,OAAO,EAAE,CAAC;wBACb,OAAO,KAAK,CAAC,IAAI,CAAC,CAAA;oBACpB,CAAC;oBAED,MAAM,KAAK,GAAG,cAAc,EAAE,CAAA;oBAC9B,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;oBAEnD,2CAA2C;oBAC3C,IAAI,SAAS,EAAE,CAAC;wBACd,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;oBAC/B,CAAC;oBAED,oBAAoB;oBACpB,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAA;oBAEhC,kCAAkC;oBAClC,IAAI,SAAS,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBACzD,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;oBACzC,CAAC;oBAED,OAAO,MAAM,CAAA;gBACf,CAAC;aACF;YAED,KAAK,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE;gBAC7B,cAAc,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,CAAC,CAAA;gBACjD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAA;YACpB,CAAC;YAED,KAAK,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE;gBACnC,cAAc,CAAC,IAAI,EAAE,wBAAwB,EAAE,OAAO,CAAC,CAAA;gBACvD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAA;YACpB,CAAC;YAED,KAAK,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE;gBAC/B,cAAc,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,CAAC,CAAA;gBACjD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAA;YACpB,CAAC;YAED,KAAK,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE;gBACrC,cAAc,CAAC,IAAI,EAAE,wBAAwB,EAAE,OAAO,CAAC,CAAA;gBACvD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAA;YACpB,CAAC;SACF;KACF,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAS,EACT,MAAgC;IAEhC,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;QAC1C,OAAO,CAAC,IAAI,CACV,+GAA+G;YAC7G,+CAA+C,CAClD,CAAA;IACH,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,EAAE,OAAO,KAAK,KAAK,CAAA;IAEzC,yCAAyC;IACzC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAiB,CAAA;IAElF,kDAAkD;IAClD,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE;QACzB,GAAG,CAAC,MAAM,EAAE,IAAI;YACd,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;gBAC5B,uCAAuC;gBACvC,OAAO,UAAU,IAAa;oBAC5B,MAAM,cAAc,GAAG,MAAM,CAAC,YAAmD,CAAA;oBAEjF,+DAA+D;oBAC/D,MAAM,aAAa,GAAG,OAAO,IAAI,KAAK,UAAU,CAAA;oBAEhD,IAAI,aAAa,IAAI,OAAO,EAAE,CAAC;wBAC7B,4DAA4D;wBAC5D,OAAO,qBAAqB,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAA;oBACvE,CAAC;oBAED,iEAAiE;oBACjE,OAAO,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;gBAC1C,CAAC,CAAA;YACH,CAAC;YAED,sDAAsD;YACtD,MAAM,KAAK,GAAI,MAAkC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;YAE/D,4CAA4C;YAC5C,OAAO,OAAO,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;QACjE,CAAC;KACF,CAAC,CAAA;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B;IAC1C,MAAM,KAAK,GAAG,cAAc,EAAE,CAAA;IAC9B,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;AACtC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CAAC,OAA2B;IACpE,MAAM,KAAK,GAAG,cAAc,EAAE,CAAA;IAC9B,gBAAgB,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;AAC5C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,UAA8B;IACjE,4BAA4B,EAAE,CAAA;IAC9B,0BAA0B,CAAC,UAAU,CAAC,CAAA;AACxC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,WAAW,GAAG,IAAI,CAAA;AACpB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,KAAa,EACb,EAAoB;IAEpB,MAAM,KAAK,GAAG,cAAc,EAAE,CAAA;IAE9B,wBAAwB;IACxB,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAE7B,wBAAwB;IACxB,MAAM,MAAM,GAAG,MAAM,EAAE,EAAE,CAAA;IAEzB,8CAA8C;IAC9C,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC5C,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;IACzC,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC;AAED,sCAAsC;AACtC,OAAO,EAAE,0BAA0B,EAAE,wBAAwB,EAAE,CAAA"}

package/dist/graphs/row-graph.d.ts

@@ -0,0 +1,61 @@
+import { Graph } from '@dagrejs/graphlib';
+import type { CallerInfo, RowCycleInfo, StrictMode } from '../types.js';
+/**
+ * Manages directed graphs of row lock ordering, one per table.
+ * Nodes represent primary keys, edges represent "row A was locked before row B".
+ */
+export declare class RowLockGraphs {
+    private graphs;
+    /**
+     * Get or create the graph for a specific table
+     */
+    private getOrCreateGraph;
+    /**
+     * Add row ordering edges for a sequence of locked rows.
+     * Creates edges between consecutive rows: [a, b, c] -> a->b, b->c
+     */
+    addRowOrdering(table: string, orderedKeys: string[], caller: CallerInfo): void;
+    /**
+     * Merge row graphs from another instance into this one
+     */
+    mergeFrom(other: RowLockGraphs): void;
+    /**
+     * Find cycles in a specific table's row graph
+     */
+    findCycles(table: string): string[][];
+    /**
+     * Check if all edges in a table's graph follow the specified ordering direction.
+     * Only makes sense for numeric/comparable primary keys.
+     */
+    private checkOrdering;
+    /**
+     * Check if all edges in a table's graph follow ascending order.
+     * Only makes sense for numeric/comparable primary keys.
+     */
+    checkAscendingOrder(table: string): boolean;
+    /**
+     * Check if all edges in a table's graph follow descending order.
+     */
+    checkDescendingOrder(table: string): boolean;
+    /**
+     * Check if a table's graph satisfies the given strict mode
+     */
+    checkStrictOrdering(table: string, mode: StrictMode): RowCycleInfo | null;
+    /**
+     * Get all callers from a table's graph
+     */
+    private getAllCallers;
+    /**
+     * Get all tables that have row graphs
+     */
+    getAllTables(): string[];
+    /**
+     * Get the graph for a specific table (for testing)
+     */
+    getGraph(table: string): Graph | undefined;
+    /**
+     * Clear all data from all graphs
+     */
+    reset(): void;
+}
+//# sourceMappingURL=row-graph.d.ts.map

package/dist/graphs/row-graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"row-graph.d.ts","sourceRoot":"","sources":["../../src/graphs/row-graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAO,MAAM,mBAAmB,CAAA;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAgB,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAGrF;;;GAGG;AACH,qBAAa,aAAa;IACxB,OAAO,CAAC,MAAM,CAAgC;IAE9C;;OAEG;IACH,OAAO,CAAC,gBAAgB;IASxB;;;OAGG;IACH,cAAc,CACZ,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,MAAM,EAAE,EACrB,MAAM,EAAE,UAAU,GACjB,IAAI;IAuCP;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,aAAa,GAAG,IAAI;IAWrC;;OAEG;IACH,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE;IAMrC;;;OAGG;IACH,OAAO,CAAC,aAAa;IA8BrB;;;OAGG;IACH,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO;IAI3C;;OAEG;IACH,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO;IAI5C;;OAEG;IACH,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,YAAY,GAAG,IAAI;IAqEzE;;OAEG;IACH,OAAO,CAAC,aAAa;IAqBrB;;OAEG;IACH,YAAY,IAAI,MAAM,EAAE;IAIxB;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAI1C;;OAEG;IACH,KAAK,IAAI,IAAI;CAGd"}

package/dist/graphs/row-graph.js

@@ -0,0 +1,231 @@
+import { Graph, alg } from '@dagrejs/graphlib';
+import { addCallerIfUnique, callerKey } from '../utils/caller-extractor.js';
+/**
+ * Manages directed graphs of row lock ordering, one per table.
+ * Nodes represent primary keys, edges represent "row A was locked before row B".
+ */
+export class RowLockGraphs {
+    graphs = new Map();
+    /**
+     * Get or create the graph for a specific table
+     */
+    getOrCreateGraph(table) {
+        let graph = this.graphs.get(table);
+        if (!graph) {
+            graph = new Graph({ directed: true });
+            this.graphs.set(table, graph);
+        }
+        return graph;
+    }
+    /**
+     * Add row ordering edges for a sequence of locked rows.
+     * Creates edges between consecutive rows: [a, b, c] -> a->b, b->c
+     */
+    addRowOrdering(table, orderedKeys, caller) {
+        if (orderedKeys.length < 2) {
+            // Need at least 2 rows to create an ordering edge
+            return;
+        }
+        const graph = this.getOrCreateGraph(table);
+        // Create edges between consecutive rows
+        for (let i = 0; i < orderedKeys.length - 1; i++) {
+            const from = orderedKeys[i];
+            const to = orderedKeys[i + 1];
+            // Skip self-edges (shouldn't happen with unique PKs, but be safe)
+            if (from === to)
+                continue;
+            // Ensure nodes exist
+            if (!graph.hasNode(from)) {
+                graph.setNode(from);
+            }
+            if (!graph.hasNode(to)) {
+                graph.setNode(to);
+            }
+            // Get or create edge label
+            const existingLabel = graph.edge(from, to);
+            if (existingLabel) {
+                // Deduplicate callers by file:line
+                addCallerIfUnique(existingLabel.callers, caller);
+            }
+            else {
+                graph.setEdge(from, to, {
+                    callers: [caller],
+                    table,
+                });
+            }
+        }
+    }
+    /**
+     * Merge row graphs from another instance into this one
+     */
+    mergeFrom(other) {
+        for (const [table, otherGraph] of other.graphs) {
+            for (const edge of otherGraph.edges()) {
+                const label = otherGraph.edge(edge);
+                for (const caller of label.callers) {
+                    this.addRowOrdering(table, [edge.v, edge.w], caller);
+                }
+            }
+        }
+    }
+    /**
+     * Find cycles in a specific table's row graph
+     */
+    findCycles(table) {
+        const graph = this.graphs.get(table);
+        if (!graph)
+            return [];
+        return alg.findCycles(graph);
+    }
+    /**
+     * Check if all edges in a table's graph follow the specified ordering direction.
+     * Only makes sense for numeric/comparable primary keys.
+     */
+    checkOrdering(table, direction) {
+        const graph = this.graphs.get(table);
+        if (!graph)
+            return true;
+        for (const edge of graph.edges()) {
+            // Try to compare as numbers
+            const fromNum = Number(edge.v);
+            const toNum = Number(edge.w);
+            if (!isNaN(fromNum) && !isNaN(toNum)) {
+                if (direction === 'ASC' && fromNum > toNum) {
+                    return false;
+                }
+                if (direction === 'DESC' && fromNum < toNum) {
+                    return false;
+                }
+            }
+            else {
+                // String comparison
+                if (direction === 'ASC' && edge.v > edge.w) {
+                    return false;
+                }
+                if (direction === 'DESC' && edge.v < edge.w) {
+                    return false;
+                }
+            }
+        }
+        return true;
+    }
+    /**
+     * Check if all edges in a table's graph follow ascending order.
+     * Only makes sense for numeric/comparable primary keys.
+     */
+    checkAscendingOrder(table) {
+        return this.checkOrdering(table, 'ASC');
+    }
+    /**
+     * Check if all edges in a table's graph follow descending order.
+     */
+    checkDescendingOrder(table) {
+        return this.checkOrdering(table, 'DESC');
+    }
+    /**
+     * Check if a table's graph satisfies the given strict mode
+     */
+    checkStrictOrdering(table, mode) {
+        const cycles = this.findCycles(table);
+        // Cycles are always a violation
+        if (cycles.length > 0) {
+            const graph = this.graphs.get(table);
+            const cycle = cycles[0];
+            const callers = [];
+            // Collect callers from cycle edges
+            for (let i = 0; i < cycle.length; i++) {
+                const from = cycle[i];
+                const to = cycle[(i + 1) % cycle.length];
+                const label = graph.edge(from, to);
+                if (label) {
+                    callers.push(...label.callers);
+                }
+            }
+            return {
+                table,
+                primaryKeys: cycle.map((k) => (isNaN(Number(k)) ? k : Number(k))),
+                callers,
+                message: `Cycle detected in row ordering`,
+            };
+        }
+        // No strict ordering required
+        if (mode === false) {
+            return null;
+        }
+        // Check specific ordering
+        if (mode === 'ASC') {
+            if (!this.checkAscendingOrder(table)) {
+                return {
+                    table,
+                    primaryKeys: [],
+                    callers: this.getAllCallers(table),
+                    message: `Row ordering is not consistently ascending`,
+                };
+            }
+        }
+        else if (mode === 'DESC') {
+            if (!this.checkDescendingOrder(table)) {
+                return {
+                    table,
+                    primaryKeys: [],
+                    callers: this.getAllCallers(table),
+                    message: `Row ordering is not consistently descending`,
+                };
+            }
+        }
+        else if (mode === true) {
+            // Must be either all ASC or all DESC
+            const isAsc = this.checkAscendingOrder(table);
+            const isDesc = this.checkDescendingOrder(table);
+            if (!isAsc && !isDesc) {
+                return {
+                    table,
+                    primaryKeys: [],
+                    callers: this.getAllCallers(table),
+                    message: `Row ordering is neither consistently ascending nor descending`,
+                };
+            }
+        }
+        return null;
+    }
+    /**
+     * Get all callers from a table's graph
+     */
+    getAllCallers(table) {
+        const graph = this.graphs.get(table);
+        if (!graph)
+            return [];
+        const callers = [];
+        const seen = new Set();
+        for (const edge of graph.edges()) {
+            const label = graph.edge(edge);
+            for (const caller of label.callers) {
+                const key = callerKey(caller);
+                if (!seen.has(key)) {
+                    seen.add(key);
+                    callers.push(caller);
+                }
+            }
+        }
+        return callers;
+    }
+    /**
+     * Get all tables that have row graphs
+     */
+    getAllTables() {
+        return Array.from(this.graphs.keys());
+    }
+    /**
+     * Get the graph for a specific table (for testing)
+     */
+    getGraph(table) {
+        return this.graphs.get(table);
+    }
+    /**
+     * Clear all data from all graphs
+     */
+    reset() {
+        this.graphs.clear();
+    }
+}
+//# sourceMappingURL=row-graph.js.map

package/dist/graphs/row-graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"row-graph.js","sourceRoot":"","sources":["../../src/graphs/row-graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAA;AAE9C,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAA;AAE3E;;;GAGG;AACH,MAAM,OAAO,aAAa;IAChB,MAAM,GAAuB,IAAI,GAAG,EAAE,CAAA;IAE9C;;OAEG;IACK,gBAAgB,CAAC,KAAa;QACpC,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAClC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,KAAK,GAAG,IAAI,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAA;YACrC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC/B,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAED;;;OAGG;IACH,cAAc,CACZ,KAAa,EACb,WAAqB,EACrB,MAAkB;QAElB,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,kDAAkD;YAClD,OAAM;QACR,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAA;QAE1C,wCAAwC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;YAC3B,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YAE7B,kEAAkE;YAClE,IAAI,IAAI,KAAK,EAAE;gBAAE,SAAQ;YAEzB,qBAAqB;YACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;YACrB,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBACvB,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YACnB,CAAC;YAED,2BAA2B;YAC3B,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAA6B,CAAA;YAEtE,IAAI,aAAa,EAAE,CAAC;gBAClB,mCAAmC;gBACnC,iBAAiB,CAAC,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;YAClD,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE;oBACtB,OAAO,EAAE,CAAC,MAAM,CAAC;oBACjB,KAAK;iBACiB,CAAC,CAAA;YAC3B,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,KAAoB;QAC5B,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YAC/C,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,EAAE,CAAC;gBACtC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAiB,CAAA;gBACnD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACnC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;gBACtD,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,KAAa;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACpC,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,CAAA;QACrB,OAAO,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IAED;;;OAGG;IACK,aAAa,CAAC,KAAa,EAAE,SAAyB;QAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACpC,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAA;QAEvB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;YACjC,4BAA4B;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAE5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,IAAI,SAAS,KAAK,KAAK,IAAI,OAAO,GAAG,KAAK,EAAE,CAAC;oBAC3C,OAAO,KAAK,CAAA;gBACd,CAAC;gBACD,IAAI,SAAS,KAAK,MAAM,IAAI,OAAO,GAAG,KAAK,EAAE,CAAC;oBAC5C,OAAO,KAAK,CAAA;gBACd,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,oBAAoB;gBACpB,IAAI,SAAS,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;oBAC3C,OAAO,KAAK,CAAA;gBACd,CAAC;gBACD,IAAI,SAAS,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;oBAC5C,OAAO,KAAK,CAAA;gBACd,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;OAGG;IACH,mBAAmB,CAAC,KAAa;QAC/B,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IACzC,CAAC;IAED;;OAEG;IACH,oBAAoB,CAAC,KAAa;QAChC,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC1C,CAAC;IAED;;OAEG;IACH,mBAAmB,CAAC,KAAa,EAAE,IAAgB;QACjD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;QAErC,gCAAgC;QAChC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE,CAAA;YACrC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;YACvB,MAAM,OAAO,GAAiB,EAAE,CAAA;YAEhC,mCAAmC;YACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;gBACrB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAA;gBACxC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAA6B,CAAA;gBAC9D,IAAI,KAAK,EAAE,CAAC;oBACV,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;gBAChC,CAAC;YACH,CAAC;YAED,OAAO;gBACL,KAAK;gBACL,WAAW,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjE,OAAO;gBACP,OAAO,EAAE,gCAAgC;aAC1C,CAAA;QACH,CAAC;QAED,8BAA8B;QAC9B,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,OAAO,IAAI,CAAA;QACb,CAAC;QAED,0BAA0B;QAC1B,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,OAAO;oBACL,KAAK;oBACL,WAAW,EAAE,EAAE;oBACf,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;oBAClC,OAAO,EAAE,4CAA4C;iBACtD,CAAA;YACH,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,KAAK;oBACL,WAAW,EAAE,EAAE;oBACf,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;oBAClC,OAAO,EAAE,6CAA6C;iBACvD,CAAA;YACH,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,qCAAqC;YACrC,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAA;YAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAA;YAE/C,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBACtB,OAAO;oBACL,KAAK;oBACL,WAAW,EAAE,EAAE;oBACf,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;oBAClC,OAAO,EAAE,+DAA+D;iBACzE,CAAA;YACH,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,KAAa;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACpC,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,CAAA;QAErB,MAAM,OAAO,GAAiB,EAAE,CAAA;QAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAE9B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAiB,CAAA;YAC9C,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACnC,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;gBAC7B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;oBACb,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBACtB,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAA;IAChB,CAAC;IAED;;OAEG;IACH,YAAY;QACV,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;IACvC,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,KAAa;QACpB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAC/B,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAA;IACrB,CAAC;CACF"}