@quereus/quereus 2.9.0 → 3.0.0

package/dist/src/planner/util/key-utils.js

@@ -1,3 +1,7 @@
+import { resolveReferencedColumns } from '../../schema/table.js';
+import { ColumnReferenceNode, ParameterReferenceNode } from '../nodes/reference.js';
+import { LiteralNode } from '../nodes/scalar.js';
+import { isSuperkey } from './fd-utils.js';
 /**
  * Project unique keys through a projection mapping.
  * - sourceKeys: keys defined on the source relation (arrays of column refs by source column index)
@@ -24,82 +28,235 @@ export function projectKeys(sourceKeys, projectionMap) {
     return result;
 }
 /**
- * Combine unique keys across a join.
- * - For inner/cross joins: keys from left and right are preserved; right indices are shifted by left column count.
- * - For outer joins: return [] conservatively (null padding may break uniqueness).
+ * Walk the scalar `expr` collecting:
+ *   - `attrIds`: the set of unique `ColumnReferenceNode` attribute IDs it depends on,
+ *   - `allOtherLeavesConstant`: true iff every non-column leaf is a `LiteralNode`
+ *     or `ParameterReferenceNode`.
+ *
+ * Early-exits when a non-constant non-column leaf is found.
  */
-export function combineJoinKeys(leftKeys, rightKeys, joinType, leftColumnCount) {
-    if (joinType !== 'inner' && joinType !== 'cross')
-        return [];
-    const result = [];
-    for (const key of leftKeys) {
-        result.push(key.map(c => ({ index: c.index, desc: c.desc })));
+function analyzeProjectionLeaves(expr) {
+    const attrIds = new Set();
+    let allOtherLeavesConstant = true;
+    const stack = [expr];
+    while (stack.length > 0) {
+        const n = stack.pop();
+        if (n instanceof ColumnReferenceNode) {
+            attrIds.add(n.attributeId);
+            continue;
+        }
+        const children = n.getChildren();
+        if (children.length === 0) {
+            // Leaf that is not a column reference: must be a compile-time constant.
+            if (!(n instanceof LiteralNode || n instanceof ParameterReferenceNode)) {
+                allOtherLeavesConstant = false;
+                break;
+            }
+            continue;
+        }
+        for (const c of children) {
+            // Only descend through scalar children; scalar expressions only have scalar children.
+            stack.push(c);
+        }
     }
-    for (const key of rightKeys) {
-        result.push(key.map(c => ({ index: c.index + leftColumnCount, desc: c.desc })));
+    return { attrIds, allOtherLeavesConstant };
+}
+/**
+ * Build a source→output column mapping that includes BOTH:
+ *   - direct `ColumnReferenceNode` projections (bare passthrough), and
+ *   - injective unary projections: the expression references exactly one source
+ *     attribute `a`, `expr.isInjectiveIn(a).injective === true`, and every other
+ *     leaf is a compile-time constant (`LiteralNode` / `ParameterReferenceNode`).
+ *     For those, the output column is treated as a synonym of source column
+ *     `src(a)`.
+ *
+ * The bare-column rule wins on collisions: if the same source column is also
+ * projected directly, that mapping is preserved (first-occurrence wins, matching
+ * the historical behaviour) and the injective entry is recorded in
+ * `injectivePairs` instead.
+ */
+export function deriveProjectionColumnMap(sourceAttrs, projections) {
+    const map = new Map();
+    const injectivePairs = [];
+    // Pass 1: bare column references (highest priority for `map`).
+    for (const { expr, outIndex } of projections) {
+        if (expr instanceof ColumnReferenceNode) {
+            const srcIndex = sourceAttrs.findIndex(a => a.id === expr.attributeId);
+            if (srcIndex >= 0 && !map.has(srcIndex)) {
+                map.set(srcIndex, outIndex);
+            }
+        }
+    }
+    // Pass 2: injectively-derived columns.
+    for (const { expr, outIndex } of projections) {
+        if (expr instanceof ColumnReferenceNode)
+            continue;
+        const { attrIds, allOtherLeavesConstant } = analyzeProjectionLeaves(expr);
+        if (!allOtherLeavesConstant)
+            continue;
+        if (attrIds.size !== 1)
+            continue;
+        const attrId = attrIds.values().next().value;
+        if (!expr.isInjectiveIn(attrId).injective)
+            continue;
+        const srcIndex = sourceAttrs.findIndex(a => a.id === attrId);
+        if (srcIndex < 0)
+            continue;
+        // Map first-occurrence wins; injective entries fill in slots not already
+        // claimed by a bare-column projection. The pair is *always* recorded so
+        // callers can decide whether to emit the bi-directional FD.
+        if (!map.has(srcIndex)) {
+            map.set(srcIndex, outIndex);
+        }
+        injectivePairs.push([srcIndex, outIndex]);
+    }
+    return { map, injectivePairs };
+}
+/**
+ * Test whether any key in `keys` has all of its columns covered by `eqIndices`.
+ * A covered key means each row in the source side maps to ≤ 1 row in the join's
+ * equi-pair partner, so the partner side's keys survive null-padding (LEFT/RIGHT).
+ */
+function joinPairsCoverKey(keys, eqIndices) {
+    return keys.some(k => k.length > 0 && k.every(c => eqIndices.has(c.index)));
+}
+/**
+ * Combine unique keys across a join (logical `RelationType.keys` form).
+ *
+ * - `inner` / `cross`: union of left and right keys (right indices shifted by `leftColumnCount`).
+ * - `left`: if `equiPairs` cover any right-side key, return left keys unchanged
+ *   (each left row matches ≤ 1 right row, so left's keys survive). Otherwise `[]`.
+ * - `right`: symmetric — if `equiPairs` cover any left-side key, return right's
+ *   keys shifted by `leftColumnCount`. Otherwise `[]`.
+ * - `full`: `[]` (both sides may be null-padded).
+ * - `semi` / `anti`: return left keys (left-only output, no null-padding).
+ *
+ * `equiPairs` is optional; when omitted, the LEFT/RIGHT branches conservatively
+ * return `[]` (the previous behaviour).
+ */
+export function combineJoinKeys(leftKeys, rightKeys, joinType, leftColumnCount, equiPairs) {
+    switch (joinType) {
+        case 'inner':
+        case 'cross': {
+            const result = [];
+            for (const key of leftKeys) {
+                result.push(key.map(c => ({ index: c.index, desc: c.desc })));
+            }
+            for (const key of rightKeys) {
+                result.push(key.map(c => ({ index: c.index + leftColumnCount, desc: c.desc })));
+            }
+            return result;
+        }
+        case 'left': {
+            if (!equiPairs || equiPairs.length === 0)
+                return [];
+            const rightEqSet = new Set(equiPairs.map(p => p.right));
+            if (!joinPairsCoverKey(rightKeys, rightEqSet))
+                return [];
+            return leftKeys.map(key => key.map(c => ({ index: c.index, desc: c.desc })));
+        }
+        case 'right': {
+            if (!equiPairs || equiPairs.length === 0)
+                return [];
+            const leftEqSet = new Set(equiPairs.map(p => p.left));
+            if (!joinPairsCoverKey(leftKeys, leftEqSet))
+                return [];
+            return rightKeys.map(key => key.map(c => ({ index: c.index + leftColumnCount, desc: c.desc })));
+        }
+        case 'semi':
+        case 'anti':
+            return leftKeys.map(key => key.map(c => ({ index: c.index, desc: c.desc })));
+        case 'full':
+        default:
+            return [];
     }
-    return result;
 }
 /**
  * Shared key-coverage analysis for all join node types.
  *
- * Checks whether equi-join pairs cover a unique key on either side (logical or
- * physical). When a key is covered, the other side's unique keys are preserved
- * and estimatedRows is capped at the non-covered side's row count.
+ * Checks whether equi-join pairs cover a unique key on either side (via logical
+ * `RelationType.keys` or the FD closure of the side's physical properties). When
+ * a key is covered, the other side's unique keys are preserved and
+ * estimatedRows is capped at the non-covered side's row count.
  *
  * @param joinType       The join type (inner, left, semi, etc.)
  * @param leftPhys       Physical properties of the left child
  * @param rightPhys      Physical properties of the right child
- * @param leftType       Logical type of the left child (for logical keys)
- * @param rightType      Logical type of the right child (for logical keys)
+ * @param leftType       Logical type of the left child (for logical keys + colCount)
+ * @param rightType      Logical type of the right child (for logical keys + colCount)
  * @param equiPairs      Equi-join column index pairs (left index, right index)
  * @param leftRows       Estimated rows from left child
  * @param rightRows      Estimated rows from right child
  * @param leftColumnCount Number of columns on the left side (for shifting right key indices)
  */
 export function analyzeJoinKeyCoverage(joinType, leftPhys, rightPhys, leftType, rightType, equiPairs, leftRows, rightRows, leftColumnCount) {
-    let uniqueKeys = undefined;
-    let estimatedRows = undefined;
+    const leftColCount = leftType?.columns.length ?? leftColumnCount;
+    const rightColCount = rightType?.columns.length ?? 0;
+    // Logical keys on each side, as column-index arrays.
+    const leftLogicalKeys = (leftType?.keys ?? []).map(k => k.map(c => c.index));
+    const rightLogicalKeys = (rightType?.keys ?? []).map(k => k.map(c => c.index));
     if (joinType === 'semi' || joinType === 'anti') {
+        // Left's keys survive (output is the left shape). Preserved-key list mirrors
+        // left's logical keys; the propagateJoinFds layer materializes them as FDs.
         return {
             leftKeyCovered: false,
             rightKeyCovered: false,
-            uniqueKeys: leftPhys?.uniqueKeys,
+            preservedKeys: leftLogicalKeys.map(k => k.slice()),
             estimatedRows: undefined,
         };
     }
-    if (joinType !== 'inner' && joinType !== 'cross') {
-        return { leftKeyCovered: false, rightKeyCovered: false, uniqueKeys: undefined, estimatedRows: undefined };
+    if (joinType === 'full') {
+        return { leftKeyCovered: false, rightKeyCovered: false, preservedKeys: [], estimatedRows: undefined };
     }
     const leftEqSet = new Set(equiPairs.map(p => p.left));
     const rightEqSet = new Set(equiPairs.map(p => p.right));
-    function coversKey(keys, eqSet) {
-        if (!keys)
-            return false;
-        return keys.some(key => key.length > 0 && key.every(ref => eqSet.has(ref.index)));
+    function coversLogicalKey(keys, eqSet) {
+        return keys.some(key => key.length > 0 && key.every(idx => eqSet.has(idx)));
     }
-    function coversPhysicalKey(phys, eqSet) {
-        if (!phys?.uniqueKeys)
-            return false;
-        return phys.uniqueKeys.some(key => key.length > 0 && key.every(idx => eqSet.has(idx)));
+    const leftKeyCovered = coversLogicalKey(leftLogicalKeys, leftEqSet) ||
+        isSuperkey(leftEqSet, leftPhys?.fds, leftColCount);
+    const rightKeyCovered = coversLogicalKey(rightLogicalKeys, rightEqSet) ||
+        isSuperkey(rightEqSet, rightPhys?.fds, rightColCount);
+    // Surviving "physical" keys on each side: union of logical keys and any
+    // non-trivial key sets the FD closure makes apparent. We use logical keys
+    // (the schema/type-level claim) — they're the source of truth for "this
+    // relation has a key on these columns". Physical FDs may have additional
+    // implied keys but enumerating them costs more than it saves here.
+    const leftKeys = leftLogicalKeys;
+    const rightKeysShifted = rightLogicalKeys.map(k => k.map(i => i + leftColumnCount));
+    const preservedKeys = [];
+    let estimatedRows = undefined;
+    if (joinType === 'inner' || joinType === 'cross') {
+        if (rightKeyCovered)
+            preservedKeys.push(...leftKeys.map(k => k.slice()));
+        if (leftKeyCovered)
+            preservedKeys.push(...rightKeysShifted.map(k => k.slice()));
+        // Cardinality reduction: when a key is covered, result rows ≤ the other side's rows
+        if (rightKeyCovered && typeof leftRows === 'number')
+            estimatedRows = leftRows;
+        if (leftKeyCovered && typeof rightRows === 'number')
+            estimatedRows = (estimatedRows === undefined) ? rightRows : Math.min(estimatedRows, rightRows);
+    }
+    else if (joinType === 'left') {
+        // LEFT outer: left's keys survive (and left's rowcount caps the output) iff
+        // the equi-pairs cover a right-side unique key — each left row then matches
+        // ≤ 1 right row, so no row duplication. The right-side keys do NOT survive:
+        // unmatched left rows produce NULL-padded right columns, breaking right keys.
+        if (rightKeyCovered) {
+            preservedKeys.push(...leftKeys.map(k => k.slice()));
+            if (typeof leftRows === 'number')
+                estimatedRows = leftRows;
+        }
     }
-    const leftKeyCovered = coversKey(leftType?.keys, leftEqSet) || coversPhysicalKey(leftPhys, leftEqSet);
-    const rightKeyCovered = coversKey(rightType?.keys, rightEqSet) || coversPhysicalKey(rightPhys, rightEqSet);
-    const leftKeys = leftPhys?.uniqueKeys || [];
-    const rightKeys = (rightPhys?.uniqueKeys || []).map(k => k.map(i => i + leftColumnCount));
-    const preserved = [];
-    if (rightKeyCovered)
-        preserved.push(...leftKeys);
-    if (leftKeyCovered)
-        preserved.push(...rightKeys);
-    if (preserved.length > 0)
-        uniqueKeys = preserved;
-    // Cardinality reduction: when a key is covered, result rows ≤ the other side's rows
-    if (rightKeyCovered && typeof leftRows === 'number')
-        estimatedRows = leftRows;
-    if (leftKeyCovered && typeof rightRows === 'number')
-        estimatedRows = (estimatedRows === undefined) ? rightRows : Math.min(estimatedRows, rightRows);
-    return { leftKeyCovered, rightKeyCovered, uniqueKeys, estimatedRows };
+    else if (joinType === 'right') {
+        // Symmetric to LEFT.
+        if (leftKeyCovered) {
+            preservedKeys.push(...rightKeysShifted.map(k => k.slice()));
+            if (typeof rightRows === 'number')
+                estimatedRows = rightRows;
+        }
+    }
+    return { leftKeyCovered, rightKeyCovered, preservedKeys, estimatedRows };
 }
 /**
  * Extract TableSchema from a plan node by walking down through common wrappers
@@ -127,9 +284,14 @@ export function extractTableSchema(node) {
 /**
  * Check if an FK→PK relationship aligns with equi-join pairs.
  *
- * Given FK constraints on one side and the other side's table, checks if
- * the equi-join pairs align with an FK referencing the other side's PK.
- * Returns true if the FK side's columns map to the PK side through equi-pairs.
+ * Alignment is *positional*: for each declared FK column at index `i`, the
+ * equi-pair partner must equal the FK's declared `referencedColumns[i]`. A
+ * composite FK `(fa, fb) REFERENCES p(a, b)` only covers the pairing
+ * `fa = a AND fb = b`; a permuted equi-pair set (`fa = b AND fb = a`) is NOT
+ * guaranteed by the FK and must not be reported as aligned. A defensive
+ * cross-check additionally requires every `fk.referencedColumns[i]` to be a
+ * PK column so a malformed FK referencing non-PK columns is never reported as
+ * an IND on the PK.
  */
 export function checkFkPkAlignment(fkTable, pkTable, fkEquiIndices, pkEquiIndices) {
     if (!fkTable.foreignKeys)
@@ -137,23 +299,38 @@ export function checkFkPkAlignment(fkTable, pkTable, fkEquiIndices, pkEquiIndice
     for (const fk of fkTable.foreignKeys) {
         if (fk.referencedTable.toLowerCase() !== pkTable.name.toLowerCase())
             continue;
-        // Check if the FK columns are all present as equi-join columns
-        // and the corresponding PK columns on the other side match the PK definition
         const pkDef = pkTable.primaryKeyDefinition;
         if (pkDef.length === 0 || fk.columns.length !== pkDef.length)
             continue;
+        // FK schemas store an empty referencedColumns at CREATE TABLE time; the
+        // real indices are resolved against the parent here.
+        let refCols;
+        try {
+            refCols = resolveReferencedColumns(fk, pkTable);
+        }
+        catch {
+            continue;
+        }
+        if (refCols.length !== fk.columns.length)
+            continue;
         // Build mapping: for each equi-pair, fk column index -> pk column index
         const equiMap = new Map();
         for (let i = 0; i < fkEquiIndices.length; i++) {
             equiMap.set(fkEquiIndices[i], pkEquiIndices[i]);
         }
-        // Check: every FK column is in equi-pairs, and the corresponding PK column
-        // is part of the primary key
         const pkColSet = new Set(pkDef.map(pk => pk.index));
         let allAligned = true;
-        for (const fkColIdx of fk.columns) {
-            const pkColIdx = equiMap.get(fkColIdx);
-            if (pkColIdx === undefined || !pkColSet.has(pkColIdx)) {
+        for (let i = 0; i < fk.columns.length; i++) {
+            // Defensive: a malformed FK referencing a non-PK column must never be
+            // reported as an IND on the parent PK.
+            if (!pkColSet.has(refCols[i])) {
+                allAligned = false;
+                break;
+            }
+            // Positional match: the equi-partner of fk.columns[i] must equal the
+            // parent column the FK declares at position i.
+            const partner = equiMap.get(fk.columns[i]);
+            if (partner !== refCols[i]) {
                 allAligned = false;
                 break;
             }

package/dist/src/planner/util/key-utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"key-utils.js","sourceRoot":"","sources":["../../../../src/planner/util/key-utils.ts"],"names":[],"mappings":"AAKA;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,UAAgD,EAAE,aAA0C;IACvH,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;YACvB,MAAM,cAAc,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;gBAClC,OAAO,GAAG,IAAI,CAAC;gBACf,MAAM;YACP,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxB,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,QAA8C,EAAE,SAA+C,EAAE,QAAgB,EAAE,eAAuB;IACzK,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IAC5D,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAYD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,sBAAsB,CACrC,QAAkB,EAClB,QAAwC,EACxC,SAAyC,EACzC,QAAkC,EAClC,SAAmC,EACnC,SAAyD,EACzD,QAA4B,EAC5B,SAA6B,EAC7B,eAAuB;IAEvB,IAAI,UAAU,GAA2B,SAAS,CAAC;IACnD,IAAI,aAAa,GAAuB,SAAS,CAAC;IAElD,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,OAAO;YACN,cAAc,EAAE,KAAK;YACrB,eAAe,EAAE,KAAK;YACtB,UAAU,EAAE,QAAQ,EAAE,UAAU;YAChC,aAAa,EAAE,SAAS;SACxB,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;QAClD,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;IAC3G,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAEhE,SAAS,SAAS,CAAC,IAAiE,EAAE,KAAkB;QACvG,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnF,CAAC;IAED,SAAS,iBAAiB,CAAC,IAAoC,EAAE,KAAkB;QAClF,IAAI,CAAC,IAAI,EAAE,UAAU;YAAE,OAAO,KAAK,CAAC;QACpC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC;IAED,MAAM,cAAc,GAAG,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,iBAAiB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACtG,MAAM,eAAe,GAAG,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,iBAAiB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAE3G,MAAM,QAAQ,GAAG,QAAQ,EAAE,UAAU,IAAI,EAAE,CAAC;IAC5C,MAAM,SAAS,GAAG,CAAC,SAAS,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC;IAC1F,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,IAAI,eAAe;QAAE,SAAS,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;IACjD,IAAI,cAAc;QAAE,SAAS,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;IACjD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,UAAU,GAAG,SAAS,CAAC;IAEjD,oFAAoF;IACpF,IAAI,eAAe,IAAI,OAAO,QAAQ,KAAK,QAAQ;QAAE,aAAa,GAAG,QAAQ,CAAC;IAC9E,IAAI,cAAc,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,aAAa,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;IAEpJ,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;AACvE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAwB;IAC1D,4CAA4C;IAC5C,8DAA8D;IAC9D,MAAM,CAAC,GAAG,IAAW,CAAC;IAEtB,qBAAqB;IACrB,IAAI,CAAC,CAAC,QAAQ,KAAK,gBAAgB,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QACtD,OAAO,CAAC,CAAC,WAA0B,CAAC;IACrC,CAAC;IAED,eAAe;IACf,IAAI,CAAC,CAAC,QAAQ,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC7C,OAAO,CAAC,CAAC,QAAQ,CAAC,WAAsC,CAAC;IAC1D,CAAC;IAED,mEAAmE;IACnE,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,CAAC;IAC9C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAuB,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CACjC,OAAoB,EACpB,OAAoB,EACpB,aAAoC,EACpC,aAAoC;IAEpC,IAAI,CAAC,OAAO,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAEvC,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACtC,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE;YAAE,SAAS;QAE9E,+DAA+D;QAC/D,6EAA6E;QAC7E,MAAM,KAAK,GAAG,OAAO,CAAC,oBAAoB,CAAC;QAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAAE,SAAS;QAEvE,wEAAwE;QACxE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC;QAED,2EAA2E;QAC3E,6BAA6B;QAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QACpD,IAAI,UAAU,GAAG,IAAI,CAAC;QACtB,KAAK,MAAM,QAAQ,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACvC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACvD,UAAU,GAAG,KAAK,CAAC;gBACnB,MAAM;YACP,CAAC;QACF,CAAC;QAED,IAAI,UAAU;YAAE,OAAO,IAAI,CAAC;IAC7B,CAAC;IAED,OAAO,KAAK,CAAC;AACd,CAAC"}
+{"version":3,"file":"key-utils.js","sourceRoot":"","sources":["../../../../src/planner/util/key-utils.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACpF,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAE3C;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,UAAgD,EAAE,aAA0C;IACvH,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;YACvB,MAAM,cAAc,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;gBAClC,OAAO,GAAG,IAAI,CAAC;gBACf,MAAM;YACP,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxB,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AA2BD;;;;;;;GAOG;AACH,SAAS,uBAAuB,CAAC,IAAoB;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,sBAAsB,GAAG,IAAI,CAAC;IAElC,MAAM,KAAK,GAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,CAAC,YAAY,mBAAmB,EAAE,CAAC;YACtC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YAC3B,SAAS;QACV,CAAC;QACD,MAAM,QAAQ,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,wEAAwE;YACxE,IAAI,CAAC,CAAC,CAAC,YAAY,WAAW,IAAI,CAAC,YAAY,sBAAsB,CAAC,EAAE,CAAC;gBACxE,sBAAsB,GAAG,KAAK,CAAC;gBAC/B,MAAM;YACP,CAAC;YACD,SAAS;QACV,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC1B,sFAAsF;YACtF,KAAK,CAAC,IAAI,CAAC,CAAmB,CAAC,CAAC;QACjC,CAAC;IACF,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,EAAE,CAAC;AAC5C,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,yBAAyB,CACxC,WAAiC,EACjC,WAAgD;IAEhD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,MAAM,cAAc,GAA4B,EAAE,CAAC;IAEnD,+DAA+D;IAC/D,KAAK,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,WAAW,EAAE,CAAC;QAC9C,IAAI,IAAI,YAAY,mBAAmB,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,WAAW,CAAC,CAAC;YACvE,IAAI,QAAQ,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAC7B,CAAC;QACF,CAAC;IACF,CAAC;IAED,uCAAuC;IACvC,KAAK,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,WAAW,EAAE,CAAC;QAC9C,IAAI,IAAI,YAAY,mBAAmB;YAAE,SAAS;QAElD,MAAM,EAAE,OAAO,EAAE,sBAAsB,EAAE,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAC1E,IAAI,CAAC,sBAAsB;YAAE,SAAS;QACtC,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;YAAE,SAAS;QAEjC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAe,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,SAAS;YAAE,SAAS;QAEpD,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;QAC7D,IAAI,QAAQ,GAAG,CAAC;YAAE,SAAS;QAE3B,yEAAyE;QACzE,wEAAwE;QACxE,4DAA4D;QAC5D,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxB,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC7B,CAAC;QACD,cAAc,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC;AAChC,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CACzB,IAAqD,EACrD,SAAsB;IAEtB,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAC9B,QAA8C,EAC9C,SAA+C,EAC/C,QAAkB,EAClB,eAAuB,EACvB,SAA0D;IAE1D,QAAQ,QAAQ,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAe,EAAE,CAAC;YAC9B,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;gBAC5B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAC/D,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACjF,CAAC;YACD,OAAO,MAAM,CAAC;QACf,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YACpD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAChE,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,UAAU,CAAC;gBAAE,OAAO,EAAE,CAAC;YACzD,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9E,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YACpD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC9D,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,SAAS,CAAC;gBAAE,OAAO,EAAE,CAAC;YACvD,OAAO,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACjG,CAAC;QACD,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACV,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9E,KAAK,MAAM,CAAC;QACZ;YACC,OAAO,EAAE,CAAC;IACZ,CAAC;AACF,CAAC;AAiBD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,sBAAsB,CACrC,QAAkB,EAClB,QAAwC,EACxC,SAAyC,EACzC,QAAkC,EAClC,SAAmC,EACnC,SAAyD,EACzD,QAA4B,EAC5B,SAA6B,EAC7B,eAAuB;IAEvB,MAAM,YAAY,GAAG,QAAQ,EAAE,OAAO,CAAC,MAAM,IAAI,eAAe,CAAC;IACjE,MAAM,aAAa,GAAG,SAAS,EAAE,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC;IAErD,qDAAqD;IACrD,MAAM,eAAe,GAAG,CAAC,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7E,MAAM,gBAAgB,GAAG,CAAC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAE/E,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,6EAA6E;QAC7E,4EAA4E;QAC5E,OAAO;YACN,cAAc,EAAE,KAAK;YACrB,eAAe,EAAE,KAAK;YACtB,aAAa,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;YAClD,aAAa,EAAE,SAAS;SACxB,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACzB,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;IACvG,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAEhE,SAAS,gBAAgB,CAAC,IAA0C,EAAE,KAAkB;QACvF,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,cAAc,GACnB,gBAAgB,CAAC,eAAe,EAAE,SAAS,CAAC;QAC5C,UAAU,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IACpD,MAAM,eAAe,GACpB,gBAAgB,CAAC,gBAAgB,EAAE,UAAU,CAAC;QAC9C,UAAU,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;IAEvD,wEAAwE;IACxE,0EAA0E;IAC1E,wEAAwE;IACxE,yEAAyE;IACzE,mEAAmE;IACnE,MAAM,QAAQ,GAAG,eAAe,CAAC;IACjC,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC;IACpF,MAAM,aAAa,GAAe,EAAE,CAAC;IACrC,IAAI,aAAa,GAAuB,SAAS,CAAC;IAElD,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;QAClD,IAAI,eAAe;YAAE,aAAa,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACzE,IAAI,cAAc;YAAE,aAAa,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAEhF,oFAAoF;QACpF,IAAI,eAAe,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,aAAa,GAAG,QAAQ,CAAC;QAC9E,IAAI,cAAc,IAAI,OAAO,SAAS,KAAK,QAAQ;YAAE,aAAa,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;IACrJ,CAAC;SAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChC,4EAA4E;QAC5E,4EAA4E;QAC5E,4EAA4E;QAC5E,8EAA8E;QAC9E,IAAI,eAAe,EAAE,CAAC;YACrB,aAAa,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACpD,IAAI,OAAO,QAAQ,KAAK,QAAQ;gBAAE,aAAa,GAAG,QAAQ,CAAC;QAC5D,CAAC;IACF,CAAC;SAAM,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;QACjC,qBAAqB;QACrB,IAAI,cAAc,EAAE,CAAC;YACpB,aAAa,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC5D,IAAI,OAAO,SAAS,KAAK,QAAQ;gBAAE,aAAa,GAAG,SAAS,CAAC;QAC9D,CAAC;IACF,CAAC;IAED,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC;AAC1E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAwB;IAC1D,4CAA4C;IAC5C,8DAA8D;IAC9D,MAAM,CAAC,GAAG,IAAW,CAAC;IAEtB,qBAAqB;IACrB,IAAI,CAAC,CAAC,QAAQ,KAAK,gBAAgB,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QACtD,OAAO,CAAC,CAAC,WAA0B,CAAC;IACrC,CAAC;IAED,eAAe;IACf,IAAI,CAAC,CAAC,QAAQ,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC7C,OAAO,CAAC,CAAC,QAAQ,CAAC,WAAsC,CAAC;IAC1D,CAAC;IAED,mEAAmE;IACnE,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,CAAC;IAC9C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAuB,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CACjC,OAAoB,EACpB,OAAoB,EACpB,aAAoC,EACpC,aAAoC;IAEpC,IAAI,CAAC,OAAO,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAEvC,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACtC,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE;YAAE,SAAS;QAE9E,MAAM,KAAK,GAAG,OAAO,CAAC,oBAAoB,CAAC;QAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAAE,SAAS;QAEvE,wEAAwE;QACxE,qDAAqD;QACrD,IAAI,OAA8B,CAAC;QACnC,IAAI,CAAC;YACJ,OAAO,GAAG,wBAAwB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC;QAAC,MAAM,CAAC;YACR,SAAS;QACV,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,EAAE,CAAC,OAAO,CAAC,MAAM;YAAE,SAAS;QAEnD,wEAAwE;QACxE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QACpD,IAAI,UAAU,GAAG,IAAI,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,sEAAsE;YACtE,uCAAuC;YACvC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/B,UAAU,GAAG,KAAK,CAAC;gBACnB,MAAM;YACP,CAAC;YACD,qEAAqE;YACrE,+CAA+C;YAC/C,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5B,UAAU,GAAG,KAAK,CAAC;gBACnB,MAAM;YACP,CAAC;QACF,CAAC;QAED,IAAI,UAAU;YAAE,OAAO,IAAI,CAAC;IAC7B,CAAC;IAED,OAAO,KAAK,CAAC;AACd,CAAC"}

package/dist/src/runtime/delta-executor.d.ts

@@ -0,0 +1,134 @@
+/**
+ * Delta executor kernel.
+ *
+ * A reusable dispatcher that any change-driven consumer (assertions today;
+ * materialized views, reactive signals, triggers tomorrow) can register
+ * subscriptions against. The kernel inspects per-subscription bindings
+ * (`BindingMode`), collects the relevant changed binding tuples from the
+ * TransactionManager's change capture, applies a cost-based fallback to
+ * global re-evaluation when too many tuples would need per-binding dispatch,
+ * and invokes the subscription's `apply` once with the resulting batches.
+ *
+ * The kernel itself is stateless across runs; subscriptions own their own
+ * residual plan cache (no shared cache, since plan-shape generation is
+ * consumer-specific).
+ */
+import { type SqlValue } from '../common/types.js';
+import type { BindingMode } from '../planner/analysis/binding-extractor.js';
+import type { ChangeScope, QualifiedName, WatchHandler } from '../planner/analysis/change-scope.js';
+/**
+ * The slice of `Database` the kernel needs. Decoupled so subscriptions can
+ * be unit-tested against a minimal mock.
+ */
+export interface DeltaExecutorContext {
+    /** Changed base tables for the current commit. */
+    getChangedBaseTables(): Set<string>;
+    /** Projected tuples for a changed base table. PK columns are always
+     *  available; non-PK columns must be registered via `registerCaptureSpec`
+     *  before any DML records changes. */
+    getChangedTuples(base: string, columnIndices: readonly number[], pkIndices: readonly number[]): SqlValue[][];
+    /** Heuristic row count for cost fallback. Optional — when omitted the
+     *  kernel does not demote any bindings to global. */
+    getRowCount?(base: string): number | undefined;
+    /** Tuning parameter: ratio of changed-distinct-tuples to table row count
+     *  above which the kernel demotes a 'row'/'group' binding to 'global'. */
+    readonly deltaPerRowFallbackRatio: number;
+}
+/**
+ * Input to a subscription's `apply`. Carries per-relation tuple batches plus
+ * a set of relations that should be re-evaluated globally (either because
+ * the binding is 'global' or because the cost-fallback fired).
+ */
+export interface DeltaApplyInput {
+    /** RelationKey → tuples to bind for that relation. Tuple order matches
+     *  the BindingMode's `keyColumns`/`groupColumns`. */
+    readonly perRelationTuples: ReadonlyMap<string, readonly SqlValue[][]>;
+    /** RelationKeys flagged for global re-evaluation. */
+    readonly globalRelations: ReadonlySet<string>;
+}
+/**
+ * A single change-driven consumer registered with the executor.
+ */
+export interface DeltaSubscription {
+    /** Diagnostic id (e.g. 'assertion:no_negative_balance'). */
+    readonly id: string;
+    /** Base table dependencies (lowercased 'schema.table'). */
+    readonly dependencies: ReadonlySet<string>;
+    /** BindingMode per relationKey (one per TableReferenceNode instance). */
+    readonly bindings: ReadonlyMap<string, BindingMode>;
+    /** relationKey → base table (from PlanBindings). */
+    readonly relationToBase: ReadonlyMap<string, string>;
+    /** PK indices per base table; used to retrieve changed tuples. */
+    readonly pkIndicesByBase: ReadonlyMap<string, readonly number[]>;
+    /** Invoked once with the per-relation batches for this commit. */
+    apply(input: DeltaApplyInput): Promise<void>;
+    /** Release any external resources this subscription holds. */
+    dispose(): void;
+}
+/**
+ * Coordinates delta dispatch across all registered subscriptions.
+ */
+export declare class DeltaExecutor {
+    private readonly ctx;
+    private subscriptions;
+    constructor(ctx: DeltaExecutorContext);
+    /**
+     * Register a subscription. Returns a dispose handle that removes the
+     * subscription and calls its `dispose()`.
+     */
+    register(sub: DeltaSubscription): () => void;
+    /** Dispose all subscriptions. */
+    disposeAll(): void;
+    /**
+     * Run all impacted subscriptions. Throws on the first subscription's
+     * `apply` rejection — exceptions are surfaced unchanged so the COMMIT
+     * path can roll back.
+     */
+    runAll(): Promise<void>;
+    private runOne;
+}
+/**
+ * Minimal table-info shape used by `subscriptionFromChangeScope` for column
+ * resolution and PK lookup. Kept generic so the helper does not import the
+ * schema module directly.
+ */
+export interface ChangeScopeTableInfo {
+    /** Lowercased column name → column index. */
+    readonly columnIndexMap: ReadonlyMap<string, number>;
+    /** Primary-key column indices, in PK order. */
+    readonly pkIndices: readonly number[];
+}
+/** Context provided by `Database.watch` to the helper. */
+export interface SubscriptionFromChangeScopeContext {
+    /** Resolve a qualified base table. Used for column-index lookup and as
+     *  the existence gate (returns `undefined` if the table is missing). */
+    resolveTable(qname: QualifiedName): ChangeScopeTableInfo | undefined;
+    /** Register a column-capture spec; returns a dispose handle. Called once
+     *  per base table that needs extra columns captured (i.e. row/group key
+     *  columns outside the PK, and `full` watches with a non-`'all'` column
+     *  set). */
+    registerCaptureSpec(baseTable: string, spec: {
+        extraColumns: ReadonlySet<number>;
+    }): () => void;
+    /** Return a stable transaction id for the current commit. The watcher
+     *  subscription includes this on every emitted `WatchEvent`. */
+    getCurrentTxnId(): string;
+}
+export interface SubscriptionFromChangeScopeResult {
+    subscription: DeltaSubscription;
+    /** Capture-spec dispose handles to release on `unsubscribe`. */
+    captureDisposers: Array<() => void>;
+}
+/**
+ * Translate a public `ChangeScope` into a `DeltaSubscription` plus its
+ * capture-spec dispose handles. Pure shape-translation: callers (i.e.
+ * `Database.watch`) own validation of unbound parameters, schema-change
+ * invalidation, and registration with the executor.
+ *
+ * Throws synchronously if:
+ * - any referenced table no longer exists in the schema;
+ * - any column referenced in `key` / `groupBy` / `columns` does not exist
+ *   on its table.
+ */
+export declare function subscriptionFromChangeScope(scope: ChangeScope, handler: WatchHandler, id: string, ctx: SubscriptionFromChangeScopeContext): SubscriptionFromChangeScopeResult;
+//# sourceMappingURL=delta-executor.d.ts.map

package/dist/src/runtime/delta-executor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"delta-executor.d.ts","sourceRoot":"","sources":["../../../src/runtime/delta-executor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0CAA0C,CAAC;AAC5E,OAAO,KAAK,EACX,WAAW,EAEX,aAAa,EAGb,YAAY,EACZ,MAAM,qCAAqC,CAAC;AAI7C;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACpC,kDAAkD;IAClD,oBAAoB,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC;;0CAEsC;IACtC,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,MAAM,EAAE,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,QAAQ,EAAE,EAAE,CAAC;IAC7G;yDACqD;IACrD,WAAW,CAAC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAC/C;8EAC0E;IAC1E,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;CAC1C;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC/B;yDACqD;IACrD,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,EAAE,CAAC,CAAC;IACvE,qDAAqD;IACrD,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC9C;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IACjC,4DAA4D;IAC5D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,2DAA2D;IAC3D,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACpD,oDAAoD;IACpD,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrD,kEAAkE;IAClE,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IACjE,kEAAkE;IAClE,KAAK,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7C,8DAA8D;IAC9D,OAAO,IAAI,IAAI,CAAC;CAChB;AAED;;GAEG;AACH,qBAAa,aAAa;IAGb,OAAO,CAAC,QAAQ,CAAC,GAAG;IAFhC,OAAO,CAAC,aAAa,CAAgC;gBAExB,GAAG,EAAE,oBAAoB;IAEtD;;;OAGG;IACH,QAAQ,CAAC,GAAG,EAAE,iBAAiB,GAAG,MAAM,IAAI;IAW5C,iCAAiC;IACjC,UAAU,IAAI,IAAI;IAOlB;;;;OAIG;IACG,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC;YAef,MAAM;CAsEpB;AAID;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACpC,6CAA6C;IAC7C,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrD,+CAA+C;IAC/C,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,0DAA0D;AAC1D,MAAM,WAAW,kCAAkC;IAClD;4EACwE;IACxE,YAAY,CAAC,KAAK,EAAE,aAAa,GAAG,oBAAoB,GAAG,SAAS,CAAC;IACrE;;;gBAGY;IACZ,mBAAmB,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE;QAAE,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;KAAE,GAAG,MAAM,IAAI,CAAC;IAChG;oEACgE;IAChE,eAAe,IAAI,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,iCAAiC;IACjD,YAAY,EAAE,iBAAiB,CAAC;IAChC,gEAAgE;IAChE,gBAAgB,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;CACpC;AA8CD;;;;;;;;;;GAUG;AACH,wBAAgB,2BAA2B,CAC1C,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,YAAY,EACrB,EAAE,EAAE,MAAM,EACV,GAAG,EAAE,kCAAkC,GACrC,iCAAiC,CAqKnC"}