@quereus/quereus 2.8.0 → 2.9.0

package/dist/src/runtime/emit/asof-scan.js

@@ -0,0 +1,467 @@
+import { emitPlanNode } from '../emitters.js';
+import { createLogger } from '../../common/logger.js';
+import { buildRowDescriptor } from '../../util/row-descriptor.js';
+import { createRowSlot } from '../context-helpers.js';
+import { compareSqlValuesFast, BINARY_COLLATION } from '../../util/comparison.js';
+import { resolveKeyNormalizer, serializeRowKey } from '../../util/key-serializer.js';
+import { joinOutputRow } from './join-output.js';
+const log = createLogger('runtime:emit:asof-scan');
+function resolveSetup(plan, ctx) {
+    const leftAttrs = plan.left.getAttributes();
+    const rightAttrs = plan.right.getAttributes();
+    const leftRowDescriptor = buildRowDescriptor(leftAttrs);
+    const rightRowDescriptor = buildRowDescriptor(rightAttrs);
+    const leftMatchIdx = leftAttrs.findIndex(a => a.id === plan.matchAttr.leftAttrId);
+    const rightMatchIdx = rightAttrs.findIndex(a => a.id === plan.matchAttr.rightAttrId);
+    if (leftMatchIdx === -1 || rightMatchIdx === -1) {
+        throw new Error(`AsofScan: could not resolve match-attr ids ${plan.matchAttr.leftAttrId}/${plan.matchAttr.rightAttrId}`);
+    }
+    const matchCollationName = leftAttrs[leftMatchIdx].type.collationName ?? rightAttrs[rightMatchIdx].type.collationName;
+    const matchCollation = matchCollationName ? ctx.resolveCollation(matchCollationName) : BINARY_COLLATION;
+    const leftPartitionIndices = [];
+    const rightPartitionIndices = [];
+    const partitionCollations = [];
+    const keyNormalizers = [];
+    for (const p of plan.partitionAttrs) {
+        const leftIdx = leftAttrs.findIndex(a => a.id === p.leftAttrId);
+        const rightIdx = rightAttrs.findIndex(a => a.id === p.rightAttrId);
+        if (leftIdx === -1 || rightIdx === -1) {
+            throw new Error(`AsofScan: could not resolve partition-attr ids ${p.leftAttrId}/${p.rightAttrId}`);
+        }
+        leftPartitionIndices.push(leftIdx);
+        rightPartitionIndices.push(rightIdx);
+        const collationName = leftAttrs[leftIdx].type.collationName ?? rightAttrs[rightIdx].type.collationName;
+        partitionCollations.push(collationName ? ctx.resolveCollation(collationName) : BINARY_COLLATION);
+        keyNormalizers.push(resolveKeyNormalizer(collationName));
+    }
+    const rightOutputColumnIndices = plan.getRightOutputColumnIndices();
+    const projectedRightColCount = rightOutputColumnIndices.length;
+    const projectRight = (row) => {
+        const out = new Array(projectedRightColCount);
+        for (let i = 0; i < projectedRightColCount; i++) {
+            out[i] = row[rightOutputColumnIndices[i]];
+        }
+        return out;
+    };
+    return {
+        leftMatchIdx,
+        rightMatchIdx,
+        matchCollation,
+        leftPartitionIndices,
+        rightPartitionIndices,
+        partitionCollations,
+        keyNormalizers,
+        rightOutputColumnIndices,
+        projectedRightColCount,
+        outerJoinType: plan.outer ? 'left' : 'inner',
+        strict: plan.strict,
+        direction: plan.direction,
+        leftRowDescriptor,
+        rightRowDescriptor,
+        projectRight,
+    };
+}
+/**
+ * Dispatch on `plan.strategy` to the appropriate emitter. The strategy is
+ * chosen by `rule-asof-strategy-select` during optimization; runtime carries
+ * it through verbatim.
+ */
+export function emitAsofScan(plan, ctx) {
+    return plan.strategy === 'merge'
+        ? emitAsofScanMerge(plan, ctx)
+        : emitAsofScanHash(plan, ctx);
+}
+/**
+ * Hash-bucketed asof scan.
+ *
+ * Algorithm:
+ * 1. Bucket the right input by partition key (single bucket if no partition).
+ *    Within each bucket, rows arrive in monotonicOn(matchAttr, asc) order from
+ *    the right access plan. Right rows with NULL match values are dropped.
+ * 2. For each left row:
+ *    - Look up its partition's bucket. If absent, emit NULL-padded (outer) or
+ *      drop (inner).
+ *    - 'desc' direction (latest right ≤ left.match): cursor starts at -1 and
+ *      advances forward while the next bucket row's match still qualifies
+ *      (≤ left.match, or < when strict). The cursor sits on the last
+ *      qualifying row.
+ *    - 'asc' direction (earliest right ≥ left.match): cursor starts at 0 and
+ *      advances forward while the current bucket row's match is too small
+ *      (< left.match, or ≤ when strict). The cursor sits on the first
+ *      qualifying row, or past-the-end when no row qualifies.
+ *    - Emit (left, projected right) when the cursor lands on a match;
+ *      otherwise NULL-pad (outer) or drop (inner).
+ * 3. Left rows with NULL match values are NULL-padded (outer) or dropped.
+ *
+ * Memory: O(R). Latency: all R right rows must arrive before the first emit.
+ */
+function emitAsofScanHash(plan, ctx) {
+    const setup = resolveSetup(plan, ctx);
+    const { leftMatchIdx, rightMatchIdx, matchCollation, leftPartitionIndices, rightPartitionIndices, keyNormalizers, projectedRightColCount, outerJoinType, strict, direction, leftRowDescriptor, rightRowDescriptor, projectRight, } = setup;
+    async function* run(rctx, leftSource, rightSource) {
+        log('Starting %s asof scan [hash]: direction=%s, %d partition keys, strict=%s', plan.outer ? 'LEFT' : 'INNER', direction, plan.partitionAttrs.length, strict);
+        const leftSlot = createRowSlot(rctx, leftRowDescriptor);
+        const rightSlot = createRowSlot(rctx, rightRowDescriptor);
+        try {
+            // Bucket right rows by partition key. Right rows with NULL match are dropped;
+            // those with NULL partition values are dropped (sentinel null key).
+            const buckets = new Map();
+            let rightCount = 0;
+            for await (const row of rightSource) {
+                if (row[rightMatchIdx] === null)
+                    continue;
+                const pk = serializeRowKey(row, rightPartitionIndices, keyNormalizers);
+                if (pk === null)
+                    continue; // NULL partition value — never matches
+                let bucket = buckets.get(pk);
+                if (!bucket) {
+                    bucket = [];
+                    buckets.set(pk, bucket);
+                }
+                bucket.push(row);
+                rightCount++;
+            }
+            log('Right side bucketed: %d rows in %d buckets', rightCount, buckets.size);
+            // Per-bucket cursor positions (the index of the latest row whose match ≤ current left.match).
+            // -1 means "before the first row" (no match yet).
+            const cursors = new Map();
+            for await (const leftRow of leftSource) {
+                leftSlot.set(leftRow);
+                const leftMatch = leftRow[leftMatchIdx];
+                if (leftMatch === null) {
+                    // Left match is NULL — three-valued logic excludes it from any match.
+                    const padding = joinOutputRow(outerJoinType, false, false, leftRow, projectedRightColCount, rightSlot);
+                    if (padding)
+                        yield padding;
+                    continue;
+                }
+                const pk = serializeRowKey(leftRow, leftPartitionIndices, keyNormalizers);
+                if (pk === null) {
+                    // NULL partition value — bucket can't be matched.
+                    const padding = joinOutputRow(outerJoinType, false, false, leftRow, projectedRightColCount, rightSlot);
+                    if (padding)
+                        yield padding;
+                    continue;
+                }
+                const bucket = buckets.get(pk);
+                if (!bucket || bucket.length === 0) {
+                    const padding = joinOutputRow(outerJoinType, false, false, leftRow, projectedRightColCount, rightSlot);
+                    if (padding)
+                        yield padding;
+                    continue;
+                }
+                const initialCursor = direction === 'desc' ? -1 : 0;
+                let cursor = cursors.get(pk) ?? initialCursor;
+                let matchedRight;
+                if (direction === 'desc') {
+                    // Cursor is the index of the last qualifying row (or -1 before any).
+                    // Advance while bucket[cursor+1].match still qualifies (≤ left.match, or <).
+                    while (cursor + 1 < bucket.length) {
+                        const candidate = bucket[cursor + 1];
+                        const cmp = compareSqlValuesFast(candidate[rightMatchIdx], leftMatch, matchCollation);
+                        if (strict ? cmp < 0 : cmp <= 0)
+                            cursor++;
+                        else
+                            break;
+                    }
+                    cursors.set(pk, cursor);
+                    if (cursor >= 0)
+                        matchedRight = bucket[cursor];
+                }
+                else {
+                    // 'asc': cursor is the index of the first qualifying row (or bucket.length when none).
+                    // Advance while bucket[cursor].match is still too small (< left.match, or ≤).
+                    while (cursor < bucket.length) {
+                        const candidate = bucket[cursor];
+                        const cmp = compareSqlValuesFast(candidate[rightMatchIdx], leftMatch, matchCollation);
+                        if (strict ? cmp <= 0 : cmp < 0)
+                            cursor++;
+                        else
+                            break;
+                    }
+                    cursors.set(pk, cursor);
+                    if (cursor < bucket.length)
+                        matchedRight = bucket[cursor];
+                }
+                if (!matchedRight) {
+                    // No row in this bucket qualifies for the current left.match.
+                    const padding = joinOutputRow(outerJoinType, false, false, leftRow, projectedRightColCount, rightSlot);
+                    if (padding)
+                        yield padding;
+                    continue;
+                }
+                rightSlot.set(matchedRight);
+                const projectedRight = projectRight(matchedRight);
+                yield [...leftRow, ...projectedRight];
+            }
+        }
+        finally {
+            leftSlot.close();
+            rightSlot.close();
+        }
+    }
+    const leftInstruction = emitPlanNode(plan.left, ctx);
+    const rightInstruction = emitPlanNode(plan.right, ctx);
+    return {
+        params: [leftInstruction, rightInstruction],
+        run: run,
+        note: `${plan.outer ? 'left' : 'inner'} asof scan [hash]${strict ? ' strict' : ''}`,
+    };
+}
+/**
+ * Co-streaming (merge-by-partition-key) asof scan.
+ *
+ * Both inputs must be pre-ordered by `[partition cols..., matchAttr]` —
+ * `rule-asof-strategy-select` validates this against the children's
+ * `physical.ordering` before promoting the strategy.
+ *
+ * Algorithm:
+ * 1. Walk both iterators with peek-1 lookahead.
+ * 2. For each left row in turn:
+ *    - Skip (padding/drop) NULL-match or NULL-partition left rows.
+ *    - On entering a new partition: drain right of NULLs and rows in earlier
+ *      partitions; reset the per-partition `descMatched` state.
+ *    - Run the per-row inner loop:
+ *      • `'desc'` (latest right ≤ left.match): consume right rows while
+ *        next.matchAttr still qualifies. The most recently consumed
+ *        qualifier persists across left rows in the same partition.
+ *      • `'asc'`  (earliest right ≥ left.match): consume right rows while
+ *        next.matchAttr is too small; the first qualifier is read off peek
+ *        but NOT consumed (it may match subsequent left rows).
+ * 3. Emit (left, projected right) on a match; pad/drop on miss.
+ *
+ * Memory: O(1) (one row of state per side plus one saved partition match).
+ * Latency: emits as left rows arrive.
+ */
+function emitAsofScanMerge(plan, ctx) {
+    const setup = resolveSetup(plan, ctx);
+    const { leftMatchIdx, rightMatchIdx, matchCollation, leftPartitionIndices, rightPartitionIndices, partitionCollations, projectedRightColCount, outerJoinType, strict, direction, leftRowDescriptor, rightRowDescriptor, projectRight, } = setup;
+    const partitionLen = plan.partitionAttrs.length;
+    // All ordering positions in the recognized merge case agree on direction
+    // across left and right; the rule validated this. We need the per-position
+    // direction to invert comparisons so "right is behind" remains consistent
+    // under descending partition ordering. Read off the left-side ordering
+    // positions [0..partitionLen) directly at emit time; if the rule promoted
+    // to merge, they exist.
+    const leftOrdering = plan.left.physical.ordering ?? [];
+    const partitionDescending = [];
+    for (let i = 0; i < partitionLen; i++) {
+        partitionDescending.push(leftOrdering[i]?.desc ?? false);
+    }
+    function hasNullPartitionLeft(row) {
+        for (const idx of leftPartitionIndices) {
+            if (row[idx] === null)
+                return true;
+        }
+        return false;
+    }
+    function hasNullPartitionRight(row) {
+        for (const idx of rightPartitionIndices) {
+            if (row[idx] === null)
+                return true;
+        }
+        return false;
+    }
+    /**
+     * Compare partition tuples drawn from a left row and a right row, using
+     * per-position collations and the agreed direction. Returns negative when
+     * left's partition is "before" right's in the agreed direction, positive
+     * when "after", zero when equal.
+     */
+    function comparePartitions(leftRow, rightRow) {
+        for (let i = 0; i < partitionLen; i++) {
+            const a = leftRow[leftPartitionIndices[i]];
+            const b = rightRow[rightPartitionIndices[i]];
+            let c = compareSqlValuesFast(a, b, partitionCollations[i]);
+            if (partitionDescending[i])
+                c = -c;
+            if (c !== 0)
+                return c;
+        }
+        return 0;
+    }
+    /** Variant of `comparePartitions` for two left rows (e.g. tracking the active partition). */
+    function compareLeftPartitions(a, b) {
+        for (let i = 0; i < partitionLen; i++) {
+            const idx = leftPartitionIndices[i];
+            let c = compareSqlValuesFast(a[idx], b[idx], partitionCollations[i]);
+            if (partitionDescending[i])
+                c = -c;
+            if (c !== 0)
+                return c;
+        }
+        return 0;
+    }
+    async function* run(rctx, leftSource, rightSource) {
+        log('Starting %s asof scan [merge]: direction=%s, %d partition keys, strict=%s', plan.outer ? 'LEFT' : 'INNER', direction, partitionLen, strict);
+        const leftSlot = createRowSlot(rctx, leftRowDescriptor);
+        const rightSlot = createRowSlot(rctx, rightRowDescriptor);
+        const leftIter = peekableAsyncIterator(leftSource);
+        const rightIter = peekableAsyncIterator(rightSource);
+        // Per-partition state. `activePartitionRow` is the left row that
+        // established the current partition's identity; on a partition change
+        // we reset `descMatched` and drain right.
+        let activePartitionRow;
+        let descMatched;
+        try {
+            while (true) {
+                const leftRow = await leftIter.peek();
+                if (!leftRow)
+                    break;
+                // NULL match or partition on left: pad/drop and advance.
+                if (leftRow[leftMatchIdx] === null || hasNullPartitionLeft(leftRow)) {
+                    leftSlot.set(leftRow);
+                    const padding = joinOutputRow(outerJoinType, false, false, leftRow, projectedRightColCount, rightSlot);
+                    if (padding)
+                        yield padding;
+                    leftIter.consume();
+                    continue;
+                }
+                // Partition transition?
+                const partitionChanged = !activePartitionRow ||
+                    compareLeftPartitions(activePartitionRow, leftRow) !== 0;
+                if (partitionChanged) {
+                    descMatched = undefined;
+                    activePartitionRow = leftRow;
+                    // Drain right of NULLs and rows in earlier partitions.
+                    while (true) {
+                        const r = await rightIter.peek();
+                        if (!r)
+                            break;
+                        if (r[rightMatchIdx] === null || hasNullPartitionRight(r)) {
+                            rightIter.consume();
+                            continue;
+                        }
+                        const cmpP = comparePartitions(leftRow, r);
+                        if (cmpP > 0) {
+                            rightIter.consume();
+                            continue;
+                        }
+                        break;
+                    }
+                }
+                // Run the per-leftRow inner loop.
+                leftSlot.set(leftRow);
+                const leftMatch = leftRow[leftMatchIdx];
+                let matched;
+                if (direction === 'desc') {
+                    // Advance while next-right's matchAttr still qualifies (≤, or < when strict).
+                    // `descMatched` persists across consecutive same-partition left rows.
+                    while (true) {
+                        const r = await rightIter.peek();
+                        if (!r)
+                            break;
+                        if (r[rightMatchIdx] === null || hasNullPartitionRight(r)) {
+                            rightIter.consume();
+                            continue;
+                        }
+                        const cmpP = comparePartitions(leftRow, r);
+                        if (cmpP !== 0)
+                            break; // partition advanced past current
+                        const cmpM = compareSqlValuesFast(r[rightMatchIdx], leftMatch, matchCollation);
+                        if (!(strict ? cmpM < 0 : cmpM <= 0))
+                            break;
+                        descMatched = r;
+                        rightIter.consume();
+                    }
+                    matched = descMatched;
+                }
+                else {
+                    // 'asc': advance while peek's matchAttr is too small. The first
+                    // qualifier is the answer; do NOT consume it (it may match
+                    // subsequent left rows in the same partition).
+                    while (true) {
+                        const r = await rightIter.peek();
+                        if (!r)
+                            break;
+                        if (r[rightMatchIdx] === null || hasNullPartitionRight(r)) {
+                            rightIter.consume();
+                            continue;
+                        }
+                        const cmpP = comparePartitions(leftRow, r);
+                        if (cmpP !== 0)
+                            break;
+                        const cmpM = compareSqlValuesFast(r[rightMatchIdx], leftMatch, matchCollation);
+                        if (strict ? cmpM <= 0 : cmpM < 0) {
+                            rightIter.consume();
+                            continue;
+                        }
+                        matched = r;
+                        break;
+                    }
+                }
+                if (matched) {
+                    rightSlot.set(matched);
+                    const projectedRight = projectRight(matched);
+                    // The right scan's own rowSlot (created when its iterator started)
+                    // holds the cursor's *current* peek — by the time we land here
+                    // it's the row that broke the desc loop / first qualifier of asc,
+                    // not necessarily `matched`. Reclaim our descriptor so
+                    // downstream attribute-index lookups for the right's attr ids
+                    // resolve through *our* slot rather than the scan's cursor.
+                    rightSlot.reactivate();
+                    yield [...leftRow, ...projectedRight];
+                }
+                else {
+                    const padding = joinOutputRow(outerJoinType, false, false, leftRow, projectedRightColCount, rightSlot);
+                    if (padding) {
+                        // Same shadowing concern as the matched branch: ensure NULL
+                        // padding wins the attributeIndex race against the still-
+                        // running right scan's slot.
+                        rightSlot.reactivate();
+                        yield padding;
+                    }
+                }
+                leftIter.consume();
+            }
+        }
+        finally {
+            leftSlot.close();
+            rightSlot.close();
+            await leftIter.close();
+            await rightIter.close();
+        }
+    }
+    const leftInstruction = emitPlanNode(plan.left, ctx);
+    const rightInstruction = emitPlanNode(plan.right, ctx);
+    return {
+        params: [leftInstruction, rightInstruction],
+        run: run,
+        note: `${plan.outer ? 'left' : 'inner'} asof scan [merge]${strict ? ' strict' : ''}`,
+    };
+}
+function peekableAsyncIterator(source) {
+    const it = source[Symbol.asyncIterator]();
+    let head;
+    let hasHead = false;
+    let done = false;
+    return {
+        async peek() {
+            if (hasHead)
+                return head;
+            if (done)
+                return undefined;
+            const r = await it.next();
+            if (r.done) {
+                done = true;
+                return undefined;
+            }
+            head = r.value;
+            hasHead = true;
+            return head;
+        },
+        consume() {
+            head = undefined;
+            hasHead = false;
+        },
+        async close() {
+            if (it.return) {
+                try {
+                    await it.return();
+                }
+                catch { /* ignore */ }
+            }
+        },
+    };
+}
+//# sourceMappingURL=asof-scan.js.map

package/dist/src/runtime/emit/asof-scan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"asof-scan.js","sourceRoot":"","sources":["../../../../src/runtime/emit/asof-scan.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAG9C,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAElF,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AACrF,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD,MAAM,GAAG,GAAG,YAAY,CAAC,wBAAwB,CAAC,CAAC;AAyBnD,SAAS,YAAY,CAAC,IAAkB,EAAE,GAAoB;IAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;IAE9C,MAAM,iBAAiB,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACxD,MAAM,kBAAkB,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAE1D,MAAM,YAAY,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAClF,MAAM,aAAa,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACrF,IAAI,YAAY,KAAK,CAAC,CAAC,IAAI,aAAa,KAAK,CAAC,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,KAAK,CAAC,8CAA8C,IAAI,CAAC,SAAS,CAAC,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1H,CAAC;IACD,MAAM,kBAAkB,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC;IACtH,MAAM,cAAc,GAAsB,kBAAkB,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC;IAE3H,MAAM,oBAAoB,GAAa,EAAE,CAAC;IAC1C,MAAM,qBAAqB,GAAa,EAAE,CAAC;IAC3C,MAAM,mBAAmB,GAAwB,EAAE,CAAC;IACpD,MAAM,cAAc,GAA8B,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;QACnE,IAAI,OAAO,KAAK,CAAC,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACpG,CAAC;QACD,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,aAAa,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC;QACvG,mBAAmB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;QACjG,cAAc,CAAC,IAAI,CAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED,MAAM,wBAAwB,GAAG,IAAI,CAAC,2BAA2B,EAAE,CAAC;IACpE,MAAM,sBAAsB,GAAG,wBAAwB,CAAC,MAAM,CAAC;IAE/D,MAAM,YAAY,GAAG,CAAC,GAAQ,EAAO,EAAE;QACtC,MAAM,GAAG,GAAQ,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,sBAAsB,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC,CAAC;IAEF,OAAO;QACN,YAAY;QACZ,aAAa;QACb,cAAc;QACd,oBAAoB;QACpB,qBAAqB;QACrB,mBAAmB;QACnB,cAAc;QACd,wBAAwB;QACxB,sBAAsB;QACtB,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;QAC5C,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,iBAAiB;QACjB,kBAAkB;QAClB,YAAY;KACZ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAkB,EAAE,GAAoB;IACpE,OAAO,IAAI,CAAC,QAAQ,KAAK,OAAO;QAC/B,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC;QAC9B,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,SAAS,gBAAgB,CAAC,IAAkB,EAAE,GAAoB;IACjE,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,EACL,YAAY,EAAE,aAAa,EAAE,cAAc,EAC3C,oBAAoB,EAAE,qBAAqB,EAC3C,cAAc,EACd,sBAAsB,EACtB,aAAa,EAAE,MAAM,EAAE,SAAS,EAChC,iBAAiB,EAAE,kBAAkB,EACrC,YAAY,GACZ,GAAG,KAAK,CAAC;IAEV,KAAK,SAAS,CAAC,CAAC,GAAG,CAClB,IAAoB,EACpB,UAA8B,EAC9B,WAA+B;QAE/B,GAAG,CAAC,0EAA0E,EAC7E,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAE/E,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAE1D,IAAI,CAAC;YACJ,8EAA8E;YAC9E,oEAAoE;YACpE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiB,CAAC;YACzC,IAAI,UAAU,GAAG,CAAC,CAAC;YACnB,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;gBACrC,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,IAAI;oBAAE,SAAS;gBAC1C,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,EAAE,qBAAqB,EAAE,cAAc,CAAC,CAAC;gBACvE,IAAI,EAAE,KAAK,IAAI;oBAAE,SAAS,CAAC,uCAAuC;gBAClE,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC7B,IAAI,CAAC,MAAM,EAAE,CAAC;oBACb,MAAM,GAAG,EAAE,CAAC;oBACZ,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBACzB,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACjB,UAAU,EAAE,CAAC;YACd,CAAC;YACD,GAAG,CAAC,4CAA4C,EAAE,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAE5E,8FAA8F;YAC9F,kDAAkD;YAClD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;YAE1C,IAAI,KAAK,EAAE,MAAM,OAAO,IAAI,UAAU,EAAE,CAAC;gBACxC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAEtB,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;gBACxC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;oBACxB,sEAAsE;oBACtE,MAAM,OAAO,GAAG,aAAa,CAAC,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,sBAAsB,EAAE,SAAS,CAAC,CAAC;oBACvG,IAAI,OAAO;wBAAE,MAAM,OAAO,CAAC;oBAC3B,SAAS;gBACV,CAAC;gBAED,MAAM,EAAE,GAAG,eAAe,CAAC,OAAO,EAAE,oBAAoB,EAAE,cAAc,CAAC,CAAC;gBAC1E,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBACjB,kDAAkD;oBAClD,MAAM,OAAO,GAAG,aAAa,CAAC,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,sBAAsB,EAAE,SAAS,CAAC,CAAC;oBACvG,IAAI,OAAO;wBAAE,MAAM,OAAO,CAAC;oBAC3B,SAAS;gBACV,CAAC;gBAED,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC/B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACpC,MAAM,OAAO,GAAG,aAAa,CAAC,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,sBAAsB,EAAE,SAAS,CAAC,CAAC;oBACvG,IAAI,OAAO;wBAAE,MAAM,OAAO,CAAC;oBAC3B,SAAS;gBACV,CAAC;gBAED,MAAM,aAAa,GAAG,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpD,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,aAAa,CAAC;gBAC9C,IAAI,YAA6B,CAAC;gBAElC,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;oBAC1B,qEAAqE;oBACrE,6EAA6E;oBAC7E,OAAO,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;wBACnC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;wBACrC,MAAM,GAAG,GAAG,oBAAoB,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;wBACtF,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;4BAAE,MAAM,EAAE,CAAC;;4BACrC,MAAM;oBACZ,CAAC;oBACD,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;oBACxB,IAAI,MAAM,IAAI,CAAC;wBAAE,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;gBAChD,CAAC;qBAAM,CAAC;oBACP,uFAAuF;oBACvF,8EAA8E;oBAC9E,OAAO,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;wBAC/B,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;wBACjC,MAAM,GAAG,GAAG,oBAAoB,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;wBACtF,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;4BAAE,MAAM,EAAE,CAAC;;4BACrC,MAAM;oBACZ,CAAC;oBACD,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;oBACxB,IAAI,MAAM,GAAG,MAAM,CAAC,MAAM;wBAAE,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC3D,CAAC;gBAED,IAAI,CAAC,YAAY,EAAE,CAAC;oBACnB,8DAA8D;oBAC9D,MAAM,OAAO,GAAG,aAAa,CAAC,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,sBAAsB,EAAE,SAAS,CAAC,CAAC;oBACvG,IAAI,OAAO;wBAAE,MAAM,OAAO,CAAC;oBAC3B,SAAS;gBACV,CAAC;gBACD,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAE5B,MAAM,cAAc,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;gBAClD,MAAM,CAAC,GAAG,OAAO,EAAE,GAAG,cAAc,CAAQ,CAAC;YAC9C,CAAC;QACF,CAAC;gBAAS,CAAC;YACV,QAAQ,CAAC,KAAK,EAAE,CAAC;YACjB,SAAS,CAAC,KAAK,EAAE,CAAC;QACnB,CAAC;IACF,CAAC;IAED,MAAM,eAAe,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACrD,MAAM,gBAAgB,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAEvD,OAAO;QACN,MAAM,EAAE,CAAC,eAAe,EAAE,gBAAgB,CAAC;QAC3C,GAAG,EAAE,GAAqB;QAC1B,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,oBAAoB,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE;KACnF,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,SAAS,iBAAiB,CAAC,IAAkB,EAAE,GAAoB;IAClE,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,EACL,YAAY,EAAE,aAAa,EAAE,cAAc,EAC3C,oBAAoB,EAAE,qBAAqB,EAC3C,mBAAmB,EACnB,sBAAsB,EACtB,aAAa,EAAE,MAAM,EAAE,SAAS,EAChC,iBAAiB,EAAE,kBAAkB,EACrC,YAAY,GACZ,GAAG,KAAK,CAAC;IAEV,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC;IAChD,yEAAyE;IACzE,2EAA2E;IAC3E,0EAA0E;IAC1E,uEAAuE;IACvE,0EAA0E;IAC1E,wBAAwB;IACxB,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC;IACvD,MAAM,mBAAmB,GAAc,EAAE,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,mBAAmB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,KAAK,CAAC,CAAC;IAC1D,CAAC;IAED,SAAS,oBAAoB,CAAC,GAAQ;QACrC,KAAK,MAAM,GAAG,IAAI,oBAAoB,EAAE,CAAC;YACxC,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;QACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IACD,SAAS,qBAAqB,CAAC,GAAQ;QACtC,KAAK,MAAM,GAAG,IAAI,qBAAqB,EAAE,CAAC;YACzC,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;QACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IAED;;;;;OAKG;IACH,SAAS,iBAAiB,CAAC,OAAY,EAAE,QAAa;QACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,GAAG,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,GAAG,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,IAAI,mBAAmB,CAAC,CAAC,CAAC;gBAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,CAAC,CAAC;IACV,CAAC;IAED,6FAA6F;IAC7F,SAAS,qBAAqB,CAAC,CAAM,EAAE,CAAM;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,GAAG,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;YACrE,IAAI,mBAAmB,CAAC,CAAC,CAAC;gBAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,CAAC,CAAC;IACV,CAAC;IAED,KAAK,SAAS,CAAC,CAAC,GAAG,CAClB,IAAoB,EACpB,UAA8B,EAC9B,WAA+B;QAE/B,GAAG,CAAC,2EAA2E,EAC9E,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;QAEjE,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAE1D,MAAM,QAAQ,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;QACnD,MAAM,SAAS,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAAC;QAErD,iEAAiE;QACjE,sEAAsE;QACtE,0CAA0C;QAC1C,IAAI,kBAAmC,CAAC;QACxC,IAAI,WAA4B,CAAC;QAEjC,IAAI,CAAC;YACJ,OAAO,IAAI,EAAE,CAAC;gBACb,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACtC,IAAI,CAAC,OAAO;oBAAE,MAAM;gBAEpB,yDAAyD;gBACzD,IAAI,OAAO,CAAC,YAAY,CAAC,KAAK,IAAI,IAAI,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;oBACrE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;oBACtB,MAAM,OAAO,GAAG,aAAa,CAAC,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,sBAAsB,EAAE,SAAS,CAAC,CAAC;oBACvG,IAAI,OAAO;wBAAE,MAAM,OAAO,CAAC;oBAC3B,QAAQ,CAAC,OAAO,EAAE,CAAC;oBACnB,SAAS;gBACV,CAAC;gBAED,wBAAwB;gBACxB,MAAM,gBAAgB,GAAG,CAAC,kBAAkB;oBAC3C,qBAAqB,CAAC,kBAAkB,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC1D,IAAI,gBAAgB,EAAE,CAAC;oBACtB,WAAW,GAAG,SAAS,CAAC;oBACxB,kBAAkB,GAAG,OAAO,CAAC;oBAC7B,uDAAuD;oBACvD,OAAO,IAAI,EAAE,CAAC;wBACb,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,IAAI,EAAE,CAAC;wBACjC,IAAI,CAAC,CAAC;4BAAE,MAAM;wBACd,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,IAAI,IAAI,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC3D,SAAS,CAAC,OAAO,EAAE,CAAC;4BACpB,SAAS;wBACV,CAAC;wBACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;wBAC3C,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;4BACd,SAAS,CAAC,OAAO,EAAE,CAAC;4BACpB,SAAS;wBACV,CAAC;wBACD,MAAM;oBACP,CAAC;gBACF,CAAC;gBAED,kCAAkC;gBAClC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACtB,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;gBACxC,IAAI,OAAwB,CAAC;gBAE7B,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;oBAC1B,8EAA8E;oBAC9E,sEAAsE;oBACtE,OAAO,IAAI,EAAE,CAAC;wBACb,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,IAAI,EAAE,CAAC;wBACjC,IAAI,CAAC,CAAC;4BAAE,MAAM;wBACd,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,IAAI,IAAI,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC3D,SAAS,CAAC,OAAO,EAAE,CAAC;4BACpB,SAAS;wBACV,CAAC;wBACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;wBAC3C,IAAI,IAAI,KAAK,CAAC;4BAAE,MAAM,CAAC,kCAAkC;wBACzD,MAAM,IAAI,GAAG,oBAAoB,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;wBAC/E,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;4BAAE,MAAM;wBAC5C,WAAW,GAAG,CAAC,CAAC;wBAChB,SAAS,CAAC,OAAO,EAAE,CAAC;oBACrB,CAAC;oBACD,OAAO,GAAG,WAAW,CAAC;gBACvB,CAAC;qBAAM,CAAC;oBACP,gEAAgE;oBAChE,2DAA2D;oBAC3D,+CAA+C;oBAC/C,OAAO,IAAI,EAAE,CAAC;wBACb,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,IAAI,EAAE,CAAC;wBACjC,IAAI,CAAC,CAAC;4BAAE,MAAM;wBACd,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,IAAI,IAAI,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC3D,SAAS,CAAC,OAAO,EAAE,CAAC;4BACpB,SAAS;wBACV,CAAC;wBACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;wBAC3C,IAAI,IAAI,KAAK,CAAC;4BAAE,MAAM;wBACtB,MAAM,IAAI,GAAG,oBAAoB,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;wBAC/E,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;4BACnC,SAAS,CAAC,OAAO,EAAE,CAAC;4BACpB,SAAS;wBACV,CAAC;wBACD,OAAO,GAAG,CAAC,CAAC;wBACZ,MAAM;oBACP,CAAC;gBACF,CAAC;gBAED,IAAI,OAAO,EAAE,CAAC;oBACb,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;oBACvB,MAAM,cAAc,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;oBAC7C,mEAAmE;oBACnE,+DAA+D;oBAC/D,kEAAkE;oBAClE,uDAAuD;oBACvD,8DAA8D;oBAC9D,4DAA4D;oBAC5D,SAAS,CAAC,UAAU,EAAE,CAAC;oBACvB,MAAM,CAAC,GAAG,OAAO,EAAE,GAAG,cAAc,CAAQ,CAAC;gBAC9C,CAAC;qBAAM,CAAC;oBACP,MAAM,OAAO,GAAG,aAAa,CAAC,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,sBAAsB,EAAE,SAAS,CAAC,CAAC;oBACvG,IAAI,OAAO,EAAE,CAAC;wBACb,4DAA4D;wBAC5D,0DAA0D;wBAC1D,6BAA6B;wBAC7B,SAAS,CAAC,UAAU,EAAE,CAAC;wBACvB,MAAM,OAAO,CAAC;oBACf,CAAC;gBACF,CAAC;gBAED,QAAQ,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACF,CAAC;gBAAS,CAAC;YACV,QAAQ,CAAC,KAAK,EAAE,CAAC;YACjB,SAAS,CAAC,KAAK,EAAE,CAAC;YAClB,MAAM,QAAQ,CAAC,KAAK,EAAE,CAAC;YACvB,MAAM,SAAS,CAAC,KAAK,EAAE,CAAC;QACzB,CAAC;IACF,CAAC;IAED,MAAM,eAAe,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACrD,MAAM,gBAAgB,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAEvD,OAAO;QACN,MAAM,EAAE,CAAC,eAAe,EAAE,gBAAgB,CAAC;QAC3C,GAAG,EAAE,GAAqB;QAC1B,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,qBAAqB,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE;KACpF,CAAC;AACH,CAAC;AAaD,SAAS,qBAAqB,CAAC,MAA0B;IACxD,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;IAC1C,IAAI,IAAqB,CAAC;IAC1B,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,IAAI,GAAG,KAAK,CAAC;IAEjB,OAAO;QACN,KAAK,CAAC,IAAI;YACT,IAAI,OAAO;gBAAE,OAAO,IAAI,CAAC;YACzB,IAAI,IAAI;gBAAE,OAAO,SAAS,CAAC;YAC3B,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;gBACZ,IAAI,GAAG,IAAI,CAAC;gBACZ,OAAO,SAAS,CAAC;YAClB,CAAC;YACD,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC;YACf,OAAO,GAAG,IAAI,CAAC;YACf,OAAO,IAAI,CAAC;QACb,CAAC;QACD,OAAO;YACN,IAAI,GAAG,SAAS,CAAC;YACjB,OAAO,GAAG,KAAK,CAAC;QACjB,CAAC;QACD,KAAK,CAAC,KAAK;YACV,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;gBACf,IAAI,CAAC;oBAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;YAClD,CAAC;QACF,CAAC;KACD,CAAC;AACH,CAAC"}

package/dist/src/runtime/emit/constraint-check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constraint-check.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/constraint-check.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAuC,MAAM,8CAA8C,CAAC;AAC7H,OAAO,KAAK,EAAE,WAAW,EAAkC,MAAM,aAAa,CAAC;AAE/E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AA0D9D,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CAwIhG"}
+{"version":3,"file":"constraint-check.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/constraint-check.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAuC,MAAM,8CAA8C,CAAC;AAC7H,OAAO,KAAK,EAAE,WAAW,EAAkC,MAAM,aAAa,CAAC;AAE/E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AA6D9D,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CAyIhG"}

package/dist/src/runtime/emit/constraint-check.js

@@ -5,6 +5,7 @@ import { ConflictResolution } from '../../common/constants.js';
 import { withAsyncRowContext, createRowSlot } from '../context-helpers.js';
 import { expressionToString } from '../../emit/ast-stringify.js';
 import { composeCombinedDescriptor } from '../descriptor-helpers.js';
+import { sqlValuesEqual } from '../../util/comparison.js';
 /**
  * Resolve the effective conflict action for a single failure.
  *
@@ -68,6 +69,7 @@ export function emitConstraintCheck(plan, ctx) {
             contextRow: undefined,
             contextDescriptor,
             kind: check.kind ?? 'check',
+            referencedColumnIndices: check.referencedColumnIndices,
         };
     });
     async function* run(rctx, inputRows, ...evaluatorFunctions) {
@@ -192,6 +194,24 @@ async function checkCheckConstraints(rctx, plan, tableSchema, row, constraintMet
     for (let i = 0; i < constraintMetadata.length; i++) {
         const metadata = constraintMetadata[i];
         const evaluator = evaluatorFunctions[i] ?? metadata.evaluator;
+        // Parent-side FK UPDATE: skip the NOT EXISTS subquery when none of the
+        // referenced parent columns actually changed.
+        if (plan.operation === RowOpFlag.UPDATE &&
+            metadata.kind === 'fk-parent' &&
+            metadata.referencedColumnIndices) {
+            const numCols = tableSchema.columns.length;
+            let anyChanged = false;
+            for (const colIdx of metadata.referencedColumnIndices) {
+                const oldVal = row[colIdx]; // OLD section: 0..n-1
+                const newVal = row[numCols + colIdx]; // NEW section: n..2n-1
+                if (!sqlValuesEqual(oldVal, newVal)) {
+                    anyChanged = true;
+                    break;
+                }
+            }
+            if (!anyChanged)
+                continue;
+        }
         // Resolve effective action up front; non-default actions (IGNORE/REPLACE/FAIL/ROLLBACK)
         // must be applied at row time, so we cannot let those defer to commit.
         const effectiveAction = pickAction(stmtOR, metadata.schema.defaultConflict);

package/dist/src/runtime/emit/constraint-check.js.map

@@ -1 +1 @@
-{"version":3,"file":"constraint-check.js","sourceRoot":"","sources":["../../../../src/runtime/emit/constraint-check.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAInG,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAoBrE;;;;GAIG;AACH,SAAS,UAAU,CAClB,MAAsC,EACtC,iBAAiD;IAEjD,OAAO,MAAM,IAAI,iBAAiB,IAAI,kBAAkB,CAAC,KAAK,CAAC;AAChE,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,MAA0B,EAAE,OAAe;IAClE,IAAI,MAAM,KAAK,kBAAkB,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,MAAM,KAAK,kBAAkB,CAAC,QAAQ,EAAE,CAAC;QAC5C,MAAM,IAAI,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAyB,EAAE,GAAoB;IAClF,6CAA6C;IAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;IAE3C,sDAAsD;IACtD,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC;IAEjD,gEAAgE;IAChE,MAAM,qBAAqB,GAAG,IAAI,CAAC,qBAAqB,CAAC;IACzD,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC;IACjD,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC;IACjD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAE/B,oDAAoD;IACpD,MAAM,4BAA4B,GAAkB,EAAE,CAAC;IACvD,IAAI,qBAAqB,IAAI,iBAAiB,EAAE,CAAC;QAChD,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;YACtC,MAAM,SAAS,GAAG,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,SAAS,EAAE,CAAC;gBACf,4BAA4B,CAAC,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;YACrE,CAAC;QACF,CAAC;IACF,CAAC;IAED,uEAAuE;IACvE,MAAM,eAAe,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CACzD,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,CAAC,CACvC,CAAC;IAEF,uEAAuE;IACvE,MAAM,mBAAmB,GAAsC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC;IAC1F,MAAM,0BAA0B,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;IAEtG,MAAM,kBAAkB,GAA8B,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAsB,EAAE,GAAG,EAAE,EAAE;QAC/G,MAAM,oBAAoB,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAClD,MAAM,cAAc,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,IAAI,6BAA6B,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAC7G,MAAM,cAAc,GAAG,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACjE,OAAO;YACN,MAAM,EAAE,KAAK,CAAC,UAAU;YACxB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;YACzC,SAAS,EAAE,oBAAoB,CAAC,GAAG;YACnC,cAAc;YACd,cAAc;YACd,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,aAAa,CAAC;YACxF,SAAS,EAAE,GAAG,WAAW,CAAC,UAAU,IAAI,WAAW,CAAC,IAAI,EAAE;YAC1D,UAAU,EAAE,SAAS;YACrB,iBAAiB;YACjB,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,OAAO;SAC3B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,IAAoB,EAAE,SAA6B,EAAE,GAAG,kBAA+D;QAC1I,IAAI,CAAC,SAAS,EAAE,CAAC;YAChB,OAAO;QACR,CAAC;QAED,oFAAoF;QACpF,gDAAgD;QAChD,MAAM,oBAAoB,GAAG,4BAA4B,CAAC,MAAM,CAAC;QACjE,MAAM,uBAAuB,GAAG,kBAAkB,CAAC,MAAM,CAAC;QAE1D,IAAI,UAA2B,CAAC;QAChC,IAAI,WAAyD,CAAC;QAE9D,IAAI,oBAAoB,GAAG,CAAC,IAAI,iBAAiB,EAAE,CAAC;YACnD,MAAM,oBAAoB,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC;YAE/E,UAAU,GAAG,EAAE,CAAC;YAChB,KAAK,MAAM,gBAAgB,IAAI,oBAAoB,EAAE,CAAC;gBACrD,MAAM,KAAK,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAa,CAAC;gBACvD,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxB,CAAC;YAED,kBAAkB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;gBACjC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;YAC9B,CAAC,CAAC,CAAC;YAEH,WAAW,GAAG,aAAa,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;YACrD,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC7B,CAAC;QAED,MAAM,uBAAuB,GAAG,kBAAkB,CAAC,KAAK,CACvD,oBAAoB,EACpB,oBAAoB,GAAG,uBAAuB,CAC9C,CAAC;QACF,MAAM,oBAAoB,GAAG,kBAAkB,CAAC,KAAK,CAAC,oBAAoB,GAAG,uBAAuB,CAAC,CAAC;QAEtG,MAAM,eAAe,GAA4B,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACnF,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,SAAS,EAAE,oBAAoB,CAAC,CAAC,CAAC;SAClC,CAAC,CAAC,CAAC;QAEJ,6DAA6D;QAC7D,MAAM,kBAAkB,GAAG,iBAAiB,IAAI,UAAU;YACzD,CAAC,CAAC,yBAAyB,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;YACjE,CAAC,CAAC,iBAAiB,CAAC;QAErB,IAAI,CAAC;YACJ,IAAI,KAAK,EAAE,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACxC,IAAI,OAAO,GAAG,QAAQ,CAAC;gBAEvB,MAAM,UAAU,GAAG,MAAM,mBAAmB,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE;oBAC3I,OAAO,MAAM,gBAAgB,CAC5B,IAAI,EACJ,IAAI,EACJ,WAAW,EACX,OAAO,EACP,kBAAkB,EAClB,uBAAuB,EACvB,MAAM,EACN,eAAe,CACf,CAAC;gBACH,CAAC,CAAC,CAAC;gBAEH,IAAI,UAAU,CAAC,IAAI;oBAAE,SAAS;gBAC9B,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;oBAC5B,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC;gBAClC,CAAC;gBAED,MAAM,OAAO,CAAC;YACf,CAAC;QACF,CAAC;gBAAS,CAAC;YACV,IAAI,WAAW,EAAE,CAAC;gBACjB,WAAW,CAAC,KAAK,EAAE,CAAC;YACrB,CAAC;QACF,CAAC;IACF,CAAC;IAED,8BAA8B;IAC9B,MAAM,iBAAiB,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAEzD,OAAO;QACN,MAAM,EAAE,CAAC,iBAAiB,EAAE,GAAG,4BAA4B,EAAE,GAAG,eAAe,EAAE,GAAG,0BAA0B,CAAC;QAC/G,GAAG,EAAE,GAAqB;QAC1B,IAAI,EAAE,mBAAmB,IAAI,CAAC,SAAS,KAAK,4BAA4B,CAAC,MAAM,SAAS,IAAI,CAAC,gBAAgB,CAAC,MAAM,YAAY,0BAA0B,CAAC,MAAM,YAAY;KAC7K,CAAC;AACH,CAAC;AAcD,KAAK,UAAU,gBAAgB,CAC9B,IAAoB,EACpB,IAAyB,EACzB,WAAwB,EACxB,GAAQ,EACR,kBAA6C,EAC7C,kBAA+D,EAC/D,MAAsC,EACtC,eAAwC;IAExC,mEAAmE;IACnE,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;IACtG,IAAI,QAAQ,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACzC,IAAI,QAAQ,CAAC,WAAW;QAAE,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC;IAErD,sFAAsF;IACtF,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,CAAC,CAAC;IAC3H,IAAI,QAAQ,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAEzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;AAC3D,CAAC;AAED,KAAK,UAAU,uBAAuB,CACrC,IAAoB,EACpB,IAAyB,EACzB,WAAwB,EACxB,OAAY,EACZ,MAAsC,EACtC,eAAwC;IAExC,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QACzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;IAC3C,IAAI,UAA2B,CAAC;IAEhC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,SAAS;QAE9B,MAAM,aAAa,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,uBAAuB;QAC1D,MAAM,KAAK,GAAG,CAAC,UAAU,IAAI,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC;QACrD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAEpD,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,+BAA+B,WAAW,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAEjF,IAAI,MAAM,KAAK,kBAAkB,CAAC,MAAM,EAAE,CAAC;YAC1C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACvB,CAAC;QAED,IAAI,MAAM,KAAK,kBAAkB,CAAC,OAAO,EAAE,CAAC;YAC3C,0CAA0C;YAC1C,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC;YACpE,IAAI,CAAC,YAAY,EAAE,CAAC;gBACnB,iDAAiD;gBACjD,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;YACD,MAAM,YAAY,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC,IAAI,CAAa,CAAC;YACpE,IAAI,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;gBACzD,mEAAmE;gBACnE,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;YACD,IAAI,CAAC,UAAU;gBAAE,UAAU,GAAG,CAAC,GAAG,OAAO,CAAQ,CAAC;YAClD,UAAU,CAAC,aAAa,CAAC,GAAG,YAAY,CAAC;YACzC,SAAS;QACV,CAAC;QAED,0BAA0B;QAC1B,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AACjD,CAAC;AAED,KAAK,UAAU,qBAAqB,CACnC,IAAoB,EACpB,IAAyB,EACzB,WAAwB,EACxB,GAAQ,EACR,kBAA6C,EAC7C,kBAA+D,EAC/D,MAAsC;IAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC;QAE9D,wFAAwF;QACxF,uEAAuE;QACvE,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAC5E,MAAM,eAAe,GAAG,eAAe,KAAK,kBAAkB,CAAC,KAAK,CAAC;QAErE,IAAI,QAAQ,CAAC,WAAW,IAAI,CAAC,eAAe,EAAE,CAAC;YAC9C,MAAM,kBAAkB,GAAG,IAAI,CAAC,gBAAgB,EAAE,YAAY,CAAC;YAC/D,IAAI,CAAC,EAAE,CAAC,2BAA2B,CAClC,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,cAAc,EACvB,GAAG,CAAC,KAAK,EAAS,EAClB,QAAQ,CAAC,iBAAiB,EAC1B,SAAS,EACT,kBAAkB,EAClB,QAAQ,CAAC,UAAU,EACnB,QAAQ,CAAC,iBAAiB,CAC1B,CAAC;YACF,SAAS;QACV,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,IAAI,CAAa,CAAC;QAEjD,+EAA+E;QAC/E,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,MAAM,IAAI,EAAE;gBACpD,CAAC,CAAC,KAAK,QAAQ,CAAC,cAAc,GAAG;gBACjC,CAAC,CAAC,EAAE,CAAC;YACN,sEAAsE;YACtE,wEAAwE;YACxE,iEAAiE;YACjE,MAAM,WAAW,GAAG,4BAA4B,QAAQ,CAAC,cAAc,GAAG,QAAQ,EAAE,CAAC;YAErF,IAAI,eAAe,KAAK,kBAAkB,CAAC,MAAM,EAAE,CAAC;gBACnD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACvB,CAAC;YAED,uEAAuE;YACvE,iFAAiF;YACjF,IAAI,eAAe,KAAK,kBAAkB,CAAC,OAAO,EAAE,CAAC;gBACpD,MAAM,IAAI,eAAe,CAAC,WAAW,CAAC,CAAC;YACxC,CAAC;YAED,cAAc,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;QAC9C,CAAC;IACF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACxB,CAAC;AAED,SAAS,6BAA6B,CAAC,WAAwB,EAAE,UAA+B;IAC/F,+FAA+F;IAC/F,MAAM,aAAa,GAAG,WAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAsB,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC;IAC3G,OAAO,UAAU,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AACnE,CAAC"}
+{"version":3,"file":"constraint-check.js","sourceRoot":"","sources":["../../../../src/runtime/emit/constraint-check.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAInG,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAsB1D;;;;GAIG;AACH,SAAS,UAAU,CAClB,MAAsC,EACtC,iBAAiD;IAEjD,OAAO,MAAM,IAAI,iBAAiB,IAAI,kBAAkB,CAAC,KAAK,CAAC;AAChE,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,MAA0B,EAAE,OAAe;IAClE,IAAI,MAAM,KAAK,kBAAkB,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,MAAM,KAAK,kBAAkB,CAAC,QAAQ,EAAE,CAAC;QAC5C,MAAM,IAAI,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAyB,EAAE,GAAoB;IAClF,6CAA6C;IAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;IAE3C,sDAAsD;IACtD,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC;IAEjD,gEAAgE;IAChE,MAAM,qBAAqB,GAAG,IAAI,CAAC,qBAAqB,CAAC;IACzD,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC;IACjD,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC;IACjD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAE/B,oDAAoD;IACpD,MAAM,4BAA4B,GAAkB,EAAE,CAAC;IACvD,IAAI,qBAAqB,IAAI,iBAAiB,EAAE,CAAC;QAChD,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;YACtC,MAAM,SAAS,GAAG,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,SAAS,EAAE,CAAC;gBACf,4BAA4B,CAAC,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;YACrE,CAAC;QACF,CAAC;IACF,CAAC;IAED,uEAAuE;IACvE,MAAM,eAAe,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CACzD,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,CAAC,CACvC,CAAC;IAEF,uEAAuE;IACvE,MAAM,mBAAmB,GAAsC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC;IAC1F,MAAM,0BAA0B,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;IAEtG,MAAM,kBAAkB,GAA8B,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAsB,EAAE,GAAG,EAAE,EAAE;QAC/G,MAAM,oBAAoB,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAClD,MAAM,cAAc,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,IAAI,6BAA6B,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAC7G,MAAM,cAAc,GAAG,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACjE,OAAO;YACN,MAAM,EAAE,KAAK,CAAC,UAAU;YACxB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;YACzC,SAAS,EAAE,oBAAoB,CAAC,GAAG;YACnC,cAAc;YACd,cAAc;YACd,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,aAAa,CAAC;YACxF,SAAS,EAAE,GAAG,WAAW,CAAC,UAAU,IAAI,WAAW,CAAC,IAAI,EAAE;YAC1D,UAAU,EAAE,SAAS;YACrB,iBAAiB;YACjB,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,OAAO;YAC3B,uBAAuB,EAAE,KAAK,CAAC,uBAAuB;SACtD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,IAAoB,EAAE,SAA6B,EAAE,GAAG,kBAA+D;QAC1I,IAAI,CAAC,SAAS,EAAE,CAAC;YAChB,OAAO;QACR,CAAC;QAED,oFAAoF;QACpF,gDAAgD;QAChD,MAAM,oBAAoB,GAAG,4BAA4B,CAAC,MAAM,CAAC;QACjE,MAAM,uBAAuB,GAAG,kBAAkB,CAAC,MAAM,CAAC;QAE1D,IAAI,UAA2B,CAAC;QAChC,IAAI,WAAyD,CAAC;QAE9D,IAAI,oBAAoB,GAAG,CAAC,IAAI,iBAAiB,EAAE,CAAC;YACnD,MAAM,oBAAoB,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC;YAE/E,UAAU,GAAG,EAAE,CAAC;YAChB,KAAK,MAAM,gBAAgB,IAAI,oBAAoB,EAAE,CAAC;gBACrD,MAAM,KAAK,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAa,CAAC;gBACvD,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxB,CAAC;YAED,kBAAkB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;gBACjC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;YAC9B,CAAC,CAAC,CAAC;YAEH,WAAW,GAAG,aAAa,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;YACrD,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC7B,CAAC;QAED,MAAM,uBAAuB,GAAG,kBAAkB,CAAC,KAAK,CACvD,oBAAoB,EACpB,oBAAoB,GAAG,uBAAuB,CAC9C,CAAC;QACF,MAAM,oBAAoB,GAAG,kBAAkB,CAAC,KAAK,CAAC,oBAAoB,GAAG,uBAAuB,CAAC,CAAC;QAEtG,MAAM,eAAe,GAA4B,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACnF,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,SAAS,EAAE,oBAAoB,CAAC,CAAC,CAAC;SAClC,CAAC,CAAC,CAAC;QAEJ,6DAA6D;QAC7D,MAAM,kBAAkB,GAAG,iBAAiB,IAAI,UAAU;YACzD,CAAC,CAAC,yBAAyB,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;YACjE,CAAC,CAAC,iBAAiB,CAAC;QAErB,IAAI,CAAC;YACJ,IAAI,KAAK,EAAE,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACxC,IAAI,OAAO,GAAG,QAAQ,CAAC;gBAEvB,MAAM,UAAU,GAAG,MAAM,mBAAmB,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE;oBAC3I,OAAO,MAAM,gBAAgB,CAC5B,IAAI,EACJ,IAAI,EACJ,WAAW,EACX,OAAO,EACP,kBAAkB,EAClB,uBAAuB,EACvB,MAAM,EACN,eAAe,CACf,CAAC;gBACH,CAAC,CAAC,CAAC;gBAEH,IAAI,UAAU,CAAC,IAAI;oBAAE,SAAS;gBAC9B,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;oBAC5B,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC;gBAClC,CAAC;gBAED,MAAM,OAAO,CAAC;YACf,CAAC;QACF,CAAC;gBAAS,CAAC;YACV,IAAI,WAAW,EAAE,CAAC;gBACjB,WAAW,CAAC,KAAK,EAAE,CAAC;YACrB,CAAC;QACF,CAAC;IACF,CAAC;IAED,8BAA8B;IAC9B,MAAM,iBAAiB,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAEzD,OAAO;QACN,MAAM,EAAE,CAAC,iBAAiB,EAAE,GAAG,4BAA4B,EAAE,GAAG,eAAe,EAAE,GAAG,0BAA0B,CAAC;QAC/G,GAAG,EAAE,GAAqB;QAC1B,IAAI,EAAE,mBAAmB,IAAI,CAAC,SAAS,KAAK,4BAA4B,CAAC,MAAM,SAAS,IAAI,CAAC,gBAAgB,CAAC,MAAM,YAAY,0BAA0B,CAAC,MAAM,YAAY;KAC7K,CAAC;AACH,CAAC;AAcD,KAAK,UAAU,gBAAgB,CAC9B,IAAoB,EACpB,IAAyB,EACzB,WAAwB,EACxB,GAAQ,EACR,kBAA6C,EAC7C,kBAA+D,EAC/D,MAAsC,EACtC,eAAwC;IAExC,mEAAmE;IACnE,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;IACtG,IAAI,QAAQ,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACzC,IAAI,QAAQ,CAAC,WAAW;QAAE,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC;IAErD,sFAAsF;IACtF,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,CAAC,CAAC;IAC3H,IAAI,QAAQ,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAEzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;AAC3D,CAAC;AAED,KAAK,UAAU,uBAAuB,CACrC,IAAoB,EACpB,IAAyB,EACzB,WAAwB,EACxB,OAAY,EACZ,MAAsC,EACtC,eAAwC;IAExC,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QACzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;IAC3C,IAAI,UAA2B,CAAC;IAEhC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,SAAS;QAE9B,MAAM,aAAa,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,uBAAuB;QAC1D,MAAM,KAAK,GAAG,CAAC,UAAU,IAAI,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC;QACrD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAEpD,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,+BAA+B,WAAW,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAEjF,IAAI,MAAM,KAAK,kBAAkB,CAAC,MAAM,EAAE,CAAC;YAC1C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACvB,CAAC;QAED,IAAI,MAAM,KAAK,kBAAkB,CAAC,OAAO,EAAE,CAAC;YAC3C,0CAA0C;YAC1C,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC;YACpE,IAAI,CAAC,YAAY,EAAE,CAAC;gBACnB,iDAAiD;gBACjD,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;YACD,MAAM,YAAY,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC,IAAI,CAAa,CAAC;YACpE,IAAI,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;gBACzD,mEAAmE;gBACnE,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;YACD,IAAI,CAAC,UAAU;gBAAE,UAAU,GAAG,CAAC,GAAG,OAAO,CAAQ,CAAC;YAClD,UAAU,CAAC,aAAa,CAAC,GAAG,YAAY,CAAC;YACzC,SAAS;QACV,CAAC;QAED,0BAA0B;QAC1B,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AACjD,CAAC;AAED,KAAK,UAAU,qBAAqB,CACnC,IAAoB,EACpB,IAAyB,EACzB,WAAwB,EACxB,GAAQ,EACR,kBAA6C,EAC7C,kBAA+D,EAC/D,MAAsC;IAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC;QAE9D,uEAAuE;QACvE,8CAA8C;QAC9C,IACC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,MAAM;YACnC,QAAQ,CAAC,IAAI,KAAK,WAAW;YAC7B,QAAQ,CAAC,uBAAuB,EAC/B,CAAC;YACF,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;YAC3C,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,uBAAuB,EAAE,CAAC;gBACvD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAa,CAAC,CAAW,sBAAsB;gBACxE,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,GAAG,MAAM,CAAa,CAAC,CAAC,uBAAuB;gBACzE,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;oBACrC,UAAU,GAAG,IAAI,CAAC;oBAClB,MAAM;gBACP,CAAC;YACF,CAAC;YACD,IAAI,CAAC,UAAU;gBAAE,SAAS;QAC3B,CAAC;QAED,wFAAwF;QACxF,uEAAuE;QACvE,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAC5E,MAAM,eAAe,GAAG,eAAe,KAAK,kBAAkB,CAAC,KAAK,CAAC;QAErE,IAAI,QAAQ,CAAC,WAAW,IAAI,CAAC,eAAe,EAAE,CAAC;YAC9C,MAAM,kBAAkB,GAAG,IAAI,CAAC,gBAAgB,EAAE,YAAY,CAAC;YAC/D,IAAI,CAAC,EAAE,CAAC,2BAA2B,CAClC,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,cAAc,EACvB,GAAG,CAAC,KAAK,EAAS,EAClB,QAAQ,CAAC,iBAAiB,EAC1B,SAAS,EACT,kBAAkB,EAClB,QAAQ,CAAC,UAAU,EACnB,QAAQ,CAAC,iBAAiB,CAC1B,CAAC;YACF,SAAS;QACV,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,IAAI,CAAa,CAAC;QAEjD,+EAA+E;QAC/E,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,MAAM,IAAI,EAAE;gBACpD,CAAC,CAAC,KAAK,QAAQ,CAAC,cAAc,GAAG;gBACjC,CAAC,CAAC,EAAE,CAAC;YACN,sEAAsE;YACtE,wEAAwE;YACxE,iEAAiE;YACjE,MAAM,WAAW,GAAG,4BAA4B,QAAQ,CAAC,cAAc,GAAG,QAAQ,EAAE,CAAC;YAErF,IAAI,eAAe,KAAK,kBAAkB,CAAC,MAAM,EAAE,CAAC;gBACnD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACvB,CAAC;YAED,uEAAuE;YACvE,iFAAiF;YACjF,IAAI,eAAe,KAAK,kBAAkB,CAAC,OAAO,EAAE,CAAC;gBACpD,MAAM,IAAI,eAAe,CAAC,WAAW,CAAC,CAAC;YACxC,CAAC;YAED,cAAc,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;QAC9C,CAAC;IACF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACxB,CAAC;AAED,SAAS,6BAA6B,CAAC,WAAwB,EAAE,UAA+B;IAC/F,+FAA+F;IAC/F,MAAM,aAAa,GAAG,WAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAsB,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC;IAC3G,OAAO,UAAU,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AACnE,CAAC"}

package/dist/src/runtime/emit/ordinal-slice.d.ts

@@ -0,0 +1,13 @@
+import type { OrdinalSliceNode } from '../../planner/nodes/ordinal-slice-node.js';
+import type { Instruction } from '../types.js';
+import type { EmissionContext } from '../emission-context.js';
+/**
+ * Emit an OrdinalSlice node. The slice's source must be a physical access
+ * leaf whose scan supports `FilterInfo.offset`/`FilterInfo.limit` (i.e.,
+ * the access plan advertised `supportsOrdinalSeek`). The emitter forwards
+ * the resolved offset/limit into the leaf's FilterInfo and then enforces
+ * the row cap as a streaming guard so any module that ignores the
+ * directive still produces correct results.
+ */
+export declare function emitOrdinalSlice(plan: OrdinalSliceNode, ctx: EmissionContext): Instruction;
+//# sourceMappingURL=ordinal-slice.d.ts.map

package/dist/src/runtime/emit/ordinal-slice.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ordinal-slice.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/ordinal-slice.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2CAA2C,CAAC;AAElF,OAAO,KAAK,EAAE,WAAW,EAAkC,MAAM,aAAa,CAAC;AAG/E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAkB9D;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CA8E1F"}