mongo-query-normalizer 0.1.0 → 0.2.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"compile-field-bundle.js","sourceRoot":"","sources":["../../../src/predicate/ir/compile-field-bundle.ts"],"names":[],"mappings":";;AAoDA,4EAQC;AA5DD,iDAA0D;AAK1D,SAAS,oBAAoB,CAAC,IAAmB;IAC7C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,IAAI;YACL,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5C,KAAK,IAAI;YACL,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5C,KAAK,IAAI;YACL,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7C,KAAK,KAAK;YACN,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QAC9C,KAAK,IAAI;YACL,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5C,KAAK,KAAK;YACN,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7C,KAAK,IAAI;YACL,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5C,KAAK,KAAK;YACN,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7C,KAAK,QAAQ;YACT,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAChD,KAAK,QAAQ;YACT,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACtG,CAAC;AACL,CAAC;AAED,MAAM,UAAU,GAA0C;IACtD,EAAE,EAAE,CAAC;IACL,EAAE,EAAE,CAAC;IACL,EAAE,EAAE,CAAC;IACL,GAAG,EAAE,CAAC;IACN,EAAE,EAAE,CAAC;IACL,GAAG,EAAE,CAAC;IACN,EAAE,EAAE,CAAC;IACL,GAAG,EAAE,CAAC;IACN,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;CACZ,CAAC;AAEF,SAAS,0BAA0B,CAAC,CAAgB,EAAE,CAAgB;IAClE,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACZ,OAAO,EAAE,GAAG,EAAE,CAAC;IACnB,CAAC;IACD,OAAO,CAAC,CAAC;AACb,CAAC;AAED,SAAgB,gCAAgC,CAAC,MAA4B,EAAE,aAAsB;IACjG,IAAI,aAAa,EAAE,CAAC;QAChB,OAAO,IAAA,oBAAS,GAAE,CAAC;IACvB,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACvE,MAAM,UAAU,GAAqB,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACtE,OAAO,IAAA,oBAAS,EAAC,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AACnD,CAAC"}

package/dist/predicate/ir/dedupe-atoms.d.ts

@@ -0,0 +1,6 @@
+import type { PredicateAtom } from "./predicate-atom";
+export declare function dedupePredicateAtoms(predicates: PredicateAtom[]): {
+    next: PredicateAtom[];
+    changed: boolean;
+};
+//# sourceMappingURL=dedupe-atoms.d.ts.map

package/dist/predicate/ir/dedupe-atoms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dedupe-atoms.d.ts","sourceRoot":"","sources":["../../../src/predicate/ir/dedupe-atoms.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AA2BtD,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG;IAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAa7G"}

package/dist/predicate/ir/dedupe-atoms.js

@@ -0,0 +1,42 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.dedupePredicateAtoms = dedupePredicateAtoms;
+const value_equality_1 = require("../utils/value-equality");
+function atomsStructurallyEqual(a, b) {
+    if (a.kind !== b.kind) {
+        return false;
+    }
+    switch (a.kind) {
+        case "eq":
+        case "ne":
+        case "gt":
+        case "gte":
+        case "lt":
+        case "lte":
+        case "exists":
+            return (0, value_equality_1.valuesEqual)(a.value, b.value);
+        case "in":
+        case "nin":
+            return (0, value_equality_1.valuesEqual)(a.values, b.values);
+        case "opaque":
+            return a.operator === b.operator && (0, value_equality_1.valuesEqual)(a.raw, b.raw);
+        default: {
+            return false;
+        }
+    }
+}
+function dedupePredicateAtoms(predicates) {
+    const next = [];
+    let changed = false;
+    outer: for (const p of predicates) {
+        for (const q of next) {
+            if (atomsStructurallyEqual(p, q)) {
+                changed = true;
+                continue outer;
+            }
+        }
+        next.push(p);
+    }
+    return { next, changed };
+}
+//# sourceMappingURL=dedupe-atoms.js.map

package/dist/predicate/ir/dedupe-atoms.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dedupe-atoms.js","sourceRoot":"","sources":["../../../src/predicate/ir/dedupe-atoms.ts"],"names":[],"mappings":";;AA2BA,oDAaC;AAvCD,4DAAsD;AAEtD,SAAS,sBAAsB,CAAC,CAAgB,EAAE,CAAgB;IAC9D,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACpB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACb,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ;YACT,OAAO,IAAA,4BAAW,EAAC,CAAC,CAAC,KAAK,EAAG,CAAc,CAAC,KAAK,CAAC,CAAC;QACvD,KAAK,IAAI,CAAC;QACV,KAAK,KAAK;YACN,OAAO,IAAA,4BAAW,EAAC,CAAC,CAAC,MAAM,EAAG,CAAc,CAAC,MAAM,CAAC,CAAC;QACzD,KAAK,QAAQ;YACT,OAAO,CAAC,CAAC,QAAQ,KAAM,CAAc,CAAC,QAAQ,IAAI,IAAA,4BAAW,EAAC,CAAC,CAAC,GAAG,EAAG,CAAc,CAAC,GAAG,CAAC,CAAC;QAC9F,OAAO,CAAC,CAAC,CAAC;YACN,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAgB,oBAAoB,CAAC,UAA2B;IAC5D,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,EAAE,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACnB,IAAI,sBAAsB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBAC/B,OAAO,GAAG,IAAI,CAAC;gBACf,SAAS,KAAK,CAAC;YACnB,CAAC;QACL,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC"}

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

@@ -0,0 +1,16 @@
+import type { QueryNode } from "../../ast/types";
+import type { PredicateAtom } from "./predicate-atom";
+export type FieldPredicateBundleMetadata = {
+    hasArraySensitiveSemantics: boolean;
+    hasNullSemantics: boolean;
+    hasUnsupportedOperators: boolean;
+    hasDottedPathConflictRisk: boolean;
+};
+export type FieldPredicateBundle = {
+    fieldPath: string;
+    sourceNodes: QueryNode[];
+    predicates: PredicateAtom[];
+    opaqueNodes: QueryNode[];
+    metadata: FieldPredicateBundleMetadata;
+};
+//# sourceMappingURL=field-predicate-bundle.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"field-predicate-bundle.d.ts","sourceRoot":"","sources":["../../../src/predicate/ir/field-predicate-bundle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEtD,MAAM,MAAM,4BAA4B,GAAG;IACvC,0BAA0B,EAAE,OAAO,CAAC;IACpC,gBAAgB,EAAE,OAAO,CAAC;IAC1B,uBAAuB,EAAE,OAAO,CAAC;IACjC,yBAAyB,EAAE,OAAO,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,QAAQ,EAAE,4BAA4B,CAAC;CAC1C,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"field-predicate-bundle.js","sourceRoot":"","sources":["../../../src/predicate/ir/field-predicate-bundle.ts"],"names":[],"mappings":""}

package/dist/predicate/ir/predicate-atom.d.ts

@@ -0,0 +1,33 @@
+export type PredicateAtom = {
+    kind: "eq";
+    value: unknown;
+} | {
+    kind: "ne";
+    value: unknown;
+} | {
+    kind: "in";
+    values: unknown[];
+} | {
+    kind: "nin";
+    values: unknown[];
+} | {
+    kind: "gt";
+    value: unknown;
+} | {
+    kind: "gte";
+    value: unknown;
+} | {
+    kind: "lt";
+    value: unknown;
+} | {
+    kind: "lte";
+    value: unknown;
+} | {
+    kind: "exists";
+    value: boolean;
+} | {
+    kind: "opaque";
+    operator: string;
+    raw: unknown;
+};
+//# sourceMappingURL=predicate-atom.d.ts.map

package/dist/predicate/ir/predicate-atom.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-atom.d.ts","sourceRoot":"","sources":["../../../src/predicate/ir/predicate-atom.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,aAAa,GACnB;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,OAAO,EAAE,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,OAAO,EAAE,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,CAAC"}

package/dist/predicate/ir/predicate-atom.js

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

package/dist/predicate/ir/predicate-atom.js.map

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

package/dist/predicate/local-normalize-result.d.ts

@@ -0,0 +1,17 @@
+import type { FieldPredicateBundle } from "./ir/field-predicate-bundle";
+import type { PredicateAtom } from "./ir/predicate-atom";
+import type { SkippedCapability } from "./planner/relation-plan";
+export type LocalNormalizeResult = {
+    normalizedBundle: FieldPredicateBundle;
+    changed: boolean;
+    contradiction: boolean;
+    contradictionCapabilityId?: string;
+    atomDedupeChanged: boolean;
+    coveredAtoms: PredicateAtom[];
+    skippedAtoms: PredicateAtom[];
+    appliedCapabilities: string[];
+    skippedCapabilities: SkippedCapability[];
+    atomKinds: string[];
+    warnings: string[];
+};
+//# sourceMappingURL=local-normalize-result.d.ts.map

package/dist/predicate/local-normalize-result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-normalize-result.d.ts","sourceRoot":"","sources":["../../src/predicate/local-normalize-result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACxE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAEjE,MAAM,MAAM,oBAAoB,GAAG;IAC/B,gBAAgB,EAAE,oBAAoB,CAAC;IACvC,OAAO,EAAE,OAAO,CAAC;IACjB,aAAa,EAAE,OAAO,CAAC;IACvB,yBAAyB,CAAC,EAAE,MAAM,CAAC;IACnC,iBAAiB,EAAE,OAAO,CAAC;IAC3B,YAAY,EAAE,aAAa,EAAE,CAAC;IAC9B,YAAY,EAAE,aAAa,EAAE,CAAC;IAC9B,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,mBAAmB,EAAE,iBAAiB,EAAE,CAAC;IACzC,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACtB,CAAC"}

package/dist/predicate/local-normalize-result.js

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

package/dist/predicate/local-normalize-result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-normalize-result.js","sourceRoot":"","sources":["../../src/predicate/local-normalize-result.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,16 @@
+import type { LocalNormalizeResult } from "../local-normalize-result";
+export type PredicateNormalizeMeta = {
+    appliedCapabilities: string[];
+    skippedCapabilityReasons: {
+        id: string;
+        reason: string;
+    }[];
+    warnings: string[];
+    contradiction: boolean;
+    changed: boolean;
+};
+export declare function collectPredicateMeta(result: LocalNormalizeResult, skippedFromPlanner: {
+    id: string;
+    reason: string;
+}[]): PredicateNormalizeMeta;
+//# sourceMappingURL=collect-predicate-meta.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"collect-predicate-meta.d.ts","sourceRoot":"","sources":["../../../src/predicate/meta/collect-predicate-meta.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAEtE,MAAM,MAAM,sBAAsB,GAAG;IACjC,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,wBAAwB,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC3D,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,aAAa,EAAE,OAAO,CAAC;IACvB,OAAO,EAAE,OAAO,CAAC;CACpB,CAAC;AAEF,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,oBAAoB,EAC5B,kBAAkB,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,GACrD,sBAAsB,CAQxB"}

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

@@ -0,0 +1,13 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.collectPredicateMeta = collectPredicateMeta;
+function collectPredicateMeta(result, skippedFromPlanner) {
+    return {
+        appliedCapabilities: result.appliedCapabilities,
+        skippedCapabilityReasons: skippedFromPlanner,
+        warnings: result.warnings,
+        contradiction: result.contradiction,
+        changed: result.changed,
+    };
+}
+//# sourceMappingURL=collect-predicate-meta.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"collect-predicate-meta.js","sourceRoot":"","sources":["../../../src/predicate/meta/collect-predicate-meta.ts"],"names":[],"mappings":";;AAUA,oDAWC;AAXD,SAAgB,oBAAoB,CAChC,MAA4B,EAC5B,kBAAoD;IAEpD,OAAO;QACH,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;QAC/C,wBAAwB,EAAE,kBAAkB;QAC5C,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,OAAO,EAAE,MAAM,CAAC,OAAO;KAC1B,CAAC;AACN,CAAC"}

package/dist/predicate/normalize-field-predicate-bundle.d.ts

@@ -0,0 +1,18 @@
+import type { QueryNode } from "../ast/types";
+import type { FieldPredicateBundle } from "./ir/field-predicate-bundle";
+import type { LocalNormalizeResult } from "./local-normalize-result";
+import type { PredicateSafetyPolicy } from "./safety/predicate-safety-policy";
+export type NormalizeFieldPredicateBundleOptions = {
+    safety?: PredicateSafetyPolicy;
+    engine?: {
+        dedupeAtoms: boolean;
+        mergeComparable: boolean;
+        collapseContradictions: boolean;
+    };
+};
+export declare function normalizeFieldPredicateBundle(bundle: FieldPredicateBundle, options?: NormalizeFieldPredicateBundleOptions): LocalNormalizeResult;
+export declare function detectLocalContradiction(bundle: FieldPredicateBundle, options?: NormalizeFieldPredicateBundleOptions): boolean;
+export declare function detectLocalCoverage(bundle: FieldPredicateBundle, options?: NormalizeFieldPredicateBundleOptions): import("./ir/predicate-atom").PredicateAtom[];
+export declare function analyzeFieldPredicateBundle(bundle: FieldPredicateBundle, options?: NormalizeFieldPredicateBundleOptions): LocalNormalizeResult;
+export declare function compileLocalNormalizeResultToAst(result: LocalNormalizeResult): QueryNode;
+//# sourceMappingURL=normalize-field-predicate-bundle.d.ts.map

package/dist/predicate/normalize-field-predicate-bundle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize-field-predicate-bundle.d.ts","sourceRoot":"","sources":["../../src/predicate/normalize-field-predicate-bundle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAI9C,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACxE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAIrE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAI9E,MAAM,MAAM,oCAAoC,GAAG;IAC/C,MAAM,CAAC,EAAE,qBAAqB,CAAC;IAC/B,MAAM,CAAC,EAAE;QACL,WAAW,EAAE,OAAO,CAAC;QACrB,eAAe,EAAE,OAAO,CAAC;QACzB,sBAAsB,EAAE,OAAO,CAAC;KACnC,CAAC;CACL,CAAC;AAUF,wBAAgB,6BAA6B,CACzC,MAAM,EAAE,oBAAoB,EAC5B,OAAO,CAAC,EAAE,oCAAoC,GAC/C,oBAAoB,CAsGtB;AAED,wBAAgB,wBAAwB,CACpC,MAAM,EAAE,oBAAoB,EAC5B,OAAO,CAAC,EAAE,oCAAoC,GAC/C,OAAO,CAET;AAED,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,oBAAoB,EAC5B,OAAO,CAAC,EAAE,oCAAoC,GAC/C,OAAO,qBAAqB,EAAE,aAAa,EAAE,CAE/C;AAED,wBAAgB,2BAA2B,CACvC,MAAM,EAAE,oBAAoB,EAC5B,OAAO,CAAC,EAAE,oCAAoC,GAC/C,oBAAoB,CAEtB;AAED,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,oBAAoB,GAAG,SAAS,CAExF"}

package/dist/predicate/normalize-field-predicate-bundle.js

@@ -0,0 +1,126 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.normalizeFieldPredicateBundle = normalizeFieldPredicateBundle;
+exports.detectLocalContradiction = detectLocalContradiction;
+exports.detectLocalCoverage = detectLocalCoverage;
+exports.analyzeFieldPredicateBundle = analyzeFieldPredicateBundle;
+exports.compileLocalNormalizeResultToAst = compileLocalNormalizeResultToAst;
+const build_field_bundle_1 = require("./ir/build-field-bundle");
+const compile_field_bundle_1 = require("./ir/compile-field-bundle");
+const dedupe_atoms_1 = require("./ir/dedupe-atoms");
+const relation_planner_1 = require("./planner/relation-planner");
+const predicate_capability_registry_1 = require("./registry/predicate-capability-registry");
+const predicate_safety_policy_1 = require("./safety/predicate-safety-policy");
+function buildContext(bundle, safety, engine) {
+    return { bundle, safety, engine };
+}
+function normalizeFieldPredicateBundle(bundle, options) {
+    const safety = options?.safety ?? predicate_safety_policy_1.DEFAULT_PREDICATE_SAFETY_POLICY;
+    const engine = options?.engine ?? {
+        dedupeAtoms: true,
+        mergeComparable: true,
+        collapseContradictions: true,
+    };
+    let working = (0, build_field_bundle_1.refreshBundleMetadata)(bundle);
+    const atomKinds = working.predicates.map((a) => a.kind);
+    const appliedCapabilities = [];
+    const coveredAtoms = [];
+    const skippedAtoms = [];
+    const warnings = [];
+    let changed = false;
+    let atomDedupeChanged = false;
+    if (engine.dedupeAtoms && !(safety.bailoutOnUnsupportedMix && (0, build_field_bundle_1.detectUnsupportedMix)(working))) {
+        const deduped = (0, dedupe_atoms_1.dedupePredicateAtoms)(working.predicates);
+        if (deduped.changed) {
+            changed = true;
+            atomDedupeChanged = true;
+            working = (0, build_field_bundle_1.refreshBundleMetadata)({ ...working, predicates: deduped.next });
+        }
+    }
+    if (safety.bailoutOnUnsupportedMix && (0, build_field_bundle_1.detectUnsupportedMix)(working)) {
+        const caps = (0, predicate_capability_registry_1.getDefaultPredicateCapabilities)();
+        const skippedCapabilities = caps.map((c) => ({
+            id: c.id,
+            reason: "unsupported opaque mix in bundle",
+        }));
+        return {
+            normalizedBundle: working,
+            changed,
+            contradiction: false,
+            contradictionCapabilityId: undefined,
+            atomDedupeChanged,
+            coveredAtoms,
+            skippedAtoms,
+            appliedCapabilities,
+            skippedCapabilities,
+            atomKinds,
+            warnings,
+        };
+    }
+    const caps = (0, predicate_capability_registry_1.getDefaultPredicateCapabilities)();
+    const ctx0 = buildContext(working, safety, engine);
+    const plan = (0, relation_planner_1.planRelations)(caps, ctx0);
+    for (const cap of plan.capabilities) {
+        const ctx = buildContext(working, safety, engine);
+        if (!cap.isApplicable(ctx)) {
+            continue;
+        }
+        const result = cap.apply(ctx);
+        working = (0, build_field_bundle_1.refreshBundleMetadata)(result.bundle);
+        if (result.warnings.length > 0) {
+            warnings.push(...result.warnings);
+        }
+        if (result.skippedAtoms.length > 0) {
+            skippedAtoms.push(...result.skippedAtoms);
+        }
+        if (result.coveredAtoms.length > 0) {
+            coveredAtoms.push(...result.coveredAtoms);
+        }
+        if (result.contradiction) {
+            appliedCapabilities.push(cap.id);
+            return {
+                normalizedBundle: working,
+                changed: true,
+                contradiction: true,
+                contradictionCapabilityId: cap.id,
+                atomDedupeChanged,
+                coveredAtoms,
+                skippedAtoms,
+                appliedCapabilities,
+                skippedCapabilities: plan.skippedCapabilities,
+                atomKinds,
+                warnings,
+            };
+        }
+        if (result.changed) {
+            changed = true;
+            appliedCapabilities.push(cap.id);
+        }
+    }
+    return {
+        normalizedBundle: working,
+        changed,
+        contradiction: false,
+        contradictionCapabilityId: undefined,
+        atomDedupeChanged,
+        coveredAtoms,
+        skippedAtoms,
+        appliedCapabilities,
+        skippedCapabilities: plan.skippedCapabilities,
+        atomKinds,
+        warnings,
+    };
+}
+function detectLocalContradiction(bundle, options) {
+    return normalizeFieldPredicateBundle(bundle, options).contradiction;
+}
+function detectLocalCoverage(bundle, options) {
+    return normalizeFieldPredicateBundle(bundle, options).coveredAtoms;
+}
+function analyzeFieldPredicateBundle(bundle, options) {
+    return normalizeFieldPredicateBundle(bundle, options);
+}
+function compileLocalNormalizeResultToAst(result) {
+    return (0, compile_field_bundle_1.compileFieldPredicateBundleToAst)(result.normalizedBundle, result.contradiction);
+}
+//# sourceMappingURL=normalize-field-predicate-bundle.js.map

package/dist/predicate/normalize-field-predicate-bundle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize-field-predicate-bundle.js","sourceRoot":"","sources":["../../src/predicate/normalize-field-predicate-bundle.ts"],"names":[],"mappings":";;AA8BA,sEAyGC;AAED,4DAKC;AAED,kDAKC;AAED,kEAKC;AAED,4EAEC;AA/JD,gEAAsF;AACtF,oEAA6E;AAC7E,oDAAyD;AAGzD,iEAA2D;AAC3D,4FAA2F;AAG3F,8EAAmF;AAYnF,SAAS,YAAY,CACjB,MAA4B,EAC5B,MAA6B,EAC7B,MAAiC;IAEjC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AACtC,CAAC;AAED,SAAgB,6BAA6B,CACzC,MAA4B,EAC5B,OAA8C;IAE9C,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,yDAA+B,CAAC;IAClE,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI;QAC9B,WAAW,EAAE,IAAI;QACjB,eAAe,EAAE,IAAI;QACrB,sBAAsB,EAAE,IAAI;KAC/B,CAAC;IACF,IAAI,OAAO,GAAG,IAAA,0CAAqB,EAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAExD,MAAM,mBAAmB,GAAa,EAAE,CAAC;IACzC,MAAM,YAAY,GAAkD,EAAE,CAAC;IACvE,MAAM,YAAY,GAAkD,EAAE,CAAC;IACvE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAC9B,IAAI,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC,MAAM,CAAC,uBAAuB,IAAI,IAAA,yCAAoB,EAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAC3F,MAAM,OAAO,GAAG,IAAA,mCAAoB,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACzD,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YAClB,OAAO,GAAG,IAAI,CAAC;YACf,iBAAiB,GAAG,IAAI,CAAC;YACzB,OAAO,GAAG,IAAA,0CAAqB,EAAC,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9E,CAAC;IACL,CAAC;IAED,IAAI,MAAM,CAAC,uBAAuB,IAAI,IAAA,yCAAoB,EAAC,OAAO,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,GAAG,IAAA,+DAA+B,GAAE,CAAC;QAC/C,MAAM,mBAAmB,GAAwB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9D,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,MAAM,EAAE,kCAAkC;SAC7C,CAAC,CAAC,CAAC;QACJ,OAAO;YACH,gBAAgB,EAAE,OAAO;YACzB,OAAO;YACP,aAAa,EAAE,KAAK;YACpB,yBAAyB,EAAE,SAAS;YACpC,iBAAiB;YACjB,YAAY;YACZ,YAAY;YACZ,mBAAmB;YACnB,mBAAmB;YACnB,SAAS;YACT,QAAQ;SACX,CAAC;IACN,CAAC;IAED,MAAM,IAAI,GAAG,IAAA,+DAA+B,GAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,IAAA,gCAAa,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAEvC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,SAAS;QACb,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,OAAO,GAAG,IAAA,0CAAqB,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QACtC,CAAC;QACD,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;QAC9C,CAAC;QACD,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;QAC9C,CAAC;QACD,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YACvB,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACjC,OAAO;gBACH,gBAAgB,EAAE,OAAO;gBACzB,OAAO,EAAE,IAAI;gBACb,aAAa,EAAE,IAAI;gBACnB,yBAAyB,EAAE,GAAG,CAAC,EAAE;gBACjC,iBAAiB;gBACjB,YAAY;gBACZ,YAAY;gBACZ,mBAAmB;gBACnB,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;gBAC7C,SAAS;gBACT,QAAQ;aACX,CAAC;QACN,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjB,OAAO,GAAG,IAAI,CAAC;YACf,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,CAAC;IACL,CAAC;IAED,OAAO;QACH,gBAAgB,EAAE,OAAO;QACzB,OAAO;QACP,aAAa,EAAE,KAAK;QACpB,yBAAyB,EAAE,SAAS;QACpC,iBAAiB;QACjB,YAAY;QACZ,YAAY;QACZ,mBAAmB;QACnB,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;QAC7C,SAAS;QACT,QAAQ;KACX,CAAC;AACN,CAAC;AAED,SAAgB,wBAAwB,CACpC,MAA4B,EAC5B,OAA8C;IAE9C,OAAO,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,aAAa,CAAC;AACxE,CAAC;AAED,SAAgB,mBAAmB,CAC/B,MAA4B,EAC5B,OAA8C;IAE9C,OAAO,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,YAAY,CAAC;AACvE,CAAC;AAED,SAAgB,2BAA2B,CACvC,MAA4B,EAC5B,OAA8C;IAE9C,OAAO,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC1D,CAAC;AAED,SAAgB,gCAAgC,CAAC,MAA4B;IACzE,OAAO,IAAA,uDAAgC,EAAC,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;AAC3F,CAAC"}

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

@@ -0,0 +1,5 @@
+/**
+ * 字段 bundle 级谓词归一化入口（与 `passes/normalize-predicate` 中字段分支使用同一套管线）。
+ */
+export { normalizeFieldPredicateBundle, compileLocalNormalizeResultToAst, type NormalizeFieldPredicateBundleOptions, } from "./normalize-field-predicate-bundle";
+//# sourceMappingURL=normalize-predicate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"normalize-predicate.d.ts","sourceRoot":"","sources":["../../src/predicate/normalize-predicate.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EACH,6BAA6B,EAC7B,gCAAgC,EAChC,KAAK,oCAAoC,GAC5C,MAAM,oCAAoC,CAAC"}

package/dist/predicate/normalize-predicate.js

@@ -0,0 +1,10 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compileLocalNormalizeResultToAst = exports.normalizeFieldPredicateBundle = void 0;
+/**
+ * 字段 bundle 级谓词归一化入口（与 `passes/normalize-predicate` 中字段分支使用同一套管线）。
+ */
+var normalize_field_predicate_bundle_1 = require("./normalize-field-predicate-bundle");
+Object.defineProperty(exports, "normalizeFieldPredicateBundle", { enumerable: true, get: function () { return normalize_field_predicate_bundle_1.normalizeFieldPredicateBundle; } });
+Object.defineProperty(exports, "compileLocalNormalizeResultToAst", { enumerable: true, get: function () { return normalize_field_predicate_bundle_1.compileLocalNormalizeResultToAst; } });
+//# sourceMappingURL=normalize-predicate.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"normalize-predicate.js","sourceRoot":"","sources":["../../src/predicate/normalize-predicate.ts"],"names":[],"mappings":";;;AAAA;;GAEG;AACH,uFAI4C;AAHxC,iJAAA,6BAA6B,OAAA;AAC7B,oJAAA,gCAAgC,OAAA"}

package/dist/predicate/planner/capability-selector.d.ts

@@ -0,0 +1,8 @@
+import type { PredicateCapability } from "../capabilities/shared/capability-types";
+import type { RelationContext } from "../capabilities/shared/relation-context";
+export declare function capabilitySupportsBundleKinds(cap: PredicateCapability, atomKinds: Set<string>): boolean;
+export declare function collectAtomKindsFromBundle(predicates: {
+    kind: string;
+}[]): Set<string>;
+export declare function isCapabilityCandidate(cap: PredicateCapability, ctx: RelationContext): boolean;
+//# sourceMappingURL=capability-selector.d.ts.map

package/dist/predicate/planner/capability-selector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability-selector.d.ts","sourceRoot":"","sources":["../../../src/predicate/planner/capability-selector.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAE/E,wBAAgB,6BAA6B,CAAC,GAAG,EAAE,mBAAmB,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,CAKvG;AAED,wBAAgB,0BAA0B,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAMtF;AAED,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,mBAAmB,EAAE,GAAG,EAAE,eAAe,GAAG,OAAO,CAG7F"}

package/dist/predicate/planner/capability-selector.js

@@ -0,0 +1,23 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.capabilitySupportsBundleKinds = capabilitySupportsBundleKinds;
+exports.collectAtomKindsFromBundle = collectAtomKindsFromBundle;
+exports.isCapabilityCandidate = isCapabilityCandidate;
+function capabilitySupportsBundleKinds(cap, atomKinds) {
+    if (cap.supportedAtomKinds.length === 0) {
+        return true;
+    }
+    return cap.supportedAtomKinds.some((k) => atomKinds.has(k));
+}
+function collectAtomKindsFromBundle(predicates) {
+    const kinds = new Set();
+    for (const p of predicates) {
+        kinds.add(p.kind);
+    }
+    return kinds;
+}
+function isCapabilityCandidate(cap, ctx) {
+    const kinds = collectAtomKindsFromBundle(ctx.bundle.predicates);
+    return capabilitySupportsBundleKinds(cap, kinds);
+}
+//# sourceMappingURL=capability-selector.js.map

package/dist/predicate/planner/capability-selector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability-selector.js","sourceRoot":"","sources":["../../../src/predicate/planner/capability-selector.ts"],"names":[],"mappings":";;AAGA,sEAKC;AAED,gEAMC;AAED,sDAGC;AAlBD,SAAgB,6BAA6B,CAAC,GAAwB,EAAE,SAAsB;IAC1F,IAAI,GAAG,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAgB,0BAA0B,CAAC,UAA8B;IACrE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAgB,qBAAqB,CAAC,GAAwB,EAAE,GAAoB;IAChF,MAAM,KAAK,GAAG,0BAA0B,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAChE,OAAO,6BAA6B,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AACrD,CAAC"}

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

@@ -0,0 +1,10 @@
+import type { PredicateCapability } from "../capabilities/shared/capability-types";
+export type SkippedCapability = {
+    id: string;
+    reason: string;
+};
+export type RelationPlan = {
+    capabilities: PredicateCapability[];
+    skippedCapabilities: SkippedCapability[];
+};
+//# sourceMappingURL=relation-plan.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"relation-plan.d.ts","sourceRoot":"","sources":["../../../src/predicate/planner/relation-plan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AAEnF,MAAM,MAAM,iBAAiB,GAAG;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACvB,YAAY,EAAE,mBAAmB,EAAE,CAAC;IACpC,mBAAmB,EAAE,iBAAiB,EAAE,CAAC;CAC5C,CAAC"}

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

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

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

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

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", "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,aAAa,EAAE,UAAU,CAAC,CAAC;AAElG,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":"AAKA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AAUnF,wBAAgB,+BAA+B,IAAI,mBAAmB,EAAE,CAEvE"}

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

@@ -0,0 +1,19 @@
+"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 DEFAULT_CAPABILITIES = [
+    eq_eq_1.eqEqCapability,
+    eq_ne_1.eqNeCapability,
+    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":";;AAeA,0EAEC;AAjBD,oDAA0D;AAC1D,oDAA0D;AAC1D,oDAA0D;AAC1D,0DAAgE;AAChE,mEAAyE;AAGzE,MAAM,oBAAoB,GAA0B;IAChD,sBAAc;IACd,sBAAc;IACd,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"}