Module ranking 

Pure ranking building blocks (spec 039).

Ranking and selection cannot convert to or from other value kinds (039, 3.9.1).

use rustev_core::kinds::ModelScore;
use rustev_contract::ranking_result::ModelRanking;
fn convert(value: ModelRanking) -> ModelScore { value.into() }

use rustev_core::kinds::ModelScore;
use rustev_contract::ranking_result::ModelRanking;
fn convert(value: ModelScore) -> ModelRanking { value.into() }

use rustev_core::kinds::Distribution;
use rustev_contract::ranking_result::ModelRanking;
fn convert(value: ModelRanking) -> Distribution { value.into() }

use rustev_core::kinds::Distribution;
use rustev_contract::ranking_result::ModelRanking;
fn convert(value: Distribution) -> ModelRanking { value.into() }

use rustev_core::kinds::CalibratedProbability;
use rustev_contract::ranking_result::ModelRanking;
fn convert(value: ModelRanking) -> CalibratedProbability { value.into() }

use rustev_core::kinds::CalibratedProbability;
use rustev_contract::ranking_result::ModelRanking;
fn convert(value: CalibratedProbability) -> ModelRanking { value.into() }

use rustev_core::kinds::SelectedLabel;
use rustev_contract::ranking_result::ModelRanking;
fn convert(value: ModelRanking) -> SelectedLabel { value.into() }

use rustev_core::kinds::SelectedLabel;
use rustev_contract::ranking_result::ModelRanking;
fn convert(value: SelectedLabel) -> ModelRanking { value.into() }

use rustev_core::kinds::OrdinalLevel;
use rustev_contract::ranking_result::ModelRanking;
fn convert(value: ModelRanking) -> OrdinalLevel { value.into() }

use rustev_core::kinds::OrdinalLevel;
use rustev_contract::ranking_result::ModelRanking;
fn convert(value: OrdinalLevel) -> ModelRanking { value.into() }

use rustev_core::kinds::RankPosition;
use rustev_contract::ranking_result::ModelRanking;
fn convert(value: ModelRanking) -> RankPosition { value.into() }

use rustev_core::kinds::RankPosition;
use rustev_contract::ranking_result::ModelRanking;
fn convert(value: RankPosition) -> ModelRanking { value.into() }

use rustev_core::kinds::ModelScore;
use rustev_contract::ranking_result::Selection;
fn convert(value: Selection) -> ModelScore { value.into() }

use rustev_core::kinds::ModelScore;
use rustev_contract::ranking_result::Selection;
fn convert(value: ModelScore) -> Selection { value.into() }

use rustev_core::kinds::Distribution;
use rustev_contract::ranking_result::Selection;
fn convert(value: Selection) -> Distribution { value.into() }

use rustev_core::kinds::Distribution;
use rustev_contract::ranking_result::Selection;
fn convert(value: Distribution) -> Selection { value.into() }

use rustev_core::kinds::CalibratedProbability;
use rustev_contract::ranking_result::Selection;
fn convert(value: Selection) -> CalibratedProbability { value.into() }

use rustev_core::kinds::CalibratedProbability;
use rustev_contract::ranking_result::Selection;
fn convert(value: CalibratedProbability) -> Selection { value.into() }

use rustev_core::kinds::SelectedLabel;
use rustev_contract::ranking_result::Selection;
fn convert(value: Selection) -> SelectedLabel { value.into() }

use rustev_core::kinds::SelectedLabel;
use rustev_contract::ranking_result::Selection;
fn convert(value: SelectedLabel) -> Selection { value.into() }

use rustev_core::kinds::OrdinalLevel;
use rustev_contract::ranking_result::Selection;
fn convert(value: Selection) -> OrdinalLevel { value.into() }

use rustev_core::kinds::OrdinalLevel;
use rustev_contract::ranking_result::Selection;
fn convert(value: OrdinalLevel) -> Selection { value.into() }

use rustev_core::kinds::RankPosition;
use rustev_contract::ranking_result::Selection;
fn convert(value: Selection) -> RankPosition { value.into() }

use rustev_core::kinds::RankPosition;
use rustev_contract::ranking_result::Selection;
fn convert(value: RankPosition) -> Selection { value.into() }

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

BoundError

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.