mongo-query-normalizer 0.1.0 → 0.2.1

package/dist/predicate/planner/relation-planner.d.ts

@@ -0,0 +1,5 @@
+import type { PredicateCapability } from "../capabilities/shared/capability-types";
+import type { RelationContext } from "../capabilities/shared/relation-context";
+import type { RelationPlan } from "./relation-plan";
+export declare function planRelations(orderedCapabilities: PredicateCapability[], ctx: RelationContext): RelationPlan;
+//# sourceMappingURL=relation-planner.d.ts.map

package/dist/predicate/planner/relation-planner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relation-planner.d.ts","sourceRoot":"","sources":["../../../src/predicate/planner/relation-planner.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAE/E,OAAO,KAAK,EAAE,YAAY,EAAqB,MAAM,iBAAiB,CAAC;AAsBvE,wBAAgB,aAAa,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,EAAE,GAAG,EAAE,eAAe,GAAG,YAAY,CA6C5G"}

package/dist/predicate/planner/relation-planner.js

@@ -0,0 +1,62 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.planRelations = planRelations;
+const build_field_bundle_1 = require("../ir/build-field-bundle");
+const capability_selector_1 = require("./capability-selector");
+const DEFAULT_CAPABILITY_ORDER = ["eq.eq", "eq.ne", "ne.ne", "nin.nin", "eq.in", "range.range", "eq.range"];
+function orderCapabilities(caps) {
+    const byId = new Map(caps.map((c) => [c.id, c]));
+    const ordered = [];
+    for (const id of DEFAULT_CAPABILITY_ORDER) {
+        const cap = byId.get(id);
+        if (cap) {
+            ordered.push(cap);
+        }
+    }
+    for (const cap of caps) {
+        if (!DEFAULT_CAPABILITY_ORDER.includes(cap.id)) {
+            ordered.push(cap);
+        }
+    }
+    return ordered;
+}
+function planRelations(orderedCapabilities, ctx) {
+    const skippedCapabilities = [];
+    if (ctx.safety.bailoutOnUnsupportedMix && (0, build_field_bundle_1.detectUnsupportedMix)(ctx.bundle)) {
+        for (const cap of orderedCapabilities) {
+            skippedCapabilities.push({
+                id: cap.id,
+                reason: "unsupported opaque mix in bundle",
+            });
+        }
+        return { capabilities: [], skippedCapabilities };
+    }
+    const ordered = orderCapabilities(orderedCapabilities);
+    const selected = [];
+    for (const cap of ordered) {
+        if (!(0, capability_selector_1.isCapabilityCandidate)(cap, ctx)) {
+            skippedCapabilities.push({
+                id: cap.id,
+                reason: "no supporting atom kinds in bundle",
+            });
+            continue;
+        }
+        if (cap.id === "eq.in" && ctx.bundle.metadata.hasArraySensitiveSemantics && !ctx.safety.allowArraySensitiveRewrite) {
+            skippedCapabilities.push({
+                id: cap.id,
+                reason: "array-sensitive rewrite disabled",
+            });
+            continue;
+        }
+        if (cap.id === "eq.in" && ctx.bundle.metadata.hasNullSemantics && !ctx.safety.allowNullSemanticRewrite) {
+            skippedCapabilities.push({
+                id: cap.id,
+                reason: "null semantic rewrite disabled",
+            });
+            continue;
+        }
+        selected.push(cap);
+    }
+    return { capabilities: selected, skippedCapabilities };
+}
+//# sourceMappingURL=relation-planner.js.map

package/dist/predicate/planner/relation-planner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relation-planner.js","sourceRoot":"","sources":["../../../src/predicate/planner/relation-planner.ts"],"names":[],"mappings":";;AAyBA,sCA6CC;AApED,iEAAgE;AAEhE,+DAA8D;AAE9D,MAAM,wBAAwB,GAAa,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;AAEtH,SAAS,iBAAiB,CAAC,IAA2B;IAClD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;IAC1D,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,KAAK,MAAM,EAAE,IAAI,wBAAwB,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzB,IAAI,GAAG,EAAE,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,CAAC;IACL,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7C,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,SAAgB,aAAa,CAAC,mBAA0C,EAAE,GAAoB;IAC1F,MAAM,mBAAmB,GAAwB,EAAE,CAAC;IAEpD,IAAI,GAAG,CAAC,MAAM,CAAC,uBAAuB,IAAI,IAAA,yCAAoB,EAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACzE,KAAK,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;YACpC,mBAAmB,CAAC,IAAI,CAAC;gBACrB,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,MAAM,EAAE,kCAAkC;aAC7C,CAAC,CAAC;QACP,CAAC;QACD,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,mBAAmB,EAAE,CAAC;IACrD,CAAC;IAED,MAAM,OAAO,GAAG,iBAAiB,CAAC,mBAAmB,CAAC,CAAC;IACvD,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAE3C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,IAAA,2CAAqB,EAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YACnC,mBAAmB,CAAC,IAAI,CAAC;gBACrB,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,MAAM,EAAE,oCAAoC;aAC/C,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QAED,IAAI,GAAG,CAAC,EAAE,KAAK,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,0BAA0B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,0BAA0B,EAAE,CAAC;YACjH,mBAAmB,CAAC,IAAI,CAAC;gBACrB,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,MAAM,EAAE,kCAAkC;aAC7C,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QAED,IAAI,GAAG,CAAC,EAAE,KAAK,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,wBAAwB,EAAE,CAAC;YACrG,mBAAmB,CAAC,IAAI,CAAC;gBACrB,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,MAAM,EAAE,gCAAgC;aAC3C,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,mBAAmB,EAAE,CAAC;AAC3D,CAAC"}

package/dist/predicate/registry/predicate-capability-registry.d.ts

@@ -0,0 +1,3 @@
+import type { PredicateCapability } from "../capabilities/shared/capability-types";
+export declare function getDefaultPredicateCapabilities(): PredicateCapability[];
+//# sourceMappingURL=predicate-capability-registry.d.ts.map

package/dist/predicate/registry/predicate-capability-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-capability-registry.d.ts","sourceRoot":"","sources":["../../../src/predicate/registry/predicate-capability-registry.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AAYnF,wBAAgB,+BAA+B,IAAI,mBAAmB,EAAE,CAEvE"}

package/dist/predicate/registry/predicate-capability-registry.js

@@ -0,0 +1,23 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getDefaultPredicateCapabilities = getDefaultPredicateCapabilities;
+const eq_eq_1 = require("../capabilities/eq/eq-eq");
+const eq_in_1 = require("../capabilities/eq/eq-in");
+const eq_ne_1 = require("../capabilities/eq/eq-ne");
+const eq_range_1 = require("../capabilities/eq/eq-range");
+const range_range_1 = require("../capabilities/range/range-range");
+const ne_ne_1 = require("../capabilities/ne/ne-ne");
+const nin_nin_1 = require("../capabilities/nin/nin-nin");
+const DEFAULT_CAPABILITIES = [
+    eq_eq_1.eqEqCapability,
+    eq_ne_1.eqNeCapability,
+    ne_ne_1.neNeCapability,
+    nin_nin_1.ninNinCapability,
+    eq_in_1.eqInCapability,
+    eq_range_1.eqRangeCapability,
+    range_range_1.rangeRangeCapability,
+];
+function getDefaultPredicateCapabilities() {
+    return [...DEFAULT_CAPABILITIES];
+}
+//# sourceMappingURL=predicate-capability-registry.js.map

package/dist/predicate/registry/predicate-capability-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-capability-registry.js","sourceRoot":"","sources":["../../../src/predicate/registry/predicate-capability-registry.ts"],"names":[],"mappings":";;AAmBA,0EAEC;AArBD,oDAA0D;AAC1D,oDAA0D;AAC1D,oDAA0D;AAC1D,0DAAgE;AAChE,mEAAyE;AACzE,oDAA0D;AAC1D,yDAA+D;AAG/D,MAAM,oBAAoB,GAA0B;IAChD,sBAAc;IACd,sBAAc;IACd,sBAAc;IACd,0BAAgB;IAChB,sBAAc;IACd,4BAAiB;IACjB,kCAAoB;CACvB,CAAC;AAEF,SAAgB,+BAA+B;IAC3C,OAAO,CAAC,GAAG,oBAAoB,CAAC,CAAC;AACrC,CAAC"}

package/dist/predicate/safety/predicate-safety-policy.d.ts

@@ -0,0 +1,9 @@
+export type PredicateSafetyPolicy = {
+    allowArraySensitiveRewrite: boolean;
+    allowNullSemanticRewrite: boolean;
+    allowExistsSemanticRewrite: boolean;
+    allowPathConflictRewrite: boolean;
+    bailoutOnUnsupportedMix: boolean;
+};
+export declare const DEFAULT_PREDICATE_SAFETY_POLICY: PredicateSafetyPolicy;
+//# sourceMappingURL=predicate-safety-policy.d.ts.map

package/dist/predicate/safety/predicate-safety-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-safety-policy.d.ts","sourceRoot":"","sources":["../../../src/predicate/safety/predicate-safety-policy.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,qBAAqB,GAAG;IAChC,0BAA0B,EAAE,OAAO,CAAC;IACpC,wBAAwB,EAAE,OAAO,CAAC;IAClC,0BAA0B,EAAE,OAAO,CAAC;IACpC,wBAAwB,EAAE,OAAO,CAAC;IAClC,uBAAuB,EAAE,OAAO,CAAC;CACpC,CAAC;AAEF,eAAO,MAAM,+BAA+B,EAAE,qBAM7C,CAAC"}

package/dist/predicate/safety/predicate-safety-policy.js

@@ -0,0 +1,11 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DEFAULT_PREDICATE_SAFETY_POLICY = void 0;
+exports.DEFAULT_PREDICATE_SAFETY_POLICY = {
+    allowArraySensitiveRewrite: false,
+    allowNullSemanticRewrite: false,
+    allowExistsSemanticRewrite: false,
+    allowPathConflictRewrite: false,
+    bailoutOnUnsupportedMix: true,
+};
+//# sourceMappingURL=predicate-safety-policy.js.map

package/dist/predicate/safety/predicate-safety-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-safety-policy.js","sourceRoot":"","sources":["../../../src/predicate/safety/predicate-safety-policy.ts"],"names":[],"mappings":";;;AAQa,QAAA,+BAA+B,GAA0B;IAClE,0BAA0B,EAAE,KAAK;IACjC,wBAAwB,EAAE,KAAK;IAC/B,0BAA0B,EAAE,KAAK;IACjC,wBAAwB,EAAE,KAAK;IAC/B,uBAAuB,EAAE,IAAI;CAChC,CAAC"}

package/dist/predicate/utils/bson-compare.d.ts

@@ -0,0 +1,2 @@
+export { compareScalarValues, isComparableScalar } from "../../utils/compare-values";
+//# sourceMappingURL=bson-compare.d.ts.map

package/dist/predicate/utils/bson-compare.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bson-compare.d.ts","sourceRoot":"","sources":["../../../src/predicate/utils/bson-compare.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC"}

package/dist/predicate/utils/bson-compare.js

@@ -0,0 +1,7 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isComparableScalar = exports.compareScalarValues = void 0;
+var compare_values_1 = require("../../utils/compare-values");
+Object.defineProperty(exports, "compareScalarValues", { enumerable: true, get: function () { return compare_values_1.compareScalarValues; } });
+Object.defineProperty(exports, "isComparableScalar", { enumerable: true, get: function () { return compare_values_1.isComparableScalar; } });
+//# sourceMappingURL=bson-compare.js.map

package/dist/predicate/utils/bson-compare.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bson-compare.js","sourceRoot":"","sources":["../../../src/predicate/utils/bson-compare.ts"],"names":[],"mappings":";;;AAAA,6DAAqF;AAA5E,qHAAA,mBAAmB,OAAA;AAAE,oHAAA,kBAAkB,OAAA"}

package/dist/predicate/utils/intersect-in-lists.d.ts

@@ -0,0 +1,5 @@
+import type { PredicateAtom } from "../ir/predicate-atom";
+export declare function intersectInAtomValues(ins: Extract<PredicateAtom, {
+    kind: "in";
+}>[]): unknown[];
+//# sourceMappingURL=intersect-in-lists.d.ts.map

package/dist/predicate/utils/intersect-in-lists.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersect-in-lists.d.ts","sourceRoot":"","sources":["../../../src/predicate/utils/intersect-in-lists.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAG1D,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,OAAO,CAAC,aAAa,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC,EAAE,GAAG,OAAO,EAAE,CAS9F"}

package/dist/predicate/utils/intersect-in-lists.js

@@ -0,0 +1,15 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.intersectInAtomValues = intersectInAtomValues;
+const value_equality_1 = require("./value-equality");
+function intersectInAtomValues(ins) {
+    if (ins.length === 0) {
+        return [];
+    }
+    let acc = [...ins[0].values];
+    for (let i = 1; i < ins.length; i++) {
+        acc = acc.filter((x) => ins[i].values.some((y) => (0, value_equality_1.valuesEqual)(x, y)));
+    }
+    return acc;
+}
+//# sourceMappingURL=intersect-in-lists.js.map

package/dist/predicate/utils/intersect-in-lists.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersect-in-lists.js","sourceRoot":"","sources":["../../../src/predicate/utils/intersect-in-lists.ts"],"names":[],"mappings":";;AAGA,sDASC;AAXD,qDAA+C;AAE/C,SAAgB,qBAAqB,CAAC,GAA6C;IAC/E,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,EAAE,CAAC;IACd,CAAC;IACD,IAAI,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,4BAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC"}

package/dist/predicate/utils/set-ops.d.ts

@@ -0,0 +1,3 @@
+export declare function uniqueUnknownArray(values: unknown[]): unknown[];
+export declare function intersectUnknownArrays(a: unknown[], b: unknown[]): unknown[];
+//# sourceMappingURL=set-ops.d.ts.map

package/dist/predicate/utils/set-ops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"set-ops.d.ts","sourceRoot":"","sources":["../../../src/predicate/utils/set-ops.ts"],"names":[],"mappings":"AAEA,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,CAQ/D;AAED,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,CAE5E"}

package/dist/predicate/utils/set-ops.js

@@ -0,0 +1,18 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.uniqueUnknownArray = uniqueUnknownArray;
+exports.intersectUnknownArrays = intersectUnknownArrays;
+const value_equality_1 = require("./value-equality");
+function uniqueUnknownArray(values) {
+    const result = [];
+    for (const v of values) {
+        if (!result.some((x) => (0, value_equality_1.valuesEqual)(x, v))) {
+            result.push(v);
+        }
+    }
+    return result;
+}
+function intersectUnknownArrays(a, b) {
+    return a.filter((x) => b.some((y) => (0, value_equality_1.valuesEqual)(x, y)));
+}
+//# sourceMappingURL=set-ops.js.map

package/dist/predicate/utils/set-ops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"set-ops.js","sourceRoot":"","sources":["../../../src/predicate/utils/set-ops.ts"],"names":[],"mappings":";;AAEA,gDAQC;AAED,wDAEC;AAdD,qDAA+C;AAE/C,SAAgB,kBAAkB,CAAC,MAAiB;IAChD,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,4BAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAgB,sBAAsB,CAAC,CAAY,EAAE,CAAY;IAC7D,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,4BAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC"}

package/dist/predicate/utils/value-equality.d.ts

@@ -0,0 +1,2 @@
+export declare function valuesEqual(a: unknown, b: unknown): boolean;
+//# sourceMappingURL=value-equality.d.ts.map

package/dist/predicate/utils/value-equality.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-equality.d.ts","sourceRoot":"","sources":["../../../src/predicate/utils/value-equality.ts"],"names":[],"mappings":"AAEA,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,OAAO,CAE3D"}

package/dist/predicate/utils/value-equality.js

@@ -0,0 +1,8 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.valuesEqual = valuesEqual;
+const deep_equal_1 = require("../../utils/deep-equal");
+function valuesEqual(a, b) {
+    return (0, deep_equal_1.deepEqual)(a, b);
+}
+//# sourceMappingURL=value-equality.js.map

package/dist/predicate/utils/value-equality.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-equality.js","sourceRoot":"","sources":["../../../src/predicate/utils/value-equality.ts"],"names":[],"mappings":";;AAEA,kCAEC;AAJD,uDAAmD;AAEnD,SAAgB,WAAW,CAAC,CAAU,EAAE,CAAU;IAC9C,OAAO,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3B,CAAC"}

package/dist/rules/or-common-predicate/detect-common-predicates-in-or.d.ts

@@ -0,0 +1,6 @@
+import type { QueryNode } from "../../ast/types";
+import type { NormalizeContext } from "../../normalize-context";
+/** $or 分支间公共 field 谓词检测（`scope` 层可选规则，由 `rules.detectCommonPredicatesInOr` 控制；仅告警，不改写结构）。 */
+export declare const RULE_ID = "orCommonPredicate.detectCommonPredicatesInOr";
+export declare function detectCommonPredicatesInOr(node: QueryNode, normalizeContext: NormalizeContext): QueryNode;
+//# sourceMappingURL=detect-common-predicates-in-or.d.ts.map

package/dist/rules/or-common-predicate/detect-common-predicates-in-or.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"detect-common-predicates-in-or.d.ts","sourceRoot":"","sources":["../../../src/rules/or-common-predicate/detect-common-predicates-in-or.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAe,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAGhE,6FAA6F;AAC7F,eAAO,MAAM,OAAO,iDAAiD,CAAC;AAEtE,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAYzG"}

package/dist/rules/or-common-predicate/detect-common-predicates-in-or.js

@@ -0,0 +1,83 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RULE_ID = void 0;
+exports.detectCommonPredicatesInOr = detectCommonPredicatesInOr;
+const builders_1 = require("../../ast/builders");
+const hash_1 = require("../../ast/hash");
+const guards_1 = require("../../ast/guards");
+const warnings_1 = require("../../observe/warnings");
+/** $or 分支间公共 field 谓词检测（`scope` 层可选规则，由 `rules.detectCommonPredicatesInOr` 控制；仅告警，不改写结构）。 */
+exports.RULE_ID = "orCommonPredicate.detectCommonPredicatesInOr";
+function detectCommonPredicatesInOr(node, normalizeContext) {
+    if (!(0, guards_1.isLogicalNode)(node)) {
+        return node;
+    }
+    if (node.op === "$or") {
+        detectCommonPredicates(node, normalizeContext);
+    }
+    const nextChildren = node.children.map((child) => detectCommonPredicatesInOr(child, normalizeContext));
+    return node.op === "$and" ? (0, builders_1.andNode)(nextChildren) : (0, builders_1.orNode)(nextChildren);
+}
+function detectCommonPredicates(node, normalizeContext) {
+    const maps = node.children.map((branch) => extractComparableFieldPredicates(branch));
+    const common = intersectPredicateMaps(maps);
+    if (common.size === 0) {
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "no common predicates found in $or");
+        return;
+    }
+    (0, warnings_1.markRuleApplied)(normalizeContext, exports.RULE_ID);
+    (0, warnings_1.addWarning)(normalizeContext, `common predicates detected in $or: ${formatPredicateMap(common)}`);
+}
+function extractComparableFieldPredicates(node) {
+    const map = new Map();
+    if ((0, guards_1.isFieldNode)(node)) {
+        const safe = node.predicates
+            .filter((p) => !p.opaque && p.op !== "raw")
+            .map((p) => (0, hash_1.hashPredicate)(p));
+        if (safe.length > 0) {
+            map.set(node.field, safe);
+        }
+        return map;
+    }
+    if ((0, guards_1.isLogicalNode)(node) && node.op === "$and") {
+        for (const child of node.children) {
+            if (!(0, guards_1.isFieldNode)(child)) {
+                continue;
+            }
+            const safe = child.predicates
+                .filter((p) => !p.opaque && p.op !== "raw")
+                .map((p) => (0, hash_1.hashPredicate)(p));
+            if (safe.length > 0) {
+                map.set(child.field, safe);
+            }
+        }
+    }
+    return map;
+}
+function intersectPredicateMaps(maps) {
+    if (maps.length === 0) {
+        return new Map();
+    }
+    const result = new Map(maps[0]);
+    for (let i = 1; i < maps.length; i += 1) {
+        for (const [field, predicates] of [...result.entries()]) {
+            const other = maps[i].get(field);
+            if (!other) {
+                result.delete(field);
+                continue;
+            }
+            const intersection = predicates.filter((p) => other.includes(p));
+            if (intersection.length === 0) {
+                result.delete(field);
+            }
+            else {
+                result.set(field, intersection);
+            }
+        }
+    }
+    return result;
+}
+function formatPredicateMap(common) {
+    return JSON.stringify([...common.entries()]);
+}
+//# sourceMappingURL=detect-common-predicates-in-or.js.map

package/dist/rules/or-common-predicate/detect-common-predicates-in-or.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"detect-common-predicates-in-or.js","sourceRoot":"","sources":["../../../src/rules/or-common-predicate/detect-common-predicates-in-or.ts"],"names":[],"mappings":";;;AAUA,gEAYC;AAtBD,iDAAqD;AACrD,yCAA+C;AAC/C,6CAA8D;AAG9D,qDAAsF;AAEtF,6FAA6F;AAChF,QAAA,OAAO,GAAG,8CAA8C,CAAC;AAEtE,SAAgB,0BAA0B,CAAC,IAAe,EAAE,gBAAkC;IAC1F,IAAI,CAAC,IAAA,sBAAa,EAAC,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QACpB,sBAAsB,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,0BAA0B,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAEvG,OAAO,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,IAAA,kBAAO,EAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAA,iBAAM,EAAC,YAAY,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAiB,EAAE,gBAAkC;IACjF,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gCAAgC,CAAC,MAAM,CAAC,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IAE5C,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACpB,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,mCAAmC,CAAC,CAAC;QAChF,OAAO;IACX,CAAC;IAED,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,CAAC,CAAC;IAC3C,IAAA,qBAAU,EAAC,gBAAgB,EAAE,sCAAsC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACrG,CAAC;AAED,SAAS,gCAAgC,CAAC,IAAe;IACrD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IAExC,IAAI,IAAA,oBAAW,EAAC,IAAI,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU;aACvB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC;aAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,oBAAa,EAAC,CAAC,CAAC,CAAC,CAAC;QAElC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClB,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC;QAED,OAAO,GAAG,CAAC;IACf,CAAC;IAED,IAAI,IAAA,sBAAa,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;QAC5C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChC,IAAI,CAAC,IAAA,oBAAW,EAAC,KAAK,CAAC,EAAE,CAAC;gBACtB,SAAS;YACb,CAAC;YAED,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU;iBACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC;iBAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,oBAAa,EAAC,CAAC,CAAC,CAAC,CAAC;YAElC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClB,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/B,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,IAA6B;IACzD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,IAAI,GAAG,EAAE,CAAC;IACrB,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;YACtD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACjC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACT,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACrB,SAAS;YACb,CAAC;YAED,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACjE,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACzB,CAAC;iBAAM,CAAC;gBACJ,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;YACpC,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CAAC,MAA6B;IACrD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AACjD,CAAC"}

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

@@ -7,7 +7,7 @@ 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");
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "node is not a compound ($and/$or) node");
         return node;
     }
     if (node.children.length !== 1) {

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

@@ -1 +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"}
+{"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,wCAAwC,CAAC,CAAC;QACrF,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.js

@@ -23,7 +23,7 @@ function uniqueChildrenByHash(children) {
 }
 function dedupeLogicalChildren(node, normalizeContext) {
     if (!(0, guards_1.isLogicalNode)(node)) {
-        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "node is not logical");
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "node is not a compound ($and/$or) node");
         return node;
     }
     const deduped = uniqueChildrenByHash(node.children);

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

@@ -1 +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"}
+{"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,wCAAwC,CAAC,CAAC;QACrF,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.js

@@ -21,7 +21,7 @@ function flattenLogicalChildren(node) {
 }
 function flattenLogical(node, normalizeContext) {
     if (!(0, guards_1.isLogicalNode)(node)) {
-        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "node is not logical");
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "node is not a compound ($and/$or) node");
         return node;
     }
     const nextChildren = flattenLogicalChildren(node);
@@ -31,7 +31,7 @@ function flattenLogical(node, normalizeContext) {
         (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");
+    (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "no nested same-op compound nodes");
     return node;
 }
 //# sourceMappingURL=flatten-logical.js.map

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

@@ -1 +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"}
+{"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,wCAAwC,CAAC,CAAC;QACrF,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,kCAAkC,CAAC,CAAC;IAC/E,OAAO,IAAI,CAAC;AAChB,CAAC"}

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

@@ -8,11 +8,11 @@ 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");
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "node is not a compound ($and/$or) node");
         return node;
     }
     if (node.children.length > 0) {
-        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "logical node is not empty");
+        (0, warnings_1.markRuleSkipped)(normalizeContext, exports.RULE_ID, "compound node is not empty");
         return node;
     }
     (0, warnings_1.markRuleApplied)(normalizeContext, exports.RULE_ID);

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

@@ -1 +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"}
+{"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,wCAAwC,CAAC,CAAC;QACrF,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,IAAA,0BAAe,EAAC,gBAAgB,EAAE,eAAO,EAAE,4BAA4B,CAAC,CAAC;QACzE,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/scope/analysis/analyze-branch-coverage.d.ts

@@ -0,0 +1,5 @@
+import type { QueryNode } from "../../ast/types";
+import type { ConstraintSet } from "../context/constraint-set";
+import type { ScopeSafetyPolicy } from "../safety/scope-safety-policy";
+export declare function analyzeBranchCoverage(branch: QueryNode, inherited: ConstraintSet, policy: ScopeSafetyPolicy): QueryNode;
+//# sourceMappingURL=analyze-branch-coverage.d.ts.map

package/dist/scope/analysis/analyze-branch-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-branch-coverage.d.ts","sourceRoot":"","sources":["../../../src/scope/analysis/analyze-branch-coverage.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAE/D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAEvE,wBAAgB,qBAAqB,CACjC,MAAM,EAAE,SAAS,EACjB,SAAS,EAAE,aAAa,EACxB,MAAM,EAAE,iBAAiB,GAC1B,SAAS,CAEX"}

package/dist/scope/analysis/analyze-branch-coverage.js

@@ -0,0 +1,8 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.analyzeBranchCoverage = analyzeBranchCoverage;
+const remove_covered_local_constraints_1 = require("../rewrite/remove-covered-local-constraints");
+function analyzeBranchCoverage(branch, inherited, policy) {
+    return (0, remove_covered_local_constraints_1.removeCoveredLocalConstraints)(branch, inherited, policy);
+}
+//# sourceMappingURL=analyze-branch-coverage.js.map

package/dist/scope/analysis/analyze-branch-coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-branch-coverage.js","sourceRoot":"","sources":["../../../src/scope/analysis/analyze-branch-coverage.ts"],"names":[],"mappings":";;AAKA,sDAMC;AATD,kGAA4F;AAG5F,SAAgB,qBAAqB,CACjC,MAAiB,EACjB,SAAwB,EACxB,MAAyB;IAEzB,OAAO,IAAA,gEAA6B,EAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;AACpE,CAAC"}

package/dist/scope/analysis/analyze-branch-satisfiability.d.ts

@@ -0,0 +1,9 @@
+import type { QueryNode } from "../../ast/types";
+import type { ConstraintSet } from "../context/constraint-set";
+import type { ScopeSafetyPolicy } from "../safety/scope-safety-policy";
+export type BranchSatisfiabilityExplanation = {
+    satisfiable: boolean;
+    reason: string;
+};
+export declare function explainBranchSatisfiability(branch: QueryNode, inherited: ConstraintSet, policy: ScopeSafetyPolicy): BranchSatisfiabilityExplanation;
+//# sourceMappingURL=analyze-branch-satisfiability.d.ts.map

package/dist/scope/analysis/analyze-branch-satisfiability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-branch-satisfiability.d.ts","sourceRoot":"","sources":["../../../src/scope/analysis/analyze-branch-satisfiability.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAGvE,MAAM,MAAM,+BAA+B,GAAG;IAC1C,WAAW,EAAE,OAAO,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,wBAAgB,2BAA2B,CACvC,MAAM,EAAE,SAAS,EACjB,SAAS,EAAE,aAAa,EACxB,MAAM,EAAE,iBAAiB,GAC1B,+BAA+B,CAyBjC"}

package/dist/scope/analysis/analyze-branch-satisfiability.js

@@ -0,0 +1,33 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.explainBranchSatisfiability = explainBranchSatisfiability;
+const guards_1 = require("../../ast/guards");
+const normalize_field_predicate_bundle_1 = require("../../predicate/normalize-field-predicate-bundle");
+const create_branch_local_bundle_1 = require("../propagation/create-branch-local-bundle");
+function explainBranchSatisfiability(branch, inherited, policy) {
+    if (policy.bailoutOnUnsupportedScopeMix && inherited.metadata.hasUnsupportedSemantics) {
+        return {
+            satisfiable: true,
+            reason: "preserve branch: inherited constraints marked unsupported/bailout",
+        };
+    }
+    if (!(0, guards_1.isFieldNode)(branch)) {
+        return {
+            satisfiable: true,
+            reason: "non-field branch: no local+inherited contradiction check",
+        };
+    }
+    const bundle = (0, create_branch_local_bundle_1.createBranchLocalBundle)(branch, inherited);
+    const local = (0, normalize_field_predicate_bundle_1.normalizeFieldPredicateBundle)(bundle, {});
+    if (local.contradiction) {
+        return {
+            satisfiable: false,
+            reason: `local analysis reports contradiction (capability ${local.contradictionCapabilityId ?? "unknown"})`,
+        };
+    }
+    return {
+        satisfiable: true,
+        reason: "no contradiction between inherited constraints and branch field",
+    };
+}
+//# sourceMappingURL=analyze-branch-satisfiability.js.map

package/dist/scope/analysis/analyze-branch-satisfiability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze-branch-satisfiability.js","sourceRoot":"","sources":["../../../src/scope/analysis/analyze-branch-satisfiability.ts"],"names":[],"mappings":";;AAYA,kEA6BC;AAzCD,6CAA+C;AAE/C,uGAAiG;AAGjG,0FAAoF;AAOpF,SAAgB,2BAA2B,CACvC,MAAiB,EACjB,SAAwB,EACxB,MAAyB;IAEzB,IAAI,MAAM,CAAC,4BAA4B,IAAI,SAAS,CAAC,QAAQ,CAAC,uBAAuB,EAAE,CAAC;QACpF,OAAO;YACH,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,mEAAmE;SAC9E,CAAC;IACN,CAAC;IACD,IAAI,CAAC,IAAA,oBAAW,EAAC,MAAM,CAAC,EAAE,CAAC;QACvB,OAAO;YACH,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,0DAA0D;SACrE,CAAC;IACN,CAAC;IACD,MAAM,MAAM,GAAG,IAAA,oDAAuB,EAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,IAAA,gEAA6B,EAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACxD,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACtB,OAAO;YACH,WAAW,EAAE,KAAK;YAClB,MAAM,EAAE,oDAAoD,KAAK,CAAC,yBAAyB,IAAI,SAAS,GAAG;SAC9G,CAAC;IACN,CAAC;IACD,OAAO;QACH,WAAW,EAAE,IAAI;QACjB,MAAM,EAAE,iEAAiE;KAC5E,CAAC;AACN,CAAC"}

package/dist/scope/context/build-inherited-constraints.d.ts

@@ -0,0 +1,6 @@
+import type { FieldNode, QueryNode } from "../../ast/types";
+import type { ConstraintExtractionRejection, ConstraintSet } from "./constraint-set";
+export declare function constraintSetFromFieldNode(node: FieldNode): ConstraintSet;
+export declare function constraintSetFromQueryNode(node: QueryNode): ConstraintSet;
+export declare function mergeConstraintRejectionLists(target: ConstraintExtractionRejection[], more: ConstraintExtractionRejection[]): void;
+//# sourceMappingURL=build-inherited-constraints.d.ts.map

package/dist/scope/context/build-inherited-constraints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-inherited-constraints.d.ts","sourceRoot":"","sources":["../../../src/scope/context/build-inherited-constraints.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAI5D,OAAO,KAAK,EAAE,6BAA6B,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAyGrF,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,SAAS,GAAG,aAAa,CAEzE;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,SAAS,GAAG,aAAa,CA4BzE;AAED,wBAAgB,6BAA6B,CACzC,MAAM,EAAE,6BAA6B,EAAE,EACvC,IAAI,EAAE,6BAA6B,EAAE,GACtC,IAAI,CAEN"}