@query-doctor/core 0.6.0 → 0.7.0

package/dist/index.mjs

@@ -1,25 +1,29 @@
-'use client'
+"use client";
 import { bgMagentaBright, blue, dim, gray, green, magenta, red, strikethrough, yellow } from "colorette";
 import { deparseSync } from "pgsql-deparser";
 import { z } from "zod";
 import dedent from "dedent";
-
-//#region src/sql/nudges.ts
-function is$1(node, kind) {
+//#region src/sql/ast-utils.ts
+function is(node, kind) {
 	return kind in node;
 }
-function isANode$1(node) {
+function isANode(node) {
 	if (typeof node !== "object" || node === null) return false;
 	const keys = Object.keys(node);
 	return keys.length === 1 && /^[A-Z]/.test(keys[0]);
 }
+function getNodeKind(node) {
+	return Object.keys(node)[0];
+}
+//#endregion
+//#region src/sql/nudges.ts
 const findFuncCallsOnColumns = (whereClause) => {
 	const nudges = [];
 	Walker.shallowMatch(whereClause, "FuncCall", (node) => {
 		if (node.FuncCall.args && containsColumnRef(node.FuncCall.args)) nudges.push({
 			kind: "AVOID_FUNCTIONS_ON_COLUMNS_IN_WHERE",
 			severity: "WARNING",
-			message: "Avoid using functions on columns in WHERE clause",
+			message: "Avoid using functions on columns in conditions — prevents index usage",
 			location: node.FuncCall.location
 		});
 	});
@@ -27,10 +31,18 @@ const findFuncCallsOnColumns = (whereClause) => {
 		if (node.CoalesceExpr.args && containsColumnRef(node.CoalesceExpr.args)) nudges.push({
 			kind: "AVOID_FUNCTIONS_ON_COLUMNS_IN_WHERE",
 			severity: "WARNING",
-			message: "Avoid using functions on columns in WHERE clause",
+			message: "Avoid using functions on columns in conditions — prevents index usage",
 			location: node.CoalesceExpr.location
 		});
 	});
+	Walker.shallowMatch(whereClause, "TypeCast", (node) => {
+		if (node.TypeCast.arg && hasColumnRefInNode(node.TypeCast.arg)) nudges.push({
+			kind: "AVOID_FUNCTIONS_ON_COLUMNS_IN_WHERE",
+			severity: "WARNING",
+			message: "Avoid using functions on columns in WHERE clause",
+			location: node.TypeCast.location
+		});
+	});
 	return nudges;
 };
 /**
@@ -39,38 +51,38 @@ const findFuncCallsOnColumns = (whereClause) => {
 */
 function parseNudges(node, stack) {
 	const nudges = [];
-	if (is$1(node, "SelectStmt")) {
+	if (is(node, "SelectStmt")) {
 		if (node.SelectStmt.whereClause) nudges.push(...findFuncCallsOnColumns(node.SelectStmt.whereClause));
 		const star = node.SelectStmt.targetList?.find((target) => {
-			if (!(is$1(target, "ResTarget") && target.ResTarget.val && is$1(target.ResTarget.val, "ColumnRef"))) return false;
+			if (!(is(target, "ResTarget") && target.ResTarget.val && is(target.ResTarget.val, "ColumnRef"))) return false;
 			const fields = target.ResTarget.val.ColumnRef.fields;
-			if (!fields?.some((field) => is$1(field, "A_Star"))) return false;
+			if (!fields?.some((field) => is(field, "A_Star"))) return false;
 			if (fields.length > 1) return false;
 			return true;
 		});
 		if (star) {
 			const fromClause = node.SelectStmt.fromClause;
-			if (!(fromClause && fromClause.length > 0 && fromClause.every((item) => is$1(item, "RangeSubselect")))) nudges.push({
+			if (!(fromClause && fromClause.length > 0 && fromClause.every((item) => is(item, "RangeSubselect")))) nudges.push({
 				kind: "AVOID_SELECT_STAR",
 				severity: "INFO",
 				message: "Avoid using SELECT *",
 				location: star.ResTarget.location
 			});
 		}
-		for (const target of node.SelectStmt.targetList ?? []) if (is$1(target, "ResTarget") && target.ResTarget.val && is$1(target.ResTarget.val, "SubLink") && target.ResTarget.val.SubLink.subLinkType === "EXPR_SUBLINK") nudges.push({
+		for (const target of node.SelectStmt.targetList ?? []) if (is(target, "ResTarget") && target.ResTarget.val && is(target.ResTarget.val, "SubLink") && target.ResTarget.val.SubLink.subLinkType === "EXPR_SUBLINK") nudges.push({
 			kind: "AVOID_SCALAR_SUBQUERY_IN_SELECT",
 			severity: "WARNING",
 			message: "Avoid correlated scalar subqueries in SELECT; consider rewriting as a JOIN",
 			location: target.ResTarget.val.SubLink.location
 		});
 	}
-	if (is$1(node, "SelectStmt")) {
+	if (is(node, "SelectStmt")) {
 		if (!stack.some((item) => item === "RangeSubselect" || item === "SubLink" || item === "CommonTableExpr")) {
 			if (node.SelectStmt.fromClause && node.SelectStmt.fromClause.length > 0) {
 				if (node.SelectStmt.fromClause.some((fromItem) => {
-					return is$1(fromItem, "RangeVar") || is$1(fromItem, "JoinExpr") && hasActualTablesInJoin(fromItem);
+					return is(fromItem, "RangeVar") || is(fromItem, "JoinExpr") && hasActualTablesInJoin(fromItem);
 				})) {
-					const fromLocation = node.SelectStmt.fromClause.find((item) => is$1(item, "RangeVar"))?.RangeVar.location;
+					const fromLocation = node.SelectStmt.fromClause.find((item) => is(item, "RangeVar"))?.RangeVar.location;
 					if (!node.SelectStmt.whereClause) nudges.push({
 						kind: "MISSING_WHERE_CLAUSE",
 						severity: "INFO",
@@ -87,12 +99,12 @@ function parseNudges(node, stack) {
 			}
 		}
 	}
-	if (is$1(node, "SelectStmt") && node.SelectStmt.sortClause) for (const sortItem of node.SelectStmt.sortClause) {
-		if (!is$1(sortItem, "SortBy")) continue;
+	if (is(node, "SelectStmt") && node.SelectStmt.sortClause) for (const sortItem of node.SelectStmt.sortClause) {
+		if (!is(sortItem, "SortBy")) continue;
 		const sortDir = sortItem.SortBy.sortby_dir ?? "SORTBY_DEFAULT";
 		const sortNulls = sortItem.SortBy.sortby_nulls ?? "SORTBY_NULLS_DEFAULT";
 		if (sortDir === "SORTBY_DESC" && sortNulls === "SORTBY_NULLS_DEFAULT") {
-			if (sortItem.SortBy.node && is$1(sortItem.SortBy.node, "ColumnRef")) {
+			if (sortItem.SortBy.node && is(sortItem.SortBy.node, "ColumnRef")) {
 				const sortColumnName = getLastColumnRefField(sortItem.SortBy.node);
 				if (!(sortColumnName !== null && whereHasIsNotNull(node.SelectStmt.whereClause, sortColumnName))) nudges.push({
 					kind: "NULLS_FIRST_IN_DESC_ORDER",
@@ -103,8 +115,8 @@ function parseNudges(node, stack) {
 			}
 		}
 	}
-	if (is$1(node, "A_Expr")) {
-		if (node.A_Expr.kind === "AEXPR_OP" && node.A_Expr.name && node.A_Expr.name.length > 0 && is$1(node.A_Expr.name[0], "String") && (node.A_Expr.name[0].String.sval === "=" || node.A_Expr.name[0].String.sval === "!=" || node.A_Expr.name[0].String.sval === "<>")) {
+	if (is(node, "A_Expr")) {
+		if (node.A_Expr.kind === "AEXPR_OP" && node.A_Expr.name && node.A_Expr.name.length > 0 && is(node.A_Expr.name[0], "String") && (node.A_Expr.name[0].String.sval === "=" || node.A_Expr.name[0].String.sval === "!=" || node.A_Expr.name[0].String.sval === "<>")) {
 			const leftIsNull = isNullConstant(node.A_Expr.lexpr);
 			const rightIsNull = isNullConstant(node.A_Expr.rexpr);
 			if (leftIsNull || rightIsNull) nudges.push({
@@ -118,7 +130,7 @@ function parseNudges(node, stack) {
 			const patternString = getStringConstantValue(node.A_Expr.rexpr);
 			if (patternString && patternString.startsWith("%")) {
 				let stringNode;
-				if (is$1(node.A_Expr.rexpr, "A_Const")) stringNode = node.A_Expr.rexpr.A_Const;
+				if (is(node.A_Expr.rexpr, "A_Const")) stringNode = node.A_Expr.rexpr.A_Const;
 				nudges.push({
 					kind: "AVOID_LEADING_WILDCARD_LIKE",
 					severity: "WARNING",
@@ -128,48 +140,52 @@ function parseNudges(node, stack) {
 			}
 		}
 	}
-	if (is$1(node, "SelectStmt") && node.SelectStmt.sortClause) {
-		for (const sortItem of node.SelectStmt.sortClause) if (is$1(sortItem, "SortBy") && sortItem.SortBy.node && is$1(sortItem.SortBy.node, "FuncCall") && sortItem.SortBy.node.FuncCall.funcname?.some((name) => is$1(name, "String") && name.String.sval === "random")) nudges.push({
+	if (is(node, "SelectStmt") && node.SelectStmt.sortClause) {
+		for (const sortItem of node.SelectStmt.sortClause) if (is(sortItem, "SortBy") && sortItem.SortBy.node && is(sortItem.SortBy.node, "FuncCall") && sortItem.SortBy.node.FuncCall.funcname?.some((name) => is(name, "String") && name.String.sval === "random")) nudges.push({
 			kind: "AVOID_ORDER_BY_RANDOM",
 			severity: "WARNING",
 			message: "Avoid using ORDER BY random()",
 			location: sortItem.SortBy.node.FuncCall.location
 		});
 	}
-	if (is$1(node, "SelectStmt") && node.SelectStmt.distinctClause) nudges.push({
+	if (is(node, "SelectStmt") && node.SelectStmt.distinctClause) nudges.push({
 		kind: "AVOID_DISTINCT_WITHOUT_REASON",
 		severity: "WARNING",
 		message: "Avoid using DISTINCT without a reason"
 	});
-	if (is$1(node, "JoinExpr")) {
-		if (!node.JoinExpr.quals) nudges.push({
+	if (is(node, "JoinExpr")) {
+		if (node.JoinExpr.quals) nudges.push(...findFuncCallsOnColumns(node.JoinExpr.quals));
+		else if (!node.JoinExpr.usingClause) nudges.push({
 			kind: "MISSING_JOIN_CONDITION",
 			severity: "WARNING",
 			message: "Missing JOIN condition"
 		});
 	}
-	if (is$1(node, "SelectStmt") && node.SelectStmt.fromClause && node.SelectStmt.fromClause.length > 1) {
-		const tables = node.SelectStmt.fromClause.filter((item) => is$1(item, "RangeVar"));
-		if (tables.length > 1) nudges.push({
-			kind: "MISSING_JOIN_CONDITION",
-			severity: "WARNING",
-			message: "Missing JOIN condition",
-			location: tables[1].RangeVar.location
-		});
+	if (is(node, "SelectStmt") && node.SelectStmt.fromClause && node.SelectStmt.fromClause.length > 1) {
+		const tables = node.SelectStmt.fromClause.filter((item) => is(item, "RangeVar"));
+		if (tables.length > 1) {
+			const tableNames = new Set(tables.map((t) => t.RangeVar.alias?.aliasname || t.RangeVar.relname || ""));
+			if (!whereHasCrossTableEquality(node.SelectStmt.whereClause, tableNames)) nudges.push({
+				kind: "MISSING_JOIN_CONDITION",
+				severity: "WARNING",
+				message: "Missing JOIN condition",
+				location: tables[1].RangeVar.location
+			});
+		}
 	}
-	if (is$1(node, "BoolExpr") && node.BoolExpr.boolop === "OR_EXPR") {
-		if (countBoolOrConditions(node) >= 3) nudges.push({
+	if (is(node, "BoolExpr") && node.BoolExpr.boolop === "OR_EXPR") {
+		if (countBoolOrConditions(node) >= 3 && allOrBranchesReferenceSameColumn(node)) nudges.push({
 			kind: "CONSIDER_IN_INSTEAD_OF_MANY_ORS",
 			severity: "WARNING",
 			message: "Consider using IN instead of many ORs",
 			location: node.BoolExpr.location
 		});
 	}
-	if (is$1(node, "BoolExpr") && node.BoolExpr.boolop === "NOT_EXPR") {
+	if (is(node, "BoolExpr") && node.BoolExpr.boolop === "NOT_EXPR") {
 		const args = node.BoolExpr.args;
 		if (args && args.length === 1) {
 			const inner = args[0];
-			if (isANode$1(inner) && is$1(inner, "SubLink") && inner.SubLink.subLinkType === "ANY_SUBLINK") nudges.push({
+			if (isANode(inner) && is(inner, "SubLink") && inner.SubLink.subLinkType === "ANY_SUBLINK") nudges.push({
 				kind: "PREFER_NOT_EXISTS_OVER_NOT_IN",
 				severity: "WARNING",
 				message: "Prefer NOT EXISTS over NOT IN (SELECT ...)",
@@ -177,21 +193,21 @@ function parseNudges(node, stack) {
 			});
 		}
 	}
-	if (is$1(node, "FuncCall")) {
+	if (is(node, "FuncCall")) {
 		const funcName = node.FuncCall.funcname;
-		if (funcName && funcName.length === 1 && is$1(funcName[0], "String") && funcName[0].String.sval === "count" && node.FuncCall.args && !node.FuncCall.agg_star && !node.FuncCall.agg_distinct) nudges.push({
+		if (funcName && funcName.length === 1 && is(funcName[0], "String") && funcName[0].String.sval === "count" && node.FuncCall.args && !node.FuncCall.agg_star && !node.FuncCall.agg_distinct) nudges.push({
 			kind: "PREFER_COUNT_STAR_OVER_COUNT_COLUMN",
 			severity: "INFO",
 			message: "Prefer COUNT(*) over COUNT(column) or COUNT(1) — COUNT(*) counts rows without checking for NULLs. If you need to count non-NULL values, COUNT(column) is correct.",
 			location: node.FuncCall.location
 		});
 	}
-	if (is$1(node, "SelectStmt") && node.SelectStmt.havingClause) {
+	if (is(node, "SelectStmt") && node.SelectStmt.havingClause) {
 		if (!containsAggregate(node.SelectStmt.havingClause)) {
 			const having = node.SelectStmt.havingClause;
 			let location;
-			if (is$1(having, "A_Expr")) location = having.A_Expr.location;
-			else if (is$1(having, "BoolExpr")) location = having.BoolExpr.location;
+			if (is(having, "A_Expr")) location = having.A_Expr.location;
+			else if (is(having, "BoolExpr")) location = having.BoolExpr.location;
 			nudges.push({
 				kind: "PREFER_WHERE_OVER_HAVING_FOR_NON_AGGREGATES",
 				severity: "INFO",
@@ -200,7 +216,7 @@ function parseNudges(node, stack) {
 			});
 		}
 	}
-	if (is$1(node, "FuncCall")) {
+	if (is(node, "FuncCall")) {
 		if (stack.some((item) => item === "whereClause") && node.FuncCall.args) {
 			const name = getFuncName(node);
 			if (name && JSONB_SET_RETURNING_FUNCTIONS.has(name) && containsColumnRef(node.FuncCall.args)) nudges.push({
@@ -211,11 +227,11 @@ function parseNudges(node, stack) {
 			});
 		}
 	}
-	if (is$1(node, "A_Expr")) {
+	if (is(node, "A_Expr")) {
 		if (node.A_Expr.kind === "AEXPR_IN") {
 			let list;
-			if (node.A_Expr.lexpr && is$1(node.A_Expr.lexpr, "List")) list = node.A_Expr.lexpr.List;
-			else if (node.A_Expr.rexpr && is$1(node.A_Expr.rexpr, "List")) list = node.A_Expr.rexpr.List;
+			if (node.A_Expr.lexpr && is(node.A_Expr.lexpr, "List")) list = node.A_Expr.lexpr.List;
+			else if (node.A_Expr.rexpr && is(node.A_Expr.rexpr, "List")) list = node.A_Expr.rexpr.List;
 			if (list?.items && list.items.length >= 10) nudges.push({
 				kind: "REPLACE_LARGE_IN_TUPLE_WITH_ANY_ARRAY",
 				message: "`in (...)` queries with large tuples can often be replaced with `= ANY($1)` using a single parameter",
@@ -224,8 +240,8 @@ function parseNudges(node, stack) {
 			});
 		}
 	}
-	if (is$1(node, "FuncCall")) {
-		const funcname = node.FuncCall.funcname?.[0] && is$1(node.FuncCall.funcname[0], "String") && node.FuncCall.funcname[0].String.sval;
+	if (is(node, "FuncCall")) {
+		const funcname = node.FuncCall.funcname?.[0] && is(node.FuncCall.funcname[0], "String") && node.FuncCall.funcname[0].String.sval;
 		if (funcname && [
 			"sum",
 			"count",
@@ -234,11 +250,11 @@ function parseNudges(node, stack) {
 			"max"
 		].includes(funcname.toLowerCase())) {
 			const firstArg = node.FuncCall.args?.[0];
-			if (firstArg && isANode$1(firstArg) && is$1(firstArg, "CaseExpr")) {
+			if (firstArg && isANode(firstArg) && is(firstArg, "CaseExpr")) {
 				const caseExpr = firstArg.CaseExpr;
 				if (caseExpr.args && caseExpr.args.length === 1) {
 					const defresult = caseExpr.defresult;
-					if (!defresult || isANode$1(defresult) && is$1(defresult, "A_Const") && (defresult.A_Const.isnull !== void 0 || defresult.A_Const.ival !== void 0 && (defresult.A_Const.ival.ival === 0 || defresult.A_Const.ival.ival === void 0))) nudges.push({
+					if (!defresult || isANode(defresult) && is(defresult, "A_Const") && (defresult.A_Const.isnull !== void 0 || defresult.A_Const.ival !== void 0 && (defresult.A_Const.ival.ival === 0 || defresult.A_Const.ival.ival === void 0))) nudges.push({
 						kind: "PREFER_FILTER_OVER_CASE_IN_AGGREGATE",
 						severity: "INFO",
 						message: "Use FILTER (WHERE ...) instead of CASE inside aggregate functions",
@@ -248,14 +264,14 @@ function parseNudges(node, stack) {
 			}
 		}
 	}
-	if (is$1(node, "SelectStmt") && node.SelectStmt.op === "SETOP_UNION" && !node.SelectStmt.all) nudges.push({
+	if (is(node, "SelectStmt") && node.SelectStmt.op === "SETOP_UNION" && !node.SelectStmt.all) nudges.push({
 		kind: "PREFER_UNION_ALL_OVER_UNION",
 		severity: "INFO",
 		message: "UNION removes duplicates with an implicit sort — use UNION ALL if deduplication is not needed"
 	});
-	if (is$1(node, "A_Expr") && node.A_Expr.kind === "AEXPR_OP" && node.A_Expr.name && node.A_Expr.name.length > 0) {
+	if (is(node, "A_Expr") && node.A_Expr.kind === "AEXPR_OP" && node.A_Expr.name && node.A_Expr.name.length > 0) {
 		const opNode = node.A_Expr.name[0];
-		const op = is$1(opNode, "String") ? opNode.String.sval : null;
+		const op = is(opNode, "String") ? opNode.String.sval : null;
 		if (op && isExistenceCheckPattern(node.A_Expr.lexpr, node.A_Expr.rexpr, op)) nudges.push({
 			kind: "USE_EXISTS_NOT_COUNT_FOR_EXISTENCE_CHECK",
 			severity: "INFO",
@@ -270,32 +286,32 @@ function containsColumnRef(args) {
 	return false;
 }
 function hasColumnRefInNode(node) {
-	if (isANode$1(node) && is$1(node, "ColumnRef")) return true;
+	if (isANode(node) && is(node, "ColumnRef")) return true;
 	if (typeof node !== "object" || node === null) return false;
 	if (Array.isArray(node)) return node.some((item) => hasColumnRefInNode(item));
-	if (isANode$1(node)) return hasColumnRefInNode(node[Object.keys(node)[0]]);
+	if (isANode(node)) return hasColumnRefInNode(node[Object.keys(node)[0]]);
 	for (const child of Object.values(node)) if (hasColumnRefInNode(child)) return true;
 	return false;
 }
 function hasActualTablesInJoin(joinExpr) {
-	if (joinExpr.JoinExpr.larg && is$1(joinExpr.JoinExpr.larg, "RangeVar")) return true;
-	if (joinExpr.JoinExpr.larg && is$1(joinExpr.JoinExpr.larg, "JoinExpr")) {
+	if (joinExpr.JoinExpr.larg && is(joinExpr.JoinExpr.larg, "RangeVar")) return true;
+	if (joinExpr.JoinExpr.larg && is(joinExpr.JoinExpr.larg, "JoinExpr")) {
 		if (hasActualTablesInJoin(joinExpr.JoinExpr.larg)) return true;
 	}
-	if (joinExpr.JoinExpr.rarg && is$1(joinExpr.JoinExpr.rarg, "RangeVar")) return true;
-	if (joinExpr.JoinExpr.rarg && is$1(joinExpr.JoinExpr.rarg, "JoinExpr")) {
+	if (joinExpr.JoinExpr.rarg && is(joinExpr.JoinExpr.rarg, "RangeVar")) return true;
+	if (joinExpr.JoinExpr.rarg && is(joinExpr.JoinExpr.rarg, "JoinExpr")) {
 		if (hasActualTablesInJoin(joinExpr.JoinExpr.rarg)) return true;
 	}
 	return false;
 }
 function isNullConstant(node) {
 	if (!node || typeof node !== "object") return false;
-	if (isANode$1(node) && is$1(node, "A_Const")) return node.A_Const.isnull !== void 0;
+	if (isANode(node) && is(node, "A_Const")) return node.A_Const.isnull !== void 0;
 	return false;
 }
 function getStringConstantValue(node) {
 	if (!node || typeof node !== "object") return null;
-	if (isANode$1(node) && is$1(node, "A_Const") && node.A_Const.sval) return node.A_Const.sval.sval || null;
+	if (isANode(node) && is(node, "A_Const") && node.A_Const.sval) return node.A_Const.sval.sval || null;
 	return null;
 }
 const JSONB_SET_RETURNING_FUNCTIONS = new Set([
@@ -312,21 +328,21 @@ function getFuncName(node) {
 	const names = node.FuncCall.funcname;
 	if (!names || names.length === 0) return null;
 	const last = names[names.length - 1];
-	if (isANode$1(last) && is$1(last, "String") && last.String.sval) return last.String.sval;
+	if (isANode(last) && is(last, "String") && last.String.sval) return last.String.sval;
 	return null;
 }
 function getLastColumnRefField(columnRef) {
 	const fields = columnRef.ColumnRef.fields;
 	if (!fields || fields.length === 0) return null;
 	const lastField = fields[fields.length - 1];
-	if (isANode$1(lastField) && is$1(lastField, "String")) return lastField.String.sval || null;
+	if (isANode(lastField) && is(lastField, "String")) return lastField.String.sval || null;
 	return null;
 }
 function whereHasIsNotNull(whereClause, columnName) {
 	if (!whereClause) return false;
 	let found = false;
 	Walker.shallowMatch(whereClause, "NullTest", (node) => {
-		if (node.NullTest.nulltesttype === "IS_NOT_NULL" && node.NullTest.arg && is$1(node.NullTest.arg, "ColumnRef")) {
+		if (node.NullTest.nulltesttype === "IS_NOT_NULL" && node.NullTest.arg && is(node.NullTest.arg, "ColumnRef")) {
 			if (getLastColumnRefField(node.NullTest.arg) === columnName) found = true;
 		}
 	});
@@ -347,41 +363,106 @@ const AGGREGATE_FUNCTIONS = new Set([
 function containsAggregate(node) {
 	if (!node || typeof node !== "object") return false;
 	if (Array.isArray(node)) return node.some(containsAggregate);
-	if (isANode$1(node) && is$1(node, "FuncCall")) {
+	if (isANode(node) && is(node, "FuncCall")) {
 		const funcname = node.FuncCall.funcname;
 		if (funcname) {
-			for (const f of funcname) if (isANode$1(f) && is$1(f, "String") && AGGREGATE_FUNCTIONS.has(f.String.sval?.toLowerCase() ?? "")) return true;
+			for (const f of funcname) if (isANode(f) && is(f, "String") && AGGREGATE_FUNCTIONS.has(f.String.sval?.toLowerCase() ?? "")) return true;
 		}
 	}
-	if (isANode$1(node)) return containsAggregate(node[Object.keys(node)[0]]);
+	if (isANode(node)) return containsAggregate(node[Object.keys(node)[0]]);
 	for (const child of Object.values(node)) if (containsAggregate(child)) return true;
 	return false;
 }
 function countBoolOrConditions(node) {
 	if (node.BoolExpr.boolop !== "OR_EXPR" || !node.BoolExpr.args) return 1;
 	let count = 0;
-	for (const arg of node.BoolExpr.args) if (isANode$1(arg) && is$1(arg, "BoolExpr") && arg.BoolExpr.boolop === "OR_EXPR") count += countBoolOrConditions(arg);
+	for (const arg of node.BoolExpr.args) if (isANode(arg) && is(arg, "BoolExpr") && arg.BoolExpr.boolop === "OR_EXPR") count += countBoolOrConditions(arg);
 	else count += 1;
 	return count;
 }
+/**
+* Check whether every leaf of a top-level OR expression references the same
+* left-hand column (e.g. `status = 'a' OR status = 'b' OR status = 'c'`).
+* Returns false when ORs span different columns — IN rewrite doesn't apply.
+*/
+function allOrBranchesReferenceSameColumn(node) {
+	const columns = collectOrLeafColumns(node);
+	if (columns.length === 0) return false;
+	return columns.every((col) => col === columns[0]);
+}
+function collectOrLeafColumns(node) {
+	if (node.BoolExpr.boolop !== "OR_EXPR" || !node.BoolExpr.args) return [];
+	const columns = [];
+	for (const arg of node.BoolExpr.args) {
+		if (!isANode(arg)) continue;
+		if (is(arg, "BoolExpr") && arg.BoolExpr.boolop === "OR_EXPR") columns.push(...collectOrLeafColumns(arg));
+		else if (is(arg, "A_Expr")) {
+			const col = getLeftColumnKey(arg);
+			if (col) columns.push(col);
+			else return [];
+		} else return [];
+	}
+	return columns;
+}
+/**
+* Get a string key for the left-hand column of an A_Expr equality comparison.
+* For `t1.col = value` returns `"t1.col"`, for `col = value` returns `"col"`.
+*/
+function getLeftColumnKey(expr) {
+	if (!expr.A_Expr.lexpr || !isANode(expr.A_Expr.lexpr)) return null;
+	if (!is(expr.A_Expr.lexpr, "ColumnRef")) return null;
+	const fields = expr.A_Expr.lexpr.ColumnRef.fields;
+	if (!fields) return null;
+	return fields.filter((f) => isANode(f) && is(f, "String")).map((f) => f.String.sval).join(".");
+}
+/**
+* Check if a WHERE clause contains an equality between columns from different
+* tables (indicating an old-style implicit join condition).
+*/
+function whereHasCrossTableEquality(whereClause, tableNames) {
+	if (!whereClause) return false;
+	if (isANode(whereClause) && is(whereClause, "A_Expr")) {
+		if (whereClause.A_Expr.kind === "AEXPR_OP" && whereClause.A_Expr.name?.some((n) => is(n, "String") && n.String.sval === "=")) {
+			const leftTable = getColumnRefTableQualifier(whereClause.A_Expr.lexpr);
+			const rightTable = getColumnRefTableQualifier(whereClause.A_Expr.rexpr);
+			if (leftTable && rightTable && leftTable !== rightTable && tableNames.has(leftTable) && tableNames.has(rightTable)) return true;
+		}
+	}
+	if (isANode(whereClause) && is(whereClause, "BoolExpr")) {
+		for (const arg of whereClause.BoolExpr.args ?? []) if (isANode(arg) && whereHasCrossTableEquality(arg, tableNames)) return true;
+	}
+	return false;
+}
+/**
+* Extract the table qualifier (first field) from a ColumnRef node.
+* e.g. `t1.uid` → `"t1"`, `uid` → null
+*/
+function getColumnRefTableQualifier(node) {
+	if (!node || !isANode(node) || !is(node, "ColumnRef")) return null;
+	const fields = node.ColumnRef.fields;
+	if (!fields || fields.length < 2) return null;
+	const first = fields[0];
+	if (isANode(first) && is(first, "String")) return first.String.sval || null;
+	return null;
+}
 function isCountFuncCall(node) {
 	if (!node || typeof node !== "object") return false;
-	if (!isANode$1(node) || !is$1(node, "FuncCall")) return false;
+	if (!isANode(node) || !is(node, "FuncCall")) return false;
 	const fc = node.FuncCall;
-	if (!(fc.funcname?.some((n) => is$1(n, "String") && n.String.sval === "count") ?? false)) return false;
+	if (!(fc.funcname?.some((n) => is(n, "String") && n.String.sval === "count") ?? false)) return false;
 	if (fc.agg_star) return true;
-	if (fc.args && fc.args.length === 1 && isANode$1(fc.args[0]) && is$1(fc.args[0], "A_Const")) return true;
+	if (fc.args && fc.args.length === 1 && isANode(fc.args[0]) && is(fc.args[0], "A_Const")) return true;
 	return false;
 }
 function isSubLinkWithCount(node) {
 	if (!node || typeof node !== "object") return false;
-	if (!isANode$1(node) || !is$1(node, "SubLink")) return false;
+	if (!isANode(node) || !is(node, "SubLink")) return false;
 	const subselect = node.SubLink.subselect;
-	if (!subselect || !isANode$1(subselect) || !is$1(subselect, "SelectStmt")) return false;
+	if (!subselect || !isANode(subselect) || !is(subselect, "SelectStmt")) return false;
 	const targets = subselect.SelectStmt.targetList;
 	if (!targets || targets.length !== 1) return false;
 	const target = targets[0];
-	if (!isANode$1(target) || !is$1(target, "ResTarget") || !target.ResTarget.val) return false;
+	if (!isANode(target) || !is(target, "ResTarget") || !target.ResTarget.val) return false;
 	return isCountFuncCall(target.ResTarget.val);
 }
 function isCountExpression(node) {
@@ -389,7 +470,7 @@ function isCountExpression(node) {
 }
 function getIntegerConstantValue(node) {
 	if (!node || typeof node !== "object") return null;
-	if (!isANode$1(node) || !is$1(node, "A_Const")) return null;
+	if (!isANode(node) || !is(node, "A_Const")) return null;
 	if (node.A_Const.ival === void 0) return null;
 	return node.A_Const.ival.ival ?? 0;
 }
@@ -412,9 +493,8 @@ function isExistenceCheckPattern(lexpr, rexpr, op) {
 	}
 	return false;
 }
-
 //#endregion
-//#region \0@oxc-project+runtime@0.112.0/helpers/typeof.js
+//#region \0@oxc-project+runtime@0.122.0/helpers/typeof.js
 function _typeof(o) {
 	"@babel/helpers - typeof";
 	return _typeof = "function" == typeof Symbol && "symbol" == typeof Symbol.iterator ? function(o) {
@@ -423,9 +503,8 @@ function _typeof(o) {
 		return o && "function" == typeof Symbol && o.constructor === Symbol && o !== Symbol.prototype ? "symbol" : typeof o;
 	}, _typeof(o);
 }
-
 //#endregion
-//#region \0@oxc-project+runtime@0.112.0/helpers/toPrimitive.js
+//#region \0@oxc-project+runtime@0.122.0/helpers/toPrimitive.js
 function toPrimitive(t, r) {
 	if ("object" != _typeof(t) || !t) return t;
 	var e = t[Symbol.toPrimitive];
@@ -436,16 +515,14 @@ function toPrimitive(t, r) {
 	}
 	return ("string" === r ? String : Number)(t);
 }
-
 //#endregion
-//#region \0@oxc-project+runtime@0.112.0/helpers/toPropertyKey.js
+//#region \0@oxc-project+runtime@0.122.0/helpers/toPropertyKey.js
 function toPropertyKey(t) {
 	var i = toPrimitive(t, "string");
 	return "symbol" == _typeof(i) ? i : i + "";
 }
-
 //#endregion
-//#region \0@oxc-project+runtime@0.112.0/helpers/defineProperty.js
+//#region \0@oxc-project+runtime@0.122.0/helpers/defineProperty.js
 function _defineProperty(e, r, t) {
 	return (r = toPropertyKey(r)) in e ? Object.defineProperty(e, r, {
 		value: t,
@@ -454,7 +531,6 @@ function _defineProperty(e, r, t) {
 		writable: !0
 	}) : e[r] = t, e;
 }
-
 //#endregion
 //#region src/sql/walker.ts
 const JSONB_EXTRACTION_OPS = new Set(["->", "->>"]);
@@ -701,17 +777,6 @@ var Walker = class Walker {
 		} else for (const [key, child] of Object.entries(node)) Walker.doTraverse(child, [...stack, key], callback);
 	}
 };
-function is(node, kind) {
-	return kind in node;
-}
-function getNodeKind(node) {
-	return Object.keys(node)[0];
-}
-function isANode(node) {
-	if (typeof node !== "object" || node === null) return false;
-	const keys = Object.keys(node);
-	return keys.length === 1 && /^[A-Z]/.test(keys[0]);
-}
 /**
 * Given an operand of a comparison (e.g. the left side of `=`), check whether
 * it is a JSONB path extraction expression such as `data->>'email'` or
@@ -763,7 +828,6 @@ function stripTableQualifiers(node) {
 	for (const value of Object.values(node)) if (Array.isArray(value)) for (const item of value) stripTableQualifiers(item);
 	else if (typeof value === "object" && value !== null) stripTableQualifiers(value);
 }
-
 //#endregion
 //#region src/sql/analyzer.ts
 const ignoredIdentifier = "__qd_placeholder";
@@ -989,10 +1053,17 @@ var Analyzer = class {
 		};
 	}
 };
-
 //#endregion
 //#region src/sql/database.ts
 const PostgresVersion = z.string().brand("PostgresVersion");
+/** Zod schema for PostgresExplainStage — validates common fields, passes through variant-specific ones. */
+const PostgresExplainStageSchema = z.lazy(() => z.object({
+	"Node Type": z.string(),
+	"Total Cost": z.number(),
+	"Plan Width": z.number(),
+	"Node Id": z.number().optional(),
+	Plans: z.array(PostgresExplainStageSchema).optional()
+}).passthrough());
 /**
 * Drops a disabled index. Rollsback if it fails for any reason
 * @returns Did dropping the index succeed?
@@ -1009,7 +1080,6 @@ async function dropIndex(tx, index) {
 		return false;
 	}
 }
-
 //#endregion
 //#region src/sql/indexes.ts
 function isIndexSupported(index) {
@@ -1022,7 +1092,6 @@ function isIndexSupported(index) {
 function isIndexProbablyDroppable(index) {
 	return !index.is_primary && !index.is_unique;
 }
-
 //#endregion
 //#region src/sql/builder.ts
 var PostgresQueryBuilder = class PostgresQueryBuilder {
@@ -1112,7 +1181,6 @@ var PostgresQueryBuilder = class PostgresQueryBuilder {
 		return query;
 	}
 };
-
 //#endregion
 //#region src/sql/pg-identifier.ts
 /**
@@ -1324,7 +1392,6 @@ _defineProperty(PgIdentifier, "reservedKeywords", new Set([
 	"xmlserialize",
 	"xmltable"
 ]));
-
 //#endregion
 //#region src/sql/permutations.ts
 /**
@@ -1349,7 +1416,6 @@ function permutationsWithDescendingLength(arr) {
 	collected.sort((a, b) => b.length - a.length);
 	return collected;
 }
-
 //#endregion
 //#region src/optimizer/genalgo.ts
 var IndexOptimizer = class IndexOptimizer {
@@ -1688,7 +1754,6 @@ var RollbackError = class {
 };
 const PROCEED = Symbol("PROCEED");
 const SKIP = Symbol("SKIP");
-
 //#endregion
 //#region src/optimizer/statistics.ts
 const StatisticsSource = z.union([z.object({
@@ -2328,7 +2393,6 @@ _defineProperty(Statistics, "defaultStatsMode", Object.freeze({
 	reltuples: DEFAULT_RELTUPLES,
 	relpages: DEFAULT_RELPAGES
 }));
-
 //#endregion
 //#region src/optimizer/pss-rewriter.ts
 /**
@@ -2355,7 +2419,7 @@ var PssRewriter = class {
 		});
 	}
 };
-
 //#endregion
-export { Analyzer, ExportedStats, ExportedStatsColumns, ExportedStatsIndex, ExportedStatsStatistics, ExportedStatsV1, IndexOptimizer, PROCEED, PgIdentifier, PostgresQueryBuilder, PostgresVersion, PssRewriter, SKIP, Statistics, StatisticsMode, StatisticsSource, dropIndex, ignoredIdentifier, isIndexProbablyDroppable, isIndexSupported, parseNudges };
+export { Analyzer, ExportedStats, ExportedStatsColumns, ExportedStatsIndex, ExportedStatsStatistics, ExportedStatsV1, IndexOptimizer, PROCEED, PgIdentifier, PostgresExplainStageSchema, PostgresQueryBuilder, PostgresVersion, PssRewriter, SKIP, Statistics, StatisticsMode, StatisticsSource, dropIndex, ignoredIdentifier, isIndexProbablyDroppable, isIndexSupported, parseNudges };
+
 //# sourceMappingURL=index.mjs.map