mongo-query-normalizer 0.1.0 → 0.2.0

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"}

package/dist/scope/context/build-inherited-constraints.js

@@ -0,0 +1,119 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.constraintSetFromFieldNode = constraintSetFromFieldNode;
+exports.constraintSetFromQueryNode = constraintSetFromQueryNode;
+exports.mergeConstraintRejectionLists = mergeConstraintRejectionLists;
+const guards_1 = require("../../ast/guards");
+const build_field_bundle_1 = require("../../predicate/ir/build-field-bundle");
+const constraint_set_1 = require("./constraint-set");
+const merge_constraint_sources_1 = require("./merge-constraint-sources");
+/**
+ * Phase-1 inherited constraints: only plain equality, guarded $in, and simple range atoms.
+ * Excludes exists / nin / ne / opaque / array-null-sensitive bundles / path-conflict-risk fields.
+ */
+const ALLOWED_INHERITED_ATOM_KINDS = new Set(["eq", "gt", "gte", "lt", "lte", "in"]);
+function pushRejection(set, fieldPath, atomKind, reason) {
+    set.metadata.extractionRejections.push({ fieldPath, atomKind, reason });
+}
+function atomAllowedForInherited(atom, fieldPath, set) {
+    if (atom.kind === "opaque") {
+        pushRejection(set, fieldPath, "opaque", "opaque operators are not inherited");
+        return false;
+    }
+    if (atom.kind === "exists") {
+        pushRejection(set, fieldPath, "exists", "exists semantics are not inherited in phase 1");
+        return false;
+    }
+    if (atom.kind === "nin") {
+        pushRejection(set, fieldPath, "nin", "nin is not inherited");
+        return false;
+    }
+    if (atom.kind === "ne") {
+        pushRejection(set, fieldPath, "ne", "ne is omitted from inherited constraints (conservative)");
+        return false;
+    }
+    if (!ALLOWED_INHERITED_ATOM_KINDS.has(atom.kind)) {
+        pushRejection(set, fieldPath, atom.kind, "atom kind not in inherited constraint allowlist");
+        return false;
+    }
+    return true;
+}
+function rejectWholeField(set, fieldPath, atomKind, reason, markUnsupported) {
+    pushRejection(set, fieldPath, atomKind, reason);
+    if (markUnsupported) {
+        set.metadata.hasUnsupportedSemantics = true;
+    }
+    return set;
+}
+function fieldBundleDisallowedForInherited(bundle, set, fieldPath) {
+    if (bundle.metadata.hasUnsupportedOperators) {
+        rejectWholeField(set, fieldPath, "*", "bundle contains opaque or unsupported operators", true);
+        return true;
+    }
+    if (bundle.metadata.hasArraySensitiveSemantics) {
+        rejectWholeField(set, fieldPath, "*", "array-sensitive field bundle is not inherited", true);
+        return true;
+    }
+    if (bundle.metadata.hasNullSemantics) {
+        rejectWholeField(set, fieldPath, "*", "null-sensitive field bundle is not inherited", true);
+        return true;
+    }
+    if (bundle.metadata.hasDottedPathConflictRisk) {
+        rejectWholeField(set, fieldPath, "*", "path conflict risk: field excluded from inherited constraints", true);
+        return true;
+    }
+    return false;
+}
+function fieldNodeToConstraintSet(node) {
+    const bundle = (0, build_field_bundle_1.buildFieldPredicateBundleFromFieldNode)(node);
+    const set = (0, constraint_set_1.emptyConstraintSet)();
+    if (fieldBundleDisallowedForInherited(bundle, set, node.field)) {
+        return set;
+    }
+    const allowed = [];
+    for (const atom of bundle.predicates) {
+        if (atomAllowedForInherited(atom, node.field, set)) {
+            allowed.push(atom);
+        }
+    }
+    if (allowed.length > 0) {
+        set.byField.set(node.field, allowed);
+    }
+    return set;
+}
+function constraintSetFromFieldNode(node) {
+    return fieldNodeToConstraintSet(node);
+}
+function constraintSetFromQueryNode(node) {
+    if ((0, guards_1.isTrueNode)(node)) {
+        return (0, constraint_set_1.emptyConstraintSet)();
+    }
+    if ((0, guards_1.isFalseNode)(node)) {
+        const set = (0, constraint_set_1.emptyConstraintSet)();
+        set.metadata.hasUnsupportedSemantics = true;
+        pushRejection(set, "?", "*", "false node has no safe inherited constraints");
+        return set;
+    }
+    if ((0, guards_1.isFieldNode)(node)) {
+        return fieldNodeToConstraintSet(node);
+    }
+    if ((0, guards_1.isOpaqueNode)(node)) {
+        const set = (0, constraint_set_1.emptyConstraintSet)();
+        set.opaqueConstraints.push(node);
+        set.metadata.hasUnsupportedSemantics = true;
+        pushRejection(set, "?", "opaque", "opaque query node is not converted to inherited constraints");
+        return set;
+    }
+    if ((0, guards_1.isLogicalNode)(node) && node.op === "$and") {
+        const parts = node.children.map((c) => constraintSetFromQueryNode(c));
+        return (0, merge_constraint_sources_1.mergeManyConstraintSources)(parts);
+    }
+    const set = (0, constraint_set_1.emptyConstraintSet)();
+    set.metadata.hasUnsupportedSemantics = true;
+    pushRejection(set, "?", "*", "non-$and compound shape is not a constraint source for phase 1");
+    return set;
+}
+function mergeConstraintRejectionLists(target, more) {
+    target.push(...more);
+}
+//# sourceMappingURL=build-inherited-constraints.js.map

package/dist/scope/context/build-inherited-constraints.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-inherited-constraints.js","sourceRoot":"","sources":["../../../src/scope/context/build-inherited-constraints.ts"],"names":[],"mappings":";;AA8GA,gEAEC;AAED,gEA4BC;AAED,sEAKC;AArJD,6CAAqG;AAErG,8EAA+F;AAI/F,qDAAsD;AACtD,yEAAwE;AAExE;;;GAGG;AACH,MAAM,4BAA4B,GAAG,IAAI,GAAG,CAAwB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAE5G,SAAS,aAAa,CAClB,GAAkB,EAClB,SAAiB,EACjB,QAAgB,EAChB,MAAc;IAEd,GAAG,CAAC,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,uBAAuB,CAC5B,IAAmB,EACnB,SAAiB,EACjB,GAAkB;IAElB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzB,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,oCAAoC,CAAC,CAAC;QAC9E,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzB,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,+CAA+C,CAAC,CAAC;QACzF,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACtB,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,sBAAsB,CAAC,CAAC;QAC7D,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,yDAAyD,CAAC,CAAC;QAC/F,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,iDAAiD,CAAC,CAAC;QAC5F,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CACrB,GAAkB,EAClB,SAAiB,EACjB,QAAgB,EAChB,MAAc,EACd,eAAwB;IAExB,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAChD,IAAI,eAAe,EAAE,CAAC;QAClB,GAAG,CAAC,QAAQ,CAAC,uBAAuB,GAAG,IAAI,CAAC;IAChD,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAS,iCAAiC,CACtC,MAA4B,EAC5B,GAAkB,EAClB,SAAiB;IAEjB,IAAI,MAAM,CAAC,QAAQ,CAAC,uBAAuB,EAAE,CAAC;QAC1C,gBAAgB,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,iDAAiD,EAAE,IAAI,CAAC,CAAC;QAC/F,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,0BAA0B,EAAE,CAAC;QAC7C,gBAAgB,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,+CAA+C,EAAE,IAAI,CAAC,CAAC;QAC7F,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACnC,gBAAgB,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,8CAA8C,EAAE,IAAI,CAAC,CAAC;QAC5F,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,yBAAyB,EAAE,CAAC;QAC5C,gBAAgB,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,+DAA+D,EAAE,IAAI,CAAC,CAAC;QAC7G,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAe;IAC7C,MAAM,MAAM,GAAG,IAAA,2DAAsC,EAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,GAAG,GAAG,IAAA,mCAAkB,GAAE,CAAC;IAEjC,IAAI,iCAAiC,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7D,OAAO,GAAG,CAAC;IACf,CAAC;IAED,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;YACjD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAgB,0BAA0B,CAAC,IAAe;IACtD,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,SAAgB,0BAA0B,CAAC,IAAe;IACtD,IAAI,IAAA,mBAAU,EAAC,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO,IAAA,mCAAkB,GAAE,CAAC;IAChC,CAAC;IACD,IAAI,IAAA,oBAAW,EAAC,IAAI,CAAC,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,IAAA,mCAAkB,GAAE,CAAC;QACjC,GAAG,CAAC,QAAQ,CAAC,uBAAuB,GAAG,IAAI,CAAC;QAC5C,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,8CAA8C,CAAC,CAAC;QAC7E,OAAO,GAAG,CAAC;IACf,CAAC;IACD,IAAI,IAAA,oBAAW,EAAC,IAAI,CAAC,EAAE,CAAC;QACpB,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,IAAA,qBAAY,EAAC,IAAI,CAAC,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,IAAA,mCAAkB,GAAE,CAAC;QACjC,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,GAAG,CAAC,QAAQ,CAAC,uBAAuB,GAAG,IAAI,CAAC;QAC5C,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,6DAA6D,CAAC,CAAC;QACjG,OAAO,GAAG,CAAC;IACf,CAAC;IACD,IAAI,IAAA,sBAAa,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,OAAO,IAAA,qDAA0B,EAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,GAAG,GAAG,IAAA,mCAAkB,GAAE,CAAC;IACjC,GAAG,CAAC,QAAQ,CAAC,uBAAuB,GAAG,IAAI,CAAC;IAC5C,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,gEAAgE,CAAC,CAAC;IAC/F,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAgB,6BAA6B,CACzC,MAAuC,EACvC,IAAqC;IAErC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;AACzB,CAAC"}

package/dist/scope/context/constraint-set.d.ts

@@ -0,0 +1,19 @@
+import type { QueryNode } from "../../ast/types";
+import type { PredicateAtom } from "../../predicate/ir/predicate-atom";
+/** Record when an atom or field is not promoted into inherited constraints (phase-1 allowlist). */
+export type ConstraintExtractionRejection = {
+    fieldPath: string;
+    atomKind: string;
+    reason: string;
+};
+export type ConstraintSet = {
+    byField: Map<string, PredicateAtom[]>;
+    opaqueConstraints: QueryNode[];
+    metadata: {
+        hasUnsupportedSemantics: boolean;
+        extractionRejections: ConstraintExtractionRejection[];
+    };
+};
+export declare function emptyConstraintSet(): ConstraintSet;
+export declare function cloneConstraintSet(set: ConstraintSet): ConstraintSet;
+//# sourceMappingURL=constraint-set.d.ts.map

package/dist/scope/context/constraint-set.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-set.d.ts","sourceRoot":"","sources":["../../../src/scope/context/constraint-set.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAEvE,mGAAmG;AACnG,MAAM,MAAM,6BAA6B,GAAG;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IACxB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;IACtC,iBAAiB,EAAE,SAAS,EAAE,CAAC;IAC/B,QAAQ,EAAE;QACN,uBAAuB,EAAE,OAAO,CAAC;QACjC,oBAAoB,EAAE,6BAA6B,EAAE,CAAC;KACzD,CAAC;CACL,CAAC;AAEF,wBAAgB,kBAAkB,IAAI,aAAa,CAMlD;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAapE"}

package/dist/scope/context/constraint-set.js

@@ -0,0 +1,26 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.emptyConstraintSet = emptyConstraintSet;
+exports.cloneConstraintSet = cloneConstraintSet;
+function emptyConstraintSet() {
+    return {
+        byField: new Map(),
+        opaqueConstraints: [],
+        metadata: { hasUnsupportedSemantics: false, extractionRejections: [] },
+    };
+}
+function cloneConstraintSet(set) {
+    const byField = new Map();
+    for (const [k, v] of set.byField) {
+        byField.set(k, [...v]);
+    }
+    return {
+        byField,
+        opaqueConstraints: [...set.opaqueConstraints],
+        metadata: {
+            hasUnsupportedSemantics: set.metadata.hasUnsupportedSemantics,
+            extractionRejections: [...set.metadata.extractionRejections],
+        },
+    };
+}
+//# sourceMappingURL=constraint-set.js.map

package/dist/scope/context/constraint-set.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-set.js","sourceRoot":"","sources":["../../../src/scope/context/constraint-set.ts"],"names":[],"mappings":";;AAmBA,gDAMC;AAED,gDAaC;AArBD,SAAgB,kBAAkB;IAC9B,OAAO;QACH,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,iBAAiB,EAAE,EAAE;QACrB,QAAQ,EAAE,EAAE,uBAAuB,EAAE,KAAK,EAAE,oBAAoB,EAAE,EAAE,EAAE;KACzE,CAAC;AACN,CAAC;AAED,SAAgB,kBAAkB,CAAC,GAAkB;IACjD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;IACnD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO;QACH,OAAO;QACP,iBAAiB,EAAE,CAAC,GAAG,GAAG,CAAC,iBAAiB,CAAC;QAC7C,QAAQ,EAAE;YACN,uBAAuB,EAAE,GAAG,CAAC,QAAQ,CAAC,uBAAuB;YAC7D,oBAAoB,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,oBAAoB,CAAC;SAC/D;KACJ,CAAC;AACN,CAAC"}

package/dist/scope/context/merge-constraint-sources.d.ts

@@ -0,0 +1,4 @@
+import type { ConstraintSet } from "./constraint-set";
+export declare function mergeConstraintSources(a: ConstraintSet, b: ConstraintSet): ConstraintSet;
+export declare function mergeManyConstraintSources(sets: ConstraintSet[]): ConstraintSet;
+//# sourceMappingURL=merge-constraint-sources.d.ts.map

package/dist/scope/context/merge-constraint-sources.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge-constraint-sources.d.ts","sourceRoot":"","sources":["../../../src/scope/context/merge-constraint-sources.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAGtD,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,aAAa,CAYxF;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,aAAa,CAS/E"}

package/dist/scope/context/merge-constraint-sources.js

@@ -0,0 +1,28 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.mergeConstraintSources = mergeConstraintSources;
+exports.mergeManyConstraintSources = mergeManyConstraintSources;
+const constraint_set_1 = require("./constraint-set");
+function mergeConstraintSources(a, b) {
+    const out = (0, constraint_set_1.cloneConstraintSet)(a);
+    out.metadata.hasUnsupportedSemantics =
+        out.metadata.hasUnsupportedSemantics || b.metadata.hasUnsupportedSemantics;
+    out.metadata.extractionRejections.push(...b.metadata.extractionRejections);
+    for (const [field, atoms] of b.byField) {
+        const cur = out.byField.get(field) ?? [];
+        out.byField.set(field, [...cur, ...atoms]);
+    }
+    out.opaqueConstraints.push(...b.opaqueConstraints);
+    return out;
+}
+function mergeManyConstraintSources(sets) {
+    if (sets.length === 0) {
+        return (0, constraint_set_1.emptyConstraintSet)();
+    }
+    let acc = (0, constraint_set_1.cloneConstraintSet)(sets[0]);
+    for (let i = 1; i < sets.length; i += 1) {
+        acc = mergeConstraintSources(acc, sets[i]);
+    }
+    return acc;
+}
+//# sourceMappingURL=merge-constraint-sources.js.map

package/dist/scope/context/merge-constraint-sources.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge-constraint-sources.js","sourceRoot":"","sources":["../../../src/scope/context/merge-constraint-sources.ts"],"names":[],"mappings":";;AAGA,wDAYC;AAED,gEASC;AAzBD,qDAA0E;AAE1E,SAAgB,sBAAsB,CAAC,CAAgB,EAAE,CAAgB;IACrE,MAAM,GAAG,GAAG,IAAA,mCAAkB,EAAC,CAAC,CAAC,CAAC;IAClC,GAAG,CAAC,QAAQ,CAAC,uBAAuB;QAChC,GAAG,CAAC,QAAQ,CAAC,uBAAuB,IAAI,CAAC,CAAC,QAAQ,CAAC,uBAAuB,CAAC;IAC/E,GAAG,CAAC,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAE3E,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACzC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,iBAAiB,CAAC,CAAC;IACnD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAgB,0BAA0B,CAAC,IAAqB;IAC5D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,IAAA,mCAAkB,GAAE,CAAC;IAChC,CAAC;IACD,IAAI,GAAG,GAAG,IAAA,mCAAkB,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,GAAG,GAAG,sBAAsB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC"}