mongo-query-normalizer 0.1.0 → 0.2.0

package/dist/predicate/analysis/detect-null-sensitive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"detect-null-sensitive.js","sourceRoot":"","sources":["../../../src/predicate/analysis/detect-null-sensitive.ts"],"names":[],"mappings":";;AAiBA,oEAOC;AArBD,SAAS,YAAY,CAAC,KAAc;IAChC,OAAO,KAAK,KAAK,IAAI,CAAC;AAC1B,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAmB;IAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC3C,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAgB,4BAA4B,CAAC,MAA4B;IACrE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}

package/dist/predicate/analysis/detect-opaque-mix.d.ts

@@ -0,0 +1,3 @@
+import type { FieldPredicateBundle } from "../ir/field-predicate-bundle";
+export declare function detectOpaqueMix(bundle: FieldPredicateBundle): boolean;
+//# sourceMappingURL=detect-opaque-mix.d.ts.map

package/dist/predicate/analysis/detect-opaque-mix.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"detect-opaque-mix.d.ts","sourceRoot":"","sources":["../../../src/predicate/analysis/detect-opaque-mix.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEzE,wBAAgB,eAAe,CAAC,MAAM,EAAE,oBAAoB,GAAG,OAAO,CAIrE"}

package/dist/predicate/analysis/detect-opaque-mix.js

@@ -0,0 +1,9 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.detectOpaqueMix = detectOpaqueMix;
+function detectOpaqueMix(bundle) {
+    const hasOpaqueAtom = bundle.predicates.some((a) => a.kind === "opaque");
+    const hasNonOpaqueAtom = bundle.predicates.some((a) => a.kind !== "opaque");
+    return hasOpaqueAtom && hasNonOpaqueAtom;
+}
+//# sourceMappingURL=detect-opaque-mix.js.map

package/dist/predicate/analysis/detect-opaque-mix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"detect-opaque-mix.js","sourceRoot":"","sources":["../../../src/predicate/analysis/detect-opaque-mix.ts"],"names":[],"mappings":";;AAEA,0CAIC;AAJD,SAAgB,eAAe,CAAC,MAA4B;IACxD,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACzE,MAAM,gBAAgB,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IAC5E,OAAO,aAAa,IAAI,gBAAgB,CAAC;AAC7C,CAAC"}

package/dist/predicate/analysis/detect-path-conflict-risk.d.ts

@@ -0,0 +1,3 @@
+import type { FieldPredicateBundle } from "../ir/field-predicate-bundle";
+export declare function detectDottedPathConflictRisk(bundle: FieldPredicateBundle): boolean;
+//# sourceMappingURL=detect-path-conflict-risk.d.ts.map

package/dist/predicate/analysis/detect-path-conflict-risk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"detect-path-conflict-risk.d.ts","sourceRoot":"","sources":["../../../src/predicate/analysis/detect-path-conflict-risk.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAIzE,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,oBAAoB,GAAG,OAAO,CAQlF"}

package/dist/predicate/analysis/detect-path-conflict-risk.js

@@ -0,0 +1,14 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.detectDottedPathConflictRisk = detectDottedPathConflictRisk;
+const DOT_SEGMENT_NUMERIC = /\.(\d+)(\.|$)/;
+function detectDottedPathConflictRisk(bundle) {
+    if (bundle.fieldPath.includes(".")) {
+        return true;
+    }
+    if (DOT_SEGMENT_NUMERIC.test(bundle.fieldPath)) {
+        return true;
+    }
+    return false;
+}
+//# sourceMappingURL=detect-path-conflict-risk.js.map

package/dist/predicate/analysis/detect-path-conflict-risk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"detect-path-conflict-risk.js","sourceRoot":"","sources":["../../../src/predicate/analysis/detect-path-conflict-risk.ts"],"names":[],"mappings":";;AAIA,oEAQC;AAVD,MAAM,mBAAmB,GAAG,eAAe,CAAC;AAE5C,SAAgB,4BAA4B,CAAC,MAA4B;IACrE,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}

package/dist/predicate/analysis/merge-range-bounds.d.ts

@@ -0,0 +1,27 @@
+import type { PredicateAtom } from "../ir/predicate-atom";
+export type RangeLower = {
+    kind: "gt" | "gte";
+    value: unknown;
+};
+export type RangeUpper = {
+    kind: "lt" | "lte";
+    value: unknown;
+};
+export declare function isRangeAtom(atom: PredicateAtom): atom is Extract<PredicateAtom, {
+    kind: "gt" | "gte" | "lt" | "lte";
+}>;
+export type MergedRangeFromAtoms = {
+    lower: RangeLower | null;
+    upper: RangeUpper | null;
+    rangeAtomCount: number;
+    skippedNonComparableRange: boolean;
+};
+/**
+ * Merges gt/gte/lt/lte atoms (same field) into one lower and one upper bound.
+ */
+export declare function mergeRangeBoundsFromRangeAtoms(rangeAtoms: PredicateAtom[]): MergedRangeFromAtoms;
+export declare function mergedBoundsContradict(lower: RangeLower | null, upper: RangeUpper | null): boolean;
+export declare function valueSatisfiesLowerBound(v: unknown, lower: RangeLower | null): boolean;
+export declare function valueSatisfiesUpperBound(v: unknown, upper: RangeUpper | null): boolean;
+export declare function valueSatisfiesMergedRange(v: unknown, lower: RangeLower | null, upper: RangeUpper | null): boolean;
+//# sourceMappingURL=merge-range-bounds.d.ts.map

package/dist/predicate/analysis/merge-range-bounds.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge-range-bounds.d.ts","sourceRoot":"","sources":["../../../src/predicate/analysis/merge-range-bounds.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAG1D,MAAM,MAAM,UAAU,GAAG;IAAE,IAAI,EAAE,IAAI,GAAG,KAAK,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC;AAChE,MAAM,MAAM,UAAU,GAAG;IAAE,IAAI,EAAE,IAAI,GAAG,KAAK,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC;AAEhE,wBAAgB,WAAW,CAAC,IAAI,EAAE,aAAa,GAAG,IAAI,IAAI,OAAO,CAAC,aAAa,EAAE;IAAE,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAA;CAAE,CAAC,CAEtH;AA8DD,MAAM,MAAM,oBAAoB,GAAG;IAC/B,KAAK,EAAE,UAAU,GAAG,IAAI,CAAC;IACzB,KAAK,EAAE,UAAU,GAAG,IAAI,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,yBAAyB,EAAE,OAAO,CAAC;CACtC,CAAC;AAEF;;GAEG;AACH,wBAAgB,8BAA8B,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,oBAAoB,CA+BhG;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,GAAG,OAAO,CAYlG;AAED,wBAAgB,wBAAwB,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,GAAG,OAAO,CAetF;AAED,wBAAgB,wBAAwB,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,GAAG,OAAO,CAetF;AAED,wBAAgB,yBAAyB,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,GAAG,OAAO,CAEjH"}

package/dist/predicate/analysis/merge-range-bounds.js

@@ -0,0 +1,150 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isRangeAtom = isRangeAtom;
+exports.mergeRangeBoundsFromRangeAtoms = mergeRangeBoundsFromRangeAtoms;
+exports.mergedBoundsContradict = mergedBoundsContradict;
+exports.valueSatisfiesLowerBound = valueSatisfiesLowerBound;
+exports.valueSatisfiesUpperBound = valueSatisfiesUpperBound;
+exports.valueSatisfiesMergedRange = valueSatisfiesMergedRange;
+const compare_values_1 = require("../../utils/compare-values");
+function isRangeAtom(atom) {
+    return atom.kind === "gt" || atom.kind === "gte" || atom.kind === "lt" || atom.kind === "lte";
+}
+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, 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.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, 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.kind === "lt" && upper.kind === "lte") {
+        return p;
+    }
+    if (p.kind === "lte" && upper.kind === "lt") {
+        return upper;
+    }
+    return upper;
+}
+/**
+ * Merges gt/gte/lt/lte atoms (same field) into one lower and one upper bound.
+ */
+function mergeRangeBoundsFromRangeAtoms(rangeAtoms) {
+    let lower = null;
+    let upper = null;
+    let rangeAtomCount = 0;
+    let skippedNonComparableRange = false;
+    for (const p of rangeAtoms) {
+        if (!isRangeAtom(p)) {
+            continue;
+        }
+        rangeAtomCount += 1;
+        const asLower = toRangeLower(p);
+        if (asLower) {
+            if (!(0, compare_values_1.isComparableScalar)(asLower.value)) {
+                skippedNonComparableRange = true;
+                continue;
+            }
+            lower = chooseStrongerLowerBound(lower, asLower);
+            continue;
+        }
+        const asUpper = toRangeUpper(p);
+        if (asUpper) {
+            if (!(0, compare_values_1.isComparableScalar)(asUpper.value)) {
+                skippedNonComparableRange = true;
+                continue;
+            }
+            upper = chooseStrongerUpperBound(upper, asUpper);
+        }
+    }
+    return { lower, upper, rangeAtomCount, skippedNonComparableRange };
+}
+function mergedBoundsContradict(lower, upper) {
+    if (!lower || !upper) {
+        return false;
+    }
+    const cmp = (0, compare_values_1.compareScalarValues)(lower.value, upper.value);
+    if (cmp === 1) {
+        return true;
+    }
+    if (cmp === 0 && (lower.kind === "gt" || upper.kind === "lt")) {
+        return true;
+    }
+    return false;
+}
+function valueSatisfiesLowerBound(v, lower) {
+    if (!lower) {
+        return true;
+    }
+    if (!(0, compare_values_1.isComparableScalar)(v)) {
+        return false;
+    }
+    const cmp = (0, compare_values_1.compareScalarValues)(v, lower.value);
+    if (cmp === null) {
+        return false;
+    }
+    if (lower.kind === "gt") {
+        return cmp > 0;
+    }
+    return cmp >= 0;
+}
+function valueSatisfiesUpperBound(v, upper) {
+    if (!upper) {
+        return true;
+    }
+    if (!(0, compare_values_1.isComparableScalar)(v)) {
+        return false;
+    }
+    const cmp = (0, compare_values_1.compareScalarValues)(v, upper.value);
+    if (cmp === null) {
+        return false;
+    }
+    if (upper.kind === "lt") {
+        return cmp < 0;
+    }
+    return cmp <= 0;
+}
+function valueSatisfiesMergedRange(v, lower, upper) {
+    return valueSatisfiesLowerBound(v, lower) && valueSatisfiesUpperBound(v, upper);
+}
+//# sourceMappingURL=merge-range-bounds.js.map

package/dist/predicate/analysis/merge-range-bounds.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge-range-bounds.js","sourceRoot":"","sources":["../../../src/predicate/analysis/merge-range-bounds.ts"],"names":[],"mappings":";;AAMA,kCAEC;AAwED,wEA+BC;AAED,wDAYC;AAED,4DAeC;AAED,4DAeC;AAED,8DAEC;AAlKD,+DAAqF;AAKrF,SAAgB,WAAW,CAAC,IAAmB;IAC3C,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;AAClG,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,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,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,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,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,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;AASD;;GAEG;AACH,SAAgB,8BAA8B,CAAC,UAA2B;IACtE,IAAI,KAAK,GAAsB,IAAI,CAAC;IACpC,IAAI,KAAK,GAAsB,IAAI,CAAC;IACpC,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,yBAAyB,GAAG,KAAK,CAAC;IAEtC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,SAAS;QACb,CAAC;QACD,cAAc,IAAI,CAAC,CAAC;QACpB,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,OAAO,EAAE,CAAC;YACV,IAAI,CAAC,IAAA,mCAAkB,EAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,yBAAyB,GAAG,IAAI,CAAC;gBACjC,SAAS;YACb,CAAC;YACD,KAAK,GAAG,wBAAwB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACjD,SAAS;QACb,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,OAAO,EAAE,CAAC;YACV,IAAI,CAAC,IAAA,mCAAkB,EAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,yBAAyB,GAAG,IAAI,CAAC;gBACjC,SAAS;YACb,CAAC;YACD,KAAK,GAAG,wBAAwB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACrD,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,yBAAyB,EAAE,CAAC;AACvE,CAAC;AAED,SAAgB,sBAAsB,CAAC,KAAwB,EAAE,KAAwB;IACrF,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,GAAG,GAAG,IAAA,oCAAmB,EAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAgB,wBAAwB,CAAC,CAAU,EAAE,KAAwB;IACzE,IAAI,CAAC,KAAK,EAAE,CAAC;QACT,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,IAAA,mCAAkB,EAAC,CAAC,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,GAAG,GAAG,IAAA,oCAAmB,EAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,GAAG,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,IAAI,CAAC,CAAC;AACpB,CAAC;AAED,SAAgB,wBAAwB,CAAC,CAAU,EAAE,KAAwB;IACzE,IAAI,CAAC,KAAK,EAAE,CAAC;QACT,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,IAAA,mCAAkB,EAAC,CAAC,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,GAAG,GAAG,IAAA,oCAAmB,EAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,GAAG,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,IAAI,CAAC,CAAC;AACpB,CAAC;AAED,SAAgB,yBAAyB,CAAC,CAAU,EAAE,KAAwB,EAAE,KAAwB;IACpG,OAAO,wBAAwB,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,wBAAwB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACpF,CAAC"}

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

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

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

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

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

@@ -0,0 +1,53 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.eqEqCapability = void 0;
+const build_field_bundle_1 = require("../../ir/build-field-bundle");
+const relation_result_1 = require("../shared/relation-result");
+const value_equality_1 = require("../../utils/value-equality");
+function collectEqAtoms(predicates) {
+    return predicates.filter((a) => a.kind === "eq");
+}
+exports.eqEqCapability = {
+    id: "eq.eq",
+    description: "Merge duplicate $eq and detect conflicting $eq on the same field",
+    riskLevel: "safe",
+    supportedAtomKinds: ["eq"],
+    isApplicable(ctx) {
+        if (!ctx.engine.mergeComparable) {
+            return false;
+        }
+        return collectEqAtoms(ctx.bundle.predicates).length >= 2;
+    },
+    apply(ctx) {
+        const base = (0, relation_result_1.emptyRelationResult)(ctx.bundle);
+        const eqs = collectEqAtoms(ctx.bundle.predicates);
+        if (eqs.length < 2) {
+            return base;
+        }
+        const first = eqs[0];
+        for (let i = 1; i < eqs.length; i += 1) {
+            if (!(0, value_equality_1.valuesEqual)(first.value, eqs[i].value)) {
+                return {
+                    ...base,
+                    contradiction: true,
+                    changed: true,
+                };
+            }
+        }
+        const rest = ctx.bundle.predicates.filter((a) => a.kind !== "eq");
+        const covered = eqs.slice(1);
+        const next = (0, build_field_bundle_1.refreshBundleMetadata)({
+            ...ctx.bundle,
+            predicates: [first, ...rest],
+        });
+        return {
+            bundle: next,
+            changed: true,
+            contradiction: false,
+            coveredAtoms: covered,
+            skippedAtoms: [],
+            warnings: [],
+        };
+    },
+};
+//# sourceMappingURL=eq-eq.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"eq-eq.js","sourceRoot":"","sources":["../../../../src/predicate/capabilities/eq/eq-eq.ts"],"names":[],"mappings":";;;AAAA,oEAAoE;AAIpE,+DAAqF;AACrF,+DAAyD;AAEzD,SAAS,cAAc,CAAC,UAA2B;IAC/C,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+C,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAClG,CAAC;AAEY,QAAA,cAAc,GAAwB;IAC/C,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,kEAAkE;IAC/E,SAAS,EAAE,MAAM;IACjB,kBAAkB,EAAE,CAAC,IAAI,CAAC;IAC1B,YAAY,CAAC,GAAoB;QAC7B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;YAC9B,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;IAC7D,CAAC;IACD,KAAK,CAAC,GAAoB;QACtB,MAAM,IAAI,GAAG,IAAA,qCAAmB,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjB,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,IAAI,CAAC,IAAA,4BAAW,EAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1C,OAAO;oBACH,GAAG,IAAI;oBACP,aAAa,EAAE,IAAI;oBACnB,OAAO,EAAE,IAAI;iBAChB,CAAC;YACN,CAAC;QACL,CAAC;QAED,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAA,0CAAqB,EAAC;YAC/B,GAAG,GAAG,CAAC,MAAM;YACb,UAAU,EAAE,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC;SAC/B,CAAC,CAAC;QAEH,OAAO;YACH,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,IAAI;YACb,aAAa,EAAE,KAAK;YACpB,YAAY,EAAE,OAAO;YACrB,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,EAAE;SACf,CAAC;IACN,CAAC;CACJ,CAAC"}

package/dist/predicate/capabilities/eq/eq-in.d.ts

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

package/dist/predicate/capabilities/eq/eq-in.d.ts.map

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

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

@@ -0,0 +1,117 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.eqInCapability = void 0;
+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");
+function normalizeInAtoms(predicates) {
+    let changed = false;
+    const next = [];
+    for (const atom of predicates) {
+        if (atom.kind === "in") {
+            const uniq = (0, set_ops_1.uniqueUnknownArray)(atom.values);
+            if (uniq.length !== atom.values.length) {
+                changed = true;
+                next.push({ kind: "in", values: uniq });
+            }
+            else {
+                next.push(atom);
+            }
+        }
+        else {
+            next.push(atom);
+        }
+    }
+    return { next, changed };
+}
+exports.eqInCapability = {
+    id: "eq.in",
+    description: "Intersect $in lists; require $eq ∈ $in or fold contradiction; drop redundant $in under $eq",
+    riskLevel: "guarded",
+    supportedAtomKinds: ["eq", "in"],
+    isApplicable(ctx) {
+        const hasIn = ctx.bundle.predicates.some((a) => a.kind === "in");
+        if (!hasIn) {
+            return false;
+        }
+        const eq = ctx.bundle.predicates.find((a) => a.kind === "eq");
+        const needsMerge = ctx.engine.mergeComparable;
+        const needsCollapse = ctx.engine.collapseContradictions && Boolean(eq);
+        if (!needsMerge && !needsCollapse) {
+            return false;
+        }
+        if (ctx.bundle.metadata.hasArraySensitiveSemantics && !ctx.safety.allowArraySensitiveRewrite) {
+            return false;
+        }
+        return true;
+    },
+    apply(ctx) {
+        const base = (0, relation_result_1.emptyRelationResult)(ctx.bundle);
+        let predicates = ctx.bundle.predicates;
+        let changed = false;
+        const coveredAtoms = [];
+        if (ctx.engine.mergeComparable) {
+            const normalized = normalizeInAtoms(predicates);
+            predicates = normalized.next;
+            changed = normalized.changed;
+        }
+        let ins = predicates.filter((a) => a.kind === "in");
+        if (ctx.engine.mergeComparable && ins.length >= 2) {
+            const prevIns = [...ins];
+            const intersected = (0, intersect_in_lists_1.intersectInAtomValues)(ins);
+            const uniq = (0, set_ops_1.uniqueUnknownArray)(intersected);
+            if (uniq.length === 0) {
+                if (ctx.engine.collapseContradictions) {
+                    return {
+                        ...base,
+                        bundle: (0, build_field_bundle_1.refreshBundleMetadata)({ ...ctx.bundle, predicates }),
+                        contradiction: true,
+                        changed: true,
+                    };
+                }
+            }
+            else {
+                predicates = [...predicates.filter((a) => a.kind !== "in"), { kind: "in", values: uniq }];
+                coveredAtoms.push(...prevIns);
+                changed = true;
+                ins = predicates.filter((a) => a.kind === "in");
+            }
+        }
+        const eq = predicates.find((a) => a.kind === "eq");
+        if (ctx.engine.collapseContradictions && eq && eq.kind === "eq") {
+            for (const inAtom of ins) {
+                const found = inAtom.values.some((item) => (0, value_equality_1.valuesEqual)(item, eq.value));
+                if (!found) {
+                    return {
+                        ...base,
+                        bundle: (0, build_field_bundle_1.refreshBundleMetadata)({ ...ctx.bundle, predicates }),
+                        contradiction: true,
+                        changed: true,
+                    };
+                }
+            }
+        }
+        if (ctx.engine.mergeComparable && eq && eq.kind === "eq" && ins.length > 0) {
+            const allInsRedundant = ins.every((inAtom) => inAtom.values.some((item) => (0, value_equality_1.valuesEqual)(item, eq.value)));
+            if (allInsRedundant) {
+                coveredAtoms.push(...ins);
+                predicates = predicates.filter((a) => a.kind !== "in");
+                changed = true;
+            }
+        }
+        if (!changed) {
+            return base;
+        }
+        return {
+            bundle: (0, build_field_bundle_1.refreshBundleMetadata)({ ...ctx.bundle, predicates }),
+            changed: true,
+            contradiction: false,
+            coveredAtoms,
+            skippedAtoms: [],
+            warnings: [],
+        };
+    },
+};
+//# sourceMappingURL=eq-in.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"eq-in.js","sourceRoot":"","sources":["../../../../src/predicate/capabilities/eq/eq-in.ts"],"names":[],"mappings":";;;AAAA,oEAAoE;AAIpE,+DAAqF;AACrF,uEAAuE;AACvE,iDAAyD;AACzD,+DAAyD;AAEzD,SAAS,gBAAgB,CAAC,UAA2B;IACjD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,IAAA,4BAAkB,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7C,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;gBACrC,OAAO,GAAG,IAAI,CAAC;gBACf,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5C,CAAC;iBAAM,CAAC;gBACJ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpB,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAEY,QAAA,cAAc,GAAwB;IAC/C,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,4FAA4F;IACzG,SAAS,EAAE,SAAS;IACpB,kBAAkB,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;IAChC,YAAY,CAAC,GAAoB;QAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACjE,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC9D,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC;QAC9C,MAAM,aAAa,GAAG,GAAG,CAAC,MAAM,CAAC,sBAAsB,IAAI,OAAO,CAAC,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,UAAU,IAAI,CAAC,aAAa,EAAE,CAAC;YAChC,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,0BAA0B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,0BAA0B,EAAE,CAAC;YAC3F,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,KAAK,CAAC,GAAoB;QACtB,MAAM,IAAI,GAAG,IAAA,qCAAmB,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC;QACvC,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,MAAM,YAAY,GAAoB,EAAE,CAAC;QAEzC,IAAI,GAAG,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;YAC7B,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;YAChD,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC;YAC7B,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC;QACjC,CAAC;QAED,IAAI,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+C,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAEjG,IAAI,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAChD,MAAM,OAAO,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;YACzB,MAAM,WAAW,GAAG,IAAA,0CAAqB,EAAC,GAAG,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,IAAA,4BAAkB,EAAC,WAAW,CAAC,CAAC;YAC7C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpB,IAAI,GAAG,CAAC,MAAM,CAAC,sBAAsB,EAAE,CAAC;oBACpC,OAAO;wBACH,GAAG,IAAI;wBACP,MAAM,EAAE,IAAA,0CAAqB,EAAC,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC;wBAC5D,aAAa,EAAE,IAAI;wBACnB,OAAO,EAAE,IAAI;qBAChB,CAAC;gBACN,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,UAAU,GAAG,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1F,YAAY,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;gBAC9B,OAAO,GAAG,IAAI,CAAC;gBACf,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+C,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YACjG,CAAC;QACL,CAAC;QAED,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAEnD,IAAI,GAAG,CAAC,MAAM,CAAC,sBAAsB,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC9D,KAAK,MAAM,MAAM,IAAI,GAAG,EAAE,CAAC;gBACvB,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,4BAAW,EAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;gBACxE,IAAI,CAAC,KAAK,EAAE,CAAC;oBACT,OAAO;wBACH,GAAG,IAAI;wBACP,MAAM,EAAE,IAAA,0CAAqB,EAAC,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC;wBAC5D,aAAa,EAAE,IAAI;wBACnB,OAAO,EAAE,IAAI;qBAChB,CAAC;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAED,IAAI,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzE,MAAM,eAAe,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,4BAAW,EAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACzG,IAAI,eAAe,EAAE,CAAC;gBAClB,YAAY,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC1B,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;gBACvD,OAAO,GAAG,IAAI,CAAC;YACnB,CAAC;QACL,CAAC;QAED,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,OAAO;YACH,MAAM,EAAE,IAAA,0CAAqB,EAAC,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC;YAC5D,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/eq/eq-ne.d.ts

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

package/dist/predicate/capabilities/eq/eq-ne.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"eq-ne.d.ts","sourceRoot":"","sources":["../../../../src/predicate/capabilities/eq/eq-ne.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAKtE,eAAO,MAAM,cAAc,EAAE,mBAgC5B,CAAC"}

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

@@ -0,0 +1,37 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.eqNeCapability = void 0;
+const relation_result_1 = require("../shared/relation-result");
+const value_equality_1 = require("../../utils/value-equality");
+exports.eqNeCapability = {
+    id: "eq.ne",
+    description: "Detect $eq vs $ne on the same value",
+    riskLevel: "safe",
+    supportedAtomKinds: ["eq", "ne"],
+    isApplicable(ctx) {
+        if (!ctx.engine.collapseContradictions) {
+            return false;
+        }
+        const hasEq = ctx.bundle.predicates.some((a) => a.kind === "eq");
+        const hasNe = ctx.bundle.predicates.some((a) => a.kind === "ne");
+        return hasEq && hasNe;
+    },
+    apply(ctx) {
+        const base = (0, relation_result_1.emptyRelationResult)(ctx.bundle);
+        const eq = ctx.bundle.predicates.find((a) => a.kind === "eq");
+        if (!eq || eq.kind !== "eq") {
+            return base;
+        }
+        for (const atom of ctx.bundle.predicates) {
+            if (atom.kind === "ne" && (0, value_equality_1.valuesEqual)(eq.value, atom.value)) {
+                return {
+                    ...base,
+                    contradiction: true,
+                    changed: true,
+                };
+            }
+        }
+        return base;
+    },
+};
+//# sourceMappingURL=eq-ne.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"eq-ne.js","sourceRoot":"","sources":["../../../../src/predicate/capabilities/eq/eq-ne.ts"],"names":[],"mappings":";;;AAEA,+DAAqF;AACrF,+DAAyD;AAE5C,QAAA,cAAc,GAAwB;IAC/C,EAAE,EAAE,OAAO;IACX,WAAW,EAAE,qCAAqC;IAClD,SAAS,EAAE,MAAM;IACjB,kBAAkB,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;IAChC,YAAY,CAAC,GAAoB;QAC7B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,sBAAsB,EAAE,CAAC;YACrC,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,OAAO,KAAK,IAAI,KAAK,CAAC;IAC1B,CAAC;IACD,KAAK,CAAC,GAAoB;QACtB,MAAM,IAAI,GAAG,IAAA,qCAAmB,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC9D,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAA,4BAAW,EAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1D,OAAO;oBACH,GAAG,IAAI;oBACP,aAAa,EAAE,IAAI;oBACnB,OAAO,EAAE,IAAI;iBAChB,CAAC;YACN,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;CACJ,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"eq-range.d.ts","sourceRoot":"","sources":["../../../../src/predicate/capabilities/eq/eq-range.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AA+BtE,eAAO,MAAM,iBAAiB,EAAE,mBA4H/B,CAAC"}