Expand description
Pure ranking building blocks (spec 039); not wired into compilation or evaluation.
Modules§
- permute
rustev.permute/1(spec 039, 3.8.4), using spec 002’s identity builder.- schedules
- Request presentations and pure pairwise schedules (spec 039, 3.4 to 3.8).
- select
- Pure selection and exact backfill (039, 3.10-3.11).
- value
- Pure validation and aggregation of supplied ranking answers (039, 3.5-3.9).
Enums§
- Bound
Error - Invalid controls or a bound that cannot be represented.
Functions§
- max_
requests - Declared request bound (039, 3.5.4, 3.6.3, 3.7.5), not actual requests. In particular listwise’s declared bound is orders even for a zero pool bound; request planning must suppress requests for an empty actual pool.
- pairwise_
bound - Worst-case logical pairs before presentation multiplication (039, 3.7.5).
This is independent of the execution cap, which compilation must compare
against the presentation count returned by
max_requests.