rawsql-ts 0.28.0 → 0.30.0

package/dist/esm/transformers/ConditionDeduplicationOptimizer.d.ts

@@ -0,0 +1,22 @@
+import { SelectQuery } from "../models/SelectQuery";
+import { SqlComponentFormatOptions } from "./SqlComponentFormatter";
+export interface ConditionDeduplicationApplied {
+    kind: "dedupe_condition";
+    conditionSql: string;
+    scopeId: string;
+    reason: string;
+}
+export interface ConditionDeduplicationResult {
+    /** API output shape review: this phase mutates and returns the model only; ConditionOptimization remains responsible for compatibility sql output. */
+    query: SelectQuery | null;
+    applied: readonly ConditionDeduplicationApplied[];
+}
+export declare class ConditionDeduplicationOptimizer {
+    private visited;
+    private applied;
+    optimize(query: SelectQuery | null, options: SqlComponentFormatOptions): ConditionDeduplicationResult;
+    private visitSelectQuery;
+    private visitSourceExpression;
+    private visitValueComponent;
+    private dedupeCondition;
+}

package/dist/esm/transformers/ConditionDeduplicationOptimizer.js

@@ -0,0 +1,198 @@
+import { FunctionSource, HavingClause, JoinOnClause, OrderByItem, ParenSource, SubQuerySource, WhereClause } from "../models/Clause";
+import { BinarySelectQuery, SimpleSelectQuery } from "../models/SelectQuery";
+import { ArrayExpression, ArrayIndexExpression, ArrayQueryExpression, ArraySliceExpression, BetweenExpression, BinaryExpression, CaseExpression, CastExpression, FunctionCall, InlineQuery, JsonPredicateExpression, ParenExpression, TupleExpression, TypeValue, UnaryExpression, ValueList } from "../models/ValueComponent";
+import { dedupeTopLevelAndConditionsWithMetadata } from "./TopLevelAndConditionDeduper";
+export class ConditionDeduplicationOptimizer {
+    constructor() {
+        this.visited = new WeakSet();
+        this.applied = [];
+    }
+    optimize(query, options) {
+        this.visited = new WeakSet();
+        this.applied = [];
+        if (!query) {
+            return { query: null, applied: [] };
+        }
+        this.visitSelectQuery(query, "root", options);
+        return {
+            query,
+            applied: [...this.applied]
+        };
+    }
+    visitSelectQuery(query, scopeId, options) {
+        var _a, _b, _c, _d, _e, _f, _g, _h;
+        if (this.visited.has(query)) {
+            return;
+        }
+        this.visited.add(query);
+        if (query instanceof BinarySelectQuery) {
+            this.visitSelectQuery(query.left, `${scopeId}.left`, options);
+            this.visitSelectQuery(query.right, `${scopeId}.right`, options);
+            return;
+        }
+        if (!(query instanceof SimpleSelectQuery)) {
+            return;
+        }
+        for (const cte of (_b = (_a = query.withClause) === null || _a === void 0 ? void 0 : _a.tables) !== null && _b !== void 0 ? _b : []) {
+            const cteQuery = cte.query;
+            if (cteQuery instanceof SimpleSelectQuery || cteQuery instanceof BinarySelectQuery) {
+                this.visitSelectQuery(cteQuery, `${scopeId}.cte:${cte.getSourceAliasName()}`, options);
+            }
+        }
+        for (const item of query.selectClause.items) {
+            this.visitValueComponent(item.value, `${scopeId}.select`, options);
+        }
+        if (query.fromClause) {
+            this.visitSourceExpression(query.fromClause.source, `${scopeId}.from`, options);
+            for (const join of (_c = query.fromClause.joins) !== null && _c !== void 0 ? _c : []) {
+                const joinScope = `${scopeId}.join:${(_d = join.source.getAliasName()) !== null && _d !== void 0 ? _d : "unknown"}`;
+                this.visitSourceExpression(join.source, joinScope, options);
+                if (join.condition instanceof JoinOnClause) {
+                    join.condition.condition = this.dedupeCondition(join.condition.condition, `${joinScope}.on`, "Removed a duplicate top-level AND condition from a JOIN ON clause.", options);
+                    this.visitValueComponent(join.condition.condition, `${joinScope}.on`, options);
+                }
+            }
+        }
+        if (query.whereClause) {
+            query.whereClause = new WhereClause(this.dedupeCondition(query.whereClause.condition, `${scopeId}.where`, "Removed a duplicate top-level AND condition from a WHERE clause.", options));
+            this.visitValueComponent(query.whereClause.condition, `${scopeId}.where`, options);
+        }
+        if (query.havingClause) {
+            query.havingClause = new HavingClause(this.dedupeCondition(query.havingClause.condition, `${scopeId}.having`, "Removed a duplicate top-level AND condition from a HAVING clause.", options));
+            this.visitValueComponent(query.havingClause.condition, `${scopeId}.having`, options);
+        }
+        for (const item of (_f = (_e = query.groupByClause) === null || _e === void 0 ? void 0 : _e.grouping) !== null && _f !== void 0 ? _f : []) {
+            this.visitValueComponent(item, `${scopeId}.group_by`, options);
+        }
+        for (const item of (_h = (_g = query.orderByClause) === null || _g === void 0 ? void 0 : _g.order) !== null && _h !== void 0 ? _h : []) {
+            if (item instanceof OrderByItem) {
+                this.visitValueComponent(item.value, `${scopeId}.order_by`, options);
+            }
+            else {
+                this.visitValueComponent(item, `${scopeId}.order_by`, options);
+            }
+        }
+    }
+    visitSourceExpression(source, scopeId, options) {
+        const datasource = source.datasource;
+        if (datasource instanceof SubQuerySource) {
+            this.visitSelectQuery(datasource.query, `${scopeId}.subquery`, options);
+            return;
+        }
+        if (datasource instanceof ParenSource) {
+            const nested = datasource.source;
+            if (nested instanceof SubQuerySource) {
+                this.visitSelectQuery(nested.query, `${scopeId}.subquery`, options);
+            }
+            return;
+        }
+        if (datasource instanceof FunctionSource && datasource.argument) {
+            this.visitValueComponent(datasource.argument, `${scopeId}.function`, options);
+        }
+    }
+    visitValueComponent(value, scopeId, options) {
+        if (this.visited.has(value)) {
+            return;
+        }
+        this.visited.add(value);
+        if (value instanceof InlineQuery) {
+            this.visitSelectQuery(value.selectQuery, `${scopeId}.inline_query`, options);
+            return;
+        }
+        if (value instanceof ArrayQueryExpression) {
+            this.visitSelectQuery(value.query, `${scopeId}.array_query`, options);
+            return;
+        }
+        if (value instanceof ParenExpression) {
+            this.visitValueComponent(value.expression, scopeId, options);
+            return;
+        }
+        if (value instanceof BinaryExpression) {
+            this.visitValueComponent(value.left, scopeId, options);
+            this.visitValueComponent(value.right, scopeId, options);
+            return;
+        }
+        if (value instanceof UnaryExpression) {
+            this.visitValueComponent(value.expression, scopeId, options);
+            return;
+        }
+        if (value instanceof FunctionCall) {
+            if (value.argument) {
+                this.visitValueComponent(value.argument, scopeId, options);
+            }
+            if (value.filterCondition) {
+                this.visitValueComponent(value.filterCondition, `${scopeId}.filter`, options);
+            }
+            return;
+        }
+        if (value instanceof CastExpression) {
+            this.visitValueComponent(value.input, scopeId, options);
+            if (value.castType.argument) {
+                this.visitValueComponent(value.castType.argument, scopeId, options);
+            }
+            return;
+        }
+        if (value instanceof CaseExpression) {
+            if (value.condition) {
+                this.visitValueComponent(value.condition, scopeId, options);
+            }
+            for (const item of value.switchCase.cases) {
+                this.visitValueComponent(item.key, scopeId, options);
+                this.visitValueComponent(item.value, scopeId, options);
+            }
+            if (value.switchCase.elseValue) {
+                this.visitValueComponent(value.switchCase.elseValue, scopeId, options);
+            }
+            return;
+        }
+        if (value instanceof BetweenExpression) {
+            this.visitValueComponent(value.expression, scopeId, options);
+            this.visitValueComponent(value.lower, scopeId, options);
+            this.visitValueComponent(value.upper, scopeId, options);
+            return;
+        }
+        if (value instanceof JsonPredicateExpression) {
+            this.visitValueComponent(value.expression, scopeId, options);
+            return;
+        }
+        if (value instanceof ArrayExpression) {
+            this.visitValueComponent(value.expression, scopeId, options);
+            return;
+        }
+        if (value instanceof ArrayIndexExpression) {
+            this.visitValueComponent(value.array, scopeId, options);
+            this.visitValueComponent(value.index, scopeId, options);
+            return;
+        }
+        if (value instanceof ArraySliceExpression) {
+            this.visitValueComponent(value.array, scopeId, options);
+            if (value.startIndex) {
+                this.visitValueComponent(value.startIndex, scopeId, options);
+            }
+            if (value.endIndex) {
+                this.visitValueComponent(value.endIndex, scopeId, options);
+            }
+            return;
+        }
+        if (value instanceof ValueList || value instanceof TupleExpression) {
+            value.values.forEach(item => this.visitValueComponent(item, scopeId, options));
+            return;
+        }
+        if (value instanceof TypeValue && value.argument) {
+            this.visitValueComponent(value.argument, scopeId, options);
+        }
+    }
+    dedupeCondition(condition, scopeId, reason, options) {
+        const result = dedupeTopLevelAndConditionsWithMetadata(condition, options);
+        for (const conditionSql of result.removedConditionSql) {
+            this.applied.push({
+                kind: "dedupe_condition",
+                conditionSql,
+                scopeId,
+                reason
+            });
+        }
+        return result.expression;
+    }
+}
+//# sourceMappingURL=ConditionDeduplicationOptimizer.js.map

package/dist/esm/transformers/ConditionDeduplicationOptimizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ConditionDeduplicationOptimizer.js","sourceRoot":"","sources":["../../../src/transformers/ConditionDeduplicationOptimizer.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EACd,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,WAAW,EAEX,cAAc,EACd,WAAW,EACd,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,iBAAiB,EAAe,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EACH,eAAe,EACf,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,YAAY,EACZ,WAAW,EACX,uBAAuB,EACvB,eAAe,EACf,eAAe,EACf,SAAS,EACT,eAAe,EAEf,SAAS,EACZ,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,uCAAuC,EAAE,MAAM,+BAA+B,CAAC;AAexF,MAAM,OAAO,+BAA+B;IAA5C;QACY,YAAO,GAAG,IAAI,OAAO,EAAU,CAAC;QAChC,YAAO,GAAoC,EAAE,CAAC;IA6O1D,CAAC;IA3OU,QAAQ,CACX,KAAyB,EACzB,OAAkC;QAElC,IAAI,CAAC,OAAO,GAAG,IAAI,OAAO,EAAU,CAAC;QACrC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAElB,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACxC,CAAC;QAED,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9C,OAAO;YACH,KAAK;YACL,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;SAC7B,CAAC;IACN,CAAC;IAEO,gBAAgB,CACpB,KAAkB,EAClB,OAAe,EACf,OAAkC;;QAElC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO;QACX,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAExB,IAAI,KAAK,YAAY,iBAAiB,EAAE,CAAC;YACrC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,OAAO,OAAO,EAAE,OAAO,CAAC,CAAC;YAC9D,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,OAAO,QAAQ,EAAE,OAAO,CAAC,CAAC;YAChE,OAAO;QACX,CAAC;QAED,IAAI,CAAC,CAAC,KAAK,YAAY,iBAAiB,CAAC,EAAE,CAAC;YACxC,OAAO;QACX,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,MAAA,MAAA,KAAK,CAAC,UAAU,0CAAE,MAAM,mCAAI,EAAE,EAAE,CAAC;YAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC;YAC3B,IAAI,QAAQ,YAAY,iBAAiB,IAAI,QAAQ,YAAY,iBAAiB,EAAE,CAAC;gBACjF,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,OAAO,QAAQ,GAAG,CAAC,kBAAkB,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;YAC3F,CAAC;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;YAC1C,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,OAAO,SAAS,EAAE,OAAO,CAAC,CAAC;QACvE,CAAC;QAED,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACnB,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,OAAO,OAAO,EAAE,OAAO,CAAC,CAAC;YAChF,KAAK,MAAM,IAAI,IAAI,MAAA,KAAK,CAAC,UAAU,CAAC,KAAK,mCAAI,EAAE,EAAE,CAAC;gBAC9C,MAAM,SAAS,GAAG,GAAG,OAAO,SAAS,MAAA,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,mCAAI,SAAS,EAAE,CAAC;gBAC/E,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;gBAC5D,IAAI,IAAI,CAAC,SAAS,YAAY,YAAY,EAAE,CAAC;oBACzC,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,eAAe,CAC3C,IAAI,CAAC,SAAS,CAAC,SAAS,EACxB,GAAG,SAAS,KAAK,EACjB,oEAAoE,EACpE,OAAO,CACV,CAAC;oBACF,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,GAAG,SAAS,KAAK,EAAE,OAAO,CAAC,CAAC;gBACnF,CAAC;YACL,CAAC;QACL,CAAC;QAED,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACpB,KAAK,CAAC,WAAW,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,eAAe,CACpD,KAAK,CAAC,WAAW,CAAC,SAAS,EAC3B,GAAG,OAAO,QAAQ,EAClB,kEAAkE,EAClE,OAAO,CACV,CAAC,CAAC;YACH,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,GAAG,OAAO,QAAQ,EAAE,OAAO,CAAC,CAAC;QACvF,CAAC;QAED,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;YACrB,KAAK,CAAC,YAAY,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,eAAe,CACtD,KAAK,CAAC,YAAY,CAAC,SAAS,EAC5B,GAAG,OAAO,SAAS,EACnB,mEAAmE,EACnE,OAAO,CACV,CAAC,CAAC;YACH,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,OAAO,SAAS,EAAE,OAAO,CAAC,CAAC;QACzF,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,MAAA,MAAA,KAAK,CAAC,aAAa,0CAAE,QAAQ,mCAAI,EAAE,EAAE,CAAC;YACrD,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,GAAG,OAAO,WAAW,EAAE,OAAO,CAAC,CAAC;QACnE,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,MAAA,MAAA,KAAK,CAAC,aAAa,0CAAE,KAAK,mCAAI,EAAE,EAAE,CAAC;YAClD,IAAI,IAAI,YAAY,WAAW,EAAE,CAAC;gBAC9B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,OAAO,WAAW,EAAE,OAAO,CAAC,CAAC;YACzE,CAAC;iBAAM,CAAC;gBACJ,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,GAAG,OAAO,WAAW,EAAE,OAAO,CAAC,CAAC;YACnE,CAAC;QACL,CAAC;IACL,CAAC;IAEO,qBAAqB,CACzB,MAAwB,EACxB,OAAe,EACf,OAAkC;QAElC,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;QACrC,IAAI,UAAU,YAAY,cAAc,EAAE,CAAC;YACvC,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,OAAO,WAAW,EAAE,OAAO,CAAC,CAAC;YACxE,OAAO;QACX,CAAC;QACD,IAAI,UAAU,YAAY,WAAW,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;YACjC,IAAI,MAAM,YAAY,cAAc,EAAE,CAAC;gBACnC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,OAAO,WAAW,EAAE,OAAO,CAAC,CAAC;YACxE,CAAC;YACD,OAAO;QACX,CAAC;QACD,IAAI,UAAU,YAAY,cAAc,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC9D,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,OAAO,WAAW,EAAE,OAAO,CAAC,CAAC;QAClF,CAAC;IACL,CAAC;IAEO,mBAAmB,CACvB,KAAqB,EACrB,OAAe,EACf,OAAkC;QAElC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO;QACX,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAExB,IAAI,KAAK,YAAY,WAAW,EAAE,CAAC;YAC/B,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,OAAO,eAAe,EAAE,OAAO,CAAC,CAAC;YAC7E,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,oBAAoB,EAAE,CAAC;YACxC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,OAAO,cAAc,EAAE,OAAO,CAAC,CAAC;YACtE,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,eAAe,EAAE,CAAC;YACnC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7D,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,gBAAgB,EAAE,CAAC;YACpC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvD,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACxD,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,eAAe,EAAE,CAAC;YACnC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7D,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,YAAY,EAAE,CAAC;YAChC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACjB,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC/D,CAAC;YACD,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;gBACxB,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,eAAe,EAAE,GAAG,OAAO,SAAS,EAAE,OAAO,CAAC,CAAC;YAClF,CAAC;YACD,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,cAAc,EAAE,CAAC;YAClC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACxD,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAC1B,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACxE,CAAC;YACD,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,cAAc,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBAClB,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAChE,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;gBACxC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBACrD,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC3D,CAAC;YACD,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;gBAC7B,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC3E,CAAC;YACD,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,iBAAiB,EAAE,CAAC;YACrC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7D,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACxD,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACxD,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;YAC3C,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7D,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,eAAe,EAAE,CAAC;YACnC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7D,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,oBAAoB,EAAE,CAAC;YACxC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACxD,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACxD,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,oBAAoB,EAAE,CAAC;YACxC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACxD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACnB,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACjE,CAAC;YACD,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACjB,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC/D,CAAC;YACD,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,SAAS,IAAI,KAAK,YAAY,eAAe,EAAE,CAAC;YACjE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;YAC/E,OAAO;QACX,CAAC;QACD,IAAI,KAAK,YAAY,SAAS,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YAC/C,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAC/D,CAAC;IACL,CAAC;IAEO,eAAe,CACnB,SAAyB,EACzB,OAAe,EACf,MAAc,EACd,OAAkC;QAElC,MAAM,MAAM,GAAG,uCAAuC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC3E,KAAK,MAAM,YAAY,IAAI,MAAM,CAAC,mBAAmB,EAAE,CAAC;YACpD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,kBAAkB;gBACxB,YAAY;gBACZ,OAAO;gBACP,MAAM;aACT,CAAC,CAAC;QACP,CAAC;QACD,OAAO,MAAM,CAAC,UAAU,CAAC;IAC7B,CAAC;CACJ"}

package/dist/esm/transformers/ConditionOptimization.d.ts

@@ -1,9 +1,10 @@
 import { SelectQuery, SimpleSelectQuery } from "../models/SelectQuery";
 import { ParameterConditionMove, ParameterConditionOptimizationError, ParameterConditionOptimizationOptions, ParameterConditionOptimizationWarning, ParameterConditionSkipped } from "./ParameterConditionPlacementOptimizer";
 import { StaticPredicateMove, StaticPredicatePlacementError, StaticPredicatePlacementWarning, StaticPredicateSkipped } from "./StaticPredicatePlacementOptimizer";
+import { ConditionDeduplicationApplied } from "./ConditionDeduplicationOptimizer";
 import { OptionalConditionPruningParameters } from "./PruneOptionalConditionBranches";
 export type ConditionOptimizationInput = string | SelectQuery | SimpleSelectQuery;
-export type ConditionOptimizationPhaseKind = "sssql_optional_condition" | "parameter_condition_placement" | "static_predicate_placement";
+export type ConditionOptimizationPhaseKind = "sssql_optional_condition" | "parameter_condition_placement" | "static_predicate_placement" | "condition_deduplication";
 export interface ConditionOptimizationOptions extends ParameterConditionOptimizationOptions {
     /**
      * Explicit opt-in values for SSSQL optional branch pruning.
@@ -41,6 +42,8 @@ export type ConditionOptimizationApplied = SssqlOptionalConditionApplied | (Para
     phaseKind: "parameter_condition_placement";
 }) | (StaticPredicateMove & {
     phaseKind: "static_predicate_placement";
+}) | (ConditionDeduplicationApplied & {
+    phaseKind: "condition_deduplication";
 });
 export type ConditionOptimizationSkipped = SssqlOptionalConditionSkipped | (ParameterConditionSkipped & {
     phaseKind: "parameter_condition_placement";
@@ -65,6 +68,31 @@ export interface ConditionOptimizationSafety {
     dryRun: boolean;
     formatterGeneratedSource: boolean;
 }
+export interface ConditionOptimizationSourceFilterProbe {
+    kind: "source_filter_probe";
+    source: string;
+    sourceAlias: string;
+    predicate: string;
+    suggestedSql: string;
+    reason: string;
+}
+export interface ConditionOptimizationSkippedProbe {
+    kind: "source_filter_probe_skipped";
+    source?: string;
+    sourceAlias?: string;
+    predicate: string;
+    code: string;
+    reason: string;
+}
+export interface ConditionOptimizationDiagnostics {
+    /**
+     * Probe diagnostics are collected after SSSQL optional pruning/refresh and
+     * before parameter/static placement phases, so they describe the pre-placement
+     * source-filter debugging snapshot rather than the final rewritten query.
+     */
+    probes: readonly ConditionOptimizationSourceFilterProbe[];
+    skippedProbes: readonly ConditionOptimizationSkippedProbe[];
+}
 export interface ConditionOptimizationResult {
     ok: boolean;
     sql: string;
@@ -75,6 +103,8 @@ export interface ConditionOptimizationResult {
     warnings: readonly ConditionOptimizationWarning[];
     errors: readonly ConditionOptimizationError[];
     safety: ConditionOptimizationSafety;
+    /** API output shape review: diagnostics is additive; sql/query keep their existing output shape for callers. */
+    diagnostics?: ConditionOptimizationDiagnostics;
 }
 export declare const planConditionOptimization: (input: ConditionOptimizationInput, options?: ConditionOptimizationOptions) => ConditionOptimizationResult;
 export declare const optimizeConditions: (input: ConditionOptimizationInput, options?: ConditionOptimizationOptions) => ConditionOptimizationResult;

package/dist/esm/transformers/ConditionOptimization.js

@@ -1,10 +1,311 @@
+import { SimpleSelectQuery } from "../models/SelectQuery";
+import { ArrayExpression, ArrayIndexExpression, ArrayQueryExpression, ArraySliceExpression, BetweenExpression, BinaryExpression, CaseExpression, CastExpression, ColumnReference, FunctionCall, InlineQuery, JsonPredicateExpression, ParenExpression, TupleExpression, TypeValue, UnaryExpression, ValueList } from "../models/ValueComponent";
+import { SubQuerySource, TableSource } from "../models/Clause";
 import { SelectQueryParser } from "../parsers/SelectQueryParser";
+import { rewriteValueComponentWithColumnResolver } from "../utils/ValueComponentRewriter";
 import { ParameterConditionPlacementOptimizer } from "./ParameterConditionPlacementOptimizer";
 import { StaticPredicatePlacementOptimizer } from "./StaticPredicatePlacementOptimizer";
+import { ConditionDeduplicationOptimizer } from "./ConditionDeduplicationOptimizer";
 import { collectSupportedOptionalConditionBranches, pruneOptionalConditionBranches } from "./PruneOptionalConditionBranches";
 import { SSSQLFilterBuilder } from "./SSSQLFilterBuilder";
 import { formatSqlComponent, hasSqlComponentFormatOverride } from "./SqlComponentFormatter";
+import { SqlFormatter } from "./SqlFormatter";
 const hasOwnParameter = (parameters, parameterName) => Object.prototype.hasOwnProperty.call(parameters, parameterName);
+const normalizeIdentifier = (value) => value.trim().toLowerCase();
+const unwrapParens = (expression) => {
+    let candidate = expression;
+    while (candidate instanceof ParenExpression) {
+        candidate = candidate.expression;
+    }
+    return candidate;
+};
+const isBinaryOperator = (expression, operator) => {
+    const candidate = unwrapParens(expression);
+    return candidate instanceof BinaryExpression
+        && candidate.operator.value.trim().toLowerCase() === operator;
+};
+const collectTopLevelAndTerms = (expression) => {
+    const candidate = unwrapParens(expression);
+    if (!isBinaryOperator(candidate, "and")) {
+        return [expression];
+    }
+    return [
+        ...collectTopLevelAndTerms(candidate.left),
+        ...collectTopLevelAndTerms(candidate.right)
+    ];
+};
+const uniqueMatchNames = (names) => {
+    const unique = [];
+    for (const name of names) {
+        if (name && !unique.includes(name)) {
+            unique.push(name);
+        }
+    }
+    return unique;
+};
+const getTableSourceTableName = (source) => source.table.name;
+const getProbeSourceAlias = (source) => {
+    var _a;
+    if (source.aliasExpression) {
+        return source.aliasExpression.table.name;
+    }
+    if (source.datasource instanceof TableSource) {
+        return getTableSourceTableName(source.datasource);
+    }
+    return (_a = source.getAliasName()) !== null && _a !== void 0 ? _a : "";
+};
+const getProbeSourceMatchNames = (source) => {
+    var _a;
+    if (source.aliasExpression) {
+        return uniqueMatchNames([source.aliasExpression.table.name]);
+    }
+    if (source.datasource instanceof TableSource) {
+        return uniqueMatchNames([
+            getTableSourceTableName(source.datasource),
+            source.datasource.getSourceName()
+        ]);
+    }
+    return uniqueMatchNames([(_a = source.getAliasName()) !== null && _a !== void 0 ? _a : ""]);
+};
+const collectJoinSourceBindings = (query) => {
+    var _a;
+    if (!query.fromClause) {
+        return [];
+    }
+    const bindings = [{
+            source: query.fromClause.source,
+            alias: getProbeSourceAlias(query.fromClause.source),
+            matchNames: getProbeSourceMatchNames(query.fromClause.source),
+            join: null,
+            isPrimary: true
+        }];
+    for (const join of (_a = query.fromClause.joins) !== null && _a !== void 0 ? _a : []) {
+        bindings.push({
+            source: join.source,
+            alias: getProbeSourceAlias(join.source),
+            matchNames: getProbeSourceMatchNames(join.source),
+            join,
+            isPrimary: false
+        });
+    }
+    return bindings;
+};
+const isProbeSafeJoin = (join) => {
+    const joinType = join.joinType.value.trim().toLowerCase();
+    return joinType === "join" || joinType === "inner join" || joinType === "cross join";
+};
+const collectPredicateReferences = (expression) => {
+    const references = [];
+    let hasNestedQuery = false;
+    const visitSelect = () => {
+        hasNestedQuery = true;
+    };
+    const visit = (value) => {
+        const candidate = unwrapParens(value);
+        if (candidate instanceof ColumnReference) {
+            references.push(candidate);
+            return;
+        }
+        if (candidate instanceof BinaryExpression) {
+            visit(candidate.left);
+            visit(candidate.right);
+            return;
+        }
+        if (candidate instanceof UnaryExpression) {
+            visit(candidate.expression);
+            return;
+        }
+        if (candidate instanceof InlineQuery) {
+            visitSelect();
+            return;
+        }
+        if (candidate instanceof ArrayQueryExpression) {
+            visitSelect();
+            return;
+        }
+        if (candidate instanceof FunctionCall) {
+            if (candidate.argument) {
+                visit(candidate.argument);
+            }
+            if (candidate.filterCondition) {
+                visit(candidate.filterCondition);
+            }
+            return;
+        }
+        if (candidate instanceof CastExpression) {
+            visit(candidate.input);
+            return;
+        }
+        if (candidate instanceof CaseExpression) {
+            if (candidate.condition) {
+                visit(candidate.condition);
+            }
+            for (const pair of candidate.switchCase.cases) {
+                visit(pair.key);
+                visit(pair.value);
+            }
+            if (candidate.switchCase.elseValue) {
+                visit(candidate.switchCase.elseValue);
+            }
+            return;
+        }
+        if (candidate instanceof BetweenExpression) {
+            visit(candidate.expression);
+            visit(candidate.lower);
+            visit(candidate.upper);
+            return;
+        }
+        if (candidate instanceof JsonPredicateExpression) {
+            visit(candidate.expression);
+            return;
+        }
+        if (candidate instanceof ArrayExpression) {
+            visit(candidate.expression);
+            return;
+        }
+        if (candidate instanceof ArrayIndexExpression) {
+            visit(candidate.array);
+            visit(candidate.index);
+            return;
+        }
+        if (candidate instanceof ArraySliceExpression) {
+            visit(candidate.array);
+            if (candidate.startIndex) {
+                visit(candidate.startIndex);
+            }
+            if (candidate.endIndex) {
+                visit(candidate.endIndex);
+            }
+            return;
+        }
+        if (candidate instanceof ValueList) {
+            candidate.values.forEach(visit);
+            return;
+        }
+        if (candidate instanceof TupleExpression) {
+            candidate.values.forEach(visit);
+            return;
+        }
+        if (candidate instanceof TypeValue && candidate.argument) {
+            visit(candidate.argument);
+        }
+    };
+    visit(expression);
+    return { references, hasNestedQuery };
+};
+const stripAliasFromPredicate = (expression, sourceMatchNames, options) => {
+    const sourceNames = uniqueMatchNames(sourceMatchNames);
+    return rewriteValueComponentWithColumnResolver(expression, reference => sourceNames.includes(reference.getNamespace())
+        ? new ColumnReference(null, reference.column.name)
+        : reference);
+};
+const addLowercaseBindingFallback = (lowerBindings, name, binding) => {
+    const normalized = normalizeIdentifier(name);
+    const existing = lowerBindings.get(normalized);
+    if (existing === undefined) {
+        lowerBindings.set(normalized, binding);
+        return;
+    }
+    if (existing !== binding) {
+        lowerBindings.set(normalized, null);
+    }
+};
+const resolveProbeBinding = (exactBindings, lowerBindings, namespace) => {
+    var _a;
+    const exact = exactBindings.get(namespace);
+    if (exact) {
+        return exact;
+    }
+    return (_a = lowerBindings.get(normalizeIdentifier(namespace))) !== null && _a !== void 0 ? _a : null;
+};
+const formatTableSourceForProbe = (source, options) => {
+    return new SqlFormatter(Object.assign({ exportComment: true }, options.formatOptions)).format(source).formattedSql;
+};
+const makeSkippedProbe = (expression, code, reason, options, binding) => {
+    const source = (binding === null || binding === void 0 ? void 0 : binding.source.datasource) instanceof TableSource
+        ? binding.source.datasource.getSourceName()
+        : undefined;
+    return {
+        kind: "source_filter_probe_skipped",
+        source,
+        sourceAlias: (binding === null || binding === void 0 ? void 0 : binding.alias) || undefined,
+        predicate: formatSqlComponent(expression, options),
+        code,
+        reason
+    };
+};
+const collectConditionOptimizationDiagnostics = (query, options) => {
+    var _a;
+    const probes = [];
+    const skippedProbes = [];
+    if (!(query instanceof SimpleSelectQuery) || !((_a = query.fromClause) === null || _a === void 0 ? void 0 : _a.joins) || !query.whereClause) {
+        return { probes, skippedProbes };
+    }
+    const bindings = collectJoinSourceBindings(query);
+    const bindingsByExactName = new Map();
+    const bindingsByLowerName = new Map();
+    for (const binding of bindings) {
+        for (const matchName of binding.matchNames) {
+            bindingsByExactName.set(matchName, binding);
+            addLowercaseBindingFallback(bindingsByLowerName, matchName, binding);
+        }
+    }
+    for (const term of collectTopLevelAndTerms(query.whereClause.condition)) {
+        const analysis = collectPredicateReferences(term);
+        if (analysis.hasNestedQuery) {
+            skippedProbes.push(makeSkippedProbe(term, "NESTED_QUERY_UNSUPPORTED", "Probe metadata skips predicates containing nested queries because source-local execution cannot be represented safely.", options));
+            continue;
+        }
+        if (analysis.references.length === 0) {
+            continue;
+        }
+        const namespaces = Array.from(new Set(analysis.references.map(reference => reference.getNamespace())));
+        if (namespaces.some(namespace => namespace === "")) {
+            skippedProbes.push(makeSkippedProbe(term, "UNQUALIFIED_COLUMN_REFERENCE", "Probe metadata requires qualified column references so the source table is unambiguous.", options));
+            continue;
+        }
+        if (namespaces.length !== 1) {
+            skippedProbes.push(makeSkippedProbe(term, "MULTI_SOURCE_PREDICATE", "Probe metadata only suggests source filters when the predicate references one joined table.", options));
+            continue;
+        }
+        const binding = resolveProbeBinding(bindingsByExactName, bindingsByLowerName, namespaces[0]);
+        if (!binding) {
+            skippedProbes.push(makeSkippedProbe(term, "UNKNOWN_SOURCE_ALIAS", `Probe metadata could not match '${namespaces[0]}' to a source in the root FROM clause.`, options));
+            continue;
+        }
+        if (binding.isPrimary || !binding.join) {
+            continue;
+        }
+        if (binding.join.lateral) {
+            skippedProbes.push(makeSkippedProbe(term, "LATERAL_SOURCE_UNSUPPORTED", "Probe metadata skips lateral join sources because their input can depend on earlier sources.", options, binding));
+            continue;
+        }
+        if (!isProbeSafeJoin(binding.join)) {
+            skippedProbes.push(makeSkippedProbe(term, "JOIN_TYPE_UNSUPPORTED", `Probe metadata skips '${binding.join.joinType.value}' sources because probing the nullable side can mislead debugging.`, options, binding));
+            continue;
+        }
+        if (binding.source.datasource instanceof SubQuerySource) {
+            skippedProbes.push(makeSkippedProbe(term, "DERIVED_SOURCE_UNSUPPORTED", "Probe metadata skips derived table sources until their input query can be represented without implying a rewrite.", options, binding));
+            continue;
+        }
+        if (!(binding.source.datasource instanceof TableSource)) {
+            skippedProbes.push(makeSkippedProbe(term, "SOURCE_KIND_UNSUPPORTED", "Probe metadata currently supports only base table join sources.", options, binding));
+            continue;
+        }
+        const source = binding.source.datasource.getSourceName();
+        const predicate = formatSqlComponent(term, options);
+        const sourcePredicate = stripAliasFromPredicate(term, binding.matchNames, options);
+        probes.push({
+            kind: "source_filter_probe",
+            source,
+            sourceAlias: binding.alias,
+            predicate,
+            suggestedSql: `select * from ${formatTableSourceForProbe(binding.source.datasource, options)} where ${formatSqlComponent(sourcePredicate, options)}`,
+            reason: "predicate references only this joined table"
+        });
+    }
+    return { probes, skippedProbes };
+};
 const isAbsentOptionalValue = (parameters, parameterName) => parameters[parameterName] === null || parameters[parameterName] === undefined;
 const parseConditionOptimizationInput = (input, options) => {
     const warnings = [];
@@ -281,6 +582,7 @@ const mapStaticWarnings = (warnings) => warnings.map(warning => (Object.assign({
 const mapStaticErrors = (errors) => errors.map(error => (Object.assign({ phaseKind: "static_predicate_placement" }, error)));
 const mapStaticApplied = (applied) => applied.map(item => (Object.assign({ phaseKind: "static_predicate_placement" }, item)));
 const mapStaticSkipped = (skipped) => skipped.map(item => (Object.assign({ phaseKind: "static_predicate_placement", skipDisposition: "blocked" }, item)));
+const mapConditionDeduplicationApplied = (applied) => applied.map(item => (Object.assign({ phaseKind: "condition_deduplication" }, item)));
 const makePhaseSummary = (kind, counts) => ({
     kind,
     appliedCount: counts.appliedCount,
@@ -295,6 +597,7 @@ const runConditionOptimization = (input, options, defaultDryRun) => {
     // Run semantic SSSQL handling before generic placement phases so optional
     // branches remain owned by SSSQL even if later phases grow broader support.
     const sssqlPhase = runSssqlOptionalConditionPhase(input, Object.assign(Object.assign({}, options), { dryRun }));
+    const diagnostics = collectConditionOptimizationDiagnostics(sssqlPhase.query, options);
     const parameterOptimizer = new ParameterConditionPlacementOptimizer();
     const parameterInput = reuseOwnedModel
         ? (_b = sssqlPhase.query) !== null && _b !== void 0 ? _b : sssqlPhase.sql
@@ -321,10 +624,17 @@ const runConditionOptimization = (input, options, defaultDryRun) => {
     const staticSkipped = mapStaticSkipped(staticPhase.skipped);
     const warnings = [...sssqlPhase.warnings, ...parameterWarnings, ...staticWarnings];
     const errors = [...sssqlPhase.errors, ...parameterErrors, ...staticErrors];
+    const dedupePhase = errors.length === 0
+        ? new ConditionDeduplicationOptimizer().optimize(staticPhase.query, options)
+        : { query: staticPhase.query, applied: [] };
+    const dedupeApplied = mapConditionDeduplicationApplied(dedupePhase.applied);
+    const finalSql = dedupePhase.applied.length > 0 && dedupePhase.query
+        ? formatSqlComponent(dedupePhase.query, options)
+        : staticPhase.sql;
     return {
         ok: errors.length === 0,
-        sql: staticPhase.sql,
-        query: staticPhase.query,
+        sql: finalSql,
+        query: dedupePhase.query,
         phases: [
             makePhaseSummary("sssql_optional_condition", {
                 appliedCount: sssqlPhase.applied.length,
@@ -343,9 +653,15 @@ const runConditionOptimization = (input, options, defaultDryRun) => {
                 skippedCount: staticSkipped.length,
                 warningCount: staticWarnings.length,
                 errorCount: staticErrors.length
+            }),
+            makePhaseSummary("condition_deduplication", {
+                appliedCount: dedupeApplied.length,
+                skippedCount: 0,
+                warningCount: 0,
+                errorCount: 0
             })
         ],
-        applied: [...sssqlPhase.applied, ...parameterApplied, ...staticApplied],
+        applied: [...sssqlPhase.applied, ...parameterApplied, ...staticApplied, ...dedupeApplied],
         skipped: [...sssqlPhase.skipped, ...parameterSkipped, ...staticSkipped],
         warnings,
         errors,
@@ -356,7 +672,8 @@ const runConditionOptimization = (input, options, defaultDryRun) => {
             formatterGeneratedSource: sssqlPhase.formatterGeneratedSource
                 || parameterPhase.safety.formatterGeneratedSource
                 || staticPhase.safety.formatterGeneratedSource
-        }
+        },
+        diagnostics
     };
 };
 export const planConditionOptimization = (input, options = {}) => {