RESULTS.json

{
  "check_count": 36,
  "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",
    "selector formulas",
    "new same-Gear selector",
    "old next-Gear selector",
    "selector formulas",
    "new same-Gear selector",
    "old next-Gear selector",
    "selector formulas",
    "new same-Gear selector",
    "old next-Gear selector",
    "selector formulas",
    "new same-Gear selector",
    "old next-Gear selector",
    "selector formulas",
    "new same-Gear selector",
    "selector formulas",
    "new same-Gear selector",
    "old exact 13-fold source count"
  ],
  "repeated_input_checks": 19,
  "status": "passed",
  "step": "C256",
  "step_specific_checks": 17
}