Module selection 

Declarative selection evidence (spec 029, 3.12), never an execution grant.

Structs

CandidateSelection

ClauseResult

HeldOutLimit

Selection

SelectionGate

SliceResult

Unranked

Enums

BaselineTarget

Clause

ClauseOutcome

MetricClause

Per

Verdict

Within

Constants

MAX_GATE_ITEMS

Conservative declaration bounds, matching DESCRIPTOR_V1 collection sizes.

MAX_METRIC_NAME

SELECTION

SELECTION_GATE

Functions

evaluate_selection

Verify all supplied bindings before comparing values. A failed precondition makes that candidate unknown. Once preconditions hold, any definite clause failure dominates unknown clauses, including unknown coverage denominators.