Module planner 

Query planning and selectivity decisions. Typed filter planning, exact execution branches, and truthful plan reports.

Structs

FilteredSearchOutcome

Exact filtered candidates plus truthful per-segment planning reports.

LexicalSearchOutcome

Filtered lexical result and the branch that produced it.

SegmentPlan

Truthful per-segment plan report returned with filtered results.

Enums

ExplicitScanTier

The only explicit caller tiers that deliberately select scan execution.

FilterMode

Where the exact filter is enforced relative to candidate scoring.

FilteredSearchError

Typed failure from filtered planning or exact execution.

LexicalBranch

Exact lexical filter execution branch.

LexicalFilterError

Typed lexical filter planning or scoring failure.

PlanError

A typed planning-time predicate rejection.

PlanFallback

A named fallback recorded by the planner.

PlanNode

Closed recursive plan IR. New execution families require a new enum variant.

ScanReason

Why one segment was served without graph traversal.

ScanReasonCounter

Stable slots in crate::lifecycle::Stats::scans_by_reason.

SegmentBranch

One exact vector-filter execution branch.

SegmentTier

The physical tier represented by one segment plan.

Constants

ALLOW_LIST_ROWS_THRESHOLD

Maximum allow-list cardinality that drives row gathering.

LEXICAL_ALLOW_LIST_DIVISOR

Corpus divisor below which the allow-list drives lexical iteration.

SCAN_REASON_COUNTER_COUNT

Number of stable scan-reason counter slots.

Functions

choose_scan_branch

Chooses between the two exact scan branches from exact cardinality.

search_lexical_filtered

Plans and executes one exact lexical query over segment-local allow-lists.

segment_may_match

Returns false only when timestamp statistics prove no row can match.

validate_predicate

Validates every predicate node against the collection schema before execution.