Verifiable claims and evidence trails

Techniques for binding a reported result to the exact inputs, versions, outputs and errors that produced it, so an outsider can recheck the claim instead of taking it on trust.