mongo-query-normalizer 0.1.0

package/dist/ast/types.d.ts

@@ -0,0 +1,28 @@
+export type QueryNode = LogicalNode | FieldNode | TrueNode | FalseNode | OpaqueNode;
+export interface LogicalNode {
+    type: "logical";
+    op: "$and" | "$or";
+    children: QueryNode[];
+}
+export interface FieldPredicate {
+    op: string;
+    value: unknown;
+    opaque?: boolean;
+}
+export interface FieldNode {
+    type: "field";
+    field: string;
+    predicates: FieldPredicate[];
+}
+export interface TrueNode {
+    type: "true";
+}
+export interface FalseNode {
+    type: "false";
+}
+export interface OpaqueNode {
+    type: "opaque";
+    raw: unknown;
+    reason?: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/ast/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/ast/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,CAAC;AAEpF,MAAM,WAAW,WAAW;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,EAAE,EAAE,MAAM,GAAG,KAAK,CAAC;IACnB,QAAQ,EAAE,SAAS,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,cAAc;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,SAAS;IACtB,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,cAAc,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,QAAQ;IACrB,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,SAAS;IACtB,IAAI,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,GAAG,EAAE,OAAO,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;CACnB"}

package/dist/ast/types.js

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

package/dist/ast/types.js.map

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

package/dist/ast/visitor.d.ts

@@ -0,0 +1,3 @@
+import type { SelectorAST } from "./types";
+export declare function visit(node: SelectorAST, fn: (node: SelectorAST) => SelectorAST): SelectorAST;
+//# sourceMappingURL=visitor.d.ts.map

package/dist/ast/visitor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"visitor.d.ts","sourceRoot":"","sources":["../../src/ast/visitor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAE3C,wBAAgB,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,WAAW,KAAK,WAAW,GAAG,WAAW,CAS5F"}

package/dist/ast/visitor.js

@@ -0,0 +1,12 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.visit = visit;
+function visit(node, fn) {
+    const next = fn(node);
+    if (next.type === "logical") {
+        const children = next.children.map((child) => visit(child, fn));
+        return { ...next, children };
+    }
+    return next;
+}
+//# sourceMappingURL=visitor.js.map

package/dist/ast/visitor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"visitor.js","sourceRoot":"","sources":["../../src/ast/visitor.ts"],"names":[],"mappings":";;AAEA,sBASC;AATD,SAAgB,KAAK,CAAC,IAAiB,EAAE,EAAsC;IAC3E,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IAEtB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;QAChE,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjC,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/dist/common/types.d.ts

@@ -0,0 +1,46 @@
+/**
+ * MongoDB 选择器类型（与官方 FilterQuery 结构兼容，不依赖 mongodb 驱动时可单独使用）
+ */
+export type Selector<T = unknown> = {
+    $and?: Selector<T>[];
+    $or?: Selector<T>[];
+    $nor?: Selector<T>[];
+    $comment?: string;
+    $text?: {
+        $search: string;
+        [key: string]: unknown;
+    };
+    $where?: string | ((this: unknown) => boolean);
+} & Record<string, unknown>;
+/**
+ * 集合索引描述，用于打平时按索引键顺序排列条件以提升索引利用率
+ */
+export interface IndexSpec {
+    /** 索引键：字段名 -> 1 升序 / -1 降序 */
+    key: Record<string, 1 | -1>;
+    /** 可选：索引名称，用于日志或策略选择 */
+    name?: string;
+}
+/**
+ * 不可再分的最小条件单元：字段 + 操作符 + 值（一条谓词）
+ */
+export interface AtomicCondition {
+    field: string;
+    operator: string;
+    value: unknown;
+}
+/**
+ * 某字段条件值标准化后的「操作符-值」对，用于冲突检测与合并比较
+ */
+export interface OperatorValuePair {
+    operator: string;
+    value: unknown;
+}
+/**
+ * 选择器优化入口的选项
+ */
+export interface OptimizeOptions {
+    /** 当前集合的索引列表；传入时打平阶段会按索引键顺序排列条件，以提升索引利用率 */
+    indexSpecs?: IndexSpec[];
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/common/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/common/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,GAAG,OAAO,IAAI;IAClC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACrB,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACpB,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAAC;IACpD,MAAM,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC;CAChD,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE5B;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,8BAA8B;IAC9B,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5B,wBAAwB;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,4CAA4C;IAC5C,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;CAC1B"}

package/dist/common/types.js

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

package/dist/common/types.js.map

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

package/dist/compile/compile.d.ts

@@ -0,0 +1,5 @@
+import { type Query } from "../types";
+import type { QueryNode } from "../ast/types";
+import type { NormalizeContext } from "../normalize-context";
+export declare function compileQuery(node: QueryNode, _normalizeContext: NormalizeContext): Query;
+//# sourceMappingURL=compile.d.ts.map

package/dist/compile/compile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compile/compile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuB,KAAK,KAAK,EAAE,MAAM,UAAU,CAAC;AAE3D,OAAO,KAAK,EAAsC,SAAS,EAAE,MAAM,cAAc,CAAC;AAClF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAG7D,wBAAgB,YAAY,CAAC,IAAI,EAAE,SAAS,EAAE,iBAAiB,EAAE,gBAAgB,GAAG,KAAK,CAExF"}

package/dist/compile/compile.js

@@ -0,0 +1,69 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compileQuery = compileQuery;
+const types_1 = require("../types");
+const guards_1 = require("../ast/guards");
+const plain_object_1 = require("../parse/plain-object");
+function compileQuery(node, _normalizeContext) {
+    return compileNode(node, _normalizeContext);
+}
+function compileNode(node, normalizeContext) {
+    if ((0, guards_1.isLogicalNode)(node)) {
+        return compileLogicalNode(node, normalizeContext);
+    }
+    if ((0, guards_1.isFieldNode)(node)) {
+        return compileFieldNode(node, normalizeContext);
+    }
+    if ((0, guards_1.isOpaqueNode)(node)) {
+        return compileOpaqueNode(node);
+    }
+    if ((0, guards_1.isTrueNode)(node)) {
+        return {};
+    }
+    if ((0, guards_1.isFalseNode)(node)) {
+        return compileFalseQuery();
+    }
+    return {};
+}
+function compileLogicalNode(node, normalizeContext) {
+    const children = node.children.map((child) => compileNode(child, normalizeContext));
+    return {
+        [node.op]: children,
+    };
+}
+function compileFieldNode(node, _normalizeContext) {
+    if (node.predicates.length === 1 && node.predicates[0].op === "$eq") {
+        return {
+            [node.field]: node.predicates[0].value,
+        };
+    }
+    const compiled = {};
+    for (const predicate of node.predicates) {
+        if (predicate.op === "raw") {
+            const rawVal = predicate.value;
+            if ((0, plain_object_1.isPlainObject)(rawVal)) {
+                Object.assign(compiled, rawVal);
+            }
+            else {
+                return {
+                    [node.field]: rawVal,
+                };
+            }
+            continue;
+        }
+        compiled[predicate.op] = predicate.value;
+    }
+    return {
+        [node.field]: compiled,
+    };
+}
+function compileOpaqueNode(node) {
+    if ((0, plain_object_1.isPlainObject)(node.raw)) {
+        return node.raw;
+    }
+    return {};
+}
+function compileFalseQuery() {
+    return { ...types_1.IMPOSSIBLE_SELECTOR };
+}
+//# sourceMappingURL=compile.js.map

package/dist/compile/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../src/compile/compile.ts"],"names":[],"mappings":";;AAMA,oCAEC;AARD,oCAA2D;AAC3D,0CAAkG;AAGlG,wDAAsD;AAEtD,SAAgB,YAAY,CAAC,IAAe,EAAE,iBAAmC;IAC7E,OAAO,WAAW,CAAC,IAAI,EAAE,iBAAiB,CAAU,CAAC;AACzD,CAAC;AAED,SAAS,WAAW,CAAC,IAAe,EAAE,gBAAkC;IACpE,IAAI,IAAA,sBAAa,EAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,IAAA,oBAAW,EAAC,IAAI,CAAC,EAAE,CAAC;QACpB,OAAO,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,IAAA,qBAAY,EAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,IAAI,IAAA,mBAAU,EAAC,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO,EAAE,CAAC;IACd,CAAC;IAED,IAAI,IAAA,oBAAW,EAAC,IAAI,CAAC,EAAE,CAAC;QACpB,OAAO,iBAAiB,EAAE,CAAC;IAC/B,CAAC;IAED,OAAO,EAAE,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAiB,EAAE,gBAAkC;IAC7E,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAEpF,OAAO;QACH,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,QAAQ;KACK,CAAC;AACjC,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAe,EAAE,iBAAmC;IAC1E,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QAClE,OAAO;YACH,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK;SACd,CAAC;IACjC,CAAC;IAED,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAE7C,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACtC,IAAI,SAAS,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC;YAC/B,IAAI,IAAA,4BAAa,EAAC,MAAM,CAAC,EAAE,CAAC;gBACxB,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAiC,CAAC,CAAC;YAC/D,CAAC;iBAAM,CAAC;gBACJ,OAAO;oBACH,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM;iBACI,CAAC;YACjC,CAAC;YACD,SAAS;QACb,CAAC;QAED,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,KAAgB,CAAC;IACxD,CAAC;IAED,OAAO;QACH,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,QAAQ;KACE,CAAC;AACjC,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAgB;IACvC,IAAI,IAAA,4BAAa,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,GAA8B,CAAC;IAC/C,CAAC;IACD,OAAO,EAAE,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB;IACtB,OAAO,EAAE,GAAG,2BAAmB,EAA6B,CAAC;AACjE,CAAC"}

package/dist/compile-selector.d.ts

@@ -0,0 +1,9 @@
+import type { ParsedOp } from "./types";
+/**
+ * 将合并后的 ParsedOp 列表编译回单层 selector（如将 $in 单元素简化为 $eq 或字面量）。
+ *
+ * @param ops - 合并后的条件列表
+ * @returns 单层查询对象，无 $and/$or/$nor
+ */
+export declare function compileSelector(ops: ParsedOp[]): Record<string, unknown>;
+//# sourceMappingURL=compile-selector.d.ts.map

package/dist/compile-selector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile-selector.d.ts","sourceRoot":"","sources":["../src/compile-selector.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAe,QAAQ,EAAE,MAAM,SAAS,CAAC;AAErD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAGxE"}

package/dist/compile-selector.js

@@ -0,0 +1,14 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compileSelector = compileSelector;
+/**
+ * 将合并后的 ParsedOp 列表编译回单层 selector（如将 $in 单元素简化为 $eq 或字面量）。
+ *
+ * @param ops - 合并后的条件列表
+ * @returns 单层查询对象，无 $and/$or/$nor
+ */
+function compileSelector(ops) {
+    void ops;
+    return {};
+}
+//# sourceMappingURL=compile-selector.js.map

package/dist/compile-selector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile-selector.js","sourceRoot":"","sources":["../src/compile-selector.ts"],"names":[],"mappings":";;AAQA,0CAGC;AATD;;;;;GAKG;AACH,SAAgB,eAAe,CAAC,GAAe;IAC7C,KAAK,GAAG,CAAC;IACT,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/conflict.d.ts

@@ -0,0 +1,18 @@
+/**
+ * 判断子查询与外层查询在同一字段上的条件是否冲突。
+ * 冲突时修减阶段应舍弃该子分支或合并为更严条件。
+ *
+ * @param subQuery - 内层/子查询的扁平条件（单层，无 $and/$or/$nor）
+ * @param baseQuery - 外层已有的扁平条件
+ * @returns 若存在某字段上条件互斥则为 true
+ */
+export declare function isSelectorConflict(subQuery: Record<string, unknown>, baseQuery: Record<string, unknown>): boolean;
+/**
+ * 判断同一字段上两个 selector 值是否互斥（如 $eq: 1 与 $eq: 2，或 $in 与 $nin 交集为空）。
+ *
+ * @param baseValue - 外层该字段的条件值
+ * @param subValue - 子条件该字段的条件值
+ * @returns 若两条件不可能同时满足则为 true
+ */
+export declare function isValueConflict(baseValue: unknown, subValue: unknown): boolean;
+//# sourceMappingURL=conflict.d.ts.map

package/dist/conflict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflict.d.ts","sourceRoot":"","sources":["../src/conflict.ts"],"names":[],"mappings":"AAEA;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,OAAO,CAIT;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,GAAG,OAAO,CAI9E"}

package/dist/conflict.js

@@ -0,0 +1,30 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isSelectorConflict = isSelectorConflict;
+exports.isValueConflict = isValueConflict;
+/**
+ * 判断子查询与外层查询在同一字段上的条件是否冲突。
+ * 冲突时修减阶段应舍弃该子分支或合并为更严条件。
+ *
+ * @param subQuery - 内层/子查询的扁平条件（单层，无 $and/$or/$nor）
+ * @param baseQuery - 外层已有的扁平条件
+ * @returns 若存在某字段上条件互斥则为 true
+ */
+function isSelectorConflict(subQuery, baseQuery) {
+    void subQuery;
+    void baseQuery;
+    return false;
+}
+/**
+ * 判断同一字段上两个 selector 值是否互斥（如 $eq: 1 与 $eq: 2，或 $in 与 $nin 交集为空）。
+ *
+ * @param baseValue - 外层该字段的条件值
+ * @param subValue - 子条件该字段的条件值
+ * @returns 若两条件不可能同时满足则为 true
+ */
+function isValueConflict(baseValue, subValue) {
+    void baseValue;
+    void subValue;
+    return false;
+}
+//# sourceMappingURL=conflict.js.map

package/dist/conflict.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflict.js","sourceRoot":"","sources":["../src/conflict.ts"],"names":[],"mappings":";;AAUA,gDAOC;AASD,0CAIC;AA5BD;;;;;;;GAOG;AACH,SAAgB,kBAAkB,CAChC,QAAiC,EACjC,SAAkC;IAElC,KAAK,QAAQ,CAAC;IACd,KAAK,SAAS,CAAC;IACf,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,eAAe,CAAC,SAAkB,EAAE,QAAiB;IACnE,KAAK,SAAS,CAAC;IACf,KAAK,QAAQ,CAAC;IACd,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/core/canonicalize.d.ts

@@ -0,0 +1,11 @@
+import type { IndexSpec } from "../types";
+import type { SelectorAST } from "../ast/types";
+/**
+ * canonicalize（AST → AST）——**最终形式收口**（无语义推理）：
+ * - FieldNode.conditions 按操作符规范顺序排序
+ * - `$and`：打平同 op 嵌套、单子折叠、子节点排序（含 indexSpecs 时的字段优先级）
+ * - `$or`：打平同 op 嵌套、单子折叠、子节点按稳定结构键排序（析取可交换）
+ * - `$nor`：将 `$nor:[{$or:[...]}]` 收拢为扁平子句列表；子节点按稳定结构键排序
+ */
+export declare function canonicalize(ast: SelectorAST, indexSpecs?: IndexSpec[]): SelectorAST;
+//# sourceMappingURL=canonicalize.d.ts.map

package/dist/core/canonicalize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonicalize.d.ts","sourceRoot":"","sources":["../../src/core/canonicalize.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAC1C,OAAO,KAAK,EAA0C,WAAW,EAAE,MAAM,cAAc,CAAC;AA6BxF;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,SAAS,EAAE,GAAG,WAAW,CAoDpF"}

package/dist/core/canonicalize.js

@@ -0,0 +1,104 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.canonicalize = canonicalize;
+const builders_1 = require("../ast/builders");
+const stable_structural_key_1 = require("./stable-structural-key");
+/** Spec §11.4：Condition 规范顺序 */
+const CONDITION_OP_ORDER = {
+    $eq: 0,
+    $gt: 1,
+    $gte: 2,
+    $lt: 3,
+    $lte: 4,
+    $in: 5,
+    $nin: 6,
+    $exists: 7,
+    $ne: 8,
+};
+function conditionOrderScore(op) {
+    return CONDITION_OP_ORDER[op] ?? 999;
+}
+function sortFieldConditions(conditions) {
+    return [...conditions].sort((a, b) => conditionOrderScore(a.op) - conditionOrderScore(b.op) ||
+        a.op.localeCompare(b.op));
+}
+/**
+ * canonicalize（AST → AST）——**最终形式收口**（无语义推理）：
+ * - FieldNode.conditions 按操作符规范顺序排序
+ * - `$and`：打平同 op 嵌套、单子折叠、子节点排序（含 indexSpecs 时的字段优先级）
+ * - `$or`：打平同 op 嵌套、单子折叠、子节点按稳定结构键排序（析取可交换）
+ * - `$nor`：将 `$nor:[{$or:[...]}]` 收拢为扁平子句列表；子节点按稳定结构键排序
+ */
+function canonicalize(ast, indexSpecs) {
+    if (ast.type === "true" || ast.type === "false") {
+        return ast;
+    }
+    if (ast.type === "field") {
+        const node = { ...ast, conditions: sortFieldConditions(ast.conditions) };
+        return node;
+    }
+    let children = ast.children.map((c) => canonicalize(c, indexSpecs));
+    const op = ast.op;
+    if (op === "$and") {
+        children = children.flatMap((c) => c.type === "logical" && c.op === "$and" ? c.children : [c]);
+        if (children.length === 1) {
+            return children[0];
+        }
+    }
+    if (op === "$or") {
+        children = children.flatMap((c) => c.type === "logical" && c.op === "$or" ? c.children : [c]);
+        if (children.length === 0) {
+            return builders_1.ASTNodeBuilder.falseNode();
+        }
+        if (children.length === 1) {
+            return children[0];
+        }
+        children = sortLogicalChildrenByStableKey(children);
+    }
+    if (op === "$nor") {
+        if (children.length === 1 && children[0].type === "logical" && children[0].op === "$or") {
+            children = children[0].children;
+        }
+        if (children.length === 0) {
+            return builders_1.ASTNodeBuilder.trueNode();
+        }
+        children = sortLogicalChildrenByStableKey(children);
+    }
+    let node = { ...ast, children };
+    if (node.op === "$and") {
+        node = sortAndChildren(node, indexSpecs);
+    }
+    return node;
+}
+function sortLogicalChildrenByStableKey(children) {
+    return [...children].sort((a, b) => (0, stable_structural_key_1.stableStructuralSortKey)(a).localeCompare((0, stable_structural_key_1.stableStructuralSortKey)(b)));
+}
+function sortAndChildren(node, indexSpecs) {
+    const keyOrder = indexSpecs && indexSpecs.length > 0 ? buildIndexKeyOrder(indexSpecs) : undefined;
+    const scored = node.children.map((c, i) => {
+        if (c.type === "field") {
+            const score = keyOrder?.get(c.field) ?? Number.MAX_SAFE_INTEGER;
+            return { c, i, score, kind: 0, tiebreak: c.field };
+        }
+        // logical/true/false：放后面，保持稳定
+        return { c, i, score: Number.MAX_SAFE_INTEGER, kind: 1, tiebreak: "" };
+    });
+    scored.sort((a, b) => a.score - b.score ||
+        a.kind - b.kind ||
+        a.tiebreak.localeCompare(b.tiebreak) ||
+        a.i - b.i);
+    return { ...node, children: scored.map((x) => x.c) };
+}
+function buildIndexKeyOrder(indexSpecs) {
+    const map = new Map();
+    let cursor = 0;
+    for (const spec of indexSpecs) {
+        for (const field of Object.keys(spec.key)) {
+            if (!map.has(field)) {
+                map.set(field, cursor++);
+            }
+        }
+    }
+    return map;
+}
+//# sourceMappingURL=canonicalize.js.map

package/dist/core/canonicalize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonicalize.js","sourceRoot":"","sources":["../../src/core/canonicalize.ts"],"names":[],"mappings":";;AAqCA,oCAoDC;AAvFD,8CAAiD;AACjD,mEAAkE;AAElE,gCAAgC;AAChC,MAAM,kBAAkB,GAA2B;IAC/C,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,CAAC;IACP,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,CAAC;IACP,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,CAAC;IACP,OAAO,EAAE,CAAC;IACV,GAAG,EAAE,CAAC;CACT,CAAC;AAEF,SAAS,mBAAmB,CAAC,EAAU;IACnC,OAAO,kBAAkB,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC;AACzC,CAAC;AAED,SAAS,mBAAmB,CAAC,UAA4B;IACrD,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CACvB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACL,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,CAAC,CAAC,EAAa,CAAC,aAAa,CAAC,CAAC,CAAC,EAAY,CAAC,CACrD,CAAC;AACN,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,YAAY,CAAC,GAAgB,EAAE,UAAwB;IACnE,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9C,OAAO,GAAG,CAAC;IACf,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvB,MAAM,IAAI,GAAc,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACpF,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,IAAI,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;IACpE,MAAM,EAAE,GAAI,GAAmB,CAAC,EAAE,CAAC;IAEnC,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;QAChB,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9B,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC7D,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;IACL,CAAC;IAED,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QACf,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9B,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC5D,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,yBAAc,CAAC,SAAS,EAAE,CAAC;QACtC,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;QACD,QAAQ,GAAG,8BAA8B,CAAC,QAAQ,CAAC,CAAC;IACxD,CAAC;IAED,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;QAChB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;YACtF,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QACpC,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,yBAAc,CAAC,QAAQ,EAAE,CAAC;QACrC,CAAC;QACD,QAAQ,GAAG,8BAA8B,CAAC,QAAQ,CAAC,CAAC;IACxD,CAAC;IAED,IAAI,IAAI,GAAgB,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,CAAC;IAE7C,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;QACrB,IAAI,GAAG,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,8BAA8B,CAAC,QAAuB;IAC3D,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAA,+CAAuB,EAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAA,+CAAuB,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9G,CAAC;AAED,SAAS,eAAe,CAAC,IAAiB,EAAE,UAAwB;IAChE,MAAM,QAAQ,GAAG,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAElG,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACtC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAC;YAChE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;QACvD,CAAC;QACD,8BAA8B;QAC9B,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,gBAAgB,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,IAAI,CACP,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACL,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK;QACjB,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI;QACf,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC;QACpC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAChB,CAAC;IAEF,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,kBAAkB,CAAC,UAAuB;IAC/C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC5B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClB,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YAC7B,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC"}

package/dist/core/conditions.d.ts

@@ -0,0 +1,8 @@
+import type { FieldCondition } from "../ast/types";
+export type TightenResult = {
+    conditions: FieldCondition[];
+    impossible: boolean;
+    changed: boolean;
+};
+export declare function tightenChildConditionsByParent(parent: FieldCondition[], child: FieldCondition[]): TightenResult;
+//# sourceMappingURL=conditions.d.ts.map

package/dist/core/conditions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditions.d.ts","sourceRoot":"","sources":["../../src/core/conditions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAmGnD,MAAM,MAAM,aAAa,GAAG;IACxB,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,UAAU,EAAE,OAAO,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;CACpB,CAAC;AAEF,wBAAgB,8BAA8B,CAC1C,MAAM,EAAE,cAAc,EAAE,EACxB,KAAK,EAAE,cAAc,EAAE,GACxB,aAAa,CAwOf"}