mongo-query-normalizer 0.1.0 → 0.2.0

package/dist/scope/index.d.ts

@@ -0,0 +1,8 @@
+export { normalizeScope } from "./normalize-scope";
+export type { ConstraintSet } from "./context/constraint-set";
+export { emptyConstraintSet, cloneConstraintSet } from "./context/constraint-set";
+export { mergeConstraintSources, mergeManyConstraintSources } from "./context/merge-constraint-sources";
+export { constraintSetFromQueryNode, constraintSetFromFieldNode } from "./context/build-inherited-constraints";
+export { createBranchLocalBundle } from "./propagation/create-branch-local-bundle";
+export { DEFAULT_SCOPE_SAFETY_POLICY, type ScopeSafetyPolicy } from "./safety/scope-safety-policy";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/scope/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,YAAY,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AACxG,OAAO,EAAE,0BAA0B,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AAC/G,OAAO,EAAE,uBAAuB,EAAE,MAAM,0CAA0C,CAAC;AACnF,OAAO,EAAE,2BAA2B,EAAE,KAAK,iBAAiB,EAAE,MAAM,8BAA8B,CAAC"}

package/dist/scope/index.js

@@ -0,0 +1,19 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DEFAULT_SCOPE_SAFETY_POLICY = exports.createBranchLocalBundle = exports.constraintSetFromFieldNode = exports.constraintSetFromQueryNode = exports.mergeManyConstraintSources = exports.mergeConstraintSources = exports.cloneConstraintSet = exports.emptyConstraintSet = exports.normalizeScope = void 0;
+var normalize_scope_1 = require("./normalize-scope");
+Object.defineProperty(exports, "normalizeScope", { enumerable: true, get: function () { return normalize_scope_1.normalizeScope; } });
+var constraint_set_1 = require("./context/constraint-set");
+Object.defineProperty(exports, "emptyConstraintSet", { enumerable: true, get: function () { return constraint_set_1.emptyConstraintSet; } });
+Object.defineProperty(exports, "cloneConstraintSet", { enumerable: true, get: function () { return constraint_set_1.cloneConstraintSet; } });
+var merge_constraint_sources_1 = require("./context/merge-constraint-sources");
+Object.defineProperty(exports, "mergeConstraintSources", { enumerable: true, get: function () { return merge_constraint_sources_1.mergeConstraintSources; } });
+Object.defineProperty(exports, "mergeManyConstraintSources", { enumerable: true, get: function () { return merge_constraint_sources_1.mergeManyConstraintSources; } });
+var build_inherited_constraints_1 = require("./context/build-inherited-constraints");
+Object.defineProperty(exports, "constraintSetFromQueryNode", { enumerable: true, get: function () { return build_inherited_constraints_1.constraintSetFromQueryNode; } });
+Object.defineProperty(exports, "constraintSetFromFieldNode", { enumerable: true, get: function () { return build_inherited_constraints_1.constraintSetFromFieldNode; } });
+var create_branch_local_bundle_1 = require("./propagation/create-branch-local-bundle");
+Object.defineProperty(exports, "createBranchLocalBundle", { enumerable: true, get: function () { return create_branch_local_bundle_1.createBranchLocalBundle; } });
+var scope_safety_policy_1 = require("./safety/scope-safety-policy");
+Object.defineProperty(exports, "DEFAULT_SCOPE_SAFETY_POLICY", { enumerable: true, get: function () { return scope_safety_policy_1.DEFAULT_SCOPE_SAFETY_POLICY; } });
+//# sourceMappingURL=index.js.map

package/dist/scope/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/scope/index.ts"],"names":[],"mappings":";;;AAAA,qDAAmD;AAA1C,iHAAA,cAAc,OAAA;AAEvB,2DAAkF;AAAzE,oHAAA,kBAAkB,OAAA;AAAE,oHAAA,kBAAkB,OAAA;AAC/C,+EAAwG;AAA/F,kIAAA,sBAAsB,OAAA;AAAE,sIAAA,0BAA0B,OAAA;AAC3D,qFAA+G;AAAtG,yIAAA,0BAA0B,OAAA;AAAE,yIAAA,0BAA0B,OAAA;AAC/D,uFAAmF;AAA1E,qIAAA,uBAAuB,OAAA;AAChC,oEAAmG;AAA1F,kIAAA,2BAA2B,OAAA"}

package/dist/scope/meta/collect-scope-meta.d.ts

@@ -0,0 +1,5 @@
+export type ScopeNormalizeMeta = {
+    scopePassRan: boolean;
+};
+export declare function emptyScopeMeta(): ScopeNormalizeMeta;
+//# sourceMappingURL=collect-scope-meta.d.ts.map

package/dist/scope/meta/collect-scope-meta.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collect-scope-meta.d.ts","sourceRoot":"","sources":["../../../src/scope/meta/collect-scope-meta.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,kBAAkB,GAAG;IAC7B,YAAY,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF,wBAAgB,cAAc,IAAI,kBAAkB,CAEnD"}

package/dist/scope/meta/collect-scope-meta.js

@@ -0,0 +1,7 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.emptyScopeMeta = emptyScopeMeta;
+function emptyScopeMeta() {
+    return { scopePassRan: false };
+}
+//# sourceMappingURL=collect-scope-meta.js.map

package/dist/scope/meta/collect-scope-meta.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collect-scope-meta.js","sourceRoot":"","sources":["../../../src/scope/meta/collect-scope-meta.ts"],"names":[],"mappings":";;AAIA,wCAEC;AAFD,SAAgB,cAAc;IAC1B,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;AACnC,CAAC"}

package/dist/scope/normalize-scope.d.ts

@@ -0,0 +1,4 @@
+import type { QueryNode } from "../ast/types";
+import type { NormalizeContext } from "../normalize-context";
+export declare function normalizeScope(node: QueryNode, normalizeContext: NormalizeContext): QueryNode;
+//# sourceMappingURL=normalize-scope.d.ts.map

package/dist/scope/normalize-scope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize-scope.d.ts","sourceRoot":"","sources":["../../src/scope/normalize-scope.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAe,SAAS,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AA2N7D,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAY7F"}

package/dist/scope/normalize-scope.js

@@ -0,0 +1,149 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.normalizeScope = normalizeScope;
+const builders_1 = require("../ast/builders");
+const guards_1 = require("../ast/guards");
+const build_inherited_constraints_1 = require("./context/build-inherited-constraints");
+const constraint_set_1 = require("./context/constraint-set");
+const merge_constraint_sources_1 = require("./context/merge-constraint-sources");
+const collapse_single_branch_1 = require("./rewrite/collapse-single-branch");
+const prune_impossible_branches_1 = require("./rewrite/prune-impossible-branches");
+const remove_covered_local_constraints_1 = require("./rewrite/remove-covered-local-constraints");
+/** Extract positive field constraints from one $and sibling subtree (constraint-set build only; no context I/O). */
+function positiveFieldConstraintsFromSibling(child) {
+    if ((0, guards_1.isFieldNode)(child)) {
+        return (0, build_inherited_constraints_1.constraintSetFromQueryNode)(child);
+    }
+    if ((0, guards_1.isLogicalNode)(child) && child.op === "$and") {
+        const parts = child.children.map((c) => positiveFieldConstraintsFromSibling(c));
+        return (0, merge_constraint_sources_1.mergeManyConstraintSources)(parts);
+    }
+    return (0, constraint_set_1.emptyConstraintSet)();
+}
+/** Orchestrator-only: append inherited-phase extraction rejections to observe metadata (same guard as legacy per-sibling record). */
+function commitInheritedConstraintRejections(normalizeContext, rejections) {
+    if (!normalizeContext.options.observe.collectScopeTraces || rejections.length === 0) {
+        return;
+    }
+    if (!normalizeContext.scopeConstraintRejections) {
+        normalizeContext.scopeConstraintRejections = [];
+    }
+    normalizeContext.scopeConstraintRejections.push(...rejections);
+}
+/** Pure build: merge sibling constraints into inherited; rejections are reported separately for orchestrator commit. */
+function buildInheritedConstraintsForAndChild(andLogical, childIndex, inherited) {
+    let siblingInherited = (0, constraint_set_1.cloneConstraintSet)(inherited);
+    const rejections = [];
+    for (let j = 0; j < andLogical.children.length; j += 1) {
+        if (j === childIndex) {
+            continue;
+        }
+        const siblingPart = positiveFieldConstraintsFromSibling(andLogical.children[j]);
+        rejections.push(...siblingPart.metadata.extractionRejections);
+        siblingInherited = (0, merge_constraint_sources_1.mergeConstraintSources)(siblingInherited, siblingPart);
+    }
+    return { inheritedConstraints: siblingInherited, rejections };
+}
+/** Coverage elimination phase: delegate to rewriter; trace via emitTrace only. */
+function applyCoverageElimination(branch, inherited, policy, emitTrace) {
+    return (0, remove_covered_local_constraints_1.removeCoveredLocalConstraints)(branch, inherited, policy, emitTrace);
+}
+/** Impossible-branch prune phase: delegate to rewriter; trace via emitTrace only. */
+function applyImpossibleBranchPrune(branch, inherited, policy, emitTrace) {
+    return (0, prune_impossible_branches_1.pruneImpossibleOrBranch)(branch, inherited, policy, emitTrace);
+}
+/** $and child pass: recurse with sibling-merged inherited, then optional coverage pass. */
+function normalizeAndChildWithInherited(child, siblingInherited, policy, normalizeContext, emitTrace) {
+    let processed = normalizeScopeRecursive(child, siblingInherited, policy, normalizeContext, emitTrace);
+    if (!siblingInherited.metadata.hasUnsupportedSemantics) {
+        processed = applyCoverageElimination(processed, siblingInherited, policy, emitTrace);
+    }
+    return processed;
+}
+/** $or branch pass: recurse, coverage elimination, then impossible-branch prune. */
+function normalizeOrBranchWithInherited(child, inherited, policy, normalizeContext, emitTrace) {
+    let branch = normalizeScopeRecursive(child, inherited, policy, normalizeContext, emitTrace);
+    branch = applyCoverageElimination(branch, inherited, policy, emitTrace);
+    const prunedReplacement = applyImpossibleBranchPrune(branch, inherited, policy, emitTrace);
+    if (prunedReplacement !== null) {
+        return prunedReplacement;
+    }
+    return branch;
+}
+/** Post-$or children: structural collapse; collapse-or trace goes through emitTrace (already gated). */
+function finalizeOrNode(newChildren, policy, emitTrace) {
+    const childCountBeforeCollapse = newChildren.length;
+    const out = (0, collapse_single_branch_1.collapseOrNodeChildren)(newChildren, policy);
+    if (policy.allowSingleBranchCollapse && childCountBeforeCollapse === 1) {
+        emitTrace({
+            type: "collapse-or",
+            outcome: "collapsed-single-child",
+            detail: "single $or branch collapsed",
+        });
+    }
+    return out;
+}
+function normalizeScopeRecursive(node, inherited, policy, normalizeContext, emitTrace) {
+    if ((0, guards_1.isFieldNode)(node)) {
+        return node;
+    }
+    if (!(0, guards_1.isLogicalNode)(node)) {
+        return node;
+    }
+    if (node.op === "$and") {
+        if (!policy.allowAndPropagation) {
+            emitTrace({
+                type: "and-propagation",
+                outcome: "skipped-by-policy",
+                detail: "$and sibling constraint propagation disabled by scope safety policy",
+            });
+            return (0, builders_1.andNode)(node.children.map((c) => normalizeScopeRecursive(c, inherited, policy, normalizeContext, emitTrace)));
+        }
+        emitTrace({
+            type: "and-propagation",
+            outcome: "applied",
+            detail: "merging sibling field constraints for $and children",
+        });
+        const newChildren = [];
+        const andNodeTyped = node;
+        for (let i = 0; i < andNodeTyped.children.length; i += 1) {
+            const { inheritedConstraints, rejections } = buildInheritedConstraintsForAndChild(andNodeTyped, i, inherited);
+            commitInheritedConstraintRejections(normalizeContext, rejections);
+            const processed = normalizeAndChildWithInherited(andNodeTyped.children[i], inheritedConstraints, policy, normalizeContext, emitTrace);
+            newChildren.push(processed);
+        }
+        return (0, builders_1.andNode)(newChildren);
+    }
+    if (node.op === "$or") {
+        if (!policy.allowOrPropagation) {
+            emitTrace({
+                type: "or-branch-inherited",
+                satisfiabilityCheck: "skipped",
+                detail: "$or propagation disabled; inherited constraints not applied for branch analysis",
+            });
+            const lifted = node.children.map((c) => normalizeScopeRecursive(c, inherited, policy, normalizeContext, emitTrace));
+            return finalizeOrNode(lifted, policy, emitTrace);
+        }
+        const newChildren = [];
+        for (const child of node.children) {
+            const branch = normalizeOrBranchWithInherited(child, inherited, policy, normalizeContext, emitTrace);
+            newChildren.push(branch);
+        }
+        return finalizeOrNode(newChildren, policy, emitTrace);
+    }
+    return node;
+}
+function normalizeScope(node, normalizeContext) {
+    const policy = normalizeContext.options.scope.safetyPolicy;
+    const emitTrace = (event) => {
+        if (!normalizeContext.options.observe.collectScopeTraces) {
+            return;
+        }
+        if (!normalizeContext.scopeTraceEvents) {
+            normalizeContext.scopeTraceEvents = [];
+        }
+        normalizeContext.scopeTraceEvents.push(event);
+    };
+    return normalizeScopeRecursive(node, (0, constraint_set_1.emptyConstraintSet)(), policy, normalizeContext, emitTrace);
+}
+//# sourceMappingURL=normalize-scope.js.map

package/dist/scope/normalize-scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize-scope.js","sourceRoot":"","sources":["../../src/scope/normalize-scope.ts"],"names":[],"mappings":";;AA8NA,wCAYC;AA1OD,8CAA0C;AAC1C,0CAA2D;AAI3D,uFAAmF;AACnF,6DAKkC;AAClC,iFAAwG;AACxG,6EAA0E;AAC1E,mFAA8E;AAC9E,iGAA2F;AAK3F,oHAAoH;AACpH,SAAS,mCAAmC,CAAC,KAAgB;IACzD,IAAI,IAAA,oBAAW,EAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,IAAA,wDAA0B,EAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,IAAA,sBAAa,EAAC,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mCAAmC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChF,OAAO,IAAA,qDAA0B,EAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,IAAA,mCAAkB,GAAE,CAAC;AAChC,CAAC;AAED,qIAAqI;AACrI,SAAS,mCAAmC,CACxC,gBAAkC,EAClC,UAAoD;IAEpD,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClF,OAAO;IACX,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,yBAAyB,EAAE,CAAC;QAC9C,gBAAgB,CAAC,yBAAyB,GAAG,EAAE,CAAC;IACpD,CAAC;IACD,gBAAgB,CAAC,yBAAyB,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;AACnE,CAAC;AAQD,wHAAwH;AACxH,SAAS,oCAAoC,CACzC,UAAwC,EACxC,UAAkB,EAClB,SAAwB;IAExB,IAAI,gBAAgB,GAAG,IAAA,mCAAkB,EAAC,SAAS,CAAC,CAAC;IACrD,MAAM,UAAU,GAAoC,EAAE,CAAC;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,KAAK,UAAU,EAAE,CAAC;YACnB,SAAS;QACb,CAAC;QACD,MAAM,WAAW,GAAG,mCAAmC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAChF,UAAU,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;QAC9D,gBAAgB,GAAG,IAAA,iDAAsB,EAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC;AAClE,CAAC;AAED,kFAAkF;AAClF,SAAS,wBAAwB,CAC7B,MAAiB,EACjB,SAAwB,EACxB,MAAyB,EACzB,SAAyB;IAEzB,OAAO,IAAA,gEAA6B,EAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;AAC/E,CAAC;AAED,qFAAqF;AACrF,SAAS,0BAA0B,CAC/B,MAAiB,EACjB,SAAwB,EACxB,MAAyB,EACzB,SAAyB;IAEzB,OAAO,IAAA,mDAAuB,EAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;AACzE,CAAC;AAED,2FAA2F;AAC3F,SAAS,8BAA8B,CACnC,KAAgB,EAChB,gBAA+B,EAC/B,MAAyB,EACzB,gBAAkC,EAClC,SAAyB;IAEzB,IAAI,SAAS,GAAG,uBAAuB,CAAC,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC;IACtG,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,uBAAuB,EAAE,CAAC;QACrD,SAAS,GAAG,wBAAwB,CAAC,SAAS,EAAE,gBAAgB,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,oFAAoF;AACpF,SAAS,8BAA8B,CACnC,KAAgB,EAChB,SAAwB,EACxB,MAAyB,EACzB,gBAAkC,EAClC,SAAyB;IAEzB,IAAI,MAAM,GAAG,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC;IAC5F,MAAM,GAAG,wBAAwB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IACxE,MAAM,iBAAiB,GAAG,0BAA0B,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAC3F,IAAI,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAC7B,OAAO,iBAAiB,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,wGAAwG;AACxG,SAAS,cAAc,CACnB,WAAwB,EACxB,MAAyB,EACzB,SAAyB;IAEzB,MAAM,wBAAwB,GAAG,WAAW,CAAC,MAAM,CAAC;IACpD,MAAM,GAAG,GAAG,IAAA,+CAAsB,EAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,yBAAyB,IAAI,wBAAwB,KAAK,CAAC,EAAE,CAAC;QACrE,SAAS,CAAC;YACN,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,wBAAwB;YACjC,MAAM,EAAE,6BAA6B;SACxC,CAAC,CAAC;IACP,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAS,uBAAuB,CAC5B,IAAe,EACf,SAAwB,EACxB,MAAyB,EACzB,gBAAkC,EAClC,SAAyB;IAEzB,IAAI,IAAA,oBAAW,EAAC,IAAI,CAAC,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,IAAA,sBAAa,EAAC,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;QACrB,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC;YAC9B,SAAS,CAAC;gBACN,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,mBAAmB;gBAC5B,MAAM,EAAE,qEAAqE;aAChF,CAAC,CAAC;YACH,OAAO,IAAA,kBAAO,EACV,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC,CACvG,CAAC;QACN,CAAC;QAED,SAAS,CAAC;YACN,IAAI,EAAE,iBAAiB;YACvB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,qDAAqD;SAChE,CAAC,CAAC;QAEH,MAAM,WAAW,GAAgB,EAAE,CAAC;QAEpC,MAAM,YAAY,GAAG,IAAoC,CAAC;QAC1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,MAAM,EAAE,oBAAoB,EAAE,UAAU,EAAE,GAAG,oCAAoC,CAC7E,YAAY,EACZ,CAAC,EACD,SAAS,CACZ,CAAC;YACF,mCAAmC,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;YAClE,MAAM,SAAS,GAAG,8BAA8B,CAC5C,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EACxB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,EAChB,SAAS,CACZ,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChC,CAAC;QAED,OAAO,IAAA,kBAAO,EAAC,WAAW,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QACpB,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC7B,SAAS,CAAC;gBACN,IAAI,EAAE,qBAAqB;gBAC3B,mBAAmB,EAAE,SAAS;gBAC9B,MAAM,EAAE,iFAAiF;aAC5F,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACnC,uBAAuB,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAC7E,CAAC;YACF,OAAO,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;QACrD,CAAC;QAED,MAAM,WAAW,GAAgB,EAAE,CAAC;QACpC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,8BAA8B,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC;YACrG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7B,CAAC;QAED,OAAO,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAgB,cAAc,CAAC,IAAe,EAAE,gBAAkC;IAC9E,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC;IAC3D,MAAM,SAAS,GAAG,CAAC,KAAsB,EAAQ,EAAE;QAC/C,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAAC;YACvD,OAAO;QACX,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,CAAC;YACrC,gBAAgB,CAAC,gBAAgB,GAAG,EAAE,CAAC;QAC3C,CAAC;QACD,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC;IACF,OAAO,uBAAuB,CAAC,IAAI,EAAE,IAAA,mCAAkB,GAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC;AACpG,CAAC"}

package/dist/scope/planner/scope-plan.d.ts

@@ -0,0 +1,6 @@
+export type ScopePlanPhase = "propagate" | "prune" | "collapse" | "coverage";
+export type ScopePlan = {
+    phases: ScopePlanPhase[];
+};
+export declare function defaultScopePlan(): ScopePlan;
+//# sourceMappingURL=scope-plan.d.ts.map

package/dist/scope/planner/scope-plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-plan.d.ts","sourceRoot":"","sources":["../../../src/scope/planner/scope-plan.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;AAE7E,MAAM,MAAM,SAAS,GAAG;IACpB,MAAM,EAAE,cAAc,EAAE,CAAC;CAC5B,CAAC;AAEF,wBAAgB,gBAAgB,IAAI,SAAS,CAI5C"}

package/dist/scope/planner/scope-plan.js

@@ -0,0 +1,9 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.defaultScopePlan = defaultScopePlan;
+function defaultScopePlan() {
+    return {
+        phases: ["propagate", "coverage", "prune", "collapse"],
+    };
+}
+//# sourceMappingURL=scope-plan.js.map

package/dist/scope/planner/scope-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-plan.js","sourceRoot":"","sources":["../../../src/scope/planner/scope-plan.ts"],"names":[],"mappings":";;AAMA,4CAIC;AAJD,SAAgB,gBAAgB;IAC5B,OAAO;QACH,MAAM,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC;KACzD,CAAC;AACN,CAAC"}

package/dist/scope/planner/scope-rewrite-planner.d.ts

@@ -0,0 +1,4 @@
+import { type ScopePlan } from "./scope-plan";
+import type { ScopeSafetyPolicy } from "../safety/scope-safety-policy";
+export declare function planScopeRewrite(_policy: ScopeSafetyPolicy): ScopePlan;
+//# sourceMappingURL=scope-rewrite-planner.d.ts.map

package/dist/scope/planner/scope-rewrite-planner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-rewrite-planner.d.ts","sourceRoot":"","sources":["../../../src/scope/planner/scope-rewrite-planner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,KAAK,SAAS,EAAE,MAAM,cAAc,CAAC;AAChE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAEvE,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,iBAAiB,GAAG,SAAS,CAEtE"}

package/dist/scope/planner/scope-rewrite-planner.js

@@ -0,0 +1,8 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.planScopeRewrite = planScopeRewrite;
+const scope_plan_1 = require("./scope-plan");
+function planScopeRewrite(_policy) {
+    return (0, scope_plan_1.defaultScopePlan)();
+}
+//# sourceMappingURL=scope-rewrite-planner.js.map

package/dist/scope/planner/scope-rewrite-planner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-rewrite-planner.js","sourceRoot":"","sources":["../../../src/scope/planner/scope-rewrite-planner.ts"],"names":[],"mappings":";;AAGA,4CAEC;AALD,6CAAgE;AAGhE,SAAgB,gBAAgB,CAAC,OAA0B;IACvD,OAAO,IAAA,6BAAgB,GAAE,CAAC;AAC9B,CAAC"}

package/dist/scope/propagation/create-branch-local-bundle.d.ts

@@ -0,0 +1,5 @@
+import type { FieldNode } from "../../ast/types";
+import type { FieldPredicateBundle } from "../../predicate/ir/field-predicate-bundle";
+import type { ConstraintSet } from "../context/constraint-set";
+export declare function createBranchLocalBundle(fieldNode: FieldNode, inherited: ConstraintSet): FieldPredicateBundle;
+//# sourceMappingURL=create-branch-local-bundle.d.ts.map

package/dist/scope/propagation/create-branch-local-bundle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-branch-local-bundle.d.ts","sourceRoot":"","sources":["../../../src/scope/propagation/create-branch-local-bundle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAE/D,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,GAAG,oBAAoB,CAU5G"}

package/dist/scope/propagation/create-branch-local-bundle.js

@@ -0,0 +1,16 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createBranchLocalBundle = createBranchLocalBundle;
+const build_field_bundle_1 = require("../../predicate/ir/build-field-bundle");
+function createBranchLocalBundle(fieldNode, inherited) {
+    const local = (0, build_field_bundle_1.buildFieldPredicateBundleFromFieldNode)(fieldNode);
+    const inheritedAtoms = inherited.byField.get(fieldNode.field) ?? [];
+    const mergedPredicates = [...inheritedAtoms, ...local.predicates];
+    const bundle = {
+        ...local,
+        predicates: mergedPredicates,
+        metadata: local.metadata,
+    };
+    return (0, build_field_bundle_1.refreshBundleMetadata)(bundle);
+}
+//# sourceMappingURL=create-branch-local-bundle.js.map

package/dist/scope/propagation/create-branch-local-bundle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-branch-local-bundle.js","sourceRoot":"","sources":["../../../src/scope/propagation/create-branch-local-bundle.ts"],"names":[],"mappings":";;AAKA,0DAUC;AAdD,8EAAsH;AAItH,SAAgB,uBAAuB,CAAC,SAAoB,EAAE,SAAwB;IAClF,MAAM,KAAK,GAAG,IAAA,2DAAsC,EAAC,SAAS,CAAC,CAAC;IAChE,MAAM,cAAc,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IACpE,MAAM,gBAAgB,GAAG,CAAC,GAAG,cAAc,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;IAClE,MAAM,MAAM,GAAyB;QACjC,GAAG,KAAK;QACR,UAAU,EAAE,gBAAgB;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;KAC3B,CAAC;IACF,OAAO,IAAA,0CAAqB,EAAC,MAAM,CAAC,CAAC;AACzC,CAAC"}

package/dist/scope/propagation/propagate-constraints-to-children.d.ts

@@ -0,0 +1,6 @@
+/**
+ * 约束传播逻辑内联在 `normalize-scope.ts` 的 `$and` / `$or` 遍历中；
+ * 本模块占位，便于后续把传播策略从 normalize 主流程中抽出。
+ */
+export declare const PROPAGATION_NOTES = "see normalizeScopeRecursive for AND/OR inherited accumulation";
+//# sourceMappingURL=propagate-constraints-to-children.d.ts.map

package/dist/scope/propagation/propagate-constraints-to-children.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propagate-constraints-to-children.d.ts","sourceRoot":"","sources":["../../../src/scope/propagation/propagate-constraints-to-children.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,eAAO,MAAM,iBAAiB,kEAAkE,CAAC"}

package/dist/scope/propagation/propagate-constraints-to-children.js

@@ -0,0 +1,9 @@
+"use strict";
+/**
+ * 约束传播逻辑内联在 `normalize-scope.ts` 的 `$and` / `$or` 遍历中；
+ * 本模块占位，便于后续把传播策略从 normalize 主流程中抽出。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PROPAGATION_NOTES = void 0;
+exports.PROPAGATION_NOTES = "see normalizeScopeRecursive for AND/OR inherited accumulation";
+//# sourceMappingURL=propagate-constraints-to-children.js.map

package/dist/scope/propagation/propagate-constraints-to-children.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propagate-constraints-to-children.js","sourceRoot":"","sources":["../../../src/scope/propagation/propagate-constraints-to-children.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEU,QAAA,iBAAiB,GAAG,+DAA+D,CAAC"}

package/dist/scope/rewrite/collapse-single-branch.d.ts

@@ -0,0 +1,5 @@
+import type { QueryNode } from "../../ast/types";
+import type { ScopeSafetyPolicy } from "../safety/scope-safety-policy";
+export declare function collapseSingleOrBranch(node: QueryNode, policy: ScopeSafetyPolicy): QueryNode;
+export declare function collapseOrNodeChildren(children: QueryNode[], policy: ScopeSafetyPolicy): QueryNode;
+//# sourceMappingURL=collapse-single-branch.d.ts.map

package/dist/scope/rewrite/collapse-single-branch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collapse-single-branch.d.ts","sourceRoot":"","sources":["../../../src/scope/rewrite/collapse-single-branch.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAEvE,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,GAAG,SAAS,CAW5F;AAED,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,iBAAiB,GAAG,SAAS,CAQlG"}

package/dist/scope/rewrite/collapse-single-branch.js

@@ -0,0 +1,28 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.collapseSingleOrBranch = collapseSingleOrBranch;
+exports.collapseOrNodeChildren = collapseOrNodeChildren;
+const builders_1 = require("../../ast/builders");
+const guards_1 = require("../../ast/guards");
+function collapseSingleOrBranch(node, policy) {
+    if (!policy.allowSingleBranchCollapse) {
+        return node;
+    }
+    if (!(0, guards_1.isLogicalNode)(node) || node.op !== "$or") {
+        return node;
+    }
+    if (node.children.length !== 1) {
+        return node;
+    }
+    return node.children[0];
+}
+function collapseOrNodeChildren(children, policy) {
+    if (!policy.allowSingleBranchCollapse) {
+        return (0, builders_1.orNode)(children);
+    }
+    if (children.length === 1) {
+        return children[0];
+    }
+    return (0, builders_1.orNode)(children);
+}
+//# sourceMappingURL=collapse-single-branch.js.map

package/dist/scope/rewrite/collapse-single-branch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collapse-single-branch.js","sourceRoot":"","sources":["../../../src/scope/rewrite/collapse-single-branch.ts"],"names":[],"mappings":";;AAKA,wDAWC;AAED,wDAQC;AA1BD,iDAA4C;AAC5C,6CAAiD;AAIjD,SAAgB,sBAAsB,CAAC,IAAe,EAAE,MAAyB;IAC7E,IAAI,CAAC,MAAM,CAAC,yBAAyB,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,IAAA,sBAAa,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC;AAED,SAAgB,sBAAsB,CAAC,QAAqB,EAAE,MAAyB;IACnF,IAAI,CAAC,MAAM,CAAC,yBAAyB,EAAE,CAAC;QACpC,OAAO,IAAA,iBAAM,EAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,IAAA,iBAAM,EAAC,QAAQ,CAAC,CAAC;AAC5B,CAAC"}

package/dist/scope/rewrite/prune-impossible-branches.d.ts

@@ -0,0 +1,6 @@
+import type { QueryNode } from "../../ast/types";
+import type { ScopeTraceEvent } from "../../types";
+import type { ConstraintSet } from "../context/constraint-set";
+import type { ScopeSafetyPolicy } from "../safety/scope-safety-policy";
+export declare function pruneImpossibleOrBranch(branch: QueryNode, inherited: ConstraintSet, policy: ScopeSafetyPolicy, onTrace?: (event: ScopeTraceEvent) => void): QueryNode | null;
+//# sourceMappingURL=prune-impossible-branches.d.ts.map

package/dist/scope/rewrite/prune-impossible-branches.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prune-impossible-branches.d.ts","sourceRoot":"","sources":["../../../src/scope/rewrite/prune-impossible-branches.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAGvE,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,SAAS,EACjB,SAAS,EAAE,aAAa,EACxB,MAAM,EAAE,iBAAiB,EACzB,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,eAAe,KAAK,IAAI,GAC3C,SAAS,GAAG,IAAI,CAyBlB"}

package/dist/scope/rewrite/prune-impossible-branches.js

@@ -0,0 +1,32 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.pruneImpossibleOrBranch = pruneImpossibleOrBranch;
+const builders_1 = require("../../ast/builders");
+const analyze_branch_satisfiability_1 = require("../analysis/analyze-branch-satisfiability");
+function pruneImpossibleOrBranch(branch, inherited, policy, onTrace) {
+    if (!policy.allowBranchPruning || !policy.allowOrPropagation) {
+        onTrace?.({
+            type: "prune-branch",
+            outcome: "skipped-by-policy",
+            detail: "branch pruning or $or propagation disabled by scope safety policy",
+        });
+        return null;
+    }
+    const explained = (0, analyze_branch_satisfiability_1.explainBranchSatisfiability)(branch, inherited, policy);
+    onTrace?.({
+        type: "or-branch-inherited",
+        satisfiabilityCheck: "ran",
+        satisfiable: explained.satisfiable,
+        detail: explained.reason,
+    });
+    if (!explained.satisfiable) {
+        onTrace?.({
+            type: "prune-branch",
+            outcome: "pruned-to-false",
+            detail: explained.reason,
+        });
+        return (0, builders_1.falseNode)();
+    }
+    return null;
+}
+//# sourceMappingURL=prune-impossible-branches.js.map

package/dist/scope/rewrite/prune-impossible-branches.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prune-impossible-branches.js","sourceRoot":"","sources":["../../../src/scope/rewrite/prune-impossible-branches.ts"],"names":[],"mappings":";;AAOA,0DA8BC;AArCD,iDAA+C;AAK/C,6FAAwF;AAExF,SAAgB,uBAAuB,CACnC,MAAiB,EACjB,SAAwB,EACxB,MAAyB,EACzB,OAA0C;IAE1C,IAAI,CAAC,MAAM,CAAC,kBAAkB,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC3D,OAAO,EAAE,CAAC;YACN,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,mBAAmB;YAC5B,MAAM,EAAE,mEAAmE;SAC9E,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,SAAS,GAAG,IAAA,2DAA2B,EAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACzE,OAAO,EAAE,CAAC;QACN,IAAI,EAAE,qBAAqB;QAC3B,mBAAmB,EAAE,KAAK;QAC1B,WAAW,EAAE,SAAS,CAAC,WAAW;QAClC,MAAM,EAAE,SAAS,CAAC,MAAM;KAC3B,CAAC,CAAC;IACH,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QACzB,OAAO,EAAE,CAAC;YACN,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,iBAAiB;YAC1B,MAAM,EAAE,SAAS,CAAC,MAAM;SAC3B,CAAC,CAAC;QACH,OAAO,IAAA,oBAAS,GAAE,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/dist/scope/rewrite/remove-covered-local-constraints.d.ts

@@ -0,0 +1,6 @@
+import type { QueryNode } from "../../ast/types";
+import type { ScopeTraceEvent } from "../../types";
+import type { ConstraintSet } from "../context/constraint-set";
+import type { ScopeSafetyPolicy } from "../safety/scope-safety-policy";
+export declare function removeCoveredLocalConstraints(branch: QueryNode, inherited: ConstraintSet, policy: ScopeSafetyPolicy, onTrace?: (event: ScopeTraceEvent) => void): QueryNode;
+//# sourceMappingURL=remove-covered-local-constraints.d.ts.map

package/dist/scope/rewrite/remove-covered-local-constraints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"remove-covered-local-constraints.d.ts","sourceRoot":"","sources":["../../../src/scope/rewrite/remove-covered-local-constraints.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAa,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAavE,wBAAgB,6BAA6B,CACzC,MAAM,EAAE,SAAS,EACjB,SAAS,EAAE,aAAa,EACxB,MAAM,EAAE,iBAAiB,EACzB,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,eAAe,KAAK,IAAI,GAC3C,SAAS,CA8DX"}

package/dist/scope/rewrite/remove-covered-local-constraints.js

@@ -0,0 +1,76 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.removeCoveredLocalConstraints = removeCoveredLocalConstraints;
+const builders_1 = require("../../ast/builders");
+const guards_1 = require("../../ast/guards");
+const value_equality_1 = require("../../predicate/utils/value-equality");
+function isSingleEqField(node) {
+    if (node.predicates.length !== 1) {
+        return null;
+    }
+    const p = node.predicates[0];
+    if (p.op === "$eq" || (!p.opaque && p.op === "$eq")) {
+        return { value: p.value };
+    }
+    return null;
+}
+function removeCoveredLocalConstraints(branch, inherited, policy, onTrace) {
+    if (!policy.allowConstraintCoverageElimination) {
+        onTrace?.({
+            type: "coverage-removal",
+            outcome: "unchanged",
+            detail: "coverage elimination disabled by scope safety policy",
+        });
+        return branch;
+    }
+    if (policy.bailoutOnUnsupportedScopeMix && inherited.metadata.hasUnsupportedSemantics) {
+        onTrace?.({
+            type: "coverage-removal",
+            outcome: "unchanged",
+            detail: "preserve: inherited constraints flagged unsupported for scope mix bailout",
+        });
+        return branch;
+    }
+    if (!(0, guards_1.isFieldNode)(branch)) {
+        onTrace?.({
+            type: "coverage-removal",
+            outcome: "unchanged",
+            detail: "not a field leaf; no single-field coverage strip",
+        });
+        return branch;
+    }
+    const inheritedAtoms = inherited.byField.get(branch.field) ?? [];
+    const eqInherited = inheritedAtoms.find((a) => a.kind === "eq");
+    if (!eqInherited || eqInherited.kind !== "eq") {
+        onTrace?.({
+            type: "coverage-removal",
+            outcome: "unchanged",
+            detail: "no inherited eq constraint on this field",
+        });
+        return branch;
+    }
+    const localEq = isSingleEqField(branch);
+    if (!localEq) {
+        onTrace?.({
+            type: "coverage-removal",
+            outcome: "unchanged",
+            detail: "local field is not a single $eq; conservative preserve",
+        });
+        return branch;
+    }
+    if (!(0, value_equality_1.valuesEqual)(eqInherited.value, localEq.value)) {
+        onTrace?.({
+            type: "coverage-removal",
+            outcome: "unchanged",
+            detail: "local $eq differs from inherited $eq",
+        });
+        return branch;
+    }
+    onTrace?.({
+        type: "coverage-removal",
+        outcome: "replaced-with-true",
+        detail: "local $eq redundant with inherited $eq on same field",
+    });
+    return (0, builders_1.trueNode)();
+}
+//# sourceMappingURL=remove-covered-local-constraints.js.map

package/dist/scope/rewrite/remove-covered-local-constraints.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"remove-covered-local-constraints.js","sourceRoot":"","sources":["../../../src/scope/rewrite/remove-covered-local-constraints.ts"],"names":[],"mappings":";;AAmBA,sEAmEC;AAtFD,iDAA8C;AAC9C,6CAA+C;AAG/C,yEAAmE;AAInE,SAAS,eAAe,CAAC,IAAe;IACpC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC;QAClD,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;IAC9B,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAgB,6BAA6B,CACzC,MAAiB,EACjB,SAAwB,EACxB,MAAyB,EACzB,OAA0C;IAE1C,IAAI,CAAC,MAAM,CAAC,kCAAkC,EAAE,CAAC;QAC7C,OAAO,EAAE,CAAC;YACN,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,WAAW;YACpB,MAAM,EAAE,sDAAsD;SACjE,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,IAAI,MAAM,CAAC,4BAA4B,IAAI,SAAS,CAAC,QAAQ,CAAC,uBAAuB,EAAE,CAAC;QACpF,OAAO,EAAE,CAAC;YACN,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,WAAW;YACpB,MAAM,EAAE,2EAA2E;SACtF,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,IAAI,CAAC,IAAA,oBAAW,EAAC,MAAM,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,CAAC;YACN,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,WAAW;YACpB,MAAM,EAAE,kDAAkD;SAC7D,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,MAAM,cAAc,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IACjE,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAChE,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC5C,OAAO,EAAE,CAAC;YACN,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,WAAW;YACpB,MAAM,EAAE,0CAA0C;SACrD,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,OAAO,EAAE,CAAC;QACX,OAAO,EAAE,CAAC;YACN,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,WAAW;YACpB,MAAM,EAAE,wDAAwD;SACnE,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,IAAI,CAAC,IAAA,4BAAW,EAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,OAAO,EAAE,CAAC;YACN,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,WAAW;YACpB,MAAM,EAAE,sCAAsC;SACjD,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,OAAO,EAAE,CAAC;QACN,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,oBAAoB;QAC7B,MAAM,EAAE,sDAAsD;KACjE,CAAC,CAAC;IACH,OAAO,IAAA,mBAAQ,GAAE,CAAC;AACtB,CAAC"}

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

@@ -0,0 +1,10 @@
+export type ScopeSafetyPolicy = {
+    allowBranchPruning: boolean;
+    allowConstraintCoverageElimination: boolean;
+    allowSingleBranchCollapse: boolean;
+    allowOrPropagation: boolean;
+    allowAndPropagation: boolean;
+    bailoutOnUnsupportedScopeMix: boolean;
+};
+export declare const DEFAULT_SCOPE_SAFETY_POLICY: ScopeSafetyPolicy;
+//# sourceMappingURL=scope-safety-policy.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scope-safety-policy.d.ts","sourceRoot":"","sources":["../../../src/scope/safety/scope-safety-policy.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,iBAAiB,GAAG;IAC5B,kBAAkB,EAAE,OAAO,CAAC;IAC5B,kCAAkC,EAAE,OAAO,CAAC;IAC5C,yBAAyB,EAAE,OAAO,CAAC;IACnC,kBAAkB,EAAE,OAAO,CAAC;IAC5B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,4BAA4B,EAAE,OAAO,CAAC;CACzC,CAAC;AAEF,eAAO,MAAM,2BAA2B,EAAE,iBAOzC,CAAC"}

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

@@ -0,0 +1,12 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DEFAULT_SCOPE_SAFETY_POLICY = void 0;
+exports.DEFAULT_SCOPE_SAFETY_POLICY = {
+    allowBranchPruning: true,
+    allowConstraintCoverageElimination: true,
+    allowSingleBranchCollapse: true,
+    allowOrPropagation: true,
+    allowAndPropagation: true,
+    bailoutOnUnsupportedScopeMix: true,
+};
+//# sourceMappingURL=scope-safety-policy.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scope-safety-policy.js","sourceRoot":"","sources":["../../../src/scope/safety/scope-safety-policy.ts"],"names":[],"mappings":";;;AASa,QAAA,2BAA2B,GAAsB;IAC1D,kBAAkB,EAAE,IAAI;IACxB,kCAAkC,EAAE,IAAI;IACxC,yBAAyB,EAAE,IAAI;IAC/B,kBAAkB,EAAE,IAAI;IACxB,mBAAmB,EAAE,IAAI;IACzB,4BAA4B,EAAE,IAAI;CACrC,CAAC"}