Skip to main content

Module judge

Module judge 

Source
Expand description

Judge reproduction (spec 041, 3.8.1 to 3.8.3).

A model judge is an ordinary plan with a rubric step. The host runs it once per view entry, with capture, and keeps the bundles; this module reproduces each bundle offline with spec 004’s reproduction and writes the judge’s rustev.scores/1. Missing or unusable evidence leaves the case unscored with its reason (I-2). A bundle of another plan, or a judgment whose derivation contradicts the descriptor, refuses the whole call: either shows that the judge is not the one the configuration declares, which taints every score in the document.

Enums§

JudgeError
Why a judge reproduction call was refused, by refusal code (3.8.3).

Functions§

judge_scores
Reproduces each view entry’s judge bundle (bundles, by case id) and writes the judge’s scores (3.8.3). plan is the judge plan’s identity, which the descriptor must name.