mongo-query-normalizer 0.1.0

package/dist/rules/predicate/collapse-contradictions.js

@@ -0,0 +1,45 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RULE_ID = void 0;
+exports.collapseContradictions = collapseContradictions;
+const builders_1 = require("../../ast/builders");
+const guards_1 = require("../../ast/guards");
+const warnings_1 = require("../../observe/warnings");
+const deep_equal_1 = require("../../utils/deep-equal");
+exports.RULE_ID = "predicate.collapseContradictions";
+function hasExplicitContradiction(predicates, field, _normalizeContext) {
+    const eq = predicates.find((p) => p.op === "$eq");
+    const neList = predicates.filter((p) => p.op === "$ne");
+    const inList = predicates.filter((p) => p.op === "$in");
+    if (eq) {
+        for (const ne of neList) {
+            if ((0, deep_equal_1.deepEqual)(eq.value, ne.value)) {
+                return true;
+            }
+        }
+        for (const inPredicate of inList) {
+            if (!Array.isArray(inPredicate.value)) {
+                continue;
+            }
+            const found = inPredicate.value.some((item) => (0, deep_equal_1.deepEqual)(item, eq.value));
+            if (!found) {
+                return true;
+            }
+        }
+    }
+    return false;
+}
+function collapseContradictions(node, normalizeContext) {
+    if (!(0, guards_1.isFieldNode)(node)) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "node is not field");
+        return node;
+    }
+    const hasConflict = hasExplicitContradiction(node.predicates, node.field, normalizeContext);
+    if (!hasConflict) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "no explicit contradiction");
+        return node;
+    }
+    (0, warnings_1.markRuleApplied)(normalizeContext, exports.RULE_ID);
+    return (0, builders_1.falseNode)();
+}
+//# sourceMappingURL=collapse-contradictions.js.map

package/dist/rules/predicate/collapse-contradictions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collapse-contradictions.js","sourceRoot":"","sources":["../../../src/rules/predicate/collapse-contradictions.ts"],"names":[],"mappings":";;;AAmCA,wDAeC;AAlDD,iDAA+C;AAC/C,6CAA+C;AAG/C,qDAA0E;AAC1E,uDAAmD;AAEtC,QAAA,OAAO,GAAG,kCAAkC,CAAC;AAE1D,SAAS,wBAAwB,CAAC,UAA4B,EAAE,KAAa,EAAE,iBAAmC;IAC9G,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;IAExD,IAAI,EAAE,EAAE,CAAC;QACL,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACtB,IAAI,IAAA,sBAAS,EAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBAChC,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,KAAK,MAAM,WAAW,IAAI,MAAM,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpC,SAAS;YACb,CAAC;YACD,MAAM,KAAK,GAAI,WAAW,CAAC,KAAmB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,sBAAS,EAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;YACzF,IAAI,CAAC,KAAK,EAAE,CAAC;gBACT,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAgB,sBAAsB,CAAC,IAAe,EAAE,gBAAkC;IACtF,IAAI,CAAC,IAAA,oBAAW,EAAC,IAAI,CAAC,EAAE,CAAC;QACrB,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,mBAAmB,CAAC,CAAC;QAChE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,WAAW,GAAG,wBAAwB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAE5F,IAAI,CAAC,WAAW,EAAE,CAAC;QACf,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,2BAA2B,CAAC,CAAC;QACxE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,CAAC,CAAC;IAC3C,OAAO,IAAA,oBAAS,GAAE,CAAC;AACvB,CAAC"}

package/dist/rules/predicate/dedupe-same-field-predicates.d.ts

@@ -0,0 +1,5 @@
+import type { QueryNode } from "../../ast/types";
+import type { NormalizeContext } from "../../normalize-context";
+export declare const RULE_ID = "predicate.dedupeSameFieldPredicates";
+export declare function dedupeSameFieldPredicates(node: QueryNode, normalizeContext: NormalizeContext): QueryNode;
+//# sourceMappingURL=dedupe-same-field-predicates.d.ts.map

package/dist/rules/predicate/dedupe-same-field-predicates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dedupe-same-field-predicates.d.ts","sourceRoot":"","sources":["../../../src/rules/predicate/dedupe-same-field-predicates.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAkB,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAIhE,eAAO,MAAM,OAAO,wCAAwC,CAAC;AAgB7D,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAexG"}

package/dist/rules/predicate/dedupe-same-field-predicates.js

@@ -0,0 +1,33 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RULE_ID = void 0;
+exports.dedupeSameFieldPredicates = dedupeSameFieldPredicates;
+const builders_1 = require("../../ast/builders");
+const guards_1 = require("../../ast/guards");
+const warnings_1 = require("../../observe/warnings");
+const deep_equal_1 = require("../../utils/deep-equal");
+exports.RULE_ID = "predicate.dedupeSameFieldPredicates";
+function uniquePredicates(predicates) {
+    const result = [];
+    for (const predicate of predicates) {
+        const exists = result.some((item) => item.op === predicate.op && (0, deep_equal_1.deepEqual)(item.value, predicate.value));
+        if (!exists) {
+            result.push(predicate);
+        }
+    }
+    return result;
+}
+function dedupeSameFieldPredicates(node, normalizeContext) {
+    if (!(0, guards_1.isFieldNode)(node)) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "node is not field");
+        return node;
+    }
+    const nextPredicates = uniquePredicates(node.predicates);
+    if (nextPredicates.length === node.predicates.length) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "no duplicate predicates");
+        return node;
+    }
+    (0, warnings_1.markRuleApplied)(normalizeContext, exports.RULE_ID);
+    return (0, builders_1.fieldNode)(node.field, nextPredicates);
+}
+//# sourceMappingURL=dedupe-same-field-predicates.js.map

package/dist/rules/predicate/dedupe-same-field-predicates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dedupe-same-field-predicates.js","sourceRoot":"","sources":["../../../src/rules/predicate/dedupe-same-field-predicates.ts"],"names":[],"mappings":";;;AAuBA,8DAeC;AAtCD,iDAA+C;AAC/C,6CAA+C;AAG/C,qDAA0E;AAC1E,uDAAmD;AAEtC,QAAA,OAAO,GAAG,qCAAqC,CAAC;AAE7D,SAAS,gBAAgB,CAAC,UAA4B;IAClD,MAAM,MAAM,GAAqB,EAAE,CAAC;IAEpC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,IAAI,IAAA,sBAAS,EAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAEzG,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3B,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAgB,yBAAyB,CAAC,IAAe,EAAE,gBAAkC;IACzF,IAAI,CAAC,IAAA,oBAAW,EAAC,IAAI,CAAC,EAAE,CAAC;QACrB,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,mBAAmB,CAAC,CAAC;QAChE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAEzD,IAAI,cAAc,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QACnD,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,yBAAyB,CAAC,CAAC;QACtE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,CAAC,CAAC;IAC3C,OAAO,IAAA,oBAAS,EAAC,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;AACjD,CAAC"}

package/dist/rules/predicate/merge-comparable-predicates.d.ts

@@ -0,0 +1,5 @@
+import type { QueryNode } from "../../ast/types";
+import type { NormalizeContext } from "../../normalize-context";
+export declare const RULE_ID = "predicate.mergeComparablePredicates";
+export declare function mergeComparablePredicates(node: QueryNode, normalizeContext: NormalizeContext): QueryNode;
+//# sourceMappingURL=merge-comparable-predicates.d.ts.map

package/dist/rules/predicate/merge-comparable-predicates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge-comparable-predicates.d.ts","sourceRoot":"","sources":["../../../src/rules/predicate/merge-comparable-predicates.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAIhE,eAAO,MAAM,OAAO,wCAAwC,CAAC;AAE7D,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAwBxG"}

package/dist/rules/predicate/merge-comparable-predicates.js

@@ -0,0 +1,30 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RULE_ID = void 0;
+exports.mergeComparablePredicates = mergeComparablePredicates;
+const builders_1 = require("../../ast/builders");
+const guards_1 = require("../../ast/guards");
+const hash_1 = require("../../ast/hash");
+const warnings_1 = require("../../observe/warnings");
+const merge_predicates_internal_1 = require("./merge-predicates-internal");
+exports.RULE_ID = "predicate.mergeComparablePredicates";
+function mergeComparablePredicates(node, normalizeContext) {
+    if (!(0, guards_1.isFieldNode)(node)) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "node is not field");
+        return node;
+    }
+    const merged = (0, merge_predicates_internal_1.mergePredicates)(node.predicates, normalizeContext, node.field);
+    if ((0, merge_predicates_internal_1.isMergeFalse)(merged)) {
+        (0, warnings_1.markRuleApplied)(normalizeContext, exports.RULE_ID);
+        return merged;
+    }
+    const unchanged = merged.length === node.predicates.length &&
+        merged.every((p, i) => (0, hash_1.hashPredicate)(p) === (0, hash_1.hashPredicate)(node.predicates[i]));
+    if (unchanged) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "no comparable predicate merge applied");
+        return node;
+    }
+    (0, warnings_1.markRuleApplied)(normalizeContext, exports.RULE_ID);
+    return (0, builders_1.fieldNode)(node.field, merged);
+}
+//# sourceMappingURL=merge-comparable-predicates.js.map

package/dist/rules/predicate/merge-comparable-predicates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge-comparable-predicates.js","sourceRoot":"","sources":["../../../src/rules/predicate/merge-comparable-predicates.ts"],"names":[],"mappings":";;;AAUA,8DAwBC;AAlCD,iDAA0D;AAC1D,6CAA+C;AAC/C,yCAA+C;AAG/C,qDAA0E;AAC1E,2EAA4E;AAE/D,QAAA,OAAO,GAAG,qCAAqC,CAAC;AAE7D,SAAgB,yBAAyB,CAAC,IAAe,EAAE,gBAAkC;IACzF,IAAI,CAAC,IAAA,oBAAW,EAAC,IAAI,CAAC,EAAE,CAAC;QACrB,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,mBAAmB,CAAC,CAAC;QAChE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,MAAM,GAAG,IAAA,2CAAe,EAAC,IAAI,CAAC,UAAU,EAAE,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAE9E,IAAI,IAAA,wCAAY,EAAC,MAAM,CAAC,EAAE,CAAC;QACvB,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,CAAC,CAAC;QAC3C,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,MAAM,SAAS,GACX,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAA,oBAAa,EAAC,CAAC,CAAC,KAAK,IAAA,oBAAa,EAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnF,IAAI,SAAS,EAAE,CAAC;QACZ,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,uCAAuC,CAAC,CAAC;QACpF,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,CAAC,CAAC;IAC3C,OAAO,IAAA,oBAAS,EAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AACzC,CAAC"}

package/dist/rules/predicate/merge-predicates-internal.d.ts

@@ -0,0 +1,7 @@
+import type { FalseNode } from "../../ast/types";
+import type { FieldPredicate } from "../../ast/types";
+import type { NormalizeContext } from "../../normalize-context";
+export type MergePredicatesResult = FieldPredicate[] | FalseNode;
+export declare function isMergeFalse(result: MergePredicatesResult): result is FalseNode;
+export declare function mergePredicates(predicates: FieldPredicate[], normalizeContext: NormalizeContext, field: string): MergePredicatesResult;
+//# sourceMappingURL=merge-predicates-internal.d.ts.map

package/dist/rules/predicate/merge-predicates-internal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge-predicates-internal.d.ts","sourceRoot":"","sources":["../../../src/rules/predicate/merge-predicates-internal.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAKhE,MAAM,MAAM,qBAAqB,GAAG,cAAc,EAAE,GAAG,SAAS,CAAC;AAEjE,wBAAgB,YAAY,CAAC,MAAM,EAAE,qBAAqB,GAAG,MAAM,IAAI,SAAS,CAE/E;AAED,wBAAgB,eAAe,CAC3B,UAAU,EAAE,cAAc,EAAE,EAC5B,gBAAgB,EAAE,gBAAgB,EAClC,KAAK,EAAE,MAAM,GACd,qBAAqB,CA2BvB"}

package/dist/rules/predicate/merge-predicates-internal.js

@@ -0,0 +1,186 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isMergeFalse = isMergeFalse;
+exports.mergePredicates = mergePredicates;
+const builders_1 = require("../../ast/builders");
+const warnings_1 = require("../../observe/warnings");
+const compare_values_1 = require("../../utils/compare-values");
+const deep_equal_1 = require("../../utils/deep-equal");
+function isMergeFalse(result) {
+    return typeof result === "object" && result !== null && "type" in result && result.type === "false";
+}
+function mergePredicates(predicates, normalizeContext, field) {
+    let current = predicates;
+    const afterEq = mergeEqPredicates(current, field, normalizeContext);
+    if (isMergeFalse(afterEq)) {
+        return afterEq;
+    }
+    current = afterEq;
+    const afterIn = mergeInPredicates(current, field, normalizeContext);
+    if (isMergeFalse(afterIn)) {
+        return afterIn;
+    }
+    current = afterIn;
+    const afterRange = mergeRangePredicates(current, field, normalizeContext);
+    if (isMergeFalse(afterRange)) {
+        return afterRange;
+    }
+    current = afterRange;
+    const afterEqRange = collapseEqRangeConflict(current);
+    if (isMergeFalse(afterEqRange)) {
+        return afterEqRange;
+    }
+    return afterEqRange;
+}
+/** $eq 与 $gt/$gte/$lt/$lte 同字段不可同时满足时归为不可满足 */
+function collapseEqRangeConflict(predicates) {
+    const eq = predicates.find((p) => p.op === "$eq");
+    if (!eq || !(0, compare_values_1.isComparableScalar)(eq.value)) {
+        return predicates;
+    }
+    const v = eq.value;
+    for (const p of predicates) {
+        if ((p.op === "$gt" || p.op === "$gte" || p.op === "$lt" || p.op === "$lte") &&
+            (0, compare_values_1.isComparableScalar)(p.value)) {
+            const cmp = (0, compare_values_1.compareScalarValues)(v, p.value);
+            if (cmp === null) {
+                continue;
+            }
+            if (p.op === "$lt" && cmp >= 0) {
+                return (0, builders_1.falseNode)();
+            }
+            if (p.op === "$lte" && cmp > 0) {
+                return (0, builders_1.falseNode)();
+            }
+            if (p.op === "$gt" && cmp <= 0) {
+                return (0, builders_1.falseNode)();
+            }
+            if (p.op === "$gte" && cmp < 0) {
+                return (0, builders_1.falseNode)();
+            }
+        }
+    }
+    return predicates;
+}
+function mergeEqPredicates(predicates, field, _normalizeContext) {
+    const eqs = predicates.filter((p) => p.op === "$eq");
+    if (eqs.length <= 1) {
+        return predicates;
+    }
+    const first = eqs[0];
+    for (let i = 1; i < eqs.length; i += 1) {
+        if (!(0, deep_equal_1.deepEqual)(first.value, eqs[i].value)) {
+            return (0, builders_1.falseNode)();
+        }
+    }
+    return [first, ...predicates.filter((p) => p.op !== "$eq")];
+}
+function mergeInPredicates(predicates, field, normalizeContext) {
+    const eq = predicates.find((p) => p.op === "$eq");
+    const ins = predicates.filter((p) => p.op === "$in");
+    let current = predicates;
+    if (ins.length > 0) {
+        const normalizedIns = ins.map((p) => ({
+            ...p,
+            value: Array.isArray(p.value) ? Array.from(new Set(p.value)) : p.value,
+        }));
+        current = [...predicates.filter((p) => p.op !== "$in"), ...normalizedIns];
+    }
+    if (eq) {
+        const inPredicates = current.filter((p) => p.op === "$in");
+        for (const inPredicate of inPredicates) {
+            if (!Array.isArray(inPredicate.value)) {
+                (0, warnings_1.addWarning)(normalizeContext, `field ${field}: $in value is not array`);
+                return predicates;
+            }
+            const found = inPredicate.value.some((item) => (0, deep_equal_1.deepEqual)(item, eq.value));
+            if (!found) {
+                return (0, builders_1.falseNode)();
+            }
+        }
+    }
+    return current;
+}
+function chooseStrongerLowerBound(lower, p) {
+    if (!lower) {
+        return p;
+    }
+    const cmp = (0, compare_values_1.compareScalarValues)(p.value, lower.value);
+    if (cmp === null) {
+        return lower;
+    }
+    if (cmp > 0) {
+        return p;
+    }
+    if (cmp < 0) {
+        return lower;
+    }
+    if (p.op === "$gt" && lower.op === "$gte") {
+        return p;
+    }
+    if (p.op === "$gte" && lower.op === "$gt") {
+        return lower;
+    }
+    return lower;
+}
+function chooseStrongerUpperBound(upper, p) {
+    if (!upper) {
+        return p;
+    }
+    const cmp = (0, compare_values_1.compareScalarValues)(p.value, upper.value);
+    if (cmp === null) {
+        return upper;
+    }
+    if (cmp < 0) {
+        return p;
+    }
+    if (cmp > 0) {
+        return upper;
+    }
+    if (p.op === "$lt" && upper.op === "$lte") {
+        return p;
+    }
+    if (p.op === "$lte" && upper.op === "$lt") {
+        return upper;
+    }
+    return upper;
+}
+function mergeRangePredicates(predicates, field, normalizeContext) {
+    let lower = null;
+    let upper = null;
+    const others = [];
+    for (const p of predicates) {
+        if (p.op !== "$gt" && p.op !== "$gte" && p.op !== "$lt" && p.op !== "$lte") {
+            others.push(p);
+            continue;
+        }
+        if (!(0, compare_values_1.isComparableScalar)(p.value)) {
+            (0, warnings_1.addWarning)(normalizeContext, `field ${field}: predicate ${p.op} is not comparable`);
+            return predicates;
+        }
+        if (p.op === "$gt" || p.op === "$gte") {
+            lower = chooseStrongerLowerBound(lower, p);
+        }
+        else {
+            upper = chooseStrongerUpperBound(upper, p);
+        }
+    }
+    if (lower && upper) {
+        const cmp = (0, compare_values_1.compareScalarValues)(lower.value, upper.value);
+        if (cmp === 1) {
+            return (0, builders_1.falseNode)();
+        }
+        if (cmp === 0 && (lower.op === "$gt" || upper.op === "$lt")) {
+            return (0, builders_1.falseNode)();
+        }
+    }
+    const merged = [...others];
+    if (lower) {
+        merged.push(lower);
+    }
+    if (upper) {
+        merged.push(upper);
+    }
+    return merged;
+}
+//# sourceMappingURL=merge-predicates-internal.js.map

package/dist/rules/predicate/merge-predicates-internal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge-predicates-internal.js","sourceRoot":"","sources":["../../../src/rules/predicate/merge-predicates-internal.ts"],"names":[],"mappings":";;AAUA,oCAEC;AAED,0CA+BC;AA7CD,iDAA+C;AAI/C,qDAAoD;AACpD,+DAAqF;AACrF,uDAAmD;AAInD,SAAgB,YAAY,CAAC,MAA6B;IACtD,OAAO,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;AACxG,CAAC;AAED,SAAgB,eAAe,CAC3B,UAA4B,EAC5B,gBAAkC,EAClC,KAAa;IAEb,IAAI,OAAO,GAAqB,UAAU,CAAC;IAE3C,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC;IACpE,IAAI,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QACxB,OAAO,OAAO,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,OAAO,CAAC;IAElB,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC;IACpE,IAAI,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QACxB,OAAO,OAAO,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,OAAO,CAAC;IAElB,MAAM,UAAU,GAAG,oBAAoB,CAAC,OAAO,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAC1E,IAAI,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3B,OAAO,UAAU,CAAC;IACtB,CAAC;IACD,OAAO,GAAG,UAAU,CAAC;IAErB,MAAM,YAAY,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IACtD,IAAI,YAAY,CAAC,YAAY,CAAC,EAAE,CAAC;QAC7B,OAAO,YAAY,CAAC;IACxB,CAAC;IAED,OAAO,YAAY,CAAC;AACxB,CAAC;AAED,+CAA+C;AAC/C,SAAS,uBAAuB,CAAC,UAA4B;IACzD,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;IAClD,IAAI,CAAC,EAAE,IAAI,CAAC,IAAA,mCAAkB,EAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,UAAU,CAAC;IACtB,CAAC;IACD,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;IAEnB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,IACI,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC;YACxE,IAAA,mCAAkB,EAAC,CAAC,CAAC,KAAK,CAAC,EAC7B,CAAC;YACC,MAAM,GAAG,GAAG,IAAA,oCAAmB,EAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5C,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBACf,SAAS;YACb,CAAC;YACD,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;gBAC7B,OAAO,IAAA,oBAAS,GAAE,CAAC;YACvB,CAAC;YACD,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;gBAC7B,OAAO,IAAA,oBAAS,GAAE,CAAC;YACvB,CAAC;YACD,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;gBAC7B,OAAO,IAAA,oBAAS,GAAE,CAAC;YACvB,CAAC;YACD,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;gBAC7B,OAAO,IAAA,oBAAS,GAAE,CAAC;YACvB,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,SAAS,iBAAiB,CAAC,UAA4B,EAAE,KAAa,EAAE,iBAAmC;IACvG,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;IAErD,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAClB,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAErB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,IAAA,sBAAS,EAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACxC,OAAO,IAAA,oBAAS,GAAE,CAAC;QACvB,CAAC;IACL,CAAC;IAED,OAAO,CAAC,KAAK,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,iBAAiB,CAAC,UAA4B,EAAE,KAAa,EAAE,gBAAkC;IACtG,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;IAErD,IAAI,OAAO,GAAG,UAAU,CAAC;IAEzB,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,aAAa,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAClC,GAAG,CAAC;YACJ,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;SACtF,CAAC,CAAC,CAAC;QAEJ,OAAO,GAAG,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,GAAG,aAAa,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI,EAAE,EAAE,CAAC;QACL,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;QAC3D,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpC,IAAA,qBAAU,EAAC,gBAAgB,EAAE,SAAS,KAAK,0BAA0B,CAAC,CAAC;gBACvE,OAAO,UAAU,CAAC;YACtB,CAAC;YAED,MAAM,KAAK,GAAI,WAAW,CAAC,KAAmB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,sBAAS,EAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;YACzF,IAAI,CAAC,KAAK,EAAE,CAAC;gBACT,OAAO,IAAA,oBAAS,GAAE,CAAC;YACvB,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACnB,CAAC;AAKD,SAAS,wBAAwB,CAAC,KAAwB,EAAE,CAAa;IACrE,IAAI,CAAC,KAAK,EAAE,CAAC;QACT,OAAO,CAAC,CAAC;IACb,CAAC;IACD,MAAM,GAAG,GAAG,IAAA,oCAAmB,EAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACV,OAAO,CAAC,CAAC;IACb,CAAC;IACD,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;QACxC,OAAO,CAAC,CAAC;IACb,CAAC;IACD,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAwB,EAAE,CAAa;IACrE,IAAI,CAAC,KAAK,EAAE,CAAC;QACT,OAAO,CAAC,CAAC;IACb,CAAC;IACD,MAAM,GAAG,GAAG,IAAA,oCAAmB,EAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACV,OAAO,CAAC,CAAC;IACb,CAAC;IACD,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;QACxC,OAAO,CAAC,CAAC;IACb,CAAC;IACD,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAAC,UAA4B,EAAE,KAAa,EAAE,gBAAkC;IACzG,IAAI,KAAK,GAAsB,IAAI,CAAC;IACpC,IAAI,KAAK,GAAsB,IAAI,CAAC;IACpC,MAAM,MAAM,GAAqB,EAAE,CAAC;IAEpC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YACzE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACf,SAAS;QACb,CAAC;QAED,IAAI,CAAC,IAAA,mCAAkB,EAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,IAAA,qBAAU,EAAC,gBAAgB,EAAE,SAAS,KAAK,eAAe,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC;YACpF,OAAO,UAAU,CAAC;QACtB,CAAC;QAED,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YACpC,KAAK,GAAG,wBAAwB,CAAC,KAAK,EAAE,CAAe,CAAC,CAAC;QAC7D,CAAC;aAAM,CAAC;YACJ,KAAK,GAAG,wBAAwB,CAAC,KAAK,EAAE,CAAe,CAAC,CAAC;QAC7D,CAAC;IACL,CAAC;IAED,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;QACjB,MAAM,GAAG,GAAG,IAAA,oCAAmB,EAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAE1D,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;YACZ,OAAO,IAAA,oBAAS,GAAE,CAAC;QACvB,CAAC;QACD,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC;YAC1D,OAAO,IAAA,oBAAS,GAAE,CAAC;QACvB,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAqB,CAAC,GAAG,MAAM,CAAC,CAAC;IAC7C,IAAI,KAAK,EAAE,CAAC;QACR,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,KAAK,EAAE,CAAC;QACR,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC"}

package/dist/rules/shape/collapse-single-child-logical.d.ts

@@ -0,0 +1,5 @@
+import type { QueryNode } from "../../ast/types";
+import type { NormalizeContext } from "../../normalize-context";
+export declare const RULE_ID = "shape.collapseSingleChildLogical";
+export declare function collapseSingleChildLogical(node: QueryNode, normalizeContext: NormalizeContext): QueryNode;
+//# sourceMappingURL=collapse-single-child-logical.d.ts.map

package/dist/rules/shape/collapse-single-child-logical.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collapse-single-child-logical.d.ts","sourceRoot":"","sources":["../../../src/rules/shape/collapse-single-child-logical.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAGhE,eAAO,MAAM,OAAO,qCAAqC,CAAC;AAE1D,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAazG"}

package/dist/rules/shape/collapse-single-child-logical.js

@@ -0,0 +1,20 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RULE_ID = void 0;
+exports.collapseSingleChildLogical = collapseSingleChildLogical;
+const guards_1 = require("../../ast/guards");
+const warnings_1 = require("../../observe/warnings");
+exports.RULE_ID = "shape.collapseSingleChildLogical";
+function collapseSingleChildLogical(node, normalizeContext) {
+    if (!(0, guards_1.isLogicalNode)(node)) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "node is not logical");
+        return node;
+    }
+    if (node.children.length !== 1) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "child count is not 1");
+        return node;
+    }
+    (0, warnings_1.markRuleApplied)(normalizeContext, exports.RULE_ID);
+    return node.children[0];
+}
+//# sourceMappingURL=collapse-single-child-logical.js.map

package/dist/rules/shape/collapse-single-child-logical.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collapse-single-child-logical.js","sourceRoot":"","sources":["../../../src/rules/shape/collapse-single-child-logical.ts"],"names":[],"mappings":";;;AAOA,gEAaC;AApBD,6CAAiD;AAGjD,qDAA0E;AAE7D,QAAA,OAAO,GAAG,kCAAkC,CAAC;AAE1D,SAAgB,0BAA0B,CAAC,IAAe,EAAE,gBAAkC;IAC1F,IAAI,CAAC,IAAA,sBAAa,EAAC,IAAI,CAAC,EAAE,CAAC;QACvB,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,qBAAqB,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,sBAAsB,CAAC,CAAC;QACnE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,CAAC,CAAC;IAC3C,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC"}

package/dist/rules/shape/dedupe-logical-children.d.ts

@@ -0,0 +1,6 @@
+import type { QueryNode } from "../../ast/types";
+import type { NormalizeContext } from "../../normalize-context";
+export declare const RULE_ID = "shape.dedupeLogicalChildren";
+export declare function uniqueChildrenByHash(children: QueryNode[]): QueryNode[];
+export declare function dedupeLogicalChildren(node: QueryNode, normalizeContext: NormalizeContext): QueryNode;
+//# sourceMappingURL=dedupe-logical-children.d.ts.map

package/dist/rules/shape/dedupe-logical-children.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dedupe-logical-children.d.ts","sourceRoot":"","sources":["../../../src/rules/shape/dedupe-logical-children.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAGhE,eAAO,MAAM,OAAO,gCAAgC,CAAC;AAErD,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,SAAS,EAAE,GAAG,SAAS,EAAE,CAcvE;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAepG"}

package/dist/rules/shape/dedupe-logical-children.js

@@ -0,0 +1,37 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RULE_ID = void 0;
+exports.uniqueChildrenByHash = uniqueChildrenByHash;
+exports.dedupeLogicalChildren = dedupeLogicalChildren;
+const hash_1 = require("../../ast/hash");
+const builders_1 = require("../../ast/builders");
+const guards_1 = require("../../ast/guards");
+const warnings_1 = require("../../observe/warnings");
+exports.RULE_ID = "shape.dedupeLogicalChildren";
+function uniqueChildrenByHash(children) {
+    const seen = new Set();
+    const result = [];
+    for (const child of children) {
+        const key = (0, hash_1.hashNode)(child);
+        if (seen.has(key)) {
+            continue;
+        }
+        seen.add(key);
+        result.push(child);
+    }
+    return result;
+}
+function dedupeLogicalChildren(node, normalizeContext) {
+    if (!(0, guards_1.isLogicalNode)(node)) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "node is not logical");
+        return node;
+    }
+    const deduped = uniqueChildrenByHash(node.children);
+    if (deduped.length === node.children.length) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "no duplicate children");
+        return node;
+    }
+    (0, warnings_1.markRuleApplied)(normalizeContext, exports.RULE_ID);
+    return node.op === "$and" ? (0, builders_1.andNode)(deduped) : (0, builders_1.orNode)(deduped);
+}
+//# sourceMappingURL=dedupe-logical-children.js.map

package/dist/rules/shape/dedupe-logical-children.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dedupe-logical-children.js","sourceRoot":"","sources":["../../../src/rules/shape/dedupe-logical-children.ts"],"names":[],"mappings":";;;AASA,oDAcC;AAED,sDAeC;AAxCD,yCAA0C;AAC1C,iDAAqD;AACrD,6CAAiD;AAGjD,qDAA0E;AAE7D,QAAA,OAAO,GAAG,6BAA6B,CAAC;AAErD,SAAgB,oBAAoB,CAAC,QAAqB;IACtD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAgB,EAAE,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAA,eAAQ,EAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAChB,SAAS;QACb,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAgB,qBAAqB,CAAC,IAAe,EAAE,gBAAkC;IACrF,IAAI,CAAC,IAAA,sBAAa,EAAC,IAAI,CAAC,EAAE,CAAC;QACvB,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,qBAAqB,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAEpD,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC1C,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,uBAAuB,CAAC,CAAC;QACpE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,CAAC,CAAC;IAC3C,OAAO,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAA,iBAAM,EAAC,OAAO,CAAC,CAAC;AACnE,CAAC"}

package/dist/rules/shape/flatten-logical.d.ts

@@ -0,0 +1,6 @@
+import type { LogicalNode, QueryNode } from "../../ast/types";
+import type { NormalizeContext } from "../../normalize-context";
+export declare const RULE_ID = "shape.flattenLogical";
+export declare function flattenLogicalChildren(node: LogicalNode): QueryNode[];
+export declare function flattenLogical(node: QueryNode, normalizeContext: NormalizeContext): QueryNode;
+//# sourceMappingURL=flatten-logical.d.ts.map

package/dist/rules/shape/flatten-logical.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"flatten-logical.d.ts","sourceRoot":"","sources":["../../../src/rules/shape/flatten-logical.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAGhE,eAAO,MAAM,OAAO,yBAAyB,CAAC;AAE9C,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,WAAW,GAAG,SAAS,EAAE,CAYrE;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAmB7F"}

package/dist/rules/shape/flatten-logical.js

@@ -0,0 +1,37 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RULE_ID = void 0;
+exports.flattenLogicalChildren = flattenLogicalChildren;
+exports.flattenLogical = flattenLogical;
+const builders_1 = require("../../ast/builders");
+const guards_1 = require("../../ast/guards");
+const warnings_1 = require("../../observe/warnings");
+exports.RULE_ID = "shape.flattenLogical";
+function flattenLogicalChildren(node) {
+    const result = [];
+    for (const child of node.children) {
+        if ((0, guards_1.isLogicalNode)(child) && child.op === node.op) {
+            result.push(...child.children);
+        }
+        else {
+            result.push(child);
+        }
+    }
+    return result;
+}
+function flattenLogical(node, normalizeContext) {
+    if (!(0, guards_1.isLogicalNode)(node)) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "node is not logical");
+        return node;
+    }
+    const nextChildren = flattenLogicalChildren(node);
+    const changed = nextChildren.length !== node.children.length ||
+        nextChildren.some((c, i) => c !== node.children[i]);
+    if (changed) {
+        (0, warnings_1.markRuleApplied)(normalizeContext, exports.RULE_ID);
+        return node.op === "$and" ? (0, builders_1.andNode)(nextChildren) : (0, builders_1.orNode)(nextChildren);
+    }
+    (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "no nested same-op logical nodes");
+    return node;
+}
+//# sourceMappingURL=flatten-logical.js.map

package/dist/rules/shape/flatten-logical.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"flatten-logical.js","sourceRoot":"","sources":["../../../src/rules/shape/flatten-logical.ts"],"names":[],"mappings":";;;AAQA,wDAYC;AAED,wCAmBC;AAzCD,iDAAqD;AACrD,6CAAiD;AAGjD,qDAA0E;AAE7D,QAAA,OAAO,GAAG,sBAAsB,CAAC;AAE9C,SAAgB,sBAAsB,CAAC,IAAiB;IACpD,MAAM,MAAM,GAAgB,EAAE,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,IAAA,sBAAa,EAAC,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAgB,cAAc,CAAC,IAAe,EAAE,gBAAkC;IAC9E,IAAI,CAAC,IAAA,sBAAa,EAAC,IAAI,CAAC,EAAE,CAAC;QACvB,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,qBAAqB,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,YAAY,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IAElD,MAAM,OAAO,GACT,YAAY,CAAC,MAAM,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM;QAC5C,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAExD,IAAI,OAAO,EAAE,CAAC;QACV,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,CAAC,CAAC;QAC3C,OAAO,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,IAAA,kBAAO,EAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAA,iBAAM,EAAC,YAAY,CAAC,CAAC;IAC7E,CAAC;IAED,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,iCAAiC,CAAC,CAAC;IAC9E,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/dist/rules/shape/remove-empty-logical.d.ts

@@ -0,0 +1,5 @@
+import type { QueryNode } from "../../ast/types";
+import type { NormalizeContext } from "../../normalize-context";
+export declare const RULE_ID = "shape.removeEmptyLogical";
+export declare function removeEmptyLogical(node: QueryNode, normalizeContext: NormalizeContext): QueryNode;
+//# sourceMappingURL=remove-empty-logical.d.ts.map

package/dist/rules/shape/remove-empty-logical.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"remove-empty-logical.d.ts","sourceRoot":"","sources":["../../../src/rules/shape/remove-empty-logical.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAGhE,eAAO,MAAM,OAAO,6BAA6B,CAAC;AAElD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAajG"}

package/dist/rules/shape/remove-empty-logical.js

@@ -0,0 +1,21 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RULE_ID = void 0;
+exports.removeEmptyLogical = removeEmptyLogical;
+const builders_1 = require("../../ast/builders");
+const guards_1 = require("../../ast/guards");
+const warnings_1 = require("../../observe/warnings");
+exports.RULE_ID = "shape.removeEmptyLogical";
+function removeEmptyLogical(node, normalizeContext) {
+    if (!(0, guards_1.isLogicalNode)(node)) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "node is not logical");
+        return node;
+    }
+    if (node.children.length > 0) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "logical node is not empty");
+        return node;
+    }
+    (0, warnings_1.markRuleApplied)(normalizeContext, exports.RULE_ID);
+    return node.op === "$and" ? (0, builders_1.trueNode)() : (0, builders_1.falseNode)();
+}
+//# sourceMappingURL=remove-empty-logical.js.map

package/dist/rules/shape/remove-empty-logical.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"remove-empty-logical.js","sourceRoot":"","sources":["../../../src/rules/shape/remove-empty-logical.ts"],"names":[],"mappings":";;;AAQA,gDAaC;AArBD,iDAAyD;AACzD,6CAAiD;AAGjD,qDAA0E;AAE7D,QAAA,OAAO,GAAG,0BAA0B,CAAC;AAElD,SAAgB,kBAAkB,CAAC,IAAe,EAAE,gBAAkC;IAClF,IAAI,CAAC,IAAA,sBAAa,EAAC,IAAI,CAAC,EAAE,CAAC;QACvB,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,qBAAqB,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,2BAA2B,CAAC,CAAC;QACxE,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,CAAC,CAAC;IAC3C,OAAO,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,IAAA,mBAAQ,GAAE,CAAC,CAAC,CAAC,IAAA,oBAAS,GAAE,CAAC;AACzD,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,70 @@
+/**
+ * MongoDB 查询对象（规范化入口的输入/输出形状）
+ */
+export type Query = Record<string, unknown>;
+export type NormalizeLevel = "shape" | "predicate" | "logical" | "experimental";
+export interface NormalizeRules {
+    flattenLogical: boolean;
+    removeEmptyLogical: boolean;
+    collapseSingleChildLogical: boolean;
+    dedupeLogicalChildren: boolean;
+    dedupeSameFieldPredicates: boolean;
+    mergeComparablePredicates: boolean;
+    collapseContradictions: boolean;
+    sortLogicalChildren: boolean;
+    sortFieldPredicates: boolean;
+    detectCommonPredicatesInOr: boolean;
+    hoistCommonPredicatesFromOr: boolean;
+}
+export interface NormalizeSafety {
+    maxNormalizeDepth: number;
+    maxNodeGrowthRatio: number;
+}
+export interface NormalizeObserve {
+    collectWarnings: boolean;
+    collectMetrics: boolean;
+}
+export interface NormalizeOptions {
+    level?: NormalizeLevel;
+    rules?: Partial<NormalizeRules>;
+    safety?: Partial<NormalizeSafety>;
+    observe?: Partial<NormalizeObserve>;
+}
+export interface ResolvedNormalizeOptions {
+    level: NormalizeLevel;
+    rules: NormalizeRules;
+    safety: NormalizeSafety;
+    observe: NormalizeObserve;
+}
+export interface NodeStats {
+    nodeCount: number;
+    maxDepth: number;
+    andCount: number;
+    orCount: number;
+}
+/** 对外名称：`meta.stats` 中 before/after 的树统计。 */
+export type NormalizeStats = NodeStats;
+export interface NormalizeMeta {
+    changed: boolean;
+    level: NormalizeLevel;
+    appliedRules: string[];
+    skippedRules: string[];
+    warnings: string[];
+    bailedOut: boolean;
+    bailoutReason?: string;
+    beforeHash?: string;
+    afterHash?: string;
+    stats?: {
+        before: NodeStats;
+        after: NodeStats;
+    };
+}
+export interface NormalizeResult<Q = Query> {
+    query: Q;
+    meta: NormalizeMeta;
+}
+/**
+ * FalseNode 编译结果：不可满足选择器（与设计文档一致）
+ */
+export declare const IMPOSSIBLE_SELECTOR: Query;
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE5C,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,WAAW,GAAG,SAAS,GAAG,cAAc,CAAC;AAEhF,MAAM,WAAW,cAAc;IAC3B,cAAc,EAAE,OAAO,CAAC;IACxB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,0BAA0B,EAAE,OAAO,CAAC;IACpC,qBAAqB,EAAE,OAAO,CAAC;IAC/B,yBAAyB,EAAE,OAAO,CAAC;IACnC,yBAAyB,EAAE,OAAO,CAAC;IACnC,sBAAsB,EAAE,OAAO,CAAC;IAChC,mBAAmB,EAAE,OAAO,CAAC;IAC7B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,0BAA0B,EAAE,OAAO,CAAC;IACpC,2BAA2B,EAAE,OAAO,CAAC;CACxC;AAED,MAAM,WAAW,eAAe;IAC5B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,gBAAgB;IAC7B,eAAe,EAAE,OAAO,CAAC;IACzB,cAAc,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,gBAAgB;IAC7B,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB,KAAK,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;IAChC,MAAM,CAAC,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC;IAClC,OAAO,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;CACvC;AAED,MAAM,WAAW,wBAAwB;IACrC,KAAK,EAAE,cAAc,CAAC;IACtB,KAAK,EAAE,cAAc,CAAC;IACtB,MAAM,EAAE,eAAe,CAAC;IACxB,OAAO,EAAE,gBAAgB,CAAC;CAC7B;AAED,MAAM,WAAW,SAAS;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACnB;AAED,6CAA6C;AAC7C,MAAM,MAAM,cAAc,GAAG,SAAS,CAAC;AAEvC,MAAM,WAAW,aAAa;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,cAAc,CAAC;IACtB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,OAAO,CAAC;IACnB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE;QACJ,MAAM,EAAE,SAAS,CAAC;QAClB,KAAK,EAAE,SAAS,CAAC;KACpB,CAAC;CACL;AAED,MAAM,WAAW,eAAe,CAAC,CAAC,GAAG,KAAK;IACtC,KAAK,EAAE,CAAC,CAAC;IACT,IAAI,EAAE,aAAa,CAAC;CACvB;AAED;;GAEG;AACH,eAAO,MAAM,mBAAmB,EAAE,KAA2C,CAAC"}

package/dist/types.js

@@ -0,0 +1,8 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.IMPOSSIBLE_SELECTOR = void 0;
+/**
+ * FalseNode 编译结果：不可满足选择器（与设计文档一致）
+ */
+exports.IMPOSSIBLE_SELECTOR = { $expr: { $eq: [1, 0] } };
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":";;;AA4EA;;GAEG;AACU,QAAA,mBAAmB,GAAU,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAW,CAAC"}