mongo-query-normalizer 0.1.0

package/dist/operations/conflicts-and-tighten.d.ts

@@ -0,0 +1,29 @@
+import type { FieldCondition } from "../ast/types";
+import type { TightenResult } from "../core/conditions";
+/**
+ * 判断同一字段上的一组条件是否自相冲突（不可满足）。
+ * 用于 simplify 阶段对单个 FieldNode 的自洽性检查。
+ *
+ * @param conditions - 该字段的条件列表
+ * @returns 若存在互斥则为 true
+ */
+export declare function isConditionsImpossible(conditions: FieldCondition[]): boolean;
+/**
+ * 判断父级条件与子级条件是否冲突（在父级约束下子级是否不可能成立）。
+ * 用于 simplify 阶段对 context 与当前 FieldNode 的冲突检查。
+ *
+ * @param parent - 父级该字段的条件列表（来自 context）
+ * @param child - 当前节点的条件列表
+ * @returns 若存在互斥则为 true
+ */
+export declare function isParentChildImpossible(parent: FieldCondition[], child: FieldCondition[]): boolean;
+/**
+ * 在父级条件约束下收紧子级条件（取交集），并判断合并后是否不可能满足。
+ * 用于 simplify 阶段对 FieldNode 的收紧与不可能性判定。
+ *
+ * @param parent - 父级该字段的条件列表
+ * @param child - 当前节点的条件列表
+ * @returns 收紧后的条件、是否不可能、是否有变更
+ */
+export declare function tightenWithParent(parent: FieldCondition[], child: FieldCondition[]): TightenResult;
+//# sourceMappingURL=conflicts-and-tighten.d.ts.map

package/dist/operations/conflicts-and-tighten.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflicts-and-tighten.d.ts","sourceRoot":"","sources":["../../src/operations/conflicts-and-tighten.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAIxD;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,cAAc,EAAE,GAAG,OAAO,CAE5E;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,cAAc,EAAE,EACxB,KAAK,EAAE,cAAc,EAAE,GACxB,OAAO,CAET;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC7B,MAAM,EAAE,cAAc,EAAE,EACxB,KAAK,EAAE,cAAc,EAAE,GACxB,aAAa,CAEf"}

package/dist/operations/conflicts-and-tighten.js

@@ -0,0 +1,40 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isConditionsImpossible = isConditionsImpossible;
+exports.isParentChildImpossible = isParentChildImpossible;
+exports.tightenWithParent = tightenWithParent;
+const conditions_1 = require("../core/conditions");
+const conflicts_1 = require("./conflicts");
+/**
+ * 判断同一字段上的一组条件是否自相冲突（不可满足）。
+ * 用于 simplify 阶段对单个 FieldNode 的自洽性检查。
+ *
+ * @param conditions - 该字段的条件列表
+ * @returns 若存在互斥则为 true
+ */
+function isConditionsImpossible(conditions) {
+    return (0, conflicts_1.hasConditionConflict)(conditions, conditions);
+}
+/**
+ * 判断父级条件与子级条件是否冲突（在父级约束下子级是否不可能成立）。
+ * 用于 simplify 阶段对 context 与当前 FieldNode 的冲突检查。
+ *
+ * @param parent - 父级该字段的条件列表（来自 context）
+ * @param child - 当前节点的条件列表
+ * @returns 若存在互斥则为 true
+ */
+function isParentChildImpossible(parent, child) {
+    return (0, conflicts_1.hasConditionConflict)(parent, child);
+}
+/**
+ * 在父级条件约束下收紧子级条件（取交集），并判断合并后是否不可能满足。
+ * 用于 simplify 阶段对 FieldNode 的收紧与不可能性判定。
+ *
+ * @param parent - 父级该字段的条件列表
+ * @param child - 当前节点的条件列表
+ * @returns 收紧后的条件、是否不可能、是否有变更
+ */
+function tightenWithParent(parent, child) {
+    return (0, conditions_1.tightenChildConditionsByParent)(parent, child);
+}
+//# sourceMappingURL=conflicts-and-tighten.js.map

package/dist/operations/conflicts-and-tighten.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflicts-and-tighten.js","sourceRoot":"","sources":["../../src/operations/conflicts-and-tighten.ts"],"names":[],"mappings":";;AAYA,wDAEC;AAUD,0DAKC;AAUD,8CAKC;AA1CD,mDAAoE;AACpE,2CAAmD;AAEnD;;;;;;GAMG;AACH,SAAgB,sBAAsB,CAAC,UAA4B;IAC/D,OAAO,IAAA,gCAAoB,EAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,uBAAuB,CACnC,MAAwB,EACxB,KAAuB;IAEvB,OAAO,IAAA,gCAAoB,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAC7B,MAAwB,EACxB,KAAuB;IAEvB,OAAO,IAAA,2CAA8B,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC"}

package/dist/operations/conflicts.d.ts

@@ -0,0 +1,28 @@
+import type { FieldCondition } from "../ast/types";
+/**
+ * 判断同一字段上父条件与子条件是否冲突。
+ * 父条件来自 context（上层 $and 已累积的该字段条件），子条件为当前 FieldNode 的 conditions。
+ *
+ * @param parent - 父级该字段的条件列表
+ * @param child - 当前节点的条件列表
+ * @returns 若存在互斥则为 true
+ */
+export declare function hasConditionConflict(parent: FieldCondition[], child: FieldCondition[]): boolean;
+/**
+ * 判断内层选择子句与外层选择子句在同一字段上的条件是否冲突。
+ * 冲突时修剪阶段应舍弃该子分支或合并为更严条件。
+ *
+ * @param innerClause - 内层扁平条件（单层，无 $and/$or/$nor）
+ * @param outerClause - 外层已有扁平条件
+ * @returns 若存在某字段上条件互斥则为 true
+ */
+export declare function hasConflictingClauses(innerClause: Record<string, unknown>, outerClause: Record<string, unknown>): boolean;
+/**
+ * 判断同一字段上两个条件值是否互斥（如 $eq: 1 与 $eq: 2，或 $in 与 $nin 交集为空）。
+ *
+ * @param outerValue - 外层该字段的条件值
+ * @param innerValue - 内层该字段的条件值
+ * @returns 若两条件不可能同时满足则为 true
+ */
+export declare function isValueConflict(outerValue: unknown, innerValue: unknown): boolean;
+//# sourceMappingURL=conflicts.d.ts.map

package/dist/operations/conflicts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflicts.d.ts","sourceRoot":"","sources":["../../src/operations/conflicts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAyKnD;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,cAAc,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,OAAO,CAS/F;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACjC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACpC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACrC,OAAO,CAqBT;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,GAAG,OAAO,CAYjF"}

package/dist/operations/conflicts.js

@@ -0,0 +1,216 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.hasConditionConflict = hasConditionConflict;
+exports.hasConflictingClauses = hasConflictingClauses;
+exports.isValueConflict = isValueConflict;
+const parse_1 = require("./parse");
+const utils_1 = require("../core/utils");
+function isNumberOrDate(v) {
+    return typeof v === "number" || v instanceof Date;
+}
+function toNum(v) {
+    return v instanceof Date ? v.getTime() : v;
+}
+function twoConditionsConflict(a, b) {
+    if (a.op === "$eq" && b.op === "$eq") {
+        return !(0, utils_1.areValuesEqual)(a.value, b.value);
+    }
+    if (a.op === "$eq" || b.op === "$eq") {
+        const eq = a.op === "$eq" ? a : b;
+        const other = a.op === "$eq" ? b : a;
+        const v = eq.value;
+        if (other.op === "$gt" || other.op === "$gte" || other.op === "$lt" || other.op === "$lte") {
+            if (!isNumberOrDate(v) || !isNumberOrDate(other.value)) {
+                return false;
+            }
+            const cv = other.value;
+            const nv = toNum(v);
+            const nc = toNum(cv);
+            if (other.op === "$gt") {
+                return nv <= nc;
+            }
+            if (other.op === "$gte") {
+                return nv < nc;
+            }
+            if (other.op === "$lt") {
+                return nv >= nc;
+            }
+            if (other.op === "$lte") {
+                return nv > nc;
+            }
+        }
+        if (other.op === "$in" || other.op === "$nin") {
+            const arr = Array.isArray(other.value) ? other.value : [other.value];
+            const found = arr.some((x) => (0, utils_1.areValuesEqual)(v, x));
+            if (other.op === "$in") {
+                return !found;
+            }
+            if (other.op === "$nin") {
+                return found;
+            }
+        }
+        if (other.op === "$exists") {
+            const exists = Boolean(other.value);
+            // { field: undefined } 通常用于表达“字段缺失”，与 $exists:true 互斥
+            if (v === undefined) {
+                return exists === true;
+            }
+            // { field: null } 在 Mongo 中既可以匹配缺失也可以匹配 null，
+            // 与 $exists:true / false 之间都仍可能存在交集，这里不视为互斥。
+            if (v === null) {
+                return false;
+            }
+            // 其他 $eq:value（非 null/undefined）隐含要求字段存在
+            if (exists === false) {
+                return true;
+            }
+            return false;
+        }
+        if (other.op === "$ne") {
+            return (0, utils_1.areValuesEqual)(v, other.value);
+        }
+    }
+    const cmpOps = ["$gt", "$gte", "$lt", "$lte"];
+    if (cmpOps.includes(a.op) && cmpOps.includes(b.op)) {
+        if (!isNumberOrDate(a.value) || !isNumberOrDate(b.value)) {
+            return false;
+        }
+        const na = toNum(a.value);
+        const nb = toNum(b.value);
+        const aop = a.op;
+        const bop = b.op;
+        if ((aop === "$gt" || aop === "$gte") && (bop === "$lt" || bop === "$lte")) {
+            // 双 inclusive 且同值（$gte:5 + $lte:5）可满足，不冲突
+            return na > nb || (na === nb && (aop === "$gt" || bop === "$lt"));
+        }
+        if ((aop === "$lt" || aop === "$lte") && (bop === "$gt" || bop === "$gte")) {
+            return nb > na || (nb === na && (bop === "$gt" || aop === "$lt"));
+        }
+    }
+    // $exists:false 与任何“要求字段存在或有值”的条件冲突
+    // 注意：在 MongoDB 语义中，$ne / $nin 对「字段缺失」同样视为满足条件，
+    // 因此它们与 $exists:false 并不冲突；这里仅将确实要求字段存在的操作符视为互斥。
+    if (a.op === "$exists" && a.value === false) {
+        if ((b.op === "$eq" && b.value !== null) ||
+            b.op === "$in" ||
+            b.op === "$gt" ||
+            b.op === "$gte" ||
+            b.op === "$lt" ||
+            b.op === "$lte") {
+            return true;
+        }
+    }
+    if (b.op === "$exists" && b.value === false) {
+        if ((a.op === "$eq" && a.value !== null) ||
+            a.op === "$in" ||
+            a.op === "$gt" ||
+            a.op === "$gte" ||
+            a.op === "$lt" ||
+            a.op === "$lte") {
+            return true;
+        }
+    }
+    if ((a.op === "$in" && b.op === "$nin") || (a.op === "$nin" && b.op === "$in")) {
+        const inArr = (a.op === "$in" ? a.value : b.value);
+        const ninArr = (a.op === "$nin" ? a.value : b.value);
+        // 语义：字段值需落在 inArr ∧ 不落在 ninArr。
+        // 仅当 ninArr 覆盖了 inArr 的所有可能值（inArr ⊆ ninArr）时无解。
+        const allInBanned = inArr.length > 0 && inArr.every((x) => ninArr.some((y) => (0, utils_1.areValuesEqual)(x, y)));
+        return allInBanned;
+    }
+    if (a.op === "$exists" && b.op === "$exists") {
+        return a.value !== b.value;
+    }
+    // $ne:null 明确要求字段存在且不为 null，
+    // 因此与 $exists:false 互斥；非 null 的 $ne 与 $exists 始终可能有交集。
+    if (a.op === "$ne" && b.op === "$exists") {
+        if (b.value === false && a.value === null) {
+            return true;
+        }
+        return false;
+    }
+    if (b.op === "$ne" && a.op === "$exists") {
+        if (a.value === false && b.value === null) {
+            return true;
+        }
+        return false;
+    }
+    // $ne 与 $in：
+    // 仅当 $in 的所有候选值都等于被排除值时无解。
+    if ((a.op === "$ne" && b.op === "$in") ||
+        (a.op === "$in" && b.op === "$ne")) {
+        const ne = a.op === "$ne" ? a : b;
+        const inp = a.op === "$in" ? a : b;
+        const inArr = Array.isArray(inp.value) ? inp.value : [inp.value];
+        if (inArr.length === 0) {
+            return false;
+        }
+        const allEqualExcluded = inArr.every((x) => (0, utils_1.areValuesEqual)(x, ne.value));
+        return allEqualExcluded;
+    }
+    return false;
+}
+/**
+ * 判断同一字段上父条件与子条件是否冲突。
+ * 父条件来自 context（上层 $and 已累积的该字段条件），子条件为当前 FieldNode 的 conditions。
+ *
+ * @param parent - 父级该字段的条件列表
+ * @param child - 当前节点的条件列表
+ * @returns 若存在互斥则为 true
+ */
+function hasConditionConflict(parent, child) {
+    for (const pc of parent) {
+        for (const cc of child) {
+            if (twoConditionsConflict(pc, cc)) {
+                return true;
+            }
+        }
+    }
+    return false;
+}
+/**
+ * 判断内层选择子句与外层选择子句在同一字段上的条件是否冲突。
+ * 冲突时修剪阶段应舍弃该子分支或合并为更严条件。
+ *
+ * @param innerClause - 内层扁平条件（单层，无 $and/$or/$nor）
+ * @param outerClause - 外层已有扁平条件
+ * @returns 若存在某字段上条件互斥则为 true
+ */
+function hasConflictingClauses(innerClause, outerClause) {
+    const innerKeys = Object.keys(innerClause);
+    for (const key of innerKeys) {
+        // 只比较普通字段，跳过 $- 前缀（逻辑/控制类）
+        if (key.startsWith("$")) {
+            continue;
+        }
+        if (!(key in outerClause)) {
+            continue;
+        }
+        const outerValue = outerClause[key];
+        const innerValue = innerClause[key];
+        if (isValueConflict(outerValue, innerValue)) {
+            return true;
+        }
+    }
+    return false;
+}
+/**
+ * 判断同一字段上两个条件值是否互斥（如 $eq: 1 与 $eq: 2，或 $in 与 $nin 交集为空）。
+ *
+ * @param outerValue - 外层该字段的条件值
+ * @param innerValue - 内层该字段的条件值
+ * @returns 若两条件不可能同时满足则为 true
+ */
+function isValueConflict(outerValue, innerValue) {
+    const outerConds = (0, parse_1.toFieldConditions)(outerValue);
+    const innerConds = (0, parse_1.toFieldConditions)(innerValue);
+    for (const oc of outerConds) {
+        for (const ic of innerConds) {
+            if (twoConditionsConflict(oc, ic)) {
+                return true;
+            }
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=conflicts.js.map

package/dist/operations/conflicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflicts.js","sourceRoot":"","sources":["../../src/operations/conflicts.ts"],"names":[],"mappings":";;AAiLA,oDASC;AAUD,sDAwBC;AASD,0CAYC;AAhPD,mCAA4C;AAC5C,yCAA+C;AAE/C,SAAS,cAAc,CAAC,CAAU;IAC9B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,YAAY,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,KAAK,CAAC,CAAgB;IAC3B,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,qBAAqB,CAAC,CAAiB,EAAE,CAAiB;IAC/D,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QACnC,OAAO,CAAC,IAAA,sBAAc,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QACnC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;QACnB,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YACzF,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrD,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,MAAM,EAAE,GAAG,KAAK,CAAC,KAAsB,CAAC;YACxC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;YACrB,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;gBACrB,OAAO,EAAE,IAAI,EAAE,CAAC;YACpB,CAAC;YACD,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;gBACtB,OAAO,EAAE,GAAG,EAAE,CAAC;YACnB,CAAC;YACD,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;gBACrB,OAAO,EAAE,IAAI,EAAE,CAAC;YACpB,CAAC;YACD,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;gBACtB,OAAO,EAAE,GAAG,EAAE,CAAC;YACnB,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YAC5C,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACrE,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACpD,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;gBACrB,OAAO,CAAC,KAAK,CAAC;YAClB,CAAC;YACD,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;gBACtB,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAEpC,sDAAsD;YACtD,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBAClB,OAAO,MAAM,KAAK,IAAI,CAAC;YAC3B,CAAC;YAED,8CAA8C;YAC9C,6CAA6C;YAC7C,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC;YACjB,CAAC;YAED,yCAAyC;YACzC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBACnB,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;YACrB,OAAO,IAAA,sBAAc,EAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1C,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAU,CAAC;IACvD,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAA6B,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAA6B,CAAC,EAAE,CAAC;QACvG,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACvD,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,KAAsB,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,KAAsB,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,CAAC,CAAC,EAA6B,CAAC;QAC5C,MAAM,GAAG,GAAG,CAAC,CAAC,EAA6B,CAAC;QAC5C,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,MAAM,CAAC,EAAE,CAAC;YACzE,0CAA0C;YAC1C,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,MAAM,CAAC,EAAE,CAAC;YACzE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC;QACtE,CAAC;IACL,CAAC;IAED,oCAAoC;IACpC,+CAA+C;IAC/C,iDAAiD;IACjD,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QAC1C,IACI,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC;YACpC,CAAC,CAAC,EAAE,KAAK,KAAK;YACd,CAAC,CAAC,EAAE,KAAK,KAAK;YACd,CAAC,CAAC,EAAE,KAAK,MAAM;YACf,CAAC,CAAC,EAAE,KAAK,KAAK;YACd,CAAC,CAAC,EAAE,KAAK,MAAM,EACjB,CAAC;YACC,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IACD,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QAC1C,IACI,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC;YACpC,CAAC,CAAC,EAAE,KAAK,KAAK;YACd,CAAC,CAAC,EAAE,KAAK,KAAK;YACd,CAAC,CAAC,EAAE,KAAK,MAAM;YACf,CAAC,CAAC,EAAE,KAAK,KAAK;YACd,CAAC,CAAC,EAAE,KAAK,MAAM,EACjB,CAAC;YACC,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IAED,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC;QAC7E,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAc,CAAC;QAChE,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAc,CAAC;QAClE,gCAAgC;QAChC,iDAAiD;QACjD,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrG,OAAO,WAAW,CAAC;IACvB,CAAC;IAED,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;QAC3C,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC;IAC/B,CAAC;IAED,6BAA6B;IAC7B,uDAAuD;IACvD,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;QACvC,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACxC,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;QACvC,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACxC,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,aAAa;IACb,2BAA2B;IAC3B,IACI,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC;QAClC,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,EACpC,CAAC;QACC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,MAAM,gBAAgB,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,OAAO,gBAAgB,CAAC;IAC5B,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,oBAAoB,CAAC,MAAwB,EAAE,KAAuB;IAClF,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACtB,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACrB,IAAI,qBAAqB,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;gBAChC,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,qBAAqB,CACjC,WAAoC,EACpC,WAAoC;IAEpC,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAE3C,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC1B,2BAA2B;QAC3B,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,SAAS;QACb,CAAC;QACD,IAAI,CAAC,CAAC,GAAG,IAAI,WAAW,CAAC,EAAE,CAAC;YACxB,SAAS;QACb,CAAC;QAED,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAEpC,IAAI,eAAe,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;YAC1C,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,eAAe,CAAC,UAAmB,EAAE,UAAmB;IACpE,MAAM,UAAU,GAAG,IAAA,yBAAiB,EAAC,UAAU,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,IAAA,yBAAiB,EAAC,UAAU,CAAC,CAAC;IAEjD,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;YAC1B,IAAI,qBAAqB,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;gBAChC,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}

package/dist/operations/conflictsAndTighten.d.ts

@@ -0,0 +1,29 @@
+import type { FieldCondition } from "../ast/types";
+import type { TightenResult } from "../core/conditions";
+/**
+ * 判断同一字段上的一组条件是否自相冲突（不可满足）。
+ * 用于 simplify 阶段对单个 FieldNode 的自洽性检查。
+ *
+ * @param conditions - 该字段的条件列表
+ * @returns 若存在互斥则为 true
+ */
+export declare function isConditionsImpossible(conditions: FieldCondition[]): boolean;
+/**
+ * 判断父级条件与子级条件是否冲突（在父级约束下子级是否不可能成立）。
+ * 用于 simplify 阶段对 context 与当前 FieldNode 的冲突检查。
+ *
+ * @param parent - 父级该字段的条件列表（来自 context）
+ * @param child - 当前节点的条件列表
+ * @returns 若存在互斥则为 true
+ */
+export declare function isParentChildImpossible(parent: FieldCondition[], child: FieldCondition[]): boolean;
+/**
+ * 在父级条件约束下收紧子级条件（取交集），并判断合并后是否不可能满足。
+ * 用于 simplify 阶段对 FieldNode 的收紧与不可能性判定。
+ *
+ * @param parent - 父级该字段的条件列表
+ * @param child - 当前节点的条件列表
+ * @returns 收紧后的条件、是否不可能、是否有变更
+ */
+export declare function tightenWithParent(parent: FieldCondition[], child: FieldCondition[]): TightenResult;
+//# sourceMappingURL=conflictsAndTighten.d.ts.map

package/dist/operations/conflictsAndTighten.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflictsAndTighten.d.ts","sourceRoot":"","sources":["../../src/operations/conflictsAndTighten.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAIxD;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,cAAc,EAAE,GAAG,OAAO,CAE5E;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,cAAc,EAAE,EACxB,KAAK,EAAE,cAAc,EAAE,GACxB,OAAO,CAET;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC7B,MAAM,EAAE,cAAc,EAAE,EACxB,KAAK,EAAE,cAAc,EAAE,GACxB,aAAa,CAEf"}

package/dist/operations/conflictsAndTighten.js

@@ -0,0 +1,40 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isConditionsImpossible = isConditionsImpossible;
+exports.isParentChildImpossible = isParentChildImpossible;
+exports.tightenWithParent = tightenWithParent;
+const conditions_1 = require("../core/conditions");
+const conflicts_1 = require("./conflicts");
+/**
+ * 判断同一字段上的一组条件是否自相冲突（不可满足）。
+ * 用于 simplify 阶段对单个 FieldNode 的自洽性检查。
+ *
+ * @param conditions - 该字段的条件列表
+ * @returns 若存在互斥则为 true
+ */
+function isConditionsImpossible(conditions) {
+    return (0, conflicts_1.hasConditionConflict)(conditions, conditions);
+}
+/**
+ * 判断父级条件与子级条件是否冲突（在父级约束下子级是否不可能成立）。
+ * 用于 simplify 阶段对 context 与当前 FieldNode 的冲突检查。
+ *
+ * @param parent - 父级该字段的条件列表（来自 context）
+ * @param child - 当前节点的条件列表
+ * @returns 若存在互斥则为 true
+ */
+function isParentChildImpossible(parent, child) {
+    return (0, conflicts_1.hasConditionConflict)(parent, child);
+}
+/**
+ * 在父级条件约束下收紧子级条件（取交集），并判断合并后是否不可能满足。
+ * 用于 simplify 阶段对 FieldNode 的收紧与不可能性判定。
+ *
+ * @param parent - 父级该字段的条件列表
+ * @param child - 当前节点的条件列表
+ * @returns 收紧后的条件、是否不可能、是否有变更
+ */
+function tightenWithParent(parent, child) {
+    return (0, conditions_1.tightenChildConditionsByParent)(parent, child);
+}
+//# sourceMappingURL=conflictsAndTighten.js.map

package/dist/operations/conflictsAndTighten.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflictsAndTighten.js","sourceRoot":"","sources":["../../src/operations/conflictsAndTighten.ts"],"names":[],"mappings":";;AAYA,wDAEC;AAUD,0DAKC;AAUD,8CAKC;AA1CD,mDAAoE;AACpE,2CAAmD;AAEnD;;;;;;GAMG;AACH,SAAgB,sBAAsB,CAAC,UAA4B;IAC/D,OAAO,IAAA,gCAAoB,EAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,uBAAuB,CACnC,MAAwB,EACxB,KAAuB;IAEvB,OAAO,IAAA,gCAAoB,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAC7B,MAAwB,EACxB,KAAuB;IAEvB,OAAO,IAAA,2CAA8B,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC"}

package/dist/operations/merge.d.ts

@@ -0,0 +1,18 @@
+import type { AtomicCondition } from "../types";
+/**
+ * 按字段分组后，对同一字段的多个条件进行合并（如多个 $eq -> $in，$gt 取 max，$in 取交集等）。
+ * 语义为「合并同类项」，减少冗余并可能暴露冲突（如合并后 $in: []）。
+ *
+ * @param conditions - 解析后的条件列表（通常来自同一 $and 下的 parseSelector 结果）
+ * @returns 合并后的条件列表，可能更短或出现不可满足项
+ */
+export declare function mergeSameFieldConditions(conditions: AtomicCondition[]): AtomicCondition[];
+/**
+ * 对同一字段的多个条件做合并（$eq/$gt/$gte/$lt/$lte/$in/$nin 等可合并，其余保留）。
+ *
+ * @param fieldName - 字段名
+ * @param conditions - 该字段的条件列表
+ * @returns 合并后的该字段对应的条件列表
+ */
+export declare function mergeConditionsForField(fieldName: string, conditions: AtomicCondition[]): AtomicCondition[];
+//# sourceMappingURL=merge.d.ts.map

package/dist/operations/merge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../../src/operations/merge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAEhD;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,eAAe,EAAE,GAAG,eAAe,EAAE,CAsBzF;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACnC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,eAAe,EAAE,GAC9B,eAAe,EAAE,CA8OnB"}