Issues replay and regression receipts for one declarative evaluation delta.
Both receipts bind the exact parent, Candidate, closure, corpus, checker version, and result digest. This module only attests observations produced by the checker; it never reviews, approves, or activates a Candidate.
Summary
Types
@type checker_versions() :: %{ replay: {String.t(), pos_integer()}, regression: {String.t(), pos_integer()} }