pub const RECORD: &str = "verify-run.json";
The record of how the run ended, written last: a directory without it is an execution that did not finish writing its evidence.