Skip to main content

Module host_select

Module host_select 

Source
Expand description

Host baselines, reproducibility and selection, rustev.host-baseline/1 and rustev.host-selection/1 (spec 061, 3.6 to 3.8).

A host baseline records one host set; the reproducibility check and the selection gate compare host sets with it by spec 029’s rules, with the host identities in place of Rustev’s. A host document is never combined with, compared against or verified as a Rustev-evaluated one (I-1): provenance tells them apart by schema, and a command given both refuses with mixed-provenance. A selection is evidence for the host’s choice, never the choice and never a grant.

Structs§

HostBaseline
HostBaselineCohort
HostBaselineMetric
HostCandidateSelection
HostSelection
A host selection (3.7.3): spec 029 3.12.7’s content with the host baseline’s digest and each candidate’s host repeat report and host identities.
HostSetEvidence
A host set with the inputs that rebuild it (3.3.4).
NamedHostCandidate

Enums§

Provenance
Where a document’s figures come from (3.6).

Constants§

HOST_BASELINE
HOST_SELECTION

Functions§

evaluate_selection
Gate host candidates against a host baseline (3.7): spec 029 3.12’s clauses, verdicts, ranking and exit codes, with the preconditions of 3.7.4 and the coverage minimums of 3.7.5 (R-1).
one_provenance
The one provenance of a command’s documents, by schema, or mixed-provenance when they hold both (I-1). A schema of neither kind is left to the document’s own parser.
provenance
A repeat-set document’s provenance by its schema; none for any other.
record
Record a host baseline (3.7.1): the set is re-assembled from its inputs and must reproduce the supplied report and case documents.
reproducibility
The reproducibility check over host sets (3.7.2): spec 029 3.9 with “same configuration” meaning equal host system, flow, flow version, dataset, split, evaluator configuration and repeat configuration.
verify_baseline
A baseline that verifies against its import output (3.7.4): recording it again from the set gives the same document.