Module eval

Expand description

eval and gate (spec 006, 3.9), and the dataset and bundle handling calibrate fit shares, for every host.

Structs§

check_case_ids: Case ids that map to bundle files (spec 006, 3.9.1): 1 to 128 bytes of [A-Za-z0-9._-] starting with an alphanumeric, distinct ignoring ASCII case.
eval: eval: a report, its detail, the configuration and the adapter, published in out.
gate: gate: one declared gate of the candidate’s configuration over the two sides eval wrote.
id_of: Identity of a document, as text, for output.
read_bundles: The bundles of cases from dir (spec 015, 3.3): absent files are left out for the library to judge (bundle-missing); a file that exists but cannot be read, is past the document limit or does not parse is supplied as that case’s load failure, and the command continues. Only an exhausted read budget stops it, because that depends on read order rather than on the bundle.
read_doc: Read and parse one document of type T under limit, as invalid_input when it is refused.
split_named: A split by its name (spec 006, 3.9).
write_all: Write every (name, bytes) into dir, all or none. The bytes move into the host’s list; nothing is copied.