RESULTS.json

{
  "check_count": 43,
  "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",
    "same Gear",
    "matching source states",
    "same-Gear final span",
    "primary ancestry 600+650",
    "same Gear",
    "matching source states",
    "same-Gear final span",
    "primary ancestry 600+650",
    "same Gear",
    "matching source states",
    "same-Gear final span",
    "primary ancestry 600+650",
    "same Gear",
    "matching source states",
    "same-Gear final span",
    "primary ancestry 600+650",
    "same Gear",
    "matching source states",
    "same-Gear final span",
    "primary ancestry 600+650",
    "same Gear",
    "matching source states",
    "same-Gear final span",
    "primary ancestry 600+650"
  ],
  "repeated_input_checks": 19,
  "status": "passed",
  "step": "C253",
  "step_specific_checks": 24
}