Module pool 

Bounded priority pool for streaming match collection

Implements a bounded pool that keeps the best matches across multiple dimensions (error, complexity) with deduplication.

Key Design

Keys use Expression directly rather than String for zero-allocation deduplication. Since Expression uses SmallVec<[Symbol; 21]>, expressions within the length limit stay inline on the stack, avoiding heap allocation during hashing and comparison.

Structs

EqnKey

Keys for full equation deduplication (LHS + RHS pair)

LhsKey

Keys for LHS-only deduplication

PoolStats

Statistics from pool operations

SignatureKey

Signature for operator/constant pattern (used for “interesting” dedupe)

TopKPool

Bounded pool for collecting matches

Enums

RankingMode

Match ranking mode for pool eviction and final ordering.

Functions

compare_matches

Compare two matches according to the selected ranking mode.

legacy_parity_score_expr

Compute legacy (original RIES style) signed parity score for an expression.

legacy_parity_score_match

Compute legacy (original RIES style) signed parity score for a match.