mongo-query-normalizer 0.1.0

package/dist/core/conditions.js

@@ -0,0 +1,282 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.tightenChildConditionsByParent = tightenChildConditionsByParent;
+const utils_1 = require("./utils");
+/** 与 `operators.ts` 分层一致：仅这些 op 参与父子 tighten；其余保留在子条件中。 */
+const SUPPORTED_TIGHTEN_OPS = new Set([
+    "$eq",
+    "$ne",
+    "$gt",
+    "$gte",
+    "$lt",
+    "$lte",
+    "$nin",
+    "$exists",
+]);
+function toNum(value) {
+    return value instanceof Date ? value.getTime() : value;
+}
+function maxLowerBound(current, next) {
+    if (!current) {
+        return next;
+    }
+    const currentNum = toNum(current.value);
+    const nextNum = toNum(next.value);
+    if (nextNum > currentNum) {
+        return next;
+    }
+    if (nextNum < currentNum) {
+        return current;
+    }
+    return current.inclusive && !next.inclusive ? next : current;
+}
+function minUpperBound(current, next) {
+    if (!current) {
+        return next;
+    }
+    const currentNum = toNum(current.value);
+    const nextNum = toNum(next.value);
+    if (nextNum < currentNum) {
+        return next;
+    }
+    if (nextNum > currentNum) {
+        return current;
+    }
+    return current.inclusive && !next.inclusive ? next : current;
+}
+function boundsImpossible(lower, upper) {
+    if (!lower || !upper) {
+        return false;
+    }
+    const lowerNum = toNum(lower.value);
+    const upperNum = toNum(upper.value);
+    if (lowerNum > upperNum) {
+        return true;
+    }
+    if (lowerNum < upperNum) {
+        return false;
+    }
+    return !(lower.inclusive && upper.inclusive);
+}
+function uniqueByValue(items) {
+    const result = [];
+    for (const item of items) {
+        if (!result.some((existing) => (0, utils_1.areValuesEqual)(existing, item))) {
+            result.push(item);
+        }
+    }
+    return result;
+}
+function intersectByValue(left, right) {
+    return left.filter((item) => right.some((candidate) => (0, utils_1.areValuesEqual)(item, candidate)));
+}
+function inSetFromConditions(conditions) {
+    let set;
+    for (const condition of conditions) {
+        if (condition.op !== "$in") {
+            continue;
+        }
+        const array = Array.isArray(condition.value) ? condition.value : [condition.value];
+        set = set ? intersectByValue(set, array) : uniqueByValue(array);
+    }
+    return set;
+}
+function valueSetEqual(left, right) {
+    if (left.length !== right.length) {
+        return false;
+    }
+    return left.every((value) => right.some((candidate) => (0, utils_1.areValuesEqual)(value, candidate)));
+}
+function tightenChildConditionsByParent(parent, child) {
+    const parentSupported = parent.filter((condition) => SUPPORTED_TIGHTEN_OPS.has(condition.op));
+    const childSupported = child.filter((condition) => SUPPORTED_TIGHTEN_OPS.has(condition.op));
+    const childUnsupported = child.filter((condition) => !SUPPORTED_TIGHTEN_OPS.has(condition.op));
+    const parentInSet = inSetFromConditions(parentSupported);
+    const effective = [...parentSupported, ...childSupported];
+    let eq;
+    const neList = [];
+    let inSet;
+    const ninSet = [];
+    let exists;
+    let lower;
+    let upper;
+    for (const condition of effective) {
+        switch (condition.op) {
+            case "$eq":
+                eq = condition.value;
+                break;
+            case "$ne":
+                neList.push(condition.value);
+                break;
+            case "$in": {
+                const array = Array.isArray(condition.value)
+                    ? condition.value
+                    : [condition.value];
+                inSet = inSet ? intersectByValue(inSet, array) : uniqueByValue(array);
+                break;
+            }
+            case "$nin": {
+                const array = Array.isArray(condition.value)
+                    ? condition.value
+                    : [condition.value];
+                for (const value of array) {
+                    ninSet.push(value);
+                }
+                break;
+            }
+            case "$exists":
+                exists = Boolean(condition.value);
+                break;
+            case "$gt":
+                if (typeof condition.value === "number" || condition.value instanceof Date) {
+                    lower = maxLowerBound(lower, {
+                        value: condition.value,
+                        inclusive: false,
+                    });
+                }
+                break;
+            case "$gte":
+                if (typeof condition.value === "number" || condition.value instanceof Date) {
+                    lower = maxLowerBound(lower, {
+                        value: condition.value,
+                        inclusive: true,
+                    });
+                }
+                break;
+            case "$lt":
+                if (typeof condition.value === "number" || condition.value instanceof Date) {
+                    upper = minUpperBound(upper, {
+                        value: condition.value,
+                        inclusive: false,
+                    });
+                }
+                break;
+            case "$lte":
+                if (typeof condition.value === "number" || condition.value instanceof Date) {
+                    upper = minUpperBound(upper, {
+                        value: condition.value,
+                        inclusive: true,
+                    });
+                }
+                break;
+        }
+    }
+    const uniqNin = uniqueByValue(ninSet);
+    const uniqNe = uniqueByValue(neList);
+    if (exists === false) {
+        if (eq !== undefined) {
+            return { conditions: child, impossible: true, changed: false };
+        }
+        if (inSet && inSet.length > 0) {
+            return { conditions: child, impossible: true, changed: false };
+        }
+        if (lower || upper) {
+            return { conditions: child, impossible: true, changed: false };
+        }
+    }
+    if (boundsImpossible(lower, upper)) {
+        return { conditions: child, impossible: true, changed: false };
+    }
+    if (eq !== undefined) {
+        if (exists === true && eq === null) {
+            return { conditions: child, impossible: true, changed: false };
+        }
+        if (inSet && !inSet.some((value) => (0, utils_1.areValuesEqual)(value, eq))) {
+            return { conditions: child, impossible: true, changed: false };
+        }
+        if (uniqNin.some((value) => (0, utils_1.areValuesEqual)(value, eq))) {
+            return { conditions: child, impossible: true, changed: false };
+        }
+        if (uniqNe.some((value) => (0, utils_1.areValuesEqual)(value, eq))) {
+            return { conditions: child, impossible: true, changed: false };
+        }
+        if (lower) {
+            const eqNum = typeof eq === "number" || eq instanceof Date
+                ? toNum(eq)
+                : undefined;
+            if (eqNum !== undefined) {
+                const lowerNum = toNum(lower.value);
+                if (lower.inclusive ? eqNum < lowerNum : eqNum <= lowerNum) {
+                    return { conditions: child, impossible: true, changed: false };
+                }
+            }
+        }
+        if (upper) {
+            const eqNum = typeof eq === "number" || eq instanceof Date
+                ? toNum(eq)
+                : undefined;
+            if (eqNum !== undefined) {
+                const upperNum = toNum(upper.value);
+                if (upper.inclusive ? eqNum > upperNum : eqNum >= upperNum) {
+                    return { conditions: child, impossible: true, changed: false };
+                }
+            }
+        }
+    }
+    const childHasIn = childSupported.some((condition) => condition.op === "$in");
+    const childHasBounds = childSupported.some((condition) => ["$gt", "$gte", "$lt", "$lte"].includes(condition.op));
+    const childHasExists = childSupported.some((condition) => condition.op === "$exists");
+    const childHasEq = childSupported.some((condition) => condition.op === "$eq");
+    const childHasNin = childSupported.some((condition) => condition.op === "$nin" || condition.op === "$ne");
+    const outSupported = [];
+    const effectiveIsSingleValue = eq !== undefined && (!inSet || inSet.some((value) => (0, utils_1.areValuesEqual)(value, eq)));
+    const childContributedEq = (childHasEq && eq !== undefined) || (childHasIn && effectiveIsSingleValue);
+    if (childContributedEq && eq !== undefined) {
+        outSupported.push({ op: "$eq", value: eq });
+    }
+    if (childHasExists && exists !== undefined) {
+        outSupported.push({ op: "$exists", value: exists });
+    }
+    if (childHasIn) {
+        const inValue = eq !== undefined ? [eq] : inSet;
+        const redundantWithParent = inValue !== undefined &&
+            parentInSet !== undefined &&
+            valueSetEqual(inValue, parentInSet);
+        const redundantWithEq = eq !== undefined &&
+            inValue !== undefined &&
+            inValue.length === 1 &&
+            (0, utils_1.areValuesEqual)(inValue[0], eq);
+        if (inValue !== undefined && !redundantWithParent && !redundantWithEq) {
+            outSupported.push({ op: "$in", value: inValue });
+        }
+    }
+    if (childHasBounds) {
+        if (lower) {
+            outSupported.push({
+                op: lower.inclusive ? "$gte" : "$gt",
+                value: lower.value,
+            });
+        }
+        if (upper) {
+            outSupported.push({
+                op: upper.inclusive ? "$lte" : "$lt",
+                value: upper.value,
+            });
+        }
+    }
+    if (childHasNin) {
+        const mergedNin = uniqueByValue([...uniqNin, ...uniqNe]);
+        if (childSupported.some((condition) => condition.op === "$nin") || mergedNin.length > 1) {
+            if (mergedNin.length > 0) {
+                outSupported.push({ op: "$nin", value: mergedNin });
+            }
+        }
+        else if (mergedNin.length === 1) {
+            outSupported.push({ op: "$ne", value: mergedNin[0] });
+        }
+    }
+    const nextConditions = [...outSupported, ...childUnsupported];
+    const changed = nextConditions.length !== child.length ||
+        nextConditions.some((condition, index) => {
+            const original = child[index];
+            if (!original) {
+                return true;
+            }
+            if (original.op !== condition.op) {
+                return true;
+            }
+            return !(0, utils_1.areValuesEqual)(original.value, condition.value);
+        });
+    return { conditions: nextConditions, impossible: false, changed };
+}
+//# sourceMappingURL=conditions.js.map

package/dist/core/conditions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditions.js","sourceRoot":"","sources":["../../src/core/conditions.ts"],"names":[],"mappings":";;AAyGA,wEA2OC;AAnVD,mCAAyC;AAIzC,2DAA2D;AAC3D,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IAClC,KAAK;IACL,KAAK;IACL,KAAK;IACL,MAAM;IACN,KAAK;IACL,MAAM;IACN,MAAM;IACN,SAAS;CACH,CAAC,CAAC;AAEZ,SAAS,KAAK,CAAC,KAAoB;IAC/B,OAAO,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;AAC3D,CAAC;AAED,SAAS,aAAa,CAAC,OAA0B,EAAE,IAAW;IAC1D,IAAI,CAAC,OAAO,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,OAAO,GAAG,UAAU,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,OAAO,GAAG,UAAU,EAAE,CAAC;QACvB,OAAO,OAAO,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;AACjE,CAAC;AAED,SAAS,aAAa,CAAC,OAA0B,EAAE,IAAW;IAC1D,IAAI,CAAC,OAAO,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,OAAO,GAAG,UAAU,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,OAAO,GAAG,UAAU,EAAE,CAAC;QACvB,OAAO,OAAO,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;AACjE,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAwB,EAAE,KAAwB;IACxE,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,QAAQ,GAAG,QAAQ,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,QAAQ,GAAG,QAAQ,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,aAAa,CAAC,KAAgB;IACnC,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAe,EAAE,KAAgB;IACvD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,mBAAmB,CAAC,UAA4B;IACrD,IAAI,GAA0B,CAAC;IAC/B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,IAAI,SAAS,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;YACzB,SAAS;QACb,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,SAAS,CAAC,KAAmB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAClG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,IAAe,EAAE,KAAgB;IACpD,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;AAC9F,CAAC;AAQD,SAAgB,8BAA8B,CAC1C,MAAwB,EACxB,KAAuB;IAEvB,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAChD,qBAAqB,CAAC,GAAG,CACrB,SAAS,CAAC,EAAqE,CAClF,CACJ,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,qBAAqB,CAAC,GAAG,CACrB,SAAS,CAAC,EAAqE,CAClF,CACJ,CAAC;IACF,MAAM,gBAAgB,GAAG,KAAK,CAAC,MAAM,CACjC,CAAC,SAAS,EAAE,EAAE,CACV,CAAC,qBAAqB,CAAC,GAAG,CACtB,SAAS,CAAC,EAAqE,CAClF,CACR,CAAC;IAEF,MAAM,WAAW,GAAG,mBAAmB,CAAC,eAAe,CAAC,CAAC;IAEzD,MAAM,SAAS,GAAG,CAAC,GAAG,eAAe,EAAE,GAAG,cAAc,CAAC,CAAC;IAE1D,IAAI,EAAuB,CAAC;IAC5B,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,IAAI,KAA4B,CAAC;IACjC,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,IAAI,MAA2B,CAAC;IAChC,IAAI,KAAwB,CAAC;IAC7B,IAAI,KAAwB,CAAC;IAE7B,KAAK,MAAM,SAAS,IAAI,SAAS,EAAE,CAAC;QAChC,QAAQ,SAAS,CAAC,EAAE,EAAE,CAAC;YACnB,KAAK,KAAK;gBACN,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC;gBACrB,MAAM;YACV,KAAK,KAAK;gBACN,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBAC7B,MAAM;YACV,KAAK,KAAK,CAAC,CAAC,CAAC;gBACT,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC;oBACxC,CAAC,CAAE,SAAS,CAAC,KAAmB;oBAChC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBACxB,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;gBACtE,MAAM;YACV,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACV,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC;oBACxC,CAAC,CAAE,SAAS,CAAC,KAAmB;oBAChC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBACxB,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;oBACxB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvB,CAAC;gBACD,MAAM;YACV,CAAC;YACD,KAAK,SAAS;gBACV,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBAClC,MAAM;YACV,KAAK,KAAK;gBACN,IAAI,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,KAAK,YAAY,IAAI,EAAE,CAAC;oBACzE,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE;wBACzB,KAAK,EAAE,SAAS,CAAC,KAAsB;wBACvC,SAAS,EAAE,KAAK;qBACnB,CAAC,CAAC;gBACP,CAAC;gBACD,MAAM;YACV,KAAK,MAAM;gBACP,IAAI,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,KAAK,YAAY,IAAI,EAAE,CAAC;oBACzE,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE;wBACzB,KAAK,EAAE,SAAS,CAAC,KAAsB;wBACvC,SAAS,EAAE,IAAI;qBAClB,CAAC,CAAC;gBACP,CAAC;gBACD,MAAM;YACV,KAAK,KAAK;gBACN,IAAI,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,KAAK,YAAY,IAAI,EAAE,CAAC;oBACzE,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE;wBACzB,KAAK,EAAE,SAAS,CAAC,KAAsB;wBACvC,SAAS,EAAE,KAAK;qBACnB,CAAC,CAAC;gBACP,CAAC;gBACD,MAAM;YACV,KAAK,MAAM;gBACP,IAAI,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,KAAK,YAAY,IAAI,EAAE,CAAC;oBACzE,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE;wBACzB,KAAK,EAAE,SAAS,CAAC,KAAsB;wBACvC,SAAS,EAAE,IAAI;qBAClB,CAAC,CAAC;gBACP,CAAC;gBACD,MAAM;QACd,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAErC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACnB,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACnB,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,CAAC;QACD,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,CAAC;QACD,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;YACjB,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,CAAC;IACL,CAAC;IAED,IAAI,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACnE,CAAC;IAED,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACnB,IAAI,MAAM,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YACjC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,CAAC;QACD,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;YAC7D,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;YACrD,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;YACpD,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACR,MAAM,KAAK,GACP,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,YAAY,IAAI;gBACxC,CAAC,CAAC,KAAK,CAAC,EAAmB,CAAC;gBAC5B,CAAC,CAAC,SAAS,CAAC;YACpB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,QAAQ,EAAE,CAAC;oBACzD,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;gBACnE,CAAC;YACL,CAAC;QACL,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACR,MAAM,KAAK,GACP,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,YAAY,IAAI;gBACxC,CAAC,CAAC,KAAK,CAAC,EAAmB,CAAC;gBAC5B,CAAC,CAAC,SAAS,CAAC;YACpB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,QAAQ,EAAE,CAAC;oBACzD,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;gBACnE,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;IAC9E,MAAM,cAAc,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACrD,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CACxD,CAAC;IACF,MAAM,cAAc,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC;IACtF,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;IAC9E,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,CACnC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,IAAI,SAAS,CAAC,EAAE,KAAK,KAAK,CACnE,CAAC;IAEF,MAAM,YAAY,GAAqB,EAAE,CAAC;IAE1C,MAAM,sBAAsB,GACxB,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,kBAAkB,GACpB,CAAC,UAAU,IAAI,EAAE,KAAK,SAAS,CAAC,IAAI,CAAC,UAAU,IAAI,sBAAsB,CAAC,CAAC;IAC/E,IAAI,kBAAkB,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACzC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,cAAc,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACxD,CAAC;IAED,IAAI,UAAU,EAAE,CAAC;QACb,MAAM,OAAO,GAA0B,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACvE,MAAM,mBAAmB,GACrB,OAAO,KAAK,SAAS;YACrB,WAAW,KAAK,SAAS;YACzB,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACxC,MAAM,eAAe,GACjB,EAAE,KAAK,SAAS;YAChB,OAAO,KAAK,SAAS;YACrB,OAAO,CAAC,MAAM,KAAK,CAAC;YACpB,IAAA,sBAAc,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,mBAAmB,IAAI,CAAC,eAAe,EAAE,CAAC;YACpE,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;QACrD,CAAC;IACL,CAAC;IAED,IAAI,cAAc,EAAE,CAAC;QACjB,IAAI,KAAK,EAAE,CAAC;YACR,YAAY,CAAC,IAAI,CAAC;gBACd,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK;gBACpC,KAAK,EAAE,KAAK,CAAC,KAAK;aACrB,CAAC,CAAC;QACP,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACR,YAAY,CAAC,IAAI,CAAC;gBACd,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK;gBACpC,KAAK,EAAE,KAAK,CAAC,KAAK;aACrB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,IAAI,WAAW,EAAE,CAAC;QACd,MAAM,SAAS,GAAG,aAAa,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC;QACzD,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;YACxD,CAAC;QACL,CAAC;aAAM,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1D,CAAC;IACL,CAAC;IAED,MAAM,cAAc,GAAG,CAAC,GAAG,YAAY,EAAE,GAAG,gBAAgB,CAAC,CAAC;IAE9D,MAAM,OAAO,GACT,cAAc,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QACtC,cAAc,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;YACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC9B,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,IAAI,QAAQ,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,OAAO,CAAC,IAAA,sBAAc,EAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;IAEP,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AACtE,CAAC"}

package/dist/core/conflicts-and-tighten.d.ts

@@ -0,0 +1,15 @@
+import type { FieldCondition } from "../ast/types";
+import type { TightenResult } from "./conditions";
+/**
+ * 判断同一字段上的一组条件是否自相冲突（不可满足）。
+ */
+export declare function isConditionsImpossible(conditions: FieldCondition[]): boolean;
+/**
+ * 判断父级条件与子级条件是否冲突。
+ */
+export declare function isParentChildImpossible(parent: FieldCondition[], child: FieldCondition[]): boolean;
+/**
+ * 在父级条件约束下收紧子级条件（取交集），并判断合并后是否不可能满足。
+ */
+export declare function tightenWithParent(parent: FieldCondition[], child: FieldCondition[]): TightenResult;
+//# sourceMappingURL=conflicts-and-tighten.d.ts.map

package/dist/core/conflicts-and-tighten.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflicts-and-tighten.d.ts","sourceRoot":"","sources":["../../src/core/conflicts-and-tighten.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAIlD;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,cAAc,EAAE,GAAG,OAAO,CAE5E;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,cAAc,EAAE,EACxB,KAAK,EAAE,cAAc,EAAE,GACxB,OAAO,CAET;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC7B,MAAM,EAAE,cAAc,EAAE,EACxB,KAAK,EAAE,cAAc,EAAE,GACxB,aAAa,CAEf"}

package/dist/core/conflicts-and-tighten.js

@@ -0,0 +1,26 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isConditionsImpossible = isConditionsImpossible;
+exports.isParentChildImpossible = isParentChildImpossible;
+exports.tightenWithParent = tightenWithParent;
+const conditions_1 = require("./conditions");
+const conflicts_1 = require("./conflicts");
+/**
+ * 判断同一字段上的一组条件是否自相冲突（不可满足）。
+ */
+function isConditionsImpossible(conditions) {
+    return (0, conflicts_1.hasConditionConflict)(conditions, conditions);
+}
+/**
+ * 判断父级条件与子级条件是否冲突。
+ */
+function isParentChildImpossible(parent, child) {
+    return (0, conflicts_1.hasConditionConflict)(parent, child);
+}
+/**
+ * 在父级条件约束下收紧子级条件（取交集），并判断合并后是否不可能满足。
+ */
+function tightenWithParent(parent, child) {
+    return (0, conditions_1.tightenChildConditionsByParent)(parent, child);
+}
+//# sourceMappingURL=conflicts-and-tighten.js.map

package/dist/core/conflicts-and-tighten.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflicts-and-tighten.js","sourceRoot":"","sources":["../../src/core/conflicts-and-tighten.ts"],"names":[],"mappings":";;AAQA,wDAEC;AAKD,0DAKC;AAKD,8CAKC;AA5BD,6CAA8D;AAC9D,2CAAmD;AAEnD;;GAEG;AACH,SAAgB,sBAAsB,CAAC,UAA4B;IAC/D,OAAO,IAAA,gCAAoB,EAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AACxD,CAAC;AAED;;GAEG;AACH,SAAgB,uBAAuB,CACnC,MAAwB,EACxB,KAAuB;IAEvB,OAAO,IAAA,gCAAoB,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED;;GAEG;AACH,SAAgB,iBAAiB,CAC7B,MAAwB,EACxB,KAAuB;IAEvB,OAAO,IAAA,2CAA8B,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC"}

package/dist/core/conflicts.d.ts

@@ -0,0 +1,14 @@
+import type { FieldCondition } from "../ast/types";
+/**
+ * 判断两条同字段条件是否互斥。
+ */
+export declare function twoConditionsConflict(a: FieldCondition, b: FieldCondition): boolean;
+/**
+ * 判断同一字段上父条件与子条件是否冲突。
+ *
+ * @param parent - 父级该字段的条件列表
+ * @param child - 当前节点的条件列表
+ * @returns 若存在互斥则为 true
+ */
+export declare function hasConditionConflict(parent: FieldCondition[], child: FieldCondition[]): boolean;
+//# sourceMappingURL=conflicts.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"conflicts.d.ts","sourceRoot":"","sources":["../../src/core/conflicts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAWnD;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,cAAc,GAAG,OAAO,CA2InF;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,cAAc,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,OAAO,CAS/F"}

package/dist/core/conflicts.js

@@ -0,0 +1,157 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.twoConditionsConflict = twoConditionsConflict;
+exports.hasConditionConflict = hasConditionConflict;
+const utils_1 = require("./utils");
+function isNumberOrDate(v) {
+    return typeof v === "number" || v instanceof Date;
+}
+function toNum(v) {
+    return v instanceof Date ? v.getTime() : v;
+}
+/**
+ * 判断两条同字段条件是否互斥。
+ */
+function twoConditionsConflict(a, b) {
+    if (a.op === "$eq" && b.op === "$eq") {
+        return !(0, utils_1.areValuesEqual)(a.value, b.value);
+    }
+    if (a.op === "$eq" || b.op === "$eq") {
+        const eq = a.op === "$eq" ? a : b;
+        const other = a.op === "$eq" ? b : a;
+        const v = eq.value;
+        if (other.op === "$gt" || other.op === "$gte" || other.op === "$lt" || other.op === "$lte") {
+            if (!isNumberOrDate(v) || !isNumberOrDate(other.value)) {
+                return false;
+            }
+            const cv = other.value;
+            const nv = toNum(v);
+            const nc = toNum(cv);
+            if (other.op === "$gt") {
+                return nv <= nc;
+            }
+            if (other.op === "$gte") {
+                return nv < nc;
+            }
+            if (other.op === "$lt") {
+                return nv >= nc;
+            }
+            if (other.op === "$lte") {
+                return nv > nc;
+            }
+        }
+        if (other.op === "$in" || other.op === "$nin") {
+            const arr = Array.isArray(other.value) ? other.value : [other.value];
+            const found = arr.some((x) => (0, utils_1.areValuesEqual)(v, x));
+            if (other.op === "$in") {
+                return !found;
+            }
+            if (other.op === "$nin") {
+                return found;
+            }
+        }
+        if (other.op === "$exists") {
+            const exists = Boolean(other.value);
+            if (v === undefined) {
+                return exists === true;
+            }
+            if (v === null) {
+                return false;
+            }
+            if (exists === false) {
+                return true;
+            }
+            return false;
+        }
+        if (other.op === "$ne") {
+            return (0, utils_1.areValuesEqual)(v, other.value);
+        }
+    }
+    const cmpOps = ["$gt", "$gte", "$lt", "$lte"];
+    if (cmpOps.includes(a.op) && cmpOps.includes(b.op)) {
+        if (!isNumberOrDate(a.value) || !isNumberOrDate(b.value)) {
+            return false;
+        }
+        const na = toNum(a.value);
+        const nb = toNum(b.value);
+        const aop = a.op;
+        const bop = b.op;
+        if ((aop === "$gt" || aop === "$gte") && (bop === "$lt" || bop === "$lte")) {
+            return na > nb || (na === nb && (aop === "$gt" || bop === "$lt"));
+        }
+        if ((aop === "$lt" || aop === "$lte") && (bop === "$gt" || bop === "$gte")) {
+            return nb > na || (nb === na && (bop === "$gt" || aop === "$lt"));
+        }
+    }
+    if (a.op === "$exists" && a.value === false) {
+        if ((b.op === "$eq" && b.value !== null) ||
+            b.op === "$in" ||
+            b.op === "$gt" ||
+            b.op === "$gte" ||
+            b.op === "$lt" ||
+            b.op === "$lte") {
+            return true;
+        }
+    }
+    if (b.op === "$exists" && b.value === false) {
+        if ((a.op === "$eq" && a.value !== null) ||
+            a.op === "$in" ||
+            a.op === "$gt" ||
+            a.op === "$gte" ||
+            a.op === "$lt" ||
+            a.op === "$lte") {
+            return true;
+        }
+    }
+    if ((a.op === "$in" && b.op === "$nin") || (a.op === "$nin" && b.op === "$in")) {
+        const inArr = (a.op === "$in" ? a.value : b.value);
+        const ninArr = (a.op === "$nin" ? a.value : b.value);
+        const allInBanned = inArr.length > 0 && inArr.every((x) => ninArr.some((y) => (0, utils_1.areValuesEqual)(x, y)));
+        return allInBanned;
+    }
+    if (a.op === "$exists" && b.op === "$exists") {
+        return a.value !== b.value;
+    }
+    if (a.op === "$ne" && b.op === "$exists") {
+        if (b.value === false && a.value === null) {
+            return true;
+        }
+        return false;
+    }
+    if (b.op === "$ne" && a.op === "$exists") {
+        if (a.value === false && b.value === null) {
+            return true;
+        }
+        return false;
+    }
+    if ((a.op === "$ne" && b.op === "$in") ||
+        (a.op === "$in" && b.op === "$ne")) {
+        const ne = a.op === "$ne" ? a : b;
+        const inp = a.op === "$in" ? a : b;
+        const inArr = Array.isArray(inp.value) ? inp.value : [inp.value];
+        if (inArr.length === 0) {
+            return false;
+        }
+        const allEqualExcluded = inArr.every((x) => (0, utils_1.areValuesEqual)(x, ne.value));
+        return allEqualExcluded;
+    }
+    return false;
+}
+/**
+ * 判断同一字段上父条件与子条件是否冲突。
+ *
+ * @param parent - 父级该字段的条件列表
+ * @param child - 当前节点的条件列表
+ * @returns 若存在互斥则为 true
+ */
+function hasConditionConflict(parent, child) {
+    for (const pc of parent) {
+        for (const cc of child) {
+            if (twoConditionsConflict(pc, cc)) {
+                return true;
+            }
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=conflicts.js.map

package/dist/core/conflicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflicts.js","sourceRoot":"","sources":["../../src/core/conflicts.ts"],"names":[],"mappings":";;AAcA,sDA2IC;AASD,oDASC;AA1KD,mCAAyC;AAEzC,SAAS,cAAc,CAAC,CAAU;IAC9B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,YAAY,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,KAAK,CAAC,CAAgB;IAC3B,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED;;GAEG;AACH,SAAgB,qBAAqB,CAAC,CAAiB,EAAE,CAAiB;IACtE,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QACnC,OAAO,CAAC,IAAA,sBAAc,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;QACnC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;QACnB,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YACzF,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrD,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,MAAM,EAAE,GAAG,KAAK,CAAC,KAAsB,CAAC;YACxC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;YACrB,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;gBACrB,OAAO,EAAE,IAAI,EAAE,CAAC;YACpB,CAAC;YACD,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;gBACtB,OAAO,EAAE,GAAG,EAAE,CAAC;YACnB,CAAC;YACD,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;gBACrB,OAAO,EAAE,IAAI,EAAE,CAAC;YACpB,CAAC;YACD,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;gBACtB,OAAO,EAAE,GAAG,EAAE,CAAC;YACnB,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YAC5C,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACrE,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACpD,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;gBACrB,OAAO,CAAC,KAAK,CAAC;YAClB,CAAC;YACD,IAAI,KAAK,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;gBACtB,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAEpC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBAClB,OAAO,MAAM,KAAK,IAAI,CAAC;YAC3B,CAAC;YACD,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBACnB,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;YACrB,OAAO,IAAA,sBAAc,EAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1C,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAU,CAAC;IACvD,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAA6B,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAA6B,CAAC,EAAE,CAAC;QACvG,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACvD,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,KAAsB,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,KAAsB,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,CAAC,CAAC,EAA6B,CAAC;QAC5C,MAAM,GAAG,GAAG,CAAC,CAAC,EAA6B,CAAC;QAC5C,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,MAAM,CAAC,EAAE,CAAC;YACzE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,MAAM,CAAC,EAAE,CAAC;YACzE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC;QACtE,CAAC;IACL,CAAC;IAED,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QAC1C,IACI,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC;YACpC,CAAC,CAAC,EAAE,KAAK,KAAK;YACd,CAAC,CAAC,EAAE,KAAK,KAAK;YACd,CAAC,CAAC,EAAE,KAAK,MAAM;YACf,CAAC,CAAC,EAAE,KAAK,KAAK;YACd,CAAC,CAAC,EAAE,KAAK,MAAM,EACjB,CAAC;YACC,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IACD,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QAC1C,IACI,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC;YACpC,CAAC,CAAC,EAAE,KAAK,KAAK;YACd,CAAC,CAAC,EAAE,KAAK,KAAK;YACd,CAAC,CAAC,EAAE,KAAK,MAAM;YACf,CAAC,CAAC,EAAE,KAAK,KAAK;YACd,CAAC,CAAC,EAAE,KAAK,MAAM,EACjB,CAAC;YACC,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IAED,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC;QAC7E,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAc,CAAC;QAChE,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAc,CAAC;QAClE,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrG,OAAO,WAAW,CAAC;IACvB,CAAC;IAED,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;QAC3C,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC;IAC/B,CAAC;IAED,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;QACvC,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACxC,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;QACvC,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACxC,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,IACI,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC;QAClC,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,EACpC,CAAC;QACC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,MAAM,gBAAgB,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,OAAO,gBAAgB,CAAC;IAC5B,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,oBAAoB,CAAC,MAAwB,EAAE,KAAuB;IAClF,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACtB,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACrB,IAAI,qBAAqB,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;gBAChC,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}

package/dist/core/constraint-propagation.d.ts

@@ -0,0 +1,15 @@
+import type { FieldCondition, FieldNode, SelectorAST } from "../ast/types";
+export type FieldConditionMap = Map<string, FieldCondition[]>;
+export declare function cloneContext(context: FieldConditionMap): FieldConditionMap;
+export declare function addToContext(context: FieldConditionMap, node: FieldNode): void;
+export declare function buildLayerContext(parentContext: FieldConditionMap, layerAll: FieldConditionMap): FieldConditionMap;
+export declare function buildSiblingContext(parentContext: FieldConditionMap, layerAll: FieldConditionMap, self: FieldNode): FieldConditionMap;
+export declare function subtractConditions(all: FieldCondition[], sub: FieldCondition[]): FieldCondition[];
+/**
+ * 在父级上下文中化简单个 FieldNode：冲突 → false；否则在支持的操作符上做等价收紧（见 tightenWithParent）。
+ */
+export declare function simplifyFieldAgainstContext(node: FieldNode, context: FieldConditionMap): SelectorAST;
+export declare function collectAndLayerFieldConditions(node: {
+    children: SelectorAST[];
+}): FieldConditionMap;
+//# sourceMappingURL=constraint-propagation.d.ts.map

package/dist/core/constraint-propagation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-propagation.d.ts","sourceRoot":"","sources":["../../src/core/constraint-propagation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAQ3E,MAAM,MAAM,iBAAiB,GAAG,GAAG,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAE9D,wBAAgB,YAAY,CAAC,OAAO,EAAE,iBAAiB,GAAG,iBAAiB,CAM1E;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,iBAAiB,EAAE,IAAI,EAAE,SAAS,GAAG,IAAI,CAG9E;AAED,wBAAgB,iBAAiB,CAAC,aAAa,EAAE,iBAAiB,EAAE,QAAQ,EAAE,iBAAiB,GAAG,iBAAiB,CAOlH;AAED,wBAAgB,mBAAmB,CAC/B,aAAa,EAAE,iBAAiB,EAChC,QAAQ,EAAE,iBAAiB,EAC3B,IAAI,EAAE,SAAS,GAChB,iBAAiB,CAanB;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,cAAc,EAAE,CAcjG;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,iBAAiB,GAAG,WAAW,CAsBpG;AAED,wBAAgB,8BAA8B,CAAC,IAAI,EAAE;IAAE,QAAQ,EAAE,WAAW,EAAE,CAAA;CAAE,GAAG,iBAAiB,CAUnG"}

package/dist/core/constraint-propagation.js

@@ -0,0 +1,93 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.cloneContext = cloneContext;
+exports.addToContext = addToContext;
+exports.buildLayerContext = buildLayerContext;
+exports.buildSiblingContext = buildSiblingContext;
+exports.subtractConditions = subtractConditions;
+exports.simplifyFieldAgainstContext = simplifyFieldAgainstContext;
+exports.collectAndLayerFieldConditions = collectAndLayerFieldConditions;
+const builders_1 = require("../ast/builders");
+const guards_1 = require("../ast/guards");
+const conflicts_and_tighten_1 = require("./conflicts-and-tighten");
+const utils_1 = require("./utils");
+function cloneContext(context) {
+    const next = new Map();
+    for (const [k, v] of context) {
+        next.set(k, [...v]);
+    }
+    return next;
+}
+function addToContext(context, node) {
+    const existing = context.get(node.field) ?? [];
+    context.set(node.field, [...existing, ...node.conditions]);
+}
+function buildLayerContext(parentContext, layerAll) {
+    const next = cloneContext(parentContext);
+    for (const [field, conds] of layerAll) {
+        const existing = next.get(field) ?? [];
+        next.set(field, [...existing, ...conds]);
+    }
+    return next;
+}
+function buildSiblingContext(parentContext, layerAll, self) {
+    const next = cloneContext(parentContext);
+    const all = layerAll.get(self.field);
+    if (!all) {
+        return next;
+    }
+    const siblingsOnly = subtractConditions(all, self.conditions);
+    if (siblingsOnly.length > 0) {
+        const parentExisting = next.get(self.field) ?? [];
+        next.set(self.field, [...parentExisting, ...siblingsOnly]);
+    }
+    return next;
+}
+function subtractConditions(all, sub) {
+    if (sub.length === 0) {
+        return [...all];
+    }
+    const remaining = [...all];
+    for (const s of sub) {
+        const idx = remaining.findIndex((c) => c.op === s.op && (0, utils_1.areValuesEqual)(c.value, s.value));
+        if (idx >= 0) {
+            remaining.splice(idx, 1);
+        }
+    }
+    return remaining;
+}
+/**
+ * 在父级上下文中化简单个 FieldNode：冲突 → false；否则在支持的操作符上做等价收紧（见 tightenWithParent）。
+ */
+function simplifyFieldAgainstContext(node, context) {
+    if ((0, conflicts_and_tighten_1.isConditionsImpossible)(node.conditions)) {
+        return builders_1.ASTNodeBuilder.falseNode();
+    }
+    const parent = context.get(node.field);
+    if (!parent) {
+        return node;
+    }
+    if ((0, conflicts_and_tighten_1.isParentChildImpossible)(parent, node.conditions)) {
+        return builders_1.ASTNodeBuilder.falseNode();
+    }
+    const tightened = (0, conflicts_and_tighten_1.tightenWithParent)(parent, node.conditions);
+    if (tightened.impossible) {
+        return builders_1.ASTNodeBuilder.falseNode();
+    }
+    if (tightened.changed && tightened.conditions.length === 0) {
+        return builders_1.ASTNodeBuilder.trueNode();
+    }
+    return tightened.changed ? { ...node, conditions: tightened.conditions } : node;
+}
+function collectAndLayerFieldConditions(node) {
+    const layerAll = new Map();
+    for (const child of node.children) {
+        if (!(0, guards_1.isFieldNode)(child)) {
+            continue;
+        }
+        const existing = layerAll.get(child.field) ?? [];
+        layerAll.set(child.field, [...existing, ...child.conditions]);
+    }
+    return layerAll;
+}
+//# sourceMappingURL=constraint-propagation.js.map