mongo-query-normalizer 0.1.0 → 0.2.0

package/dist/predicate/capabilities/eq/eq-range.js

@@ -0,0 +1,138 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.eqRangeCapability = void 0;
+const merge_range_bounds_1 = require("../../analysis/merge-range-bounds");
+const build_field_bundle_1 = require("../../ir/build-field-bundle");
+const relation_result_1 = require("../shared/relation-result");
+const intersect_in_lists_1 = require("../../utils/intersect-in-lists");
+const set_ops_1 = require("../../utils/set-ops");
+const value_equality_1 = require("../../utils/value-equality");
+const bson_compare_1 = require("../../utils/bson-compare");
+function rangeAtomFromLower(lower) {
+    if (lower.kind === "gt") {
+        return { kind: "gt", value: lower.value };
+    }
+    return { kind: "gte", value: lower.value };
+}
+function rangeAtomFromUpper(upper) {
+    if (upper.kind === "lt") {
+        return { kind: "lt", value: upper.value };
+    }
+    return { kind: "lte", value: upper.value };
+}
+function inValuesSameSet(a, b) {
+    const ua = (0, set_ops_1.uniqueUnknownArray)(a);
+    const ub = (0, set_ops_1.uniqueUnknownArray)(b);
+    if (ua.length !== ub.length) {
+        return false;
+    }
+    return ua.every((v) => ub.some((w) => (0, value_equality_1.valuesEqual)(v, w)));
+}
+exports.eqRangeCapability = {
+    id: "eq.range",
+    description: "Detect impossible $eq/$in vs range combinations; tighten or drop redundant bounds",
+    riskLevel: "safe",
+    supportedAtomKinds: ["eq", "in", "gt", "gte", "lt", "lte"],
+    isApplicable(ctx) {
+        if (!ctx.engine.mergeComparable && !ctx.engine.collapseContradictions) {
+            return false;
+        }
+        const hasEq = ctx.bundle.predicates.some((a) => a.kind === "eq");
+        const hasIn = ctx.bundle.predicates.some((a) => a.kind === "in");
+        const hasRange = ctx.bundle.predicates.some(merge_range_bounds_1.isRangeAtom);
+        return (hasEq && hasRange) || (hasIn && hasRange);
+    },
+    apply(ctx) {
+        const base = (0, relation_result_1.emptyRelationResult)(ctx.bundle);
+        const predicates = ctx.bundle.predicates;
+        const rangeAtoms = predicates.filter(merge_range_bounds_1.isRangeAtom);
+        const inAtoms = predicates.filter((a) => a.kind === "in");
+        const otherAtoms = predicates.filter((a) => !(0, merge_range_bounds_1.isRangeAtom)(a) && a.kind !== "in");
+        if (rangeAtoms.length === 0) {
+            return base;
+        }
+        const merged = (0, merge_range_bounds_1.mergeRangeBoundsFromRangeAtoms)(rangeAtoms);
+        if ((0, merge_range_bounds_1.mergedBoundsContradict)(merged.lower, merged.upper)) {
+            return { ...base, contradiction: true, changed: true };
+        }
+        const eq = otherAtoms.find((a) => a.kind === "eq");
+        if (eq && eq.kind === "eq") {
+            if (!(0, bson_compare_1.isComparableScalar)(eq.value)) {
+                return {
+                    ...base,
+                    skippedAtoms: [eq],
+                    warnings: [`field ${ctx.bundle.fieldPath}: $eq is not comparable with range`],
+                };
+            }
+            if (ctx.engine.collapseContradictions && !(0, merge_range_bounds_1.valueSatisfiesMergedRange)(eq.value, merged.lower, merged.upper)) {
+                return { ...base, contradiction: true, changed: true };
+            }
+        }
+        let changed = false;
+        const coveredAtoms = [];
+        let nextInAtoms = inAtoms;
+        let shouldDropRanges = false;
+        let inTightened = false;
+        if (inAtoms.length > 0 &&
+            !merged.skippedNonComparableRange &&
+            (ctx.engine.mergeComparable || ctx.engine.collapseContradictions)) {
+            const intersected = inAtoms.length === 1 ? [...inAtoms[0].values] : (0, intersect_in_lists_1.intersectInAtomValues)(inAtoms);
+            const allComparable = intersected.length > 0 && intersected.every(bson_compare_1.isComparableScalar);
+            if (allComparable) {
+                const filtered = intersected.filter((v) => (0, merge_range_bounds_1.valueSatisfiesMergedRange)(v, merged.lower, merged.upper));
+                if (filtered.length === 0 && intersected.length > 0 && ctx.engine.collapseContradictions) {
+                    return { ...base, contradiction: true, changed: true };
+                }
+                if (ctx.engine.mergeComparable && filtered.length > 0) {
+                    const uniqFiltered = (0, set_ops_1.uniqueUnknownArray)(filtered);
+                    inTightened =
+                        inAtoms.length > 1 ||
+                            (inAtoms.length === 1 && !inValuesSameSet(inAtoms[0].values, uniqFiltered));
+                    if (inTightened) {
+                        nextInAtoms = [{ kind: "in", values: uniqFiltered }];
+                        coveredAtoms.push(...inAtoms);
+                    }
+                    shouldDropRanges = true;
+                    changed = true;
+                }
+            }
+        }
+        if (ctx.engine.mergeComparable &&
+            eq &&
+            eq.kind === "eq" &&
+            (0, bson_compare_1.isComparableScalar)(eq.value) &&
+            (0, merge_range_bounds_1.valueSatisfiesMergedRange)(eq.value, merged.lower, merged.upper)) {
+            shouldDropRanges = true;
+            changed = true;
+        }
+        if (!changed) {
+            return base;
+        }
+        if (shouldDropRanges) {
+            coveredAtoms.push(...rangeAtoms);
+        }
+        const rangeOut = [];
+        if (!shouldDropRanges) {
+            if (merged.lower) {
+                rangeOut.push(rangeAtomFromLower(merged.lower));
+            }
+            if (merged.upper) {
+                rangeOut.push(rangeAtomFromUpper(merged.upper));
+            }
+        }
+        const nextPredicates = [...otherAtoms, ...nextInAtoms, ...rangeOut];
+        const bundle = (0, build_field_bundle_1.refreshBundleMetadata)({
+            ...ctx.bundle,
+            predicates: nextPredicates,
+        });
+        return {
+            bundle,
+            changed: true,
+            contradiction: false,
+            coveredAtoms,
+            skippedAtoms: [],
+            warnings: [],
+        };
+    },
+};
+//# sourceMappingURL=eq-range.js.map

package/dist/predicate/capabilities/eq/eq-range.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eq-range.js","sourceRoot":"","sources":["../../../../src/predicate/capabilities/eq/eq-range.ts"],"names":[],"mappings":";;;AAAA,0EAO2C;AAC3C,oEAAoE;AAIpE,+DAAqF;AACrF,uEAAuE;AACvE,iDAAyD;AACzD,+DAAyD;AACzD,2DAA8D;AAE9D,SAAS,kBAAkB,CAAC,KAAiB;IACzC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAiB;IACzC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,eAAe,CAAC,CAAY,EAAE,CAAY;IAC/C,MAAM,EAAE,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,IAAA,4BAAkB,EAAC,CAAC,CAAC,CAAC;IACjC,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,4BAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC;AAEY,QAAA,iBAAiB,GAAwB;IAClD,EAAE,EAAE,UAAU;IACd,WAAW,EAAE,mFAAmF;IAChG,SAAS,EAAE,MAAM;IACjB,kBAAkB,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;IAC1D,YAAY,CAAC,GAAoB;QAC7B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,sBAAsB,EAAE,CAAC;YACpE,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACjE,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,gCAAW,CAAC,CAAC;QACzD,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,CAAC;IACtD,CAAC;IACD,KAAK,CAAC,GAAoB;QACtB,MAAM,IAAI,GAAG,IAAA,qCAAmB,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC;QACzC,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,gCAAW,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+C,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACvG,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAA,gCAAW,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAEhF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,MAAM,GAAG,IAAA,mDAA8B,EAAC,UAAU,CAAC,CAAC;QAE1D,IAAI,IAAA,2CAAsB,EAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACrD,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAC3D,CAAC;QAED,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAA+C,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAEhG,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,IAAI,CAAC,IAAA,iCAAkB,EAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBAChC,OAAO;oBACH,GAAG,IAAI;oBACP,YAAY,EAAE,CAAC,EAAE,CAAC;oBAClB,QAAQ,EAAE,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,SAAS,oCAAoC,CAAC;iBAChF,CAAC;YACN,CAAC;YACD,IAAI,GAAG,CAAC,MAAM,CAAC,sBAAsB,IAAI,CAAC,IAAA,8CAAyB,EAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxG,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;YAC3D,CAAC;QACL,CAAC;QAED,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,MAAM,YAAY,GAAoB,EAAE,CAAC;QACzC,IAAI,WAAW,GAAG,OAAO,CAAC;QAC1B,IAAI,gBAAgB,GAAG,KAAK,CAAC;QAC7B,IAAI,WAAW,GAAG,KAAK,CAAC;QAExB,IACI,OAAO,CAAC,MAAM,GAAG,CAAC;YAClB,CAAC,MAAM,CAAC,yBAAyB;YACjC,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,GAAG,CAAC,MAAM,CAAC,sBAAsB,CAAC,EACnE,CAAC;YACC,MAAM,WAAW,GACb,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAA,0CAAqB,EAAC,OAAO,CAAC,CAAC;YACnF,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,iCAAkB,CAAC,CAAC;YACtF,IAAI,aAAa,EAAE,CAAC;gBAChB,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,8CAAyB,EAAC,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;gBACrG,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,sBAAsB,EAAE,CAAC;oBACvF,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;gBAC3D,CAAC;gBACD,IAAI,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACpD,MAAM,YAAY,GAAG,IAAA,4BAAkB,EAAC,QAAQ,CAAC,CAAC;oBAClD,WAAW;wBACP,OAAO,CAAC,MAAM,GAAG,CAAC;4BAClB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;oBAChF,IAAI,WAAW,EAAE,CAAC;wBACd,WAAW,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;wBACrD,YAAY,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;oBAClC,CAAC;oBACD,gBAAgB,GAAG,IAAI,CAAC;oBACxB,OAAO,GAAG,IAAI,CAAC;gBACnB,CAAC;YACL,CAAC;QACL,CAAC;QAED,IACI,GAAG,CAAC,MAAM,CAAC,eAAe;YAC1B,EAAE;YACF,EAAE,CAAC,IAAI,KAAK,IAAI;YAChB,IAAA,iCAAkB,EAAC,EAAE,CAAC,KAAK,CAAC;YAC5B,IAAA,8CAAyB,EAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EACjE,CAAC;YACC,gBAAgB,GAAG,IAAI,CAAC;YACxB,OAAO,GAAG,IAAI,CAAC;QACnB,CAAC;QAED,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,gBAAgB,EAAE,CAAC;YACnB,YAAY,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;QACrC,CAAC;QAED,MAAM,QAAQ,GAAoB,EAAE,CAAC;QACrC,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACpB,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YACpD,CAAC;YACD,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YACpD,CAAC;QACL,CAAC;QAED,MAAM,cAAc,GAAG,CAAC,GAAG,UAAU,EAAE,GAAG,WAAW,EAAE,GAAG,QAAQ,CAAC,CAAC;QACpE,MAAM,MAAM,GAAG,IAAA,0CAAqB,EAAC;YACjC,GAAG,GAAG,CAAC,MAAM;YACb,UAAU,EAAE,cAAc;SAC7B,CAAC,CAAC;QAEH,OAAO;YACH,MAAM;YACN,OAAO,EAAE,IAAI;YACb,aAAa,EAAE,KAAK;YACpB,YAAY;YACZ,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,EAAE;SACf,CAAC;IACN,CAAC;CACJ,CAAC"}

package/dist/predicate/capabilities/range/range-range.d.ts

@@ -0,0 +1,3 @@
+import type { PredicateCapability } from "../shared/capability-types";
+export declare const rangeRangeCapability: PredicateCapability;
+//# sourceMappingURL=range-range.d.ts.map

package/dist/predicate/capabilities/range/range-range.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"range-range.d.ts","sourceRoot":"","sources":["../../../../src/predicate/capabilities/range/range-range.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAkFtE,eAAO,MAAM,oBAAoB,EAAE,mBA0FlC,CAAC"}

package/dist/predicate/capabilities/range/range-range.js

@@ -0,0 +1,154 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.rangeRangeCapability = void 0;
+const build_field_bundle_1 = require("../../ir/build-field-bundle");
+const relation_result_1 = require("../shared/relation-result");
+const bson_compare_1 = require("../../utils/bson-compare");
+function toRangeLower(atom) {
+    if (atom.kind === "gt" || atom.kind === "gte") {
+        return { kind: atom.kind, value: atom.value };
+    }
+    return null;
+}
+function toRangeUpper(atom) {
+    if (atom.kind === "lt" || atom.kind === "lte") {
+        return { kind: atom.kind, value: atom.value };
+    }
+    return null;
+}
+function chooseStrongerLowerBound(lower, p) {
+    if (!lower) {
+        return p;
+    }
+    const cmp = (0, bson_compare_1.compareScalarValues)(p.value, lower.value);
+    if (cmp === null) {
+        return lower;
+    }
+    if (cmp > 0) {
+        return p;
+    }
+    if (cmp < 0) {
+        return lower;
+    }
+    if (p.kind === "gt" && lower.kind === "gte") {
+        return p;
+    }
+    if (p.kind === "gte" && lower.kind === "gt") {
+        return lower;
+    }
+    return lower;
+}
+function chooseStrongerUpperBound(upper, p) {
+    if (!upper) {
+        return p;
+    }
+    const cmp = (0, bson_compare_1.compareScalarValues)(p.value, upper.value);
+    if (cmp === null) {
+        return upper;
+    }
+    if (cmp < 0) {
+        return p;
+    }
+    if (cmp > 0) {
+        return upper;
+    }
+    if (p.kind === "lt" && upper.kind === "lte") {
+        return p;
+    }
+    if (p.kind === "lte" && upper.kind === "lt") {
+        return upper;
+    }
+    return upper;
+}
+function rangeAtomFromLower(lower) {
+    if (lower.kind === "gt") {
+        return { kind: "gt", value: lower.value };
+    }
+    return { kind: "gte", value: lower.value };
+}
+function rangeAtomFromUpper(upper) {
+    if (upper.kind === "lt") {
+        return { kind: "lt", value: upper.value };
+    }
+    return { kind: "lte", value: upper.value };
+}
+exports.rangeRangeCapability = {
+    id: "range.range",
+    description: "Merge multiple range bounds on the same field",
+    riskLevel: "safe",
+    supportedAtomKinds: ["gt", "gte", "lt", "lte"],
+    isApplicable(ctx) {
+        if (!ctx.engine.mergeComparable && !ctx.engine.collapseContradictions) {
+            return false;
+        }
+        const rangeCount = ctx.bundle.predicates.filter((a) => a.kind === "gt" || a.kind === "gte" || a.kind === "lt" || a.kind === "lte").length;
+        return rangeCount >= 2;
+    },
+    apply(ctx) {
+        const base = (0, relation_result_1.emptyRelationResult)(ctx.bundle);
+        let lower = null;
+        let upper = null;
+        const others = [];
+        for (const p of ctx.bundle.predicates) {
+            const asLower = toRangeLower(p);
+            if (asLower) {
+                if (!(0, bson_compare_1.isComparableScalar)(asLower.value)) {
+                    return {
+                        ...base,
+                        warnings: [`field ${ctx.bundle.fieldPath}: predicate ${asLower.kind} is not comparable`],
+                        skippedAtoms: [p],
+                    };
+                }
+                lower = chooseStrongerLowerBound(lower, asLower);
+                continue;
+            }
+            const asUpper = toRangeUpper(p);
+            if (asUpper) {
+                if (!(0, bson_compare_1.isComparableScalar)(asUpper.value)) {
+                    return {
+                        ...base,
+                        warnings: [`field ${ctx.bundle.fieldPath}: predicate ${asUpper.kind} is not comparable`],
+                        skippedAtoms: [p],
+                    };
+                }
+                upper = chooseStrongerUpperBound(upper, asUpper);
+                continue;
+            }
+            others.push(p);
+        }
+        if (lower && upper) {
+            const cmp = (0, bson_compare_1.compareScalarValues)(lower.value, upper.value);
+            if (cmp === 1) {
+                return { ...base, contradiction: true, changed: true };
+            }
+            if (cmp === 0 && (lower.kind === "gt" || upper.kind === "lt")) {
+                return { ...base, contradiction: true, changed: true };
+            }
+        }
+        const hadMultipleRange = ctx.bundle.predicates.filter((a) => a.kind === "gt" || a.kind === "gte" || a.kind === "lt" || a.kind === "lte").length >= 2;
+        if (!hadMultipleRange) {
+            return base;
+        }
+        const mergedRange = [];
+        if (lower) {
+            mergedRange.push(rangeAtomFromLower(lower));
+        }
+        if (upper) {
+            mergedRange.push(rangeAtomFromUpper(upper));
+        }
+        const nextPredicates = [...others, ...mergedRange];
+        const bundle = (0, build_field_bundle_1.refreshBundleMetadata)({
+            ...ctx.bundle,
+            predicates: nextPredicates,
+        });
+        return {
+            bundle,
+            changed: true,
+            contradiction: false,
+            coveredAtoms: [],
+            skippedAtoms: [],
+            warnings: [],
+        };
+    },
+};
+//# sourceMappingURL=range-range.js.map

package/dist/predicate/capabilities/range/range-range.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"range-range.js","sourceRoot":"","sources":["../../../../src/predicate/capabilities/range/range-range.ts"],"names":[],"mappings":";;;AAAA,oEAAoE;AAIpE,+DAAqF;AACrF,2DAAmF;AAKnF,SAAS,YAAY,CAAC,IAAmB;IACrC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,IAAmB;IACrC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,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,kCAAmB,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,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC1C,OAAO,CAAC,CAAC;IACb,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC1C,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,kCAAmB,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,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC1C,OAAO,CAAC,CAAC;IACb,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC1C,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAiB;IACzC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAiB;IACzC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;AAC/C,CAAC;AAEY,QAAA,oBAAoB,GAAwB;IACrD,EAAE,EAAE,aAAa;IACjB,WAAW,EAAE,+CAA+C;IAC5D,SAAS,EAAE,MAAM;IACjB,kBAAkB,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;IAC9C,YAAY,CAAC,GAAoB;QAC7B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,sBAAsB,EAAE,CAAC;YACpE,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAC3C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CACpF,CAAC,MAAM,CAAC;QACT,OAAO,UAAU,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,KAAK,CAAC,GAAoB;QACtB,MAAM,IAAI,GAAG,IAAA,qCAAmB,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,KAAK,GAAsB,IAAI,CAAC;QACpC,IAAI,KAAK,GAAsB,IAAI,CAAC;QACpC,MAAM,MAAM,GAAoB,EAAE,CAAC;QAEnC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YACpC,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,OAAO,EAAE,CAAC;gBACV,IAAI,CAAC,IAAA,iCAAkB,EAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBACrC,OAAO;wBACH,GAAG,IAAI;wBACP,QAAQ,EAAE,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,SAAS,eAAe,OAAO,CAAC,IAAI,oBAAoB,CAAC;wBACxF,YAAY,EAAE,CAAC,CAAC,CAAC;qBACpB,CAAC;gBACN,CAAC;gBACD,KAAK,GAAG,wBAAwB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBACjD,SAAS;YACb,CAAC;YACD,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,OAAO,EAAE,CAAC;gBACV,IAAI,CAAC,IAAA,iCAAkB,EAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBACrC,OAAO;wBACH,GAAG,IAAI;wBACP,QAAQ,EAAE,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,SAAS,eAAe,OAAO,CAAC,IAAI,oBAAoB,CAAC;wBACxF,YAAY,EAAE,CAAC,CAAC,CAAC;qBACpB,CAAC;gBACN,CAAC;gBACD,KAAK,GAAG,wBAAwB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBACjD,SAAS;YACb,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC;QAED,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;YACjB,MAAM,GAAG,GAAG,IAAA,kCAAmB,EAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC1D,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;gBACZ,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;YAC3D,CAAC;YACD,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;gBAC5D,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;YAC3D,CAAC;QACL,CAAC;QAED,MAAM,gBAAgB,GAClB,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CACxB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CACpF,CAAC,MAAM,IAAI,CAAC,CAAC;QAElB,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACpB,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,WAAW,GAAoB,EAAE,CAAC;QACxC,IAAI,KAAK,EAAE,CAAC;YACR,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACR,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC;QAChD,CAAC;QAED,MAAM,cAAc,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,IAAA,0CAAqB,EAAC;YACjC,GAAG,GAAG,CAAC,MAAM;YACb,UAAU,EAAE,cAAc;SAC7B,CAAC,CAAC;QAEH,OAAO;YACH,MAAM;YACN,OAAO,EAAE,IAAI;YACb,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,EAAE;YAChB,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,EAAE;SACf,CAAC;IACN,CAAC;CACJ,CAAC"}

package/dist/predicate/capabilities/shared/capability-types.d.ts

@@ -0,0 +1,11 @@
+import type { RelationContext } from "./relation-context";
+import type { RelationResult } from "./relation-result";
+export type PredicateCapability = {
+    id: string;
+    description: string;
+    riskLevel: "safe" | "guarded" | "provisional";
+    supportedAtomKinds: string[];
+    isApplicable: (ctx: RelationContext) => boolean;
+    apply: (ctx: RelationContext) => RelationResult;
+};
+//# sourceMappingURL=capability-types.d.ts.map

package/dist/predicate/capabilities/shared/capability-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability-types.d.ts","sourceRoot":"","sources":["../../../../src/predicate/capabilities/shared/capability-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,MAAM,MAAM,mBAAmB,GAAG;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa,CAAC;IAC9C,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,YAAY,EAAE,CAAC,GAAG,EAAE,eAAe,KAAK,OAAO,CAAC;IAChD,KAAK,EAAE,CAAC,GAAG,EAAE,eAAe,KAAK,cAAc,CAAC;CACnD,CAAC"}

package/dist/predicate/capabilities/shared/capability-types.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=capability-types.js.map

package/dist/predicate/capabilities/shared/capability-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability-types.js","sourceRoot":"","sources":["../../../../src/predicate/capabilities/shared/capability-types.ts"],"names":[],"mappings":""}

package/dist/predicate/capabilities/shared/relation-context.d.ts

@@ -0,0 +1,13 @@
+import type { FieldPredicateBundle } from "../../ir/field-predicate-bundle";
+import type { PredicateSafetyPolicy } from "../../safety/predicate-safety-policy";
+export type PredicateEngineFlags = {
+    dedupeAtoms: boolean;
+    mergeComparable: boolean;
+    collapseContradictions: boolean;
+};
+export type RelationContext = {
+    bundle: FieldPredicateBundle;
+    safety: PredicateSafetyPolicy;
+    engine: PredicateEngineFlags;
+};
+//# sourceMappingURL=relation-context.d.ts.map

package/dist/predicate/capabilities/shared/relation-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relation-context.d.ts","sourceRoot":"","sources":["../../../../src/predicate/capabilities/shared/relation-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAElF,MAAM,MAAM,oBAAoB,GAAG;IAC/B,WAAW,EAAE,OAAO,CAAC;IACrB,eAAe,EAAE,OAAO,CAAC;IACzB,sBAAsB,EAAE,OAAO,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,MAAM,EAAE,qBAAqB,CAAC;IAC9B,MAAM,EAAE,oBAAoB,CAAC;CAChC,CAAC"}

package/dist/predicate/capabilities/shared/relation-context.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=relation-context.js.map

package/dist/predicate/capabilities/shared/relation-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relation-context.js","sourceRoot":"","sources":["../../../../src/predicate/capabilities/shared/relation-context.ts"],"names":[],"mappings":""}

package/dist/predicate/capabilities/shared/relation-result.d.ts

@@ -0,0 +1,12 @@
+import type { FieldPredicateBundle } from "../../ir/field-predicate-bundle";
+import type { PredicateAtom } from "../../ir/predicate-atom";
+export type RelationResult = {
+    bundle: FieldPredicateBundle;
+    changed: boolean;
+    contradiction: boolean;
+    coveredAtoms: PredicateAtom[];
+    skippedAtoms: PredicateAtom[];
+    warnings: string[];
+};
+export declare function emptyRelationResult(bundle: FieldPredicateBundle): RelationResult;
+//# sourceMappingURL=relation-result.d.ts.map

package/dist/predicate/capabilities/shared/relation-result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relation-result.d.ts","sourceRoot":"","sources":["../../../../src/predicate/capabilities/shared/relation-result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAE7D,MAAM,MAAM,cAAc,GAAG;IACzB,MAAM,EAAE,oBAAoB,CAAC;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,aAAa,EAAE,OAAO,CAAC;IACvB,YAAY,EAAE,aAAa,EAAE,CAAC;IAC9B,YAAY,EAAE,aAAa,EAAE,CAAC;IAC9B,QAAQ,EAAE,MAAM,EAAE,CAAC;CACtB,CAAC;AAEF,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,oBAAoB,GAAG,cAAc,CAShF"}

package/dist/predicate/capabilities/shared/relation-result.js

@@ -0,0 +1,14 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.emptyRelationResult = emptyRelationResult;
+function emptyRelationResult(bundle) {
+    return {
+        bundle,
+        changed: false,
+        contradiction: false,
+        coveredAtoms: [],
+        skippedAtoms: [],
+        warnings: [],
+    };
+}
+//# sourceMappingURL=relation-result.js.map

package/dist/predicate/capabilities/shared/relation-result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relation-result.js","sourceRoot":"","sources":["../../../../src/predicate/capabilities/shared/relation-result.ts"],"names":[],"mappings":";;AAYA,kDASC;AATD,SAAgB,mBAAmB,CAAC,MAA4B;IAC5D,OAAO;QACH,MAAM;QACN,OAAO,EAAE,KAAK;QACd,aAAa,EAAE,KAAK;QACpB,YAAY,EAAE,EAAE;QAChB,YAAY,EAAE,EAAE;QAChB,QAAQ,EAAE,EAAE;KACf,CAAC;AACN,CAAC"}

package/dist/predicate/index.d.ts

@@ -0,0 +1,12 @@
+export type { PredicateAtom } from "./ir/predicate-atom";
+export type { FieldPredicateBundle, FieldPredicateBundleMetadata } from "./ir/field-predicate-bundle";
+export { buildFieldPredicateBundleFromFieldNode, cloneBundle, refreshBundleMetadata } from "./ir/build-field-bundle";
+export { compileFieldPredicateBundleToAst } from "./ir/compile-field-bundle";
+export type { LocalNormalizeResult } from "./local-normalize-result";
+export { normalizeFieldPredicateBundle, detectLocalContradiction, detectLocalCoverage, analyzeFieldPredicateBundle, compileLocalNormalizeResultToAst, type NormalizeFieldPredicateBundleOptions, } from "./normalize-field-predicate-bundle";
+export { DEFAULT_PREDICATE_SAFETY_POLICY, type PredicateSafetyPolicy } from "./safety/predicate-safety-policy";
+export { getDefaultPredicateCapabilities } from "./registry/predicate-capability-registry";
+export type { PredicateCapability } from "./capabilities/shared/capability-types";
+export type { RelationContext, PredicateEngineFlags } from "./capabilities/shared/relation-context";
+export { planRelations } from "./planner/relation-planner";
+//# sourceMappingURL=index.d.ts.map

package/dist/predicate/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/predicate/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,YAAY,EAAE,oBAAoB,EAAE,4BAA4B,EAAE,MAAM,6BAA6B,CAAC;AACtG,OAAO,EAAE,sCAAsC,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AACrH,OAAO,EAAE,gCAAgC,EAAE,MAAM,2BAA2B,CAAC;AAC7E,YAAY,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EACH,6BAA6B,EAC7B,wBAAwB,EACxB,mBAAmB,EACnB,2BAA2B,EAC3B,gCAAgC,EAChC,KAAK,oCAAoC,GAC5C,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,+BAA+B,EAAE,KAAK,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAC/G,OAAO,EAAE,+BAA+B,EAAE,MAAM,0CAA0C,CAAC;AAC3F,YAAY,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAClF,YAAY,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AACpG,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC"}

package/dist/predicate/index.js

@@ -0,0 +1,22 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.planRelations = exports.getDefaultPredicateCapabilities = exports.DEFAULT_PREDICATE_SAFETY_POLICY = exports.compileLocalNormalizeResultToAst = exports.analyzeFieldPredicateBundle = exports.detectLocalCoverage = exports.detectLocalContradiction = exports.normalizeFieldPredicateBundle = exports.compileFieldPredicateBundleToAst = exports.refreshBundleMetadata = exports.cloneBundle = exports.buildFieldPredicateBundleFromFieldNode = void 0;
+var build_field_bundle_1 = require("./ir/build-field-bundle");
+Object.defineProperty(exports, "buildFieldPredicateBundleFromFieldNode", { enumerable: true, get: function () { return build_field_bundle_1.buildFieldPredicateBundleFromFieldNode; } });
+Object.defineProperty(exports, "cloneBundle", { enumerable: true, get: function () { return build_field_bundle_1.cloneBundle; } });
+Object.defineProperty(exports, "refreshBundleMetadata", { enumerable: true, get: function () { return build_field_bundle_1.refreshBundleMetadata; } });
+var compile_field_bundle_1 = require("./ir/compile-field-bundle");
+Object.defineProperty(exports, "compileFieldPredicateBundleToAst", { enumerable: true, get: function () { return compile_field_bundle_1.compileFieldPredicateBundleToAst; } });
+var normalize_field_predicate_bundle_1 = require("./normalize-field-predicate-bundle");
+Object.defineProperty(exports, "normalizeFieldPredicateBundle", { enumerable: true, get: function () { return normalize_field_predicate_bundle_1.normalizeFieldPredicateBundle; } });
+Object.defineProperty(exports, "detectLocalContradiction", { enumerable: true, get: function () { return normalize_field_predicate_bundle_1.detectLocalContradiction; } });
+Object.defineProperty(exports, "detectLocalCoverage", { enumerable: true, get: function () { return normalize_field_predicate_bundle_1.detectLocalCoverage; } });
+Object.defineProperty(exports, "analyzeFieldPredicateBundle", { enumerable: true, get: function () { return normalize_field_predicate_bundle_1.analyzeFieldPredicateBundle; } });
+Object.defineProperty(exports, "compileLocalNormalizeResultToAst", { enumerable: true, get: function () { return normalize_field_predicate_bundle_1.compileLocalNormalizeResultToAst; } });
+var predicate_safety_policy_1 = require("./safety/predicate-safety-policy");
+Object.defineProperty(exports, "DEFAULT_PREDICATE_SAFETY_POLICY", { enumerable: true, get: function () { return predicate_safety_policy_1.DEFAULT_PREDICATE_SAFETY_POLICY; } });
+var predicate_capability_registry_1 = require("./registry/predicate-capability-registry");
+Object.defineProperty(exports, "getDefaultPredicateCapabilities", { enumerable: true, get: function () { return predicate_capability_registry_1.getDefaultPredicateCapabilities; } });
+var relation_planner_1 = require("./planner/relation-planner");
+Object.defineProperty(exports, "planRelations", { enumerable: true, get: function () { return relation_planner_1.planRelations; } });
+//# sourceMappingURL=index.js.map

package/dist/predicate/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/predicate/index.ts"],"names":[],"mappings":";;;AAEA,8DAAqH;AAA5G,4IAAA,sCAAsC,OAAA;AAAE,iHAAA,WAAW,OAAA;AAAE,2HAAA,qBAAqB,OAAA;AACnF,kEAA6E;AAApE,wIAAA,gCAAgC,OAAA;AAEzC,uFAO4C;AANxC,iJAAA,6BAA6B,OAAA;AAC7B,4IAAA,wBAAwB,OAAA;AACxB,uIAAA,mBAAmB,OAAA;AACnB,+IAAA,2BAA2B,OAAA;AAC3B,oJAAA,gCAAgC,OAAA;AAGpC,4EAA+G;AAAtG,0IAAA,+BAA+B,OAAA;AACxC,0FAA2F;AAAlF,gJAAA,+BAA+B,OAAA;AAGxC,+DAA2D;AAAlD,iHAAA,aAAa,OAAA"}

package/dist/predicate/ir/build-field-bundle.d.ts

@@ -0,0 +1,7 @@
+import type { FieldNode } from "../../ast/types";
+import type { FieldPredicateBundle } from "./field-predicate-bundle";
+export declare function buildFieldPredicateBundleFromFieldNode(node: FieldNode): FieldPredicateBundle;
+export declare function cloneBundle(bundle: FieldPredicateBundle): FieldPredicateBundle;
+export declare function refreshBundleMetadata(bundle: FieldPredicateBundle): FieldPredicateBundle;
+export declare function detectUnsupportedMix(bundle: FieldPredicateBundle): boolean;
+//# sourceMappingURL=build-field-bundle.d.ts.map

package/dist/predicate/ir/build-field-bundle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-field-bundle.d.ts","sourceRoot":"","sources":["../../../src/predicate/ir/build-field-bundle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAkB,MAAM,iBAAiB,CAAC;AAKjE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAgDrE,wBAAgB,sCAAsC,CAAC,IAAI,EAAE,SAAS,GAAG,oBAAoB,CAgB5F;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,oBAAoB,GAAG,oBAAoB,CAQ9E;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,oBAAoB,GAAG,oBAAoB,CAKxF;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,oBAAoB,GAAG,OAAO,CAE1E"}

package/dist/predicate/ir/build-field-bundle.js

@@ -0,0 +1,88 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildFieldPredicateBundleFromFieldNode = buildFieldPredicateBundleFromFieldNode;
+exports.cloneBundle = cloneBundle;
+exports.refreshBundleMetadata = refreshBundleMetadata;
+exports.detectUnsupportedMix = detectUnsupportedMix;
+const detect_array_sensitive_1 = require("../analysis/detect-array-sensitive");
+const detect_path_conflict_risk_1 = require("../analysis/detect-path-conflict-risk");
+const detect_null_sensitive_1 = require("../analysis/detect-null-sensitive");
+const detect_opaque_mix_1 = require("../analysis/detect-opaque-mix");
+function fieldPredicateToAtom(predicate) {
+    if (predicate.opaque || predicate.op === "raw") {
+        return { kind: "opaque", operator: predicate.op, raw: predicate.value };
+    }
+    switch (predicate.op) {
+        case "$eq":
+            return { kind: "eq", value: predicate.value };
+        case "$ne":
+            return { kind: "ne", value: predicate.value };
+        case "$in":
+            return {
+                kind: "in",
+                values: Array.isArray(predicate.value) ? [...predicate.value] : [predicate.value],
+            };
+        case "$nin":
+            return {
+                kind: "nin",
+                values: Array.isArray(predicate.value) ? [...predicate.value] : [predicate.value],
+            };
+        case "$gt":
+            return { kind: "gt", value: predicate.value };
+        case "$gte":
+            return { kind: "gte", value: predicate.value };
+        case "$lt":
+            return { kind: "lt", value: predicate.value };
+        case "$lte":
+            return { kind: "lte", value: predicate.value };
+        case "$exists":
+            return { kind: "exists", value: Boolean(predicate.value) };
+        default:
+            return { kind: "opaque", operator: predicate.op, raw: predicate.value };
+    }
+}
+function computeMetadata(bundle) {
+    const hasUnsupportedOperators = bundle.predicates.some((a) => a.kind === "opaque");
+    return {
+        hasArraySensitiveSemantics: (0, detect_array_sensitive_1.detectArraySensitiveSemantics)(bundle),
+        hasNullSemantics: (0, detect_null_sensitive_1.detectNullSensitiveSemantics)(bundle),
+        hasUnsupportedOperators,
+        hasDottedPathConflictRisk: (0, detect_path_conflict_risk_1.detectDottedPathConflictRisk)(bundle),
+    };
+}
+function buildFieldPredicateBundleFromFieldNode(node) {
+    const predicates = node.predicates.map(fieldPredicateToAtom);
+    const bundle = {
+        fieldPath: node.field,
+        sourceNodes: [node],
+        predicates,
+        opaqueNodes: [],
+        metadata: {
+            hasArraySensitiveSemantics: false,
+            hasNullSemantics: false,
+            hasUnsupportedOperators: false,
+            hasDottedPathConflictRisk: false,
+        },
+    };
+    bundle.metadata = computeMetadata(bundle);
+    return bundle;
+}
+function cloneBundle(bundle) {
+    return {
+        fieldPath: bundle.fieldPath,
+        sourceNodes: [...bundle.sourceNodes],
+        predicates: [...bundle.predicates],
+        opaqueNodes: [...bundle.opaqueNodes],
+        metadata: { ...bundle.metadata },
+    };
+}
+function refreshBundleMetadata(bundle) {
+    return {
+        ...bundle,
+        metadata: computeMetadata(bundle),
+    };
+}
+function detectUnsupportedMix(bundle) {
+    return (0, detect_opaque_mix_1.detectOpaqueMix)(bundle);
+}
+//# sourceMappingURL=build-field-bundle.js.map

package/dist/predicate/ir/build-field-bundle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-field-bundle.js","sourceRoot":"","sources":["../../../src/predicate/ir/build-field-bundle.ts"],"names":[],"mappings":";;AAqDA,wFAgBC;AAED,kCAQC;AAED,sDAKC;AAED,oDAEC;AAzFD,+EAAmF;AACnF,qFAAqF;AACrF,6EAAiF;AACjF,qEAAgE;AAIhE,SAAS,oBAAoB,CAAC,SAAyB;IACnD,IAAI,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QAC7C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;IAC5E,CAAC;IAED,QAAQ,SAAS,CAAC,EAAE,EAAE,CAAC;QACnB,KAAK,KAAK;YACN,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;QAClD,KAAK,KAAK;YACN,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;QAClD,KAAK,KAAK;YACN,OAAO;gBACH,IAAI,EAAE,IAAI;gBACV,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAI,SAAS,CAAC,KAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC;aACnG,CAAC;QACN,KAAK,MAAM;YACP,OAAO;gBACH,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAI,SAAS,CAAC,KAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC;aACnG,CAAC;QACN,KAAK,KAAK;YACN,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;QAClD,KAAK,MAAM;YACP,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;QACnD,KAAK,KAAK;YACN,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;QAClD,KAAK,MAAM;YACP,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;QACnD,KAAK,SAAS;YACV,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/D;YACI,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;IAChF,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,MAA4B;IACjD,MAAM,uBAAuB,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACnF,OAAO;QACH,0BAA0B,EAAE,IAAA,sDAA6B,EAAC,MAAM,CAAC;QACjE,gBAAgB,EAAE,IAAA,oDAA4B,EAAC,MAAM,CAAC;QACtD,uBAAuB;QACvB,yBAAyB,EAAE,IAAA,wDAA4B,EAAC,MAAM,CAAC;KAClE,CAAC;AACN,CAAC;AAED,SAAgB,sCAAsC,CAAC,IAAe;IAClE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAyB;QACjC,SAAS,EAAE,IAAI,CAAC,KAAK;QACrB,WAAW,EAAE,CAAC,IAAI,CAAC;QACnB,UAAU;QACV,WAAW,EAAE,EAAE;QACf,QAAQ,EAAE;YACN,0BAA0B,EAAE,KAAK;YACjC,gBAAgB,EAAE,KAAK;YACvB,uBAAuB,EAAE,KAAK;YAC9B,yBAAyB,EAAE,KAAK;SACnC;KACJ,CAAC;IACF,MAAM,CAAC,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAgB,WAAW,CAAC,MAA4B;IACpD,OAAO;QACH,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,WAAW,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC;QACpC,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC;QAClC,WAAW,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC;QACpC,QAAQ,EAAE,EAAE,GAAG,MAAM,CAAC,QAAQ,EAAE;KACnC,CAAC;AACN,CAAC;AAED,SAAgB,qBAAqB,CAAC,MAA4B;IAC9D,OAAO;QACH,GAAG,MAAM;QACT,QAAQ,EAAE,eAAe,CAAC,MAAM,CAAC;KACpC,CAAC;AACN,CAAC;AAED,SAAgB,oBAAoB,CAAC,MAA4B;IAC7D,OAAO,IAAA,mCAAe,EAAC,MAAM,CAAC,CAAC;AACnC,CAAC"}

package/dist/predicate/ir/compile-field-bundle.d.ts

@@ -0,0 +1,4 @@
+import type { QueryNode } from "../../ast/types";
+import type { FieldPredicateBundle } from "./field-predicate-bundle";
+export declare function compileFieldPredicateBundleToAst(bundle: FieldPredicateBundle, contradiction: boolean): QueryNode;
+//# sourceMappingURL=compile-field-bundle.d.ts.map

package/dist/predicate/ir/compile-field-bundle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile-field-bundle.d.ts","sourceRoot":"","sources":["../../../src/predicate/ir/compile-field-bundle.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAkB,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAkDrE,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,oBAAoB,EAAE,aAAa,EAAE,OAAO,GAAG,SAAS,CAQhH"}

package/dist/predicate/ir/compile-field-bundle.js

@@ -0,0 +1,57 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compileFieldPredicateBundleToAst = compileFieldPredicateBundleToAst;
+const builders_1 = require("../../ast/builders");
+function atomToFieldPredicate(atom) {
+    switch (atom.kind) {
+        case "eq":
+            return { op: "$eq", value: atom.value };
+        case "ne":
+            return { op: "$ne", value: atom.value };
+        case "in":
+            return { op: "$in", value: atom.values };
+        case "nin":
+            return { op: "$nin", value: atom.values };
+        case "gt":
+            return { op: "$gt", value: atom.value };
+        case "gte":
+            return { op: "$gte", value: atom.value };
+        case "lt":
+            return { op: "$lt", value: atom.value };
+        case "lte":
+            return { op: "$lte", value: atom.value };
+        case "exists":
+            return { op: "$exists", value: atom.value };
+        case "opaque":
+            return { op: atom.operator === "raw" ? "raw" : atom.operator, value: atom.raw, opaque: true };
+    }
+}
+const KIND_ORDER = {
+    eq: 0,
+    ne: 1,
+    in: 2,
+    nin: 3,
+    gt: 4,
+    gte: 5,
+    lt: 6,
+    lte: 7,
+    exists: 8,
+    opaque: 9,
+};
+function compareAtomsForStableOrder(a, b) {
+    const ka = KIND_ORDER[a.kind];
+    const kb = KIND_ORDER[b.kind];
+    if (ka !== kb) {
+        return ka - kb;
+    }
+    return 0;
+}
+function compileFieldPredicateBundleToAst(bundle, contradiction) {
+    if (contradiction) {
+        return (0, builders_1.falseNode)();
+    }
+    const sorted = [...bundle.predicates].sort(compareAtomsForStableOrder);
+    const predicates = sorted.map(atomToFieldPredicate);
+    return (0, builders_1.fieldNode)(bundle.fieldPath, predicates);
+}
+//# sourceMappingURL=compile-field-bundle.js.map