rawsql-ts 0.25.0 → 0.26.1

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

@@ -0,0 +1,75 @@
+import { SelectQuery, SimpleSelectQuery } from "../models/SelectQuery";
+import { ParameterConditionMove, ParameterConditionOptimizationError, ParameterConditionOptimizationOptions, ParameterConditionOptimizationWarning, ParameterConditionSkipped } from "./ParameterConditionPlacementOptimizer";
+import { StaticPredicateMove, StaticPredicatePlacementError, StaticPredicatePlacementWarning, StaticPredicateSkipped } from "./StaticPredicatePlacementOptimizer";
+import { OptionalConditionPruningParameters } from "./PruneOptionalConditionBranches";
+export type ConditionOptimizationInput = string | SelectQuery | SimpleSelectQuery;
+export type ConditionOptimizationPhaseKind = "sssql_optional_condition" | "parameter_condition_placement" | "static_predicate_placement";
+export interface ConditionOptimizationOptions extends ParameterConditionOptimizationOptions {
+    /**
+     * Explicit opt-in values for SSSQL optional branch pruning.
+     * Only listed parameter names are considered, and only null/undefined values
+     * are pruned by the safe-only SSSQL phase.
+     */
+    optionalConditionParameters?: OptionalConditionPruningParameters;
+}
+export interface ConditionOptimizationPhaseSummary {
+    kind: ConditionOptimizationPhaseKind;
+    appliedCount: number;
+    skippedCount: number;
+    warningCount: number;
+    errorCount: number;
+}
+export interface SssqlOptionalConditionApplied {
+    phaseKind: "sssql_optional_condition";
+    kind: "prune_optional_branch" | "refresh_optional_branch";
+    conditionSql: string;
+    parameterName: string;
+    reason: string;
+    previousConditionSql?: string;
+}
+export interface SssqlOptionalConditionSkipped {
+    phaseKind: "sssql_optional_condition";
+    kind: "optional_branch_skipped";
+    conditionSql: string;
+    parameterName: string;
+    code: string;
+    reason: string;
+}
+export type ConditionOptimizationApplied = SssqlOptionalConditionApplied | (ParameterConditionMove & {
+    phaseKind: "parameter_condition_placement";
+}) | (StaticPredicateMove & {
+    phaseKind: "static_predicate_placement";
+});
+export type ConditionOptimizationSkipped = SssqlOptionalConditionSkipped | (ParameterConditionSkipped & {
+    phaseKind: "parameter_condition_placement";
+}) | (StaticPredicateSkipped & {
+    phaseKind: "static_predicate_placement";
+});
+export type ConditionOptimizationWarning = (ParameterConditionOptimizationWarning & {
+    phaseKind: ConditionOptimizationPhaseKind;
+}) | (StaticPredicatePlacementWarning & {
+    phaseKind: ConditionOptimizationPhaseKind;
+});
+export type ConditionOptimizationError = (ParameterConditionOptimizationError & {
+    phaseKind: ConditionOptimizationPhaseKind;
+}) | (StaticPredicatePlacementError & {
+    phaseKind: ConditionOptimizationPhaseKind;
+});
+export interface ConditionOptimizationSafety {
+    mode: "safe_only";
+    unsafeRewriteApplied: false;
+    dryRun: boolean;
+    formatterGeneratedSource: boolean;
+}
+export interface ConditionOptimizationResult {
+    ok: boolean;
+    sql: string;
+    phases: readonly ConditionOptimizationPhaseSummary[];
+    applied: readonly ConditionOptimizationApplied[];
+    skipped: readonly ConditionOptimizationSkipped[];
+    warnings: readonly ConditionOptimizationWarning[];
+    errors: readonly ConditionOptimizationError[];
+    safety: ConditionOptimizationSafety;
+}
+export declare const planConditionOptimization: (input: ConditionOptimizationInput, options?: ConditionOptimizationOptions) => ConditionOptimizationResult;
+export declare const optimizeConditions: (input: ConditionOptimizationInput, options?: ConditionOptimizationOptions) => ConditionOptimizationResult;

package/dist/esm/transformers/ConditionOptimization.js

@@ -0,0 +1,310 @@
+import { SelectQueryParser } from "../parsers/SelectQueryParser";
+import { optimizeParameterConditionPlacement, planParameterConditionOptimization } from "./ParameterConditionPlacementOptimizer";
+import { optimizeStaticPredicatePlacement, planStaticPredicatePlacement } from "./StaticPredicatePlacementOptimizer";
+import { collectSupportedOptionalConditionBranches, pruneOptionalConditionBranches } from "./PruneOptionalConditionBranches";
+import { SSSQLFilterBuilder } from "./SSSQLFilterBuilder";
+import { formatSqlComponent } from "./SqlComponentFormatter";
+const hasOwnParameter = (parameters, parameterName) => Object.prototype.hasOwnProperty.call(parameters, parameterName);
+const isAbsentOptionalValue = (parameters, parameterName) => parameters[parameterName] === null || parameters[parameterName] === undefined;
+const parseConditionOptimizationInput = (input) => {
+    const warnings = [];
+    const errors = [];
+    const sourceSql = typeof input === "string" ? input : formatSqlComponent(input);
+    const formatterGeneratedSource = typeof input !== "string";
+    if (formatterGeneratedSource) {
+        warnings.push({
+            phaseKind: "sssql_optional_condition",
+            code: "AST_INPUT_FORMATTED",
+            message: "AST input is cloned through formatter output so the caller-owned query is not mutated."
+        });
+    }
+    try {
+        return {
+            query: SelectQueryParser.parse(sourceSql),
+            sql: sourceSql,
+            formatterGeneratedSource,
+            warnings,
+            errors
+        };
+    }
+    catch (error) {
+        errors.push({
+            phaseKind: "sssql_optional_condition",
+            code: "PARSE_FAILED",
+            message: "SSSQL optional condition optimization could not parse the input SQL.",
+            detail: error instanceof Error ? error.message : String(error)
+        });
+        return {
+            query: null,
+            sql: sourceSql,
+            formatterGeneratedSource,
+            warnings,
+            errors
+        };
+    }
+};
+const buildSssqlApplied = (branch) => {
+    return {
+        phaseKind: "sssql_optional_condition",
+        kind: "prune_optional_branch",
+        conditionSql: formatSqlComponent(branch.expression),
+        parameterName: branch.parameterName,
+        reason: "The optional branch parameter is explicitly absent, so the safe-only SSSQL phase pruned the branch."
+    };
+};
+const buildSssqlRefreshApplied = (branch, previousConditionSql) => {
+    return {
+        phaseKind: "sssql_optional_condition",
+        kind: "refresh_optional_branch",
+        conditionSql: formatSqlComponent(branch.expression),
+        previousConditionSql,
+        parameterName: branch.parameterName,
+        reason: "The safe-only SSSQL phase refreshed the optional branch placement before ordinary parameter placement."
+    };
+};
+const buildSssqlSkipped = (branch, parameters) => {
+    const parameterProvided = hasOwnParameter(parameters, branch.parameterName);
+    return {
+        phaseKind: "sssql_optional_condition",
+        kind: "optional_branch_skipped",
+        conditionSql: formatSqlComponent(branch.expression),
+        parameterName: branch.parameterName,
+        code: parameterProvided
+            ? "SSSQL_OPTIONAL_PARAMETER_PRESENT"
+            : "SSSQL_OPTIONAL_PARAMETER_NOT_PROVIDED",
+        reason: parameterProvided
+            ? "The optional branch parameter is present, so the branch remains active."
+            : "No optional branch parameter value was provided, so the branch remains unchanged."
+    };
+};
+const buildSssqlRefreshSkipped = (branch, code, reason) => {
+    return {
+        phaseKind: "sssql_optional_condition",
+        kind: "optional_branch_skipped",
+        conditionSql: formatSqlComponent(branch.expression),
+        parameterName: branch.parameterName,
+        code,
+        reason
+    };
+};
+const buildSssqlRefreshFilters = (branches, parameters) => {
+    const filters = {};
+    for (const branch of branches) {
+        filters[branch.parameterName] = hasOwnParameter(parameters, branch.parameterName)
+            ? parameters[branch.parameterName]
+            : null;
+    }
+    return filters;
+};
+const refreshRemainingSssqlBranches = (sql, parameters) => {
+    const parsed = parseConditionOptimizationInput(sql);
+    const applied = [];
+    const skipped = [];
+    if (!parsed.query) {
+        return {
+            sql: parsed.sql,
+            applied,
+            skipped,
+            warnings: parsed.warnings,
+            errors: parsed.errors,
+            formatterGeneratedSource: parsed.formatterGeneratedSource
+        };
+    }
+    const beforeBranches = collectSupportedOptionalConditionBranches(parsed.query);
+    if (beforeBranches.length === 0) {
+        return {
+            sql: parsed.sql,
+            applied,
+            skipped,
+            warnings: parsed.warnings,
+            errors: parsed.errors,
+            formatterGeneratedSource: parsed.formatterGeneratedSource
+        };
+    }
+    const beforeBranchSql = new WeakMap();
+    const beforeBranchQuery = new WeakMap();
+    for (const branch of beforeBranches) {
+        beforeBranchSql.set(branch.expression, formatSqlComponent(branch.expression));
+        beforeBranchQuery.set(branch.expression, branch.query);
+    }
+    try {
+        new SSSQLFilterBuilder().refresh(parsed.query, buildSssqlRefreshFilters(beforeBranches, parameters));
+    }
+    catch (error) {
+        const detail = error instanceof Error ? error.message : String(error);
+        return {
+            sql,
+            applied,
+            skipped: beforeBranches.map(branch => buildSssqlRefreshSkipped(branch, "SSSQL_OPTIONAL_REFRESH_UNSUPPORTED", `SSSQL optional branch refresh was skipped because safe refresh could not be proven: ${detail}`)),
+            warnings: parsed.warnings,
+            errors: parsed.errors,
+            formatterGeneratedSource: parsed.formatterGeneratedSource
+        };
+    }
+    const afterBranches = collectSupportedOptionalConditionBranches(parsed.query);
+    for (const branch of afterBranches) {
+        const previousSql = beforeBranchSql.get(branch.expression);
+        const previousQuery = beforeBranchQuery.get(branch.expression);
+        if (!previousSql || !previousQuery) {
+            skipped.push(buildSssqlRefreshSkipped(branch, "SSSQL_OPTIONAL_REFRESH_UNSUPPORTED", "SSSQL optional branch refresh left an untracked branch unchanged."));
+            continue;
+        }
+        const refreshedSql = formatSqlComponent(branch.expression);
+        if (previousQuery !== branch.query || previousSql !== refreshedSql) {
+            applied.push(buildSssqlRefreshApplied(branch, previousSql));
+            continue;
+        }
+        skipped.push(buildSssqlRefreshSkipped(branch, "SSSQL_OPTIONAL_REFRESH_NOOP", "SSSQL optional branch refresh found no safe placement change to apply."));
+    }
+    return {
+        sql: applied.length > 0 ? formatSqlComponent(parsed.query) : sql,
+        applied,
+        skipped,
+        warnings: parsed.warnings,
+        errors: parsed.errors,
+        formatterGeneratedSource: parsed.formatterGeneratedSource
+    };
+};
+const runSssqlOptionalConditionPhase = (input, options) => {
+    var _a;
+    const parsed = parseConditionOptimizationInput(input);
+    const warnings = [...parsed.warnings];
+    let errors = [...parsed.errors];
+    const applied = [];
+    const skipped = [];
+    const optionalConditionParameters = (_a = options.optionalConditionParameters) !== null && _a !== void 0 ? _a : {};
+    if (!parsed.query) {
+        return {
+            sql: parsed.sql,
+            applied,
+            skipped,
+            warnings,
+            errors,
+            formatterGeneratedSource: parsed.formatterGeneratedSource
+        };
+    }
+    let currentSql = parsed.sql;
+    const branches = collectSupportedOptionalConditionBranches(parsed.query);
+    const pruneBranches = branches.filter(branch => hasOwnParameter(optionalConditionParameters, branch.parameterName)
+        && isAbsentOptionalValue(optionalConditionParameters, branch.parameterName));
+    if (pruneBranches.length > 0) {
+        try {
+            pruneOptionalConditionBranches(parsed.query, optionalConditionParameters);
+            currentSql = formatSqlComponent(parsed.query);
+            applied.push(...pruneBranches.map(buildSssqlApplied));
+        }
+        catch (error) {
+            errors = [...errors, {
+                    phaseKind: "sssql_optional_condition",
+                    code: "SSSQL_PRUNE_FAILED",
+                    message: "SSSQL optional condition optimization could not prune optional branches.",
+                    detail: error instanceof Error ? error.message : String(error)
+                }];
+        }
+    }
+    if (errors.length === 0) {
+        const refreshPhase = refreshRemainingSssqlBranches(currentSql, optionalConditionParameters);
+        applied.push(...refreshPhase.applied);
+        skipped.push(...refreshPhase.skipped);
+        warnings.push(...refreshPhase.warnings);
+        errors.push(...refreshPhase.errors);
+        currentSql = refreshPhase.sql;
+    }
+    else {
+        for (const branch of branches) {
+            if (pruneBranches.includes(branch)) {
+                continue;
+            }
+            skipped.push(buildSssqlSkipped(branch, optionalConditionParameters));
+        }
+    }
+    return {
+        sql: errors.length === 0 ? currentSql : parsed.sql,
+        applied,
+        skipped,
+        warnings,
+        errors,
+        formatterGeneratedSource: parsed.formatterGeneratedSource
+    };
+};
+const mapParameterWarnings = (warnings) => warnings.map(warning => (Object.assign({ phaseKind: "parameter_condition_placement" }, warning)));
+const mapParameterErrors = (errors) => errors.map(error => (Object.assign({ phaseKind: "parameter_condition_placement" }, error)));
+const mapParameterApplied = (applied) => applied.map(item => (Object.assign({ phaseKind: "parameter_condition_placement" }, item)));
+const mapParameterSkipped = (skipped) => skipped.map(item => (Object.assign({ phaseKind: "parameter_condition_placement" }, item)));
+const mapStaticWarnings = (warnings) => warnings.map(warning => (Object.assign({ phaseKind: "static_predicate_placement" }, warning)));
+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" }, item)));
+const makePhaseSummary = (kind, counts) => ({
+    kind,
+    appliedCount: counts.appliedCount,
+    skippedCount: counts.skippedCount,
+    warningCount: counts.warningCount,
+    errorCount: counts.errorCount
+});
+const runConditionOptimization = (input, options, defaultDryRun) => {
+    var _a;
+    const dryRun = (_a = options.dryRun) !== null && _a !== void 0 ? _a : 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 parameterPhase = dryRun
+        ? planParameterConditionOptimization(sssqlPhase.sql, { dryRun })
+        : optimizeParameterConditionPlacement(sssqlPhase.sql, { dryRun });
+    const parameterWarnings = mapParameterWarnings(parameterPhase.warnings);
+    const parameterErrors = mapParameterErrors(parameterPhase.errors);
+    const parameterApplied = mapParameterApplied(parameterPhase.applied);
+    const parameterSkipped = mapParameterSkipped(parameterPhase.skipped);
+    const staticPhase = dryRun
+        ? planStaticPredicatePlacement(parameterPhase.sql, { dryRun })
+        : optimizeStaticPredicatePlacement(parameterPhase.sql, { dryRun });
+    const staticWarnings = mapStaticWarnings(staticPhase.warnings);
+    const staticErrors = mapStaticErrors(staticPhase.errors);
+    const staticApplied = mapStaticApplied(staticPhase.applied);
+    const staticSkipped = mapStaticSkipped(staticPhase.skipped);
+    const warnings = [...sssqlPhase.warnings, ...parameterWarnings, ...staticWarnings];
+    const errors = [...sssqlPhase.errors, ...parameterErrors, ...staticErrors];
+    return {
+        ok: errors.length === 0,
+        sql: staticPhase.sql,
+        phases: [
+            makePhaseSummary("sssql_optional_condition", {
+                appliedCount: sssqlPhase.applied.length,
+                skippedCount: sssqlPhase.skipped.length,
+                warningCount: sssqlPhase.warnings.length,
+                errorCount: sssqlPhase.errors.length
+            }),
+            makePhaseSummary("parameter_condition_placement", {
+                appliedCount: parameterApplied.length,
+                skippedCount: parameterSkipped.length,
+                warningCount: parameterWarnings.length,
+                errorCount: parameterErrors.length
+            }),
+            makePhaseSummary("static_predicate_placement", {
+                appliedCount: staticApplied.length,
+                skippedCount: staticSkipped.length,
+                warningCount: staticWarnings.length,
+                errorCount: staticErrors.length
+            })
+        ],
+        applied: [...sssqlPhase.applied, ...parameterApplied, ...staticApplied],
+        skipped: [...sssqlPhase.skipped, ...parameterSkipped, ...staticSkipped],
+        warnings,
+        errors,
+        safety: {
+            mode: "safe_only",
+            unsafeRewriteApplied: false,
+            dryRun,
+            formatterGeneratedSource: sssqlPhase.formatterGeneratedSource
+                || parameterPhase.safety.formatterGeneratedSource
+                || staticPhase.safety.formatterGeneratedSource
+        }
+    };
+};
+export const planConditionOptimization = (input, options = {}) => {
+    return runConditionOptimization(input, options, true);
+};
+export const optimizeConditions = (input, options = {}) => {
+    return runConditionOptimization(input, options, false);
+};
+//# sourceMappingURL=ConditionOptimization.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ConditionOptimization.js","sourceRoot":"","sources":["../../../src/transformers/ConditionOptimization.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EACH,mCAAmC,EAMnC,kCAAkC,EACrC,MAAM,wCAAwC,CAAC;AAChD,OAAO,EACH,gCAAgC,EAChC,4BAA4B,EAK/B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACH,yCAAyC,EAEzC,8BAA8B,EAEjC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAgG7D,MAAM,eAAe,GAAG,CACpB,UAA8C,EAC9C,aAAqB,EACd,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;AAE9E,MAAM,qBAAqB,GAAG,CAC1B,UAA8C,EAC9C,aAAqB,EACd,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,IAAI,IAAI,UAAU,CAAC,aAAa,CAAC,KAAK,SAAS,CAAC;AAE5F,MAAM,+BAA+B,GAAG,CACpC,KAAiC,EACD,EAAE;IAClC,MAAM,QAAQ,GAAmC,EAAE,CAAC;IACpD,MAAM,MAAM,GAAiC,EAAE,CAAC;IAChD,MAAM,SAAS,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAChF,MAAM,wBAAwB,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC;IAE3D,IAAI,wBAAwB,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC;YACV,SAAS,EAAE,0BAA0B;YACrC,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,wFAAwF;SACpG,CAAC,CAAC;IACP,CAAC;IAED,IAAI,CAAC;QACD,OAAO;YACH,KAAK,EAAE,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC;YACzC,GAAG,EAAE,SAAS;YACd,wBAAwB;YACxB,QAAQ;YACR,MAAM;SACT,CAAC;IACN,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,MAAM,CAAC,IAAI,CAAC;YACR,SAAS,EAAE,0BAA0B;YACrC,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,sEAAsE;YAC/E,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SACjE,CAAC,CAAC;QAEH,OAAO;YACH,KAAK,EAAE,IAAI;YACX,GAAG,EAAE,SAAS;YACd,wBAAwB;YACxB,QAAQ;YACR,MAAM;SACT,CAAC;IACN,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACtB,MAAwC,EACX,EAAE;IAC/B,OAAO;QACH,SAAS,EAAE,0BAA0B;QACrC,IAAI,EAAE,uBAAuB;QAC7B,YAAY,EAAE,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC;QACnD,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,MAAM,EAAE,qGAAqG;KAChH,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC7B,MAAwC,EACxC,oBAA4B,EACC,EAAE;IAC/B,OAAO;QACH,SAAS,EAAE,0BAA0B;QACrC,IAAI,EAAE,yBAAyB;QAC/B,YAAY,EAAE,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC;QACnD,oBAAoB;QACpB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,MAAM,EAAE,wGAAwG;KACnH,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACtB,MAAwC,EACxC,UAA8C,EACjB,EAAE;IAC/B,MAAM,iBAAiB,GAAG,eAAe,CAAC,UAAU,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;IAC5E,OAAO;QACH,SAAS,EAAE,0BAA0B;QACrC,IAAI,EAAE,yBAAyB;QAC/B,YAAY,EAAE,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC;QACnD,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,IAAI,EAAE,iBAAiB;YACnB,CAAC,CAAC,kCAAkC;YACpC,CAAC,CAAC,uCAAuC;QAC7C,MAAM,EAAE,iBAAiB;YACrB,CAAC,CAAC,yEAAyE;YAC3E,CAAC,CAAC,mFAAmF;KAC5F,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC7B,MAAwC,EACxC,IAAY,EACZ,MAAc,EACe,EAAE;IAC/B,OAAO;QACH,SAAS,EAAE,0BAA0B;QACrC,IAAI,EAAE,yBAAyB;QAC/B,YAAY,EAAE,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC;QACnD,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,IAAI;QACJ,MAAM;KACT,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC7B,QAAqD,EACrD,UAA8C,EACZ,EAAE;IACpC,MAAM,OAAO,GAAuC,EAAE,CAAC;IACvD,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC5B,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,eAAe,CAAC,UAAU,EAAE,MAAM,CAAC,aAAa,CAAC;YAC7E,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,aAAa,CAAC;YAClC,CAAC,CAAC,IAAI,CAAC;IACf,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CAClC,GAAW,EACX,UAA8C,EAC9B,EAAE;IAClB,MAAM,MAAM,GAAG,+BAA+B,CAAC,GAAG,CAAC,CAAC;IACpD,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,MAAM,OAAO,GAAoC,EAAE,CAAC;IAEpD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAChB,OAAO;YACH,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,OAAO;YACP,OAAO;YACP,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,wBAAwB,EAAE,MAAM,CAAC,wBAAwB;SAC5D,CAAC;IACN,CAAC;IAED,MAAM,cAAc,GAAG,yCAAyC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/E,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO;YACH,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,OAAO;YACP,OAAO;YACP,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,wBAAwB,EAAE,MAAM,CAAC,wBAAwB;SAC5D,CAAC;IACN,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,OAAO,EAA0B,CAAC;IAC9D,MAAM,iBAAiB,GAAG,IAAI,OAAO,EAAqC,CAAC;IAC3E,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,CAAC;QAClC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9E,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC;IAED,IAAI,CAAC;QACD,IAAI,kBAAkB,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,wBAAwB,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;IACzG,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtE,OAAO;YACH,GAAG;YACH,OAAO;YACP,OAAO,EAAE,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAC1D,MAAM,EACN,oCAAoC,EACpC,uFAAuF,MAAM,EAAE,CAClG,CAAC;YACF,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,wBAAwB,EAAE,MAAM,CAAC,wBAAwB;SAC5D,CAAC;IACN,CAAC;IAED,MAAM,aAAa,GAAG,yCAAyC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9E,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC3D,MAAM,aAAa,GAAG,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC/D,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,wBAAwB,CACjC,MAAM,EACN,oCAAoC,EACpC,mEAAmE,CACtE,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QAED,MAAM,YAAY,GAAG,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC3D,IAAI,aAAa,KAAK,MAAM,CAAC,KAAK,IAAI,WAAW,KAAK,YAAY,EAAE,CAAC;YACjE,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;YAC5D,SAAS;QACb,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,wBAAwB,CACjC,MAAM,EACN,6BAA6B,EAC7B,wEAAwE,CAC3E,CAAC,CAAC;IACP,CAAC;IAED,OAAO;QACH,GAAG,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG;QAChE,OAAO;QACP,OAAO;QACP,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,wBAAwB,EAAE,MAAM,CAAC,wBAAwB;KAC5D,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACnC,KAAiC,EACjC,OAAqC,EACrB,EAAE;;IAClB,MAAM,MAAM,GAAG,+BAA+B,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,MAAM,2BAA2B,GAAG,MAAA,OAAO,CAAC,2BAA2B,mCAAI,EAAE,CAAC;IAE9E,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAChB,OAAO;YACH,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,OAAO;YACP,OAAO;YACP,QAAQ;YACR,MAAM;YACN,wBAAwB,EAAE,MAAM,CAAC,wBAAwB;SAC5D,CAAC;IACN,CAAC;IAED,IAAI,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC;IAC5B,MAAM,QAAQ,GAAG,yCAAyC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACzE,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAC3C,eAAe,CAAC,2BAA2B,EAAE,MAAM,CAAC,aAAa,CAAC;WAC/D,qBAAqB,CAAC,2BAA2B,EAAE,MAAM,CAAC,aAAa,CAAC,CAC9E,CAAC;IAEF,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,IAAI,CAAC;YACD,8BAA8B,CAAC,MAAM,CAAC,KAAK,EAAE,2BAA2B,CAAC,CAAC;YAC1E,UAAU,GAAG,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAC1D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,GAAG,CAAC,GAAG,MAAM,EAAE;oBACjB,SAAS,EAAE,0BAA0B;oBACrC,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,0EAA0E;oBACnF,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;iBACjE,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,YAAY,GAAG,6BAA6B,CAAC,UAAU,EAAE,2BAA2B,CAAC,CAAC;QAC5F,OAAO,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC;IAClC,CAAC;SAAM,CAAC;QACJ,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjC,SAAS;YACb,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,2BAA2B,CAAC,CAAC,CAAC;QACzE,CAAC;IACL,CAAC;IAED,OAAO;QACH,GAAG,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;QAClD,OAAO;QACP,OAAO;QACP,QAAQ;QACR,MAAM;QACN,wBAAwB,EAAE,MAAM,CAAC,wBAAwB;KAC5D,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CACzB,QAA0D,EAC5B,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,iBACzD,SAAS,EAAE,+BAA+B,IACvC,OAAO,EACZ,CAAC,CAAC;AAEJ,MAAM,kBAAkB,GAAG,CACvB,MAAsD,EAC1B,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,iBACnD,SAAS,EAAE,+BAA+B,IACvC,KAAK,EACV,CAAC,CAAC;AAEJ,MAAM,mBAAmB,GAAG,CACxB,OAA0C,EACZ,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,iBACrD,SAAS,EAAE,+BAA+B,IACvC,IAAI,EACT,CAAC,CAAC;AAEJ,MAAM,mBAAmB,GAAG,CACxB,OAA6C,EACf,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,iBACrD,SAAS,EAAE,+BAA+B,IACvC,IAAI,EACT,CAAC,CAAC;AAEJ,MAAM,iBAAiB,GAAG,CACtB,QAAoD,EACtB,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,iBACzD,SAAS,EAAE,4BAA4B,IACpC,OAAO,EACZ,CAAC,CAAC;AAEJ,MAAM,eAAe,GAAG,CACpB,MAAgD,EACpB,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,iBACnD,SAAS,EAAE,4BAA4B,IACpC,KAAK,EACV,CAAC,CAAC;AAEJ,MAAM,gBAAgB,GAAG,CACrB,OAAuC,EACT,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,iBACrD,SAAS,EAAE,4BAA4B,IACpC,IAAI,EACT,CAAC,CAAC;AAEJ,MAAM,gBAAgB,GAAG,CACrB,OAA0C,EACZ,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,iBACrD,SAAS,EAAE,4BAA4B,IACpC,IAAI,EACT,CAAC,CAAC;AAEJ,MAAM,gBAAgB,GAAG,CACrB,IAAoC,EACpC,MAKC,EACgC,EAAE,CAAC,CAAC;IACrC,IAAI;IACJ,YAAY,EAAE,MAAM,CAAC,YAAY;IACjC,YAAY,EAAE,MAAM,CAAC,YAAY;IACjC,YAAY,EAAE,MAAM,CAAC,YAAY;IACjC,UAAU,EAAE,MAAM,CAAC,UAAU;CAChC,CAAC,CAAC;AAEH,MAAM,wBAAwB,GAAG,CAC7B,KAAiC,EACjC,OAAqC,EACrC,aAAsB,EACK,EAAE;;IAC7B,MAAM,MAAM,GAAG,MAAA,OAAO,CAAC,MAAM,mCAAI,aAAa,CAAC;IAE/C,0EAA0E;IAC1E,4EAA4E;IAC5E,MAAM,UAAU,GAAG,8BAA8B,CAAC,KAAK,kCAAO,OAAO,KAAE,MAAM,IAAG,CAAC;IACjF,MAAM,cAAc,GAAG,MAAM;QACzB,CAAC,CAAC,kCAAkC,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC;QAChE,CAAC,CAAC,mCAAmC,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACtE,MAAM,iBAAiB,GAAG,oBAAoB,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IACxE,MAAM,eAAe,GAAG,kBAAkB,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IAClE,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,WAAW,GAAG,MAAM;QACtB,CAAC,CAAC,4BAA4B,CAAC,cAAc,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC;QAC9D,CAAC,CAAC,gCAAgC,CAAC,cAAc,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACvE,MAAM,cAAc,GAAG,iBAAiB,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,eAAe,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,gBAAgB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAC5D,MAAM,aAAa,GAAG,gBAAgB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,CAAC,GAAG,UAAU,CAAC,QAAQ,EAAE,GAAG,iBAAiB,EAAE,GAAG,cAAc,CAAC,CAAC;IACnF,MAAM,MAAM,GAAG,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,GAAG,eAAe,EAAE,GAAG,YAAY,CAAC,CAAC;IAE3E,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;QACvB,GAAG,EAAE,WAAW,CAAC,GAAG;QACpB,MAAM,EAAE;YACJ,gBAAgB,CAAC,0BAA0B,EAAE;gBACzC,YAAY,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM;gBACvC,YAAY,EAAE,UAAU,CAAC,OAAO,CAAC,MAAM;gBACvC,YAAY,EAAE,UAAU,CAAC,QAAQ,CAAC,MAAM;gBACxC,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM;aACvC,CAAC;YACF,gBAAgB,CAAC,+BAA+B,EAAE;gBAC9C,YAAY,EAAE,gBAAgB,CAAC,MAAM;gBACrC,YAAY,EAAE,gBAAgB,CAAC,MAAM;gBACrC,YAAY,EAAE,iBAAiB,CAAC,MAAM;gBACtC,UAAU,EAAE,eAAe,CAAC,MAAM;aACrC,CAAC;YACF,gBAAgB,CAAC,4BAA4B,EAAE;gBAC3C,YAAY,EAAE,aAAa,CAAC,MAAM;gBAClC,YAAY,EAAE,aAAa,CAAC,MAAM;gBAClC,YAAY,EAAE,cAAc,CAAC,MAAM;gBACnC,UAAU,EAAE,YAAY,CAAC,MAAM;aAClC,CAAC;SACL;QACD,OAAO,EAAE,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,GAAG,gBAAgB,EAAE,GAAG,aAAa,CAAC;QACvE,OAAO,EAAE,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,GAAG,gBAAgB,EAAE,GAAG,aAAa,CAAC;QACvE,QAAQ;QACR,MAAM;QACN,MAAM,EAAE;YACJ,IAAI,EAAE,WAAW;YACjB,oBAAoB,EAAE,KAAK;YAC3B,MAAM;YACN,wBAAwB,EAAE,UAAU,CAAC,wBAAwB;mBACtD,cAAc,CAAC,MAAM,CAAC,wBAAwB;mBAC9C,WAAW,CAAC,MAAM,CAAC,wBAAwB;SACrD;KACJ,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACrC,KAAiC,EACjC,UAAwC,EAAE,EACf,EAAE;IAC7B,OAAO,wBAAwB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;AAC1D,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAC9B,KAAiC,EACjC,UAAwC,EAAE,EACf,EAAE;IAC7B,OAAO,wBAAwB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AAC3D,CAAC,CAAC"}

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

@@ -0,0 +1,85 @@
+import { SelectQuery, SimpleSelectQuery } from "../models/SelectQuery";
+export type ParameterConditionOptimizationInput = string | SelectQuery | SimpleSelectQuery;
+/**
+ * First-phase safe-only placement for ordinary parameter predicates.
+ *
+ * The optimizer intentionally handles only root top-level AND predicates and one
+ * CTE/derived-table hop where the destination output is a direct column reference.
+ * Unsupported boundaries such as OR, UNION, DISTINCT, GROUP BY, WINDOW, OUTER
+ * JOIN, expression outputs, and function predicates are reported as skipped.
+ */
+export interface ParameterConditionOptimizationOptions {
+    dryRun?: boolean;
+}
+export interface ParameterConditionOptimizationWarning {
+    code: string;
+    message: string;
+    detail?: unknown;
+}
+export interface ParameterConditionOptimizationError {
+    code: string;
+    message: string;
+    detail?: unknown;
+}
+export interface ParameterConditionMove {
+    kind: "move_condition";
+    conditionSql: string;
+    fromScopeId: string;
+    toScopeId: string;
+    reason: string;
+    parameterNames: readonly string[];
+    columnReferences: readonly string[];
+}
+export interface ParameterConditionSkipped {
+    conditionSql: string;
+    scopeId: string;
+    reason: string;
+    code: string;
+}
+export interface ParameterConditionOptimizationSafety {
+    mode: "safe_only";
+    unsafeRewriteApplied: false;
+    dryRun: boolean;
+    formatterGeneratedSource: boolean;
+}
+export interface ParameterConditionOptimizationResult {
+    ok: boolean;
+    sql: string;
+    applied: readonly ParameterConditionMove[];
+    skipped: readonly ParameterConditionSkipped[];
+    warnings: readonly ParameterConditionOptimizationWarning[];
+    errors: readonly ParameterConditionOptimizationError[];
+    safety: ParameterConditionOptimizationSafety;
+    conditionMoves: readonly ParameterConditionMove[];
+}
+export declare class ParameterConditionPlacementOptimizer {
+    plan(input: ParameterConditionOptimizationInput, options?: ParameterConditionOptimizationOptions): ParameterConditionOptimizationResult;
+    optimize(input: ParameterConditionOptimizationInput, options?: ParameterConditionOptimizationOptions): ParameterConditionOptimizationResult;
+    private parseInput;
+    private analyzeCandidate;
+    private findUnsupportedExpression;
+    private isSupportedInPredicate;
+    private resolveTarget;
+    private findCurrentQueryBoundary;
+    private findTargetQueryBoundary;
+    private resolveSourceBinding;
+    private resolveUpstreamQuery;
+    private resolveTargetColumn;
+    private verifyColumnResolvableInQuery;
+    private rebaseCondition;
+    private getSourceBindings;
+    private findNullableSideBoundary;
+    private hasOuterJoin;
+    private getOutputColumnMatchCount;
+    private resolveSourceQueryForColumns;
+    private getSelectItemOutputName;
+    private findCte;
+    private countTableSourceReferences;
+    private hasWindowUsage;
+    private collectColumnReferences;
+    private collectParameterNames;
+    private makeSkipped;
+    private buildResult;
+}
+export declare const planParameterConditionOptimization: (input: ParameterConditionOptimizationInput, options?: ParameterConditionOptimizationOptions) => ParameterConditionOptimizationResult;
+export declare const optimizeParameterConditionPlacement: (input: ParameterConditionOptimizationInput, options?: ParameterConditionOptimizationOptions) => ParameterConditionOptimizationResult;