Expand description
The verdict: a contract and a run’s evidence, judged.
judge is what a soak is graded by. judge_self_check is what proves
the grading works: it passes only when the injected missing record and the
injected missed deadline are each reported exactly, and nothing else is.
Structs§
- Self
Check Report - What a self-check proved, or why it did not.
- Verdict
- A run, judged against its contract.
Functions§
- judge
- Judge
evidenceagainstcontract. - judge_
self_ check - Judge a self-check run.