RESULTS.json

{
  "check_count": 26,
  "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",
    "exact scalar relation 0",
    "exact scalar relation 1",
    "exact scalar relation 2",
    "exact scalar relation 3",
    "exact scalar relation 4",
    "relation rank",
    "first three already span"
  ],
  "repeated_input_checks": 19,
  "status": "passed",
  "step": "C263",
  "step_specific_checks": 7
}