Tolerant Decoding, Strict Release Gates

A release verifier has two jobs that are easy to blur together. It must understand the representation...