/**
 * @fileoverview Predicate Normalization (SPEC Section 11.4.1)
 *
 * Sort predicates by (lhs, op, rhs.kind, canonicalize(rhs)) tuple.
 */
import type { Pred } from "../schema/index.js";
/**
 * Sort predicates for canonicalization (FDR-INT-CAN-004).
 *
 * AND conditions have no semantic order (A AND B === B AND A).
 * Sorting ensures permutation invariance.
 */
export declare function sortPredicates(preds: readonly Pred[], mode: "semantic" | "strict"): Pred[];
//# sourceMappingURL=normalize-pred.d.ts.map