{
  "C393_certificate": "all bindings match",
  "C383_and_C393_evidence_ZIP_CRC": true,
  "File_18_File_09_File_02_File_46": "current attached bytes match C393 frozen sources",
  "C265_checkpoint_readable": true,
  "C394_previously_executed": false
}