Infrastructure · Primitives
Rank
Order items by score
Definition
Mechanism
Deterministic Sort. Applies a caller-supplied ScoringFunction to every element in the input Set and returns a List ordered by Score. Uses Select to truncate to Top-K when requested.
Invariants
- Conservation: Output set is a subset of Input set.
- Monotonicity: For all i, Score(Output[i]) >= Score(Output[i+1]).
Risks
Failure modes
Score Indeterminacy
Multiple items have identical scores.
Incomparability
Scoring function returns values that cannot be strictly ordered.
Relationships
Builds on
Accepts
Deterministic valuation logic
Composes with
Generic selection of items from a set based on criteria
Used by
References
Mind
Inference to the best explanation — provisional, ranked by simplicity/scope/coherence
Mind
Width-limited heuristic search
Composes with
Mind
Ordering tasks by importance and urgency
Reference