{
  "check_count": 33,
  "checks": [
    "frozen dependency C01_REPORT.md",
    "frozen dependency C01_RESULTS.json",
    "frozen dependency C04_REPORT.md",
    "frozen dependency C04_RESULTS.json",
    "frozen dependency C06_REPORT.md",
    "frozen dependency C09_REPORT.md",
    "frozen dependency C10_RESULTS.json",
    "frozen dependency C127_GRAPH.json",
    "frozen dependency C18_REPORT.md",
    "frozen dependency C201_CERTIFICATE.json",
    "frozen dependency C204_CERTIFICATE.json",
    "frozen dependency C205_CERTIFICATE.json",
    "frozen dependency C205_CHECKPOINT.md",
    "frozen dependency FILE_09.md",
    "frozen dependency FILE_18.md",
    "File18 controlling hash",
    "File09 controlling hash",
    "C127 graph controlling hash",
    "bounded regular event register size",
    "single-map difference",
    "single-map difference",
    "single-map difference",
    "single-map difference",
    "iterated difference",
    "iterated difference",
    "iterated difference",
    "single-map difference",
    "single-map difference",
    "single-map difference",
    "single-map difference",
    "iterated difference",
    "iterated difference",
    "iterated difference"
  ],
  "repeated_input_checks": 19,
  "status": "passed",
  "step": "C232",
  "step_specific_checks": 14
}