@quereus/quereus 3.3.0 → 4.0.0

package/dist/src/planner/nodes/join-node.js

@@ -7,10 +7,31 @@ import { normalizePredicate } from '../analysis/predicate-normalizer.js';
 import { combineJoinKeys, analyzeJoinKeyCoverage } from '../util/key-utils.js';
 import { BinaryOpNode } from './scalar.js';
 import { ColumnReferenceNode } from './reference.js';
-import { buildJoinAttributes, buildJoinRelationType, estimateJoinRows, propagateJoinMonotonicOn, propagateJoinFds } from './join-utils.js';
+import { buildJoinAttributes, buildJoinRelationType, estimateJoinRows, propagateJoinMonotonicOn, propagateJoinFds, propagateJoinInds } from './join-utils.js';
+import { isValueDiscriminatingEquality } from '../analysis/comparison-collation.js';
+import { deriveJoinUpdateLineage } from '../analysis/update-lineage.js';
 /**
  * Extract equi-join column index pairs from a join condition (AND-of-equalities).
  * Returns pairs of {left, right} column indices.
+ *
+ * An equi-pair is a VALUE-level pairing fact — its consumers (join key
+ * coverage, FD/EC propagation, FK-alignment rules, join elimination, the
+ * coverage prover) all assume matched rows are value-equal on the pair, so a
+ * pair is only recognized when the comparison is value-discriminating
+ * (`isValueDiscriminatingEquality`): for textual columns, every collation
+ * either side contributes must be BINARY. A NOCASE comparison over a
+ * BINARY-keyed column matches several distinct key values, so a pair minted
+ * from it would falsely claim key coverage / preserved keys (ticket
+ * `collation-blind-equality-fact-extraction`). Declared-non-BINARY equi-joins
+ * therefore contribute NO pairs (a sound under-claim: keys combine as a cross
+ * product, eliminations don't fire). Physical join algorithm selection is
+ * unaffected — it uses its own extractor (`rules/join/equi-pair-extractor.ts`)
+ * and resolves collations at emit time.
+ *
+ * Operands must be **bare** `ColumnReferenceNode`s: a `COLLATE`-wrapped side
+ * (`l.x = r.b collate nocase`) is structurally rejected. That exclusion is
+ * load-bearing — do not "improve" this with a collate-unwrapping step without
+ * re-deriving the gate above against the wrapper's collation.
  */
 export function extractEquiPairsFromCondition(condition, leftAttrs, rightAttrs) {
     const pairs = [];
@@ -31,7 +52,8 @@ export function extractEquiPairsFromCondition(condition, leftAttrs, rightAttrs)
                 continue;
             }
             if (op === '=') {
-                if (n.left instanceof ColumnReferenceNode && n.right instanceof ColumnReferenceNode) {
+                if (n.left instanceof ColumnReferenceNode && n.right instanceof ColumnReferenceNode
+                    && isValueDiscriminatingEquality(n.left, n.right)) {
                     let lIdx = leftIdToIndex.get(n.left.attributeId);
                     let rIdx = rightIdToIndex.get(n.right.attributeId);
                     if (lIdx !== undefined && rIdx !== undefined) {
@@ -60,9 +82,10 @@ export class JoinNode extends PlanNode {
     joinType;
     condition;
     usingColumns;
+    existence;
     nodeType = PlanNodeType.Join;
     attributesCache;
-    constructor(scope, left, right, joinType, condition, usingColumns) {
+    constructor(scope, left, right, joinType, condition, usingColumns, existence) {
         // Cost estimate: base cost is sum of children plus join cost
         const leftCost = left.getTotalCost();
         const rightCost = right.getTotalCost();
@@ -76,6 +99,7 @@ export class JoinNode extends PlanNode {
         this.joinType = joinType;
         this.condition = condition;
         this.usingColumns = usingColumns;
+        this.existence = existence;
         this.attributesCache = new Cached(() => this.buildAttributes());
     }
     computePhysical(childrenPhysical) {
@@ -95,17 +119,60 @@ export class JoinNode extends PlanNode {
         })).filter(p => p.leftAttrId !== undefined && p.rightAttrId !== undefined);
         const totalCols = this.getAttributes().length;
         const fdResult = propagateJoinFds(this.joinType, leftPhys, rightPhys, pairs, leftType.columns.length, totalCols, result.preservedKeys);
+        // Backward update-lineage: compose per-source lineage along the join FDs
+        // the forward pass computed (output attribute ids are preserved per side,
+        // so the maps merge directly). Outer joins wrap the non-preserved side's
+        // sites `null-extended` under the join predicate — annotation only; write
+        // materialization is a later phase. Each existence flag registers an
+        // `existence` site (read-only here) under the same join predicate.
+        const { updateLineage, attributeDefaults } = deriveJoinUpdateLineage(this.joinType, leftPhys?.updateLineage, rightPhys?.updateLineage, leftPhys?.attributeDefaults, rightPhys?.attributeDefaults, this.condition?.expression, this.existenceSites());
         return {
             estimatedRows: result.estimatedRows,
             monotonicOn: propagateJoinMonotonicOn(this.joinType, leftPhys, rightPhys, attrIdPairs),
+            // `fdResult.fds` already covers `key → flag` for each preserved key: the
+            // forward walk's `withKeyFds` builds `key → all_other_cols` over the FULL
+            // output column count (which includes the appended flags), so a flag is a
+            // dependent of every preserved key and never a determinant — Invariant 1.
             fds: fdResult.fds,
             equivClasses: fdResult.equivClasses,
             constantBindings: fdResult.constantBindings,
-            domainConstraints: fdResult.domainConstraints,
+            // Each flag carries a `{true,false}` enum domain (the clean-boolean point).
+            domainConstraints: this.withFlagDomains(fdResult.domainConstraints),
+            inds: propagateJoinInds(this.joinType, leftPhys, rightPhys, leftType.columns.length),
+            updateLineage,
+            attributeDefaults,
         };
     }
+    /** Output column index of the i-th existence flag (appended after both sides). */
+    flagColumnIndex(i) {
+        return this.left.getType().columns.length + this.right.getType().columns.length + i;
+    }
+    /** Existence sites for the backward lineage walk (empty when no flags). */
+    existenceSites() {
+        if (!this.existence || this.existence.length === 0)
+            return undefined;
+        return this.existence.map(spec => ({
+            attrId: spec.attrId,
+            side: spec.side,
+            componentTable: Number(spec.side === 'left' ? this.left.id : this.right.id),
+        }));
+    }
+    /** Append a `{true,false}` enum domain constraint per existence flag. */
+    withFlagDomains(domains) {
+        if (!this.existence || this.existence.length === 0)
+            return domains;
+        const out = [...(domains ?? [])];
+        this.existence.forEach((_spec, i) => {
+            out.push({ kind: 'enum', column: this.flagColumnIndex(i), values: [true, false] });
+        });
+        return out;
+    }
+    /** True when this join exposes one or more `exists … as` match flags. */
+    get hasExistenceColumns() {
+        return !!this.existence && this.existence.length > 0;
+    }
     buildAttributes() {
-        return buildJoinAttributes(this.left.getAttributes(), this.right.getAttributes(), this.joinType);
+        return buildJoinAttributes(this.left.getAttributes(), this.right.getAttributes(), this.joinType, undefined, this.existence);
     }
     getAttributes() {
         return this.attributesCache.value;
@@ -117,7 +184,7 @@ export class JoinNode extends PlanNode {
         // keys only survive when the other side's key is covered by the pairs).
         const pairs = extractEquiPairsFromCondition(this.condition, this.left.getAttributes(), this.right.getAttributes());
         const keys = combineJoinKeys(leftType.keys, rightType.keys, this.joinType, leftType.columns.length, pairs);
-        return buildJoinRelationType(leftType, rightType, this.joinType, keys);
+        return buildJoinRelationType(leftType, rightType, this.joinType, keys, this.existence);
     }
     getChildren() {
         return this.condition ? [this.left, this.right, this.condition] : [this.left, this.right];
@@ -148,8 +215,10 @@ export class JoinNode extends PlanNode {
         if (!leftChanged && !rightChanged && !conditionChanged) {
             return this;
         }
-        // Create new instance - JoinNode creates new attributes by combining left and right
-        return new JoinNode(this.scope, newLeft, newRight, this.joinType, newCondition, this.usingColumns);
+        // Create new instance - JoinNode creates new attributes by combining left and
+        // right. The existence specs carry pre-minted stable attribute ids, so they
+        // are threaded verbatim (the appended flag columns survive the rebuild).
+        return new JoinNode(this.scope, newLeft, newRight, this.joinType, newCondition, this.usingColumns, this.existence);
     }
     get estimatedRows() {
         return estimateJoinRows(this.left.estimatedRows, this.right.estimatedRows, this.joinType);
@@ -171,6 +240,7 @@ export class JoinNode extends PlanNode {
             joinType: this.joinType,
             hasCondition: !!this.condition,
             usingColumns: this.usingColumns,
+            existence: this.existence?.map(e => `exists ${e.side} as ${e.name}`),
             leftRows: this.left.estimatedRows,
             rightRows: this.right.estimatedRows
         };

package/dist/src/planner/nodes/join-node.js.map

@@ -1 +1 @@
-{"version":3,"file":"join-node.js","sourceRoot":"","sources":["../../../../src/planner/nodes/join-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAI5D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAI3I;;;GAGG;AACH,MAAM,UAAU,6BAA6B,CAC5C,SAAqC,EACrC,SAA+B,EAC/B,UAAgC;IAEhC,MAAM,KAAK,GAA2C,EAAE,CAAC;IACzD,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACnE,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAE1D,MAAM,KAAK,GAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,CAAC,YAAY,YAAY,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;YACjC,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;gBAClB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC5B,SAAS;YACV,CAAC;YACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBAChB,IAAI,CAAC,CAAC,IAAI,YAAY,mBAAmB,IAAI,CAAC,CAAC,KAAK,YAAY,mBAAmB,EAAE,CAAC;oBACrF,IAAI,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBACjD,IAAI,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;oBACnD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;wBAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;oBACzC,CAAC;yBAAM,CAAC;wBACP,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;wBAC9C,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBAC9C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;4BAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;wBACzC,CAAC;oBACF,CAAC;gBACF,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,QAAS,SAAQ,QAAQ;IAMpB;IACA;IACA;IACA;IACA;IATR,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC;IAC9B,eAAe,CAAsB;IAE7C,YACC,KAAY,EACI,IAAwB,EACxB,KAAyB,EACzB,QAAkB,EAClB,SAA0B,EAC1B,YAAgC;QAEhD,6DAA6D;QAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,IAAI,GAAG,CAAC;QAC3C,MAAM,SAAS,GAAG,KAAK,CAAC,aAAa,IAAI,GAAG,CAAC;QAE7C,gDAAgD;QAChD,MAAM,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;QACtC,KAAK,CAAC,KAAK,EAAE,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC,CAAC;QAd9B,SAAI,GAAJ,IAAI,CAAoB;QACxB,UAAK,GAAL,KAAK,CAAoB;QACzB,aAAQ,GAAR,QAAQ,CAAU;QAClB,cAAS,GAAT,SAAS,CAAiB;QAC1B,iBAAY,GAAZ,YAAY,CAAoB;QAYhD,IAAI,CAAC,eAAe,GAAG,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;IACjE,CAAC;IAED,eAAe,CAAC,gBAAsC;QACrD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAE9C,+CAA+C;QAC/C,MAAM,KAAK,GAAG,6BAA6B,CAC1C,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CACrC,CAAC;QAEF,MAAM,MAAM,GAAG,sBAAsB,CACpC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EACvD,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EACxD,QAAQ,CAAC,OAAO,CAAC,MAAM,CACvB,CAAC;QAEF,iFAAiF;QACjF,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE;YACjC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE;SACpC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,CACtB,CAAC;QAEpD,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC;QAC9C,MAAM,QAAQ,GAAG,gBAAgB,CAChC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EACzC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,aAAa,CACxD,CAAC;QAEF,OAAO;YACN,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,WAAW,EAAE,wBAAwB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC;YACtF,GAAG,EAAE,QAAQ,CAAC,GAAG;YACjB,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;YAC3C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;SAC7C,CAAC;IACH,CAAC;IAEO,eAAe;QACtB,OAAO,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClG,CAAC;IAED,aAAa;QACZ,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;IACnC,CAAC;IAED,OAAO;QACN,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACvC,6EAA6E;QAC7E,wEAAwE;QACxE,MAAM,KAAK,GAAG,6BAA6B,CAC1C,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CACrE,CAAC;QACF,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC3G,OAAO,qBAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxE,CAAC;IAED,WAAW;QACV,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3F,CAAC;IAED,YAAY;QACX,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,YAAY,CAAC,WAAgC;QAC5C,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,WAAW,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YAC3C,YAAY,CAAC,oBAAoB,cAAc,kBAAkB,WAAW,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC7G,CAAC;QAED,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,YAAY,CAAC,GAAG,WAAW,CAAC;QAEtD,aAAa;QACb,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,YAAY,CAAC,oDAAoD,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACzF,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,YAAY,CAAC,qDAAqD,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,YAAY,IAAI,CAAC,CAAC,YAAY,IAAI,YAAY,CAAC,EAAE,CAAC;YACrD,YAAY,CAAC,gDAAgD,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACrF,CAAC;QAED,4BAA4B;QAC5B,MAAM,WAAW,GAAG,OAAO,KAAK,IAAI,CAAC,IAAI,CAAC;QAC1C,MAAM,YAAY,GAAG,QAAQ,KAAK,IAAI,CAAC,KAAK,CAAC;QAC7C,MAAM,gBAAgB,GAAG,YAAY,KAAK,IAAI,CAAC,SAAS,CAAC;QAEzD,IAAI,CAAC,WAAW,IAAI,CAAC,YAAY,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxD,OAAO,IAAI,CAAC;QACb,CAAC;QAED,oFAAoF;QACpF,OAAO,IAAI,QAAQ,CAClB,IAAI,CAAC,KAAK,EACV,OAA6B,EAC7B,QAA8B,EAC9B,IAAI,CAAC,QAAQ,EACb,YAA0C,EAC1C,IAAI,CAAC,YAAY,CACjB,CAAC;IACH,CAAC;IAED,IAAI,aAAa;QAChB,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3F,CAAC;IAEQ,QAAQ;QAChB,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QACpD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,OAAO,GAAG,eAAe,oBAAoB,CAAC;QAC/C,CAAC;aAAM,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC9B,OAAO,GAAG,eAAe,eAAe,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACzE,CAAC;aAAM,CAAC;YACP,OAAO,GAAG,eAAe,OAAO,CAAC;QAClC,CAAC;IACF,CAAC;IAEQ,oBAAoB;QAC5B,OAAO;YACN,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS;YAC9B,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa;YACjC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa;SACnC,CAAC;IACH,CAAC;IAEM,WAAW;QACjB,OAAO,IAAI,CAAC,QAAQ,CAAC;IACtB,CAAC;IAEM,gBAAgB;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC;IACvB,CAAC;IAEM,aAAa;QACnB,OAAO,IAAI,CAAC,IAAI,CAAC;IAClB,CAAC;IAEM,cAAc;QACpB,OAAO,IAAI,CAAC,KAAK,CAAC;IACnB,CAAC;IAEM,eAAe;QACrB,OAAO,IAAI,CAAC,YAAY,CAAC;IAC1B,CAAC;IAED,iFAAiF;IACjF,aAAa;QACZ,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,CAAC;CACD"}
+{"version":3,"file":"join-node.js","sourceRoot":"","sources":["../../../../src/planner/nodes/join-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAI5D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAC9J,OAAO,EAAE,6BAA6B,EAAE,MAAM,qCAAqC,CAAC;AACpF,OAAO,EAAE,uBAAuB,EAA0B,MAAM,+BAA+B,CAAC;AAiBhG;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,6BAA6B,CAC5C,SAAqC,EACrC,SAA+B,EAC/B,UAAgC;IAEhC,MAAM,KAAK,GAA2C,EAAE,CAAC;IACzD,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACnE,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAE1D,MAAM,KAAK,GAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,CAAC,YAAY,YAAY,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;YACjC,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;gBAClB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC5B,SAAS;YACV,CAAC;YACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBAChB,IAAI,CAAC,CAAC,IAAI,YAAY,mBAAmB,IAAI,CAAC,CAAC,KAAK,YAAY,mBAAmB;uBAC/E,6BAA6B,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBACpD,IAAI,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBACjD,IAAI,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;oBACnD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;wBAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;oBACzC,CAAC;yBAAM,CAAC;wBACP,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;wBAC9C,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBAC9C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;4BAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;wBACzC,CAAC;oBACF,CAAC;gBACF,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,QAAS,SAAQ,QAAQ;IAMpB;IACA;IACA;IACA;IACA;IACA;IAVR,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC;IAC9B,eAAe,CAAsB;IAE7C,YACC,KAAY,EACI,IAAwB,EACxB,KAAyB,EACzB,QAAkB,EAClB,SAA0B,EAC1B,YAAgC,EAChC,SAA0C;QAE1D,6DAA6D;QAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,IAAI,GAAG,CAAC;QAC3C,MAAM,SAAS,GAAG,KAAK,CAAC,aAAa,IAAI,GAAG,CAAC;QAE7C,gDAAgD;QAChD,MAAM,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;QACtC,KAAK,CAAC,KAAK,EAAE,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC,CAAC;QAf9B,SAAI,GAAJ,IAAI,CAAoB;QACxB,UAAK,GAAL,KAAK,CAAoB;QACzB,aAAQ,GAAR,QAAQ,CAAU;QAClB,cAAS,GAAT,SAAS,CAAiB;QAC1B,iBAAY,GAAZ,YAAY,CAAoB;QAChC,cAAS,GAAT,SAAS,CAAiC;QAY1D,IAAI,CAAC,eAAe,GAAG,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;IACjE,CAAC;IAED,eAAe,CAAC,gBAAsC;QACrD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAE9C,+CAA+C;QAC/C,MAAM,KAAK,GAAG,6BAA6B,CAC1C,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CACrC,CAAC;QAEF,MAAM,MAAM,GAAG,sBAAsB,CACpC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EACvD,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EACxD,QAAQ,CAAC,OAAO,CAAC,MAAM,CACvB,CAAC;QAEF,iFAAiF;QACjF,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE;YACjC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE;SACpC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,CACtB,CAAC;QAEpD,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC;QAC9C,MAAM,QAAQ,GAAG,gBAAgB,CAChC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EACzC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,aAAa,CACxD,CAAC;QAEF,yEAAyE;QACzE,0EAA0E;QAC1E,yEAAyE;QACzE,0EAA0E;QAC1E,qEAAqE;QACrE,mEAAmE;QACnE,MAAM,EAAE,aAAa,EAAE,iBAAiB,EAAE,GAAG,uBAAuB,CACnE,IAAI,CAAC,QAAQ,EACb,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,EACjD,QAAQ,EAAE,iBAAiB,EAAE,SAAS,EAAE,iBAAiB,EACzD,IAAI,CAAC,SAAS,EAAE,UAAU,EAC1B,IAAI,CAAC,cAAc,EAAE,CACrB,CAAC;QAEF,OAAO;YACN,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,WAAW,EAAE,wBAAwB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC;YACtF,yEAAyE;YACzE,0EAA0E;YAC1E,0EAA0E;YAC1E,0EAA0E;YAC1E,GAAG,EAAE,QAAQ,CAAC,GAAG;YACjB,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;YAC3C,4EAA4E;YAC5E,iBAAiB,EAAE,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,iBAAiB,CAAC;YACnE,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;YACpF,aAAa;YACb,iBAAiB;SACjB,CAAC;IACH,CAAC;IAED,kFAAkF;IAC1E,eAAe,CAAC,CAAS;QAChC,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IACrF,CAAC;IAED,2EAA2E;IACnE,cAAc;QACrB,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACrE,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClC,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;SAC3E,CAAC,CAAC,CAAC;IACL,CAAC;IAED,yEAAyE;IACjE,eAAe,CACtB,OAAoD;QAEpD,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QACnE,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YACnC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;QACH,OAAO,GAAG,CAAC;IACZ,CAAC;IAED,yEAAyE;IACzE,IAAI,mBAAmB;QACtB,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IACtD,CAAC;IAEO,eAAe;QACtB,OAAO,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7H,CAAC;IAED,aAAa;QACZ,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;IACnC,CAAC;IAED,OAAO;QACN,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACvC,6EAA6E;QAC7E,wEAAwE;QACxE,MAAM,KAAK,GAAG,6BAA6B,CAC1C,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CACrE,CAAC;QACF,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC3G,OAAO,qBAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACxF,CAAC;IAED,WAAW;QACV,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3F,CAAC;IAED,YAAY;QACX,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,YAAY,CAAC,WAAgC;QAC5C,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,WAAW,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YAC3C,YAAY,CAAC,oBAAoB,cAAc,kBAAkB,WAAW,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC7G,CAAC;QAED,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,YAAY,CAAC,GAAG,WAAW,CAAC;QAEtD,aAAa;QACb,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,YAAY,CAAC,oDAAoD,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACzF,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,YAAY,CAAC,qDAAqD,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,YAAY,IAAI,CAAC,CAAC,YAAY,IAAI,YAAY,CAAC,EAAE,CAAC;YACrD,YAAY,CAAC,gDAAgD,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACrF,CAAC;QAED,4BAA4B;QAC5B,MAAM,WAAW,GAAG,OAAO,KAAK,IAAI,CAAC,IAAI,CAAC;QAC1C,MAAM,YAAY,GAAG,QAAQ,KAAK,IAAI,CAAC,KAAK,CAAC;QAC7C,MAAM,gBAAgB,GAAG,YAAY,KAAK,IAAI,CAAC,SAAS,CAAC;QAEzD,IAAI,CAAC,WAAW,IAAI,CAAC,YAAY,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxD,OAAO,IAAI,CAAC;QACb,CAAC;QAED,8EAA8E;QAC9E,4EAA4E;QAC5E,yEAAyE;QACzE,OAAO,IAAI,QAAQ,CAClB,IAAI,CAAC,KAAK,EACV,OAA6B,EAC7B,QAA8B,EAC9B,IAAI,CAAC,QAAQ,EACb,YAA0C,EAC1C,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,SAAS,CACd,CAAC;IACH,CAAC;IAED,IAAI,aAAa;QAChB,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3F,CAAC;IAEQ,QAAQ;QAChB,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QACpD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,OAAO,GAAG,eAAe,oBAAoB,CAAC;QAC/C,CAAC;aAAM,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC9B,OAAO,GAAG,eAAe,eAAe,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACzE,CAAC;aAAM,CAAC;YACP,OAAO,GAAG,eAAe,OAAO,CAAC;QAClC,CAAC;IACF,CAAC;IAEQ,oBAAoB;QAC5B,OAAO;YACN,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS;YAC9B,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;YACpE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa;YACjC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa;SACnC,CAAC;IACH,CAAC;IAEM,WAAW;QACjB,OAAO,IAAI,CAAC,QAAQ,CAAC;IACtB,CAAC;IAEM,gBAAgB;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC;IACvB,CAAC;IAEM,aAAa;QACnB,OAAO,IAAI,CAAC,IAAI,CAAC;IAClB,CAAC;IAEM,cAAc;QACpB,OAAO,IAAI,CAAC,KAAK,CAAC;IACnB,CAAC;IAEM,eAAe;QACrB,OAAO,IAAI,CAAC,YAAY,CAAC;IAC1B,CAAC;IAED,iFAAiF;IACjF,aAAa;QACZ,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,CAAC;CACD"}

package/dist/src/planner/nodes/join-utils.d.ts

@@ -1,6 +1,6 @@
-import type { Attribute, ConstantBinding, DomainConstraint, FunctionalDependency, MonotonicOnInfo, PhysicalProperties } from './plan-node.js';
-import type { JoinType } from './join-node.js';
-import type { RelationType, ColRef } from '../../common/datatype.js';
+import type { Attribute, ConstantBinding, DomainConstraint, FunctionalDependency, InclusionDependency, MonotonicOnInfo, PhysicalProperties } from './plan-node.js';
+import type { JoinType, ExistenceColumnSpec } from './join-node.js';
+import type { RelationType, ColRef, ScalarType } from '../../common/datatype.js';
 /**
  * An equi-join pair: left attribute = right attribute.
  * Attribute IDs are stable across plan transformations.
@@ -16,14 +16,20 @@ export interface EquiJoinPair {
  * logical JoinNode) the preserved set is returned directly.  Otherwise the
  * attributes are computed from the left/right inputs and the join type.
  */
-export declare function buildJoinAttributes(leftAttrs: readonly Attribute[], rightAttrs: readonly Attribute[], joinType: JoinType, preserveAttributeIds?: readonly Attribute[]): Attribute[];
+/**
+ * The scalar type of an existence (`exists … as`) match flag: a clean
+ * `{true,false}` boolean, genuinely NOT NULL (the null-extension test the column
+ * replaces), and read-only (derived at the combinator).
+ */
+export declare const EXISTENCE_FLAG_TYPE: ScalarType;
+export declare function buildJoinAttributes(leftAttrs: readonly Attribute[], rightAttrs: readonly Attribute[], joinType: JoinType, preserveAttributeIds?: readonly Attribute[], existence?: readonly ExistenceColumnSpec[]): Attribute[];
 /**
  * Build the `RelationType` for a join result.
  *
  * Semi/anti joins return the left type shape.  All other join types combine
  * columns from both sides with appropriate nullable marking.
  */
-export declare function buildJoinRelationType(leftType: RelationType, rightType: RelationType, joinType: JoinType, keys?: ReadonlyArray<ReadonlyArray<ColRef>>): RelationType;
+export declare function buildJoinRelationType(leftType: RelationType, rightType: RelationType, joinType: JoinType, keys?: ReadonlyArray<ReadonlyArray<ColRef>>, existence?: readonly ExistenceColumnSpec[]): RelationType;
 /**
  * Propagate `monotonicOn` through a join operator.
  *
@@ -54,7 +60,13 @@ export declare function propagateJoinMonotonicOn(joinType: JoinType, leftPhys: P
  * - right outer: mirror of left outer.
  * - full outer: drop both sides' FDs/ECs (conservative).
  * - semi / anti: left's FDs/ECs survive; no right contribution and no equi-pair
- *   FDs (right columns are not in the output).
+ *   FDs (right columns are not in the output). Left rows pass ≤1:1, so kinds
+ *   are preserved verbatim.
+ * - Fan-out kind downgrade (inner/cross/left/right): a side that is NOT
+ *   preserved (no preserved key lies within it) is fanned out — its surviving
+ *   FDs, guarded ones included, are downgraded `'unique'` → `'determination'`
+ *   via `downgradeUniqueFds` so the kind invariant holds before any reader
+ *   trusts it.
  */
 export declare function propagateJoinFds(joinType: JoinType, leftPhys: PhysicalProperties | undefined, rightPhys: PhysicalProperties | undefined, equiPairs: ReadonlyArray<{
     left: number;
@@ -65,6 +77,21 @@ export declare function propagateJoinFds(joinType: JoinType, leftPhys: PhysicalP
     constantBindings?: ReadonlyArray<ConstantBinding>;
     domainConstraints?: ReadonlyArray<DomainConstraint>;
 };
+/**
+ * Propagate inclusion dependencies through a join operator. The IND analogue of
+ * `propagateJoinFds` — it MUST stay consistent with that function and
+ * `analyzeJoinKeyCoverage`.
+ *
+ * INDs assert per-row existence in another relation, so a NULL-padded side can
+ * violate the claim and is dropped conservatively:
+ * - inner / cross: union of left INDs and `shiftInds(right, leftColumnCount)`.
+ * - left (preserved = left): keep left INDs; drop the right side's INDs (the
+ *   right columns are NULL-padded for unmatched left rows).
+ * - right (preserved = right): keep `shiftInds(right, leftColumnCount)`; drop left.
+ * - semi / anti: keep left INDs only (right columns are not in the output).
+ * - full: drop both (either side can be NULL-padded).
+ */
+export declare function propagateJoinInds(joinType: JoinType, leftPhys: PhysicalProperties | undefined, rightPhys: PhysicalProperties | undefined, leftColumnCount: number): ReadonlyArray<InclusionDependency> | undefined;
 /**
  * Estimate the number of output rows for a join given the input cardinalities.
  */

package/dist/src/planner/nodes/join-utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"join-utils.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/join-utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAC9I,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAarE;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAClC,SAAS,EAAE,SAAS,SAAS,EAAE,EAC/B,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,QAAQ,EAAE,QAAQ,EAClB,oBAAoB,CAAC,EAAE,SAAS,SAAS,EAAE,GACzC,SAAS,EAAE,CAcb;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACpC,QAAQ,EAAE,YAAY,EACtB,SAAS,EAAE,YAAY,EACvB,QAAQ,EAAE,QAAQ,EAClB,IAAI,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GACzC,YAAY,CAkCd;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,wBAAwB,CACvC,QAAQ,EAAE,QAAQ,EAClB,QAAQ,EAAE,kBAAkB,GAAG,SAAS,EACxC,SAAS,EAAE,kBAAkB,GAAG,SAAS,EACzC,SAAS,EAAE,aAAa,CAAC;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,GACnE,SAAS,eAAe,EAAE,GAAG,SAAS,CA8BxC;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,QAAQ,EAClB,QAAQ,EAAE,kBAAkB,GAAG,SAAS,EACxC,SAAS,EAAE,kBAAkB,GAAG,SAAS,EACzC,SAAS,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,EACzD,eAAe,EAAE,MAAM,EACvB,gBAAgB,EAAE,MAAM,EACxB,aAAa,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GACjD;IACF,GAAG,CAAC,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IAC1C,YAAY,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;IACpD,gBAAgB,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAClD,iBAAiB,CAAC,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;CACpD,CA0FA;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,QAAQ,EAAE,QAAQ,GAChB,MAAM,GAAG,SAAS,CAoBpB"}
+{"version":3,"file":"join-utils.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/join-utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACnK,OAAO,KAAK,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAa,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAgB5F;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;GAMG;AACH;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,UAKjC,CAAC;AAEF,wBAAgB,mBAAmB,CAClC,SAAS,EAAE,SAAS,SAAS,EAAE,EAC/B,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,QAAQ,EAAE,QAAQ,EAClB,oBAAoB,CAAC,EAAE,SAAS,SAAS,EAAE,EAC3C,SAAS,CAAC,EAAE,SAAS,mBAAmB,EAAE,GACxC,SAAS,EAAE,CAqBb;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACpC,QAAQ,EAAE,YAAY,EACtB,SAAS,EAAE,YAAY,EACvB,QAAQ,EAAE,QAAQ,EAClB,IAAI,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAC3C,SAAS,CAAC,EAAE,SAAS,mBAAmB,EAAE,GACxC,YAAY,CAyCd;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,wBAAwB,CACvC,QAAQ,EAAE,QAAQ,EAClB,QAAQ,EAAE,kBAAkB,GAAG,SAAS,EACxC,SAAS,EAAE,kBAAkB,GAAG,SAAS,EACzC,SAAS,EAAE,aAAa,CAAC;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,GACnE,SAAS,eAAe,EAAE,GAAG,SAAS,CA8BxC;AAsBD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,QAAQ,EAClB,QAAQ,EAAE,kBAAkB,GAAG,SAAS,EACxC,SAAS,EAAE,kBAAkB,GAAG,SAAS,EACzC,SAAS,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,EACzD,eAAe,EAAE,MAAM,EACvB,gBAAgB,EAAE,MAAM,EACxB,aAAa,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GACjD;IACF,GAAG,CAAC,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IAC1C,YAAY,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;IACpD,gBAAgB,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAClD,iBAAiB,CAAC,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;CACpD,CAuHA;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,iBAAiB,CAChC,QAAQ,EAAE,QAAQ,EAClB,QAAQ,EAAE,kBAAkB,GAAG,SAAS,EACxC,SAAS,EAAE,kBAAkB,GAAG,SAAS,EACzC,eAAe,EAAE,MAAM,GACrB,aAAa,CAAC,mBAAmB,CAAC,GAAG,SAAS,CAwBhD;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,QAAQ,EAAE,QAAQ,GAChB,MAAM,GAAG,SAAS,CAoBpB"}

package/dist/src/planner/nodes/join-utils.js

@@ -1,4 +1,5 @@
-import { addEquivalence, addFd, closeConstantBindingsOverEcs, mergeConstantBindings, mergeDomainConstraints, mergeEquivClasses, mergeFds, shiftConstantBindings, shiftDomainConstraints, shiftEquivClasses, shiftFds, superkeyToFd, } from '../util/fd-utils.js';
+import { BOOLEAN_TYPE } from '../../types/builtin-types.js';
+import { addEquivalence, addFd, closeConstantBindingsOverEcs, mergeConstantBindings, mergeDomainConstraints, mergeEquivClasses, mergeFds, mergeInds, shiftConstantBindings, shiftDomainConstraints, shiftEquivClasses, shiftFds, shiftInds, superkeyToFd, } from '../util/fd-utils.js';
 /**
  * Build the output attributes for a join node.
  *
@@ -6,7 +7,18 @@ import { addEquivalence, addFd, closeConstantBindingsOverEcs, mergeConstantBindi
  * logical JoinNode) the preserved set is returned directly.  Otherwise the
  * attributes are computed from the left/right inputs and the join type.
  */
-export function buildJoinAttributes(leftAttrs, rightAttrs, joinType, preserveAttributeIds) {
+/**
+ * The scalar type of an existence (`exists … as`) match flag: a clean
+ * `{true,false}` boolean, genuinely NOT NULL (the null-extension test the column
+ * replaces), and read-only (derived at the combinator).
+ */
+export const EXISTENCE_FLAG_TYPE = {
+    typeClass: 'scalar',
+    logicalType: BOOLEAN_TYPE,
+    nullable: false,
+    isReadOnly: true,
+};
+export function buildJoinAttributes(leftAttrs, rightAttrs, joinType, preserveAttributeIds, existence) {
     if (preserveAttributeIds)
         return preserveAttributeIds.slice();
     if (joinType === 'semi' || joinType === 'anti')
@@ -20,6 +32,13 @@ export function buildJoinAttributes(leftAttrs, rightAttrs, joinType, preserveAtt
         const isNullable = joinType === 'left' || joinType === 'full';
         attributes.push(isNullable ? { ...attr, type: { ...attr.type, nullable: true } } : attr);
     }
+    // Existence flags are appended AFTER both sides — boolean NOT NULL, never
+    // marked nullable (the clean-boolean point), with their pre-minted stable ids.
+    if (existence) {
+        for (const spec of existence) {
+            attributes.push({ id: spec.attrId, name: spec.name, type: EXISTENCE_FLAG_TYPE });
+        }
+    }
     return attributes;
 }
 /**
@@ -28,7 +47,7 @@ export function buildJoinAttributes(leftAttrs, rightAttrs, joinType, preserveAtt
  * Semi/anti joins return the left type shape.  All other join types combine
  * columns from both sides with appropriate nullable marking.
  */
-export function buildJoinRelationType(leftType, rightType, joinType, keys) {
+export function buildJoinRelationType(leftType, rightType, joinType, keys, existence) {
     if (joinType === 'semi' || joinType === 'anti') {
         return {
             typeClass: 'relation',
@@ -39,6 +58,10 @@ export function buildJoinRelationType(leftType, rightType, joinType, keys) {
             rowConstraints: leftType.rowConstraints,
         };
     }
+    const existenceColumns = (existence ?? []).map(spec => ({
+        name: spec.name,
+        type: EXISTENCE_FLAG_TYPE,
+    }));
     const combinedColumns = [
         ...leftType.columns.map(col => {
             const isNullable = joinType === 'right' || joinType === 'full';
@@ -48,6 +71,8 @@ export function buildJoinRelationType(leftType, rightType, joinType, keys) {
             const isNullable = joinType === 'left' || joinType === 'full';
             return isNullable ? { ...col, type: { ...col.type, nullable: true } } : col;
         }),
+        // Existence flags appended after both sides; never part of any join key.
+        ...existenceColumns,
     ];
     const isSet = (joinType === 'inner' || joinType === 'cross') &&
         leftType.isSet && rightType.isSet;
@@ -106,6 +131,23 @@ export function propagateJoinMonotonicOn(joinType, leftPhys, rightPhys, equiPair
     }
     return result.length > 0 ? result : undefined;
 }
+/**
+ * Downgrade a fanned-out side's `'unique'` FDs to `'determination'`. A fanning
+ * join duplicates that side's rows, destroying determinant row-uniqueness
+ * while every value claim survives unchanged. Applies to guarded FDs too: a
+ * guarded partial-unique FD crossing a fanning join is no longer row-unique
+ * even within its guard's scope (the duplicated rows still satisfy the guard).
+ * Preserves object identity for FDs that are already determinations.
+ *
+ * This downgrade fully replaces the former `dropSideKeyFds`: the value claims
+ * survive as determinations (feeding ORDER BY pruning / GROUP BY
+ * simplification downstream), and the kind-aware readers
+ * (`isUniqueDeterminant`) never read them as uniqueness claims (ticket
+ * fd-determination-reader-side-rule).
+ */
+function downgradeUniqueFds(fds) {
+    return fds.map(fd => (fd.kind === 'unique' ? { ...fd, kind: 'determination' } : fd));
+}
 /**
  * Propagate functional dependencies and equivalence classes through a join.
  *
@@ -118,7 +160,13 @@ export function propagateJoinMonotonicOn(joinType, leftPhys, rightPhys, equiPair
  * - right outer: mirror of left outer.
  * - full outer: drop both sides' FDs/ECs (conservative).
  * - semi / anti: left's FDs/ECs survive; no right contribution and no equi-pair
- *   FDs (right columns are not in the output).
+ *   FDs (right columns are not in the output). Left rows pass ≤1:1, so kinds
+ *   are preserved verbatim.
+ * - Fan-out kind downgrade (inner/cross/left/right): a side that is NOT
+ *   preserved (no preserved key lies within it) is fanned out — its surviving
+ *   FDs, guarded ones included, are downgraded `'unique'` → `'determination'`
+ *   via `downgradeUniqueFds` so the kind invariant holds before any reader
+ *   trusts it.
  */
 export function propagateJoinFds(joinType, leftPhys, rightPhys, equiPairs, leftColumnCount, totalColumnCount, preservedKeys) {
     const leftFds = leftPhys?.fds ?? [];
@@ -155,12 +203,29 @@ export function propagateJoinFds(joinType, leftPhys, rightPhys, equiPairs, leftC
     switch (joinType) {
         case 'inner':
         case 'cross': {
-            let fds = mergeFds(leftFds, shiftFds(rightFds, leftColumnCount), opts);
+            // A fanning (non-1:1) join duplicates the rows of a side whose unique key is
+            // not preserved (no preserved key lies entirely within that side's columns).
+            // Such a side's FDs remain true as value claims but no longer encode
+            // uniqueness in the product — downgrade them (guarded FDs included) to
+            // 'determination'. The kind-aware readers (`isUniqueDeterminant`) are what
+            // keep a downstream projection from re-deriving a spurious key off them
+            // (ticket fd-determination-reader-side-rule, replacing `dropSideKeyFds`).
+            const leftPreserved = preservedKeys.some(k => k.every(i => i < leftColumnCount));
+            const rightPreserved = preservedKeys.some(k => k.every(i => i >= leftColumnCount));
+            const keptLeftFds = leftPreserved ? leftFds : downgradeUniqueFds(leftFds);
+            const keptRightFds = rightPreserved ? rightFds : downgradeUniqueFds(rightFds);
+            let fds = mergeFds(keptLeftFds, shiftFds(keptRightFds, leftColumnCount), opts);
             let equiv = mergeEquivClasses(leftEC, shiftEquivClasses(rightEC, leftColumnCount));
+            // An equi-pair `{L}↔{R'}` is a value-equality claim: emit both directions
+            // unconditionally as 'determination'. Uniqueness facts live exclusively on
+            // the preserved-key FDs layered below (`withKeyFds` mints 'unique'); a
+            // determination is never read as a uniqueness claim by the kind-aware
+            // readers, so no endpoint gate is needed. The EC merge stays unconditional
+            // too — value equality also carries constant propagation.
             for (const p of equiPairs) {
                 const rShifted = p.right + leftColumnCount;
-                fds = addFd(fds, { determinants: [p.left], dependents: [rShifted] }, opts);
-                fds = addFd(fds, { determinants: [rShifted], dependents: [p.left] }, opts);
+                fds = addFd(fds, { determinants: [p.left], dependents: [rShifted], kind: 'determination' }, opts);
+                fds = addFd(fds, { determinants: [rShifted], dependents: [p.left], kind: 'determination' }, opts);
                 equiv = addEquivalence(equiv, p.left, rShifted);
             }
             fds = withKeyFds(fds);
@@ -173,13 +238,25 @@ export function propagateJoinFds(joinType, leftPhys, rightPhys, equiPairs, leftC
             return wrap(fds, equiv, bindings, domains);
         }
         case 'left': {
+            // A LEFT join fans out left rows when the equi-predicate does not cover a
+            // right-side key (one left row can match several right rows). When left's
+            // key is therefore NOT preserved, downgrade its FDs (guarded included) to
+            // 'determination' — mirrors the inner/cross arm; the kind-aware readers
+            // keep a downstream key-dropping projection from re-deriving the left key.
+            const leftPreserved = preservedKeys.some(k => k.every(i => i < leftColumnCount));
+            const keptLeftFds = leftPreserved ? leftFds : downgradeUniqueFds(leftFds);
             // Left's bindings survive on left's columns; right's are dropped (the
             // NULL-padding from unmatched left rows breaks any right-side pin).
-            const fds = withKeyFds(leftFds.slice());
+            const fds = withKeyFds(keptLeftFds.slice());
             return wrap(fds, leftEC.map(c => c.slice()), leftBindings.map(b => ({ ...b })), leftDomains.slice());
         }
         case 'right': {
-            let fds = shiftFds(rightFds, leftColumnCount);
+            // Mirror of LEFT: a RIGHT join fans out right rows when the equi-predicate
+            // does not cover a left-side key. Downgrade the right side's FDs when no
+            // preserved key lies within the right side.
+            const rightPreserved = preservedKeys.some(k => k.every(i => i >= leftColumnCount));
+            const keptRightFds = rightPreserved ? rightFds : downgradeUniqueFds(rightFds);
+            let fds = shiftFds(keptRightFds, leftColumnCount);
             fds = withKeyFds(fds);
             const equiv = shiftEquivClasses(rightEC, leftColumnCount);
             const bindings = shiftConstantBindings(rightBindings, leftColumnCount);
@@ -197,6 +274,44 @@ export function propagateJoinFds(joinType, leftPhys, rightPhys, equiPairs, leftC
             return {};
     }
 }
+/**
+ * Propagate inclusion dependencies through a join operator. The IND analogue of
+ * `propagateJoinFds` — it MUST stay consistent with that function and
+ * `analyzeJoinKeyCoverage`.
+ *
+ * INDs assert per-row existence in another relation, so a NULL-padded side can
+ * violate the claim and is dropped conservatively:
+ * - inner / cross: union of left INDs and `shiftInds(right, leftColumnCount)`.
+ * - left (preserved = left): keep left INDs; drop the right side's INDs (the
+ *   right columns are NULL-padded for unmatched left rows).
+ * - right (preserved = right): keep `shiftInds(right, leftColumnCount)`; drop left.
+ * - semi / anti: keep left INDs only (right columns are not in the output).
+ * - full: drop both (either side can be NULL-padded).
+ */
+export function propagateJoinInds(joinType, leftPhys, rightPhys, leftColumnCount) {
+    const leftInds = leftPhys?.inds ?? [];
+    const rightInds = rightPhys?.inds ?? [];
+    let result;
+    switch (joinType) {
+        case 'inner':
+        case 'cross':
+            result = mergeInds(leftInds, shiftInds(rightInds, leftColumnCount));
+            break;
+        case 'left':
+        case 'semi':
+        case 'anti':
+            result = leftInds.slice();
+            break;
+        case 'right':
+            result = shiftInds(rightInds, leftColumnCount);
+            break;
+        case 'full':
+        default:
+            result = [];
+            break;
+    }
+    return result.length > 0 ? result : undefined;
+}
 /**
  * Estimate the number of output rows for a join given the input cardinalities.
  */

package/dist/src/planner/nodes/join-utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"join-utils.js","sourceRoot":"","sources":["../../../../src/planner/nodes/join-utils.ts"],"names":[],"mappings":"AAGA,OAAO,EACN,cAAc,EAAE,KAAK,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,sBAAsB,EACtB,iBAAiB,EAAE,QAAQ,EAC3B,qBAAqB,EACrB,sBAAsB,EACtB,iBAAiB,EAAE,QAAQ,EAC3B,YAAY,GACZ,MAAM,qBAAqB,CAAC;AAW7B;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAClC,SAA+B,EAC/B,UAAgC,EAChC,QAAkB,EAClB,oBAA2C;IAE3C,IAAI,oBAAoB;QAAE,OAAO,oBAAoB,CAAC,KAAK,EAAiB,CAAC;IAC7E,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC,KAAK,EAAiB,CAAC;IAExF,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,CAAC;QAC/D,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,CAAC;QAC9D,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,UAAU,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACpC,QAAsB,EACtB,SAAuB,EACvB,QAAkB,EAClB,IAA2C;IAE3C,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,OAAO;YACN,SAAS,EAAE,UAAU;YACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,cAAc,EAAE,QAAQ,CAAC,cAAc;SACvC,CAAC;IACH,CAAC;IAED,MAAM,eAAe,GAAG;QACvB,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC7B,MAAM,UAAU,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,CAAC;YAC/D,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7E,CAAC,CAAC;QACF,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC9B,MAAM,UAAU,GAAG,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,CAAC;YAC9D,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7E,CAAC,CAAC;KACF,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO,CAAC;QAC3D,QAAQ,CAAC,KAAK,IAAI,SAAS,CAAC,KAAK,CAAC;IAEnC,OAAO;QACN,SAAS,EAAE,UAAU;QACrB,OAAO,EAAE,eAAe;QACxB,KAAK;QACL,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU;QACvD,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAe;QAChC,cAAc,EAAE,CAAC,GAAG,QAAQ,CAAC,cAAc,EAAE,GAAG,SAAS,CAAC,cAAc,CAAC;KACzE,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,wBAAwB,CACvC,QAAkB,EAClB,QAAwC,EACxC,SAAyC,EACzC,SAAqE;IAErE,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IAElE,MAAM,OAAO,GAAG,QAAQ,EAAE,WAAW,CAAC;IACtC,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,OAAO,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5D,CAAC;IAED,MAAM,QAAQ,GAAG,SAAS,EAAE,WAAW,CAAC;IACxC,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7F,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE7C,MAAM,aAAa,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,CAAC;IAClE,MAAM,cAAc,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO,CAAC;IAEpE,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1D,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC;QAC3F,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC;QACpC,IAAI,aAAa,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,cAAc,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3E,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/C,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,gBAAgB,CAC/B,QAAkB,EAClB,QAAwC,EACxC,SAAyC,EACzC,SAAyD,EACzD,eAAuB,EACvB,gBAAwB,EACxB,aAAmD;IAOnD,MAAM,OAAO,GAAG,QAAQ,EAAE,GAAG,IAAI,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,SAAS,EAAE,GAAG,IAAI,EAAE,CAAC;IACtC,MAAM,MAAM,GAAG,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAG,SAAS,EAAE,YAAY,IAAI,EAAE,CAAC;IAC9C,MAAM,YAAY,GAAG,QAAQ,EAAE,gBAAgB,IAAI,EAAE,CAAC;IACtD,MAAM,aAAa,GAAG,SAAS,EAAE,gBAAgB,IAAI,EAAE,CAAC;IACxD,MAAM,WAAW,GAAG,QAAQ,EAAE,iBAAiB,IAAI,EAAE,CAAC;IACtD,MAAM,YAAY,GAAG,SAAS,EAAE,iBAAiB,IAAI,EAAE,CAAC;IAExD,MAAM,IAAI,GAAG,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;IAEzC;;;;;;OAMG;IACH,MAAM,UAAU,GAAG,CAAC,GAAwC,EAAuC,EAAE;QACpG,IAAI,GAAG,GAAG,GAAG,CAAC;QACd,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;YAClD,IAAI,KAAK;gBAAE,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CACZ,GAAwC,EACxC,KAA2C,EAC3C,QAAwC,EACxC,OAAwC,EACvC,EAAE,CAAC,CAAC;QACL,GAAG,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS;QACrC,YAAY,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;QAClD,gBAAgB,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;QAC5D,iBAAiB,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;KAC3D,CAAC,CAAC;IAEH,QAAQ,QAAQ,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC,CAAC,CAAC;YACd,IAAI,GAAG,GAAwC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,EAAE,IAAI,CAAC,CAAC;YAC5G,IAAI,KAAK,GAAyC,iBAAiB,CAAC,MAAM,EAAE,iBAAiB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC;YACzH,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC3B,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,GAAG,eAAe,CAAC;gBAC3C,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBAC3E,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBAC3E,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACjD,CAAC;YACD,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YACtB,uEAAuE;YACvE,wEAAwE;YACxE,2CAA2C;YAC3C,MAAM,cAAc,GAAG,qBAAqB,CAC3C,YAAY,EACZ,qBAAqB,CAAC,aAAa,EAAE,eAAe,CAAC,CACrD,CAAC;YACF,MAAM,QAAQ,GAAG,4BAA4B,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;YACrE,MAAM,OAAO,GAAG,sBAAsB,CACrC,WAAW,EACX,sBAAsB,CAAC,YAAY,EAAE,eAAe,CAAC,CACrD,CAAC;YACF,OAAO,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,sEAAsE;YACtE,oEAAoE;YACpE,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;YACxC,OAAO,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;QACtG,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACd,IAAI,GAAG,GAAwC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;YACnF,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YACtB,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;YAC1D,MAAM,QAAQ,GAAG,qBAAqB,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;YACvE,MAAM,OAAO,GAAG,sBAAsB,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;YACtE,OAAO,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QACD,KAAK,MAAM;YACV,OAAO,EAAE,CAAC;QACX,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;YACxC,OAAO,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;QACtG,CAAC;QACD;YACC,OAAO,EAAE,CAAC;IACZ,CAAC;AACF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC/B,QAA4B,EAC5B,SAA6B,EAC7B,QAAkB;IAElB,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAExE,QAAQ,QAAQ,EAAE,CAAC;QAClB,KAAK,OAAO;YACX,OAAO,QAAQ,GAAG,SAAS,CAAC;QAC7B,KAAK,OAAO;YACX,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,GAAG,CAAC,CAAC;QAChD,KAAK,MAAM;YACV,OAAO,QAAQ,CAAC;QACjB,KAAK,OAAO;YACX,OAAO,SAAS,CAAC;QAClB,KAAK,MAAM;YACV,OAAO,QAAQ,GAAG,SAAS,CAAC;QAC7B,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACV,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC;QAChD;YACC,OAAO,QAAQ,GAAG,SAAS,GAAG,GAAG,CAAC;IACpC,CAAC;AACF,CAAC"}
+{"version":3,"file":"join-utils.js","sourceRoot":"","sources":["../../../../src/planner/nodes/join-utils.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EACN,cAAc,EAAE,KAAK,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,sBAAsB,EACtB,iBAAiB,EAAE,QAAQ,EAC3B,SAAS,EACT,qBAAqB,EACrB,sBAAsB,EACtB,iBAAiB,EAAE,QAAQ,EAC3B,SAAS,EACT,YAAY,GACZ,MAAM,qBAAqB,CAAC;AAW7B;;;;;;GAMG;AACH;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAe;IAC9C,SAAS,EAAE,QAAQ;IACnB,WAAW,EAAE,YAAY;IACzB,QAAQ,EAAE,KAAK;IACf,UAAU,EAAE,IAAI;CAChB,CAAC;AAEF,MAAM,UAAU,mBAAmB,CAClC,SAA+B,EAC/B,UAAgC,EAChC,QAAkB,EAClB,oBAA2C,EAC3C,SAA0C;IAE1C,IAAI,oBAAoB;QAAE,OAAO,oBAAoB,CAAC,KAAK,EAAiB,CAAC;IAC7E,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC,KAAK,EAAiB,CAAC;IAExF,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,CAAC;QAC/D,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,CAAC;QAC9D,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,0EAA0E;IAC1E,+EAA+E;IAC/E,IAAI,SAAS,EAAE,CAAC;QACf,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC9B,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC;QAClF,CAAC;IACF,CAAC;IACD,OAAO,UAAU,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACpC,QAAsB,EACtB,SAAuB,EACvB,QAAkB,EAClB,IAA2C,EAC3C,SAA0C;IAE1C,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,OAAO;YACN,SAAS,EAAE,UAAU;YACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,cAAc,EAAE,QAAQ,CAAC,cAAc;SACvC,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GAAgB,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpE,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,mBAAmB;KACzB,CAAC,CAAC,CAAC;IAEJ,MAAM,eAAe,GAAG;QACvB,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC7B,MAAM,UAAU,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,CAAC;YAC/D,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7E,CAAC,CAAC;QACF,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC9B,MAAM,UAAU,GAAG,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,CAAC;YAC9D,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7E,CAAC,CAAC;QACF,yEAAyE;QACzE,GAAG,gBAAgB;KACnB,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO,CAAC;QAC3D,QAAQ,CAAC,KAAK,IAAI,SAAS,CAAC,KAAK,CAAC;IAEnC,OAAO;QACN,SAAS,EAAE,UAAU;QACrB,OAAO,EAAE,eAAe;QACxB,KAAK;QACL,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU;QACvD,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAe;QAChC,cAAc,EAAE,CAAC,GAAG,QAAQ,CAAC,cAAc,EAAE,GAAG,SAAS,CAAC,cAAc,CAAC;KACzE,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,wBAAwB,CACvC,QAAkB,EAClB,QAAwC,EACxC,SAAyC,EACzC,SAAqE;IAErE,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IAElE,MAAM,OAAO,GAAG,QAAQ,EAAE,WAAW,CAAC;IACtC,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,OAAO,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5D,CAAC;IAED,MAAM,QAAQ,GAAG,SAAS,EAAE,WAAW,CAAC;IACxC,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7F,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE7C,MAAM,aAAa,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,CAAC;IAClE,MAAM,cAAc,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO,CAAC;IAEpE,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1D,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC;QAC3F,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC;QACpC,IAAI,aAAa,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,cAAc,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3E,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/C,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,kBAAkB,CAC1B,GAAwC;IAExC,OAAO,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,eAAwB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC/F,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,gBAAgB,CAC/B,QAAkB,EAClB,QAAwC,EACxC,SAAyC,EACzC,SAAyD,EACzD,eAAuB,EACvB,gBAAwB,EACxB,aAAmD;IAOnD,MAAM,OAAO,GAAG,QAAQ,EAAE,GAAG,IAAI,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,SAAS,EAAE,GAAG,IAAI,EAAE,CAAC;IACtC,MAAM,MAAM,GAAG,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAG,SAAS,EAAE,YAAY,IAAI,EAAE,CAAC;IAC9C,MAAM,YAAY,GAAG,QAAQ,EAAE,gBAAgB,IAAI,EAAE,CAAC;IACtD,MAAM,aAAa,GAAG,SAAS,EAAE,gBAAgB,IAAI,EAAE,CAAC;IACxD,MAAM,WAAW,GAAG,QAAQ,EAAE,iBAAiB,IAAI,EAAE,CAAC;IACtD,MAAM,YAAY,GAAG,SAAS,EAAE,iBAAiB,IAAI,EAAE,CAAC;IAExD,MAAM,IAAI,GAAG,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;IAEzC;;;;;;OAMG;IACH,MAAM,UAAU,GAAG,CAAC,GAAwC,EAAuC,EAAE;QACpG,IAAI,GAAG,GAAG,GAAG,CAAC;QACd,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;YAClD,IAAI,KAAK;gBAAE,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CACZ,GAAwC,EACxC,KAA2C,EAC3C,QAAwC,EACxC,OAAwC,EACvC,EAAE,CAAC,CAAC;QACL,GAAG,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS;QACrC,YAAY,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;QAClD,gBAAgB,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;QAC5D,iBAAiB,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;KAC3D,CAAC,CAAC;IAEH,QAAQ,QAAQ,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC,CAAC,CAAC;YACd,6EAA6E;YAC7E,6EAA6E;YAC7E,qEAAqE;YACrE,uEAAuE;YACvE,2EAA2E;YAC3E,wEAAwE;YACxE,0EAA0E;YAC1E,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC;YACjF,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC;YACnF,MAAM,WAAW,GAAG,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;YAC1E,MAAM,YAAY,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;YAC9E,IAAI,GAAG,GAAwC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC,EAAE,IAAI,CAAC,CAAC;YACpH,IAAI,KAAK,GAAyC,iBAAiB,CAAC,MAAM,EAAE,iBAAiB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC;YACzH,0EAA0E;YAC1E,2EAA2E;YAC3E,uEAAuE;YACvE,sEAAsE;YACtE,2EAA2E;YAC3E,0DAA0D;YAC1D,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC3B,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,GAAG,eAAe,CAAC;gBAC3C,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,IAAI,CAAC,CAAC;gBAClG,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,IAAI,CAAC,CAAC;gBAClG,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACjD,CAAC;YACD,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YACtB,uEAAuE;YACvE,wEAAwE;YACxE,2CAA2C;YAC3C,MAAM,cAAc,GAAG,qBAAqB,CAC3C,YAAY,EACZ,qBAAqB,CAAC,aAAa,EAAE,eAAe,CAAC,CACrD,CAAC;YACF,MAAM,QAAQ,GAAG,4BAA4B,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;YACrE,MAAM,OAAO,GAAG,sBAAsB,CACrC,WAAW,EACX,sBAAsB,CAAC,YAAY,EAAE,eAAe,CAAC,CACrD,CAAC;YACF,OAAO,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,0EAA0E;YAC1E,0EAA0E;YAC1E,0EAA0E;YAC1E,wEAAwE;YACxE,2EAA2E;YAC3E,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC;YACjF,MAAM,WAAW,GAAG,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;YAC1E,sEAAsE;YACtE,oEAAoE;YACpE,MAAM,GAAG,GAAG,UAAU,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;YAC5C,OAAO,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;QACtG,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACd,2EAA2E;YAC3E,yEAAyE;YACzE,4CAA4C;YAC5C,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC;YACnF,MAAM,YAAY,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;YAC9E,IAAI,GAAG,GAAwC,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;YACvF,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YACtB,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;YAC1D,MAAM,QAAQ,GAAG,qBAAqB,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;YACvE,MAAM,OAAO,GAAG,sBAAsB,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;YACtE,OAAO,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QACD,KAAK,MAAM;YACV,OAAO,EAAE,CAAC;QACX,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;YACxC,OAAO,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;QACtG,CAAC;QACD;YACC,OAAO,EAAE,CAAC;IACZ,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,iBAAiB,CAChC,QAAkB,EAClB,QAAwC,EACxC,SAAyC,EACzC,eAAuB;IAEvB,MAAM,QAAQ,GAAG,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC;IACtC,MAAM,SAAS,GAAG,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC;IAExC,IAAI,MAA0C,CAAC;IAC/C,QAAQ,QAAQ,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,OAAO;YACX,MAAM,GAAG,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC;YACpE,MAAM;QACP,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACV,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC1B,MAAM;QACP,KAAK,OAAO;YACX,MAAM,GAAG,SAAS,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;YAC/C,MAAM;QACP,KAAK,MAAM,CAAC;QACZ;YACC,MAAM,GAAG,EAAE,CAAC;YACZ,MAAM;IACR,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC/B,QAA4B,EAC5B,SAA6B,EAC7B,QAAkB;IAElB,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAExE,QAAQ,QAAQ,EAAE,CAAC;QAClB,KAAK,OAAO;YACX,OAAO,QAAQ,GAAG,SAAS,CAAC;QAC7B,KAAK,OAAO;YACX,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,GAAG,CAAC,CAAC;QAChD,KAAK,MAAM;YACV,OAAO,QAAQ,CAAC;QACjB,KAAK,OAAO;YACX,OAAO,SAAS,CAAC;QAClB,KAAK,MAAM;YACV,OAAO,QAAQ,GAAG,SAAS,CAAC;QAC7B,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACV,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC;QAChD;YACC,OAAO,QAAQ,GAAG,SAAS,GAAG,GAAG,CAAC;IACpC,CAAC;AACF,CAAC"}

package/dist/src/planner/nodes/lens-auxiliary-access-node.d.ts

@@ -0,0 +1,104 @@
+import { PlanNode, type RelationalPlanNode, type UnaryRelationalNode, type Attribute, type PhysicalProperties } from './plan-node.js';
+import type { RelationType, ScalarType } from '../../common/datatype.js';
+import { PlanNodeType } from './plan-node-type.js';
+import type { Scope } from '../scopes/scope.js';
+import type { AccessForm, MappingAdvertisement } from '../../vtab/mapping-advertisement.js';
+/**
+ * One side of the logical-PK join-back (D4): the marker source's output
+ * attribute paired with the auxiliary scan's aligned key attribute. The
+ * `columnIndex` is the position of the attribute in its own relation's output
+ * (for building a {@link ColumnReferenceNode}); `type` is its scalar type.
+ */
+export interface AuxJoinPair {
+    /** Marker-source (logical view body) PK attribute. */
+    readonly logicalPk: {
+        readonly attrId: number;
+        readonly columnIndex: number;
+        readonly type: ScalarType;
+    };
+    /** Auxiliary-scan key attribute aligned positionally to {@link logicalPk}. */
+    readonly auxKey: {
+        readonly attrId: number;
+        readonly columnIndex: number;
+        readonly type: ScalarType;
+    };
+}
+/**
+ * An advertised access column the auxiliary serves: its logical column name, the
+ * marker-source (logical) output attribute the predicate references, and the
+ * auxiliary-scan attribute the predicate is rewritten to point at (D3 — the
+ * auxiliary's own backing basis column, so the auxiliary's module sees the
+ * predicate over its own column).
+ */
+export interface AuxAccessColumn {
+    readonly logicalColumn: string;
+    readonly logicalAttrId: number;
+    readonly auxRef: {
+        readonly attrId: number;
+        readonly columnIndex: number;
+        readonly type: ScalarType;
+    };
+}
+/**
+ * A single routable auxiliary-access structure, fully resolved at build time
+ * (where the {@link PlanningContext} is in hand) so the rewrite rule has every
+ * attribute id / column index it needs without re-resolving the catalog.
+ */
+export interface RoutableAuxiliary {
+    readonly advertisement: MappingAdvertisement;
+    /**
+     * A scan over the auxiliary's single backing member relation (a
+     * `RetrieveNode` from `buildTableReference`, with its own fresh attribute
+     * ids). The rewrite rule pushes the column-rewritten predicate onto this
+     * scan and semi-joins it back to the logical body on the logical key.
+     */
+    readonly auxScan: RelationalPlanNode;
+    /** Logical-PK ↔ auxiliary-key join pairs, in logical-PK order (D4). */
+    readonly joinPairs: readonly AuxJoinPair[];
+    /** Every advertised access column locatable on both the logical body and the auxiliary scan. */
+    readonly accessColumns: readonly AuxAccessColumn[];
+    /** The advertised served entries (columns + forms) — the form-matcher's input. */
+    readonly served: readonly {
+        readonly columns: readonly string[];
+        readonly forms: readonly AccessForm[];
+    }[];
+}
+/**
+ * A unary pass-through marker wired around an inlined **lens** view body that
+ * carries the table's routable auxiliary-access advertisements (nd-tree spatial,
+ * vector knn, full-text, …) to the read-path-selection optimizer rule
+ * (`rule-lens-auxiliary-access`). See `docs/lens.md` § "The module mapping
+ * advertisement" and the design ticket `lens-access-shape-path-selection`.
+ *
+ * Modeled exactly on {@link AssertedKeysNode}: column shape and attribute IDs are
+ * the source's (pass-through `getType` / `getAttributes`), `computePhysical`
+ * passes every child physical property through unchanged, and the emitter
+ * (`runtime/emit/lens-auxiliary-access.ts`) emits the source directly — so when
+ * no predicate routes (the degrade case, D5) the node vanishes at runtime with
+ * zero cost, exactly like `emitAlias` / `emitAssertedKeys`.
+ *
+ * The build site (`planner/building/lens-auxiliary-access.ts`, called from
+ * `planner/building/select.ts`) only inlines the node when ≥1 auxiliary is
+ * routable; the optimizer rule consumes it (replacing it with an auxiliary-seek
+ * ⋈ logical-key semi-join) when the outer query's `WHERE` matches an advertised
+ * form, and otherwise leaves it as a transparent pass-through.
+ */
+export declare class LensAuxiliaryAccessNode extends PlanNode implements UnaryRelationalNode {
+    readonly source: RelationalPlanNode;
+    /** The routable auxiliaries, resolved at build time. Non-empty by construction. */
+    readonly routables: readonly RoutableAuxiliary[];
+    readonly nodeType = PlanNodeType.LensAuxiliaryAccess;
+    constructor(scope: Scope, source: RelationalPlanNode, 
+    /** The routable auxiliaries, resolved at build time. Non-empty by construction. */
+    routables: readonly RoutableAuxiliary[]);
+    getType(): RelationType;
+    getAttributes(): readonly Attribute[];
+    getChildren(): readonly [RelationalPlanNode];
+    getRelations(): readonly [RelationalPlanNode];
+    get estimatedRows(): number | undefined;
+    computePhysical(childrenPhysical: PhysicalProperties[]): Partial<PhysicalProperties>;
+    withChildren(newChildren: readonly PlanNode[]): PlanNode;
+    toString(): string;
+    getLogicalAttributes(): Record<string, unknown>;
+}
+//# sourceMappingURL=lens-auxiliary-access-node.d.ts.map