Module result

Structs§

BOUND_TOLERANCE: Relative tolerance of the objective-bound rules of Outcome::check: two objective values a and b agree, and a dual bound may lie beyond the primal bound, by at most BOUND_TOLERANCE * max(1, |a|, |b|). Workers with tighter tolerances decide more strictly on their own and keep a rejected value in details.
CHECKS: Properties a worker recomputes independently of the solver.
CLAIMS: Every claim. A claim states what the worker asserts about the task’s answer; evidence states how much of that was verified.
LEVELS: Evidence levels, weakest first.
SCHEMA: Result manifests written by this build.
SCHEMAS: Result manifests compare reads. A 0.1 manifest is a valid 0.2 manifest without evidence, objective bounds or the claims added in 0.2.
VERDICTS: Why an independent check refuted the solver’s claim; the solver competitions’ wrong-answer categories.

compare
counts
manifest
objectives_agree: Whether objective values a and b agree within BOUND_TOLERANCE.
progress
repair
replay
unreadable_manifest: The manifest of an attempt whose journal cannot be replayed (a corrupt or invalid record before its final line). No record is trusted, so there are no results and no work totals; runner.journal_error says why.
worker_outcome