Help: Claim evidence

Inspecting a claim

Every register read, proof, check and decision is kept with its digest. The reproduction command re-runs every check from the recorded inputs and shows any difference.