{
  "check_count": 44,
  "checks": [
    "input FILE_18.md",
    "input FILE_09.md",
    "input C10_RESULTS.json",
    "input C122_CERTIFICATE.json",
    "input C127_GRAPH.json",
    "input C133_CERTIFICATE.json",
    "input C133_REPORT.md",
    "input C134_CERTIFICATE.json",
    "input C134_REPORT.md",
    "input C134_CHECKPOINT.md",
    "attached FILE_18.md",
    "attached FILE_09.md",
    "retained graph scope",
    "phase control",
    "P6_c admitted typed pair",
    "C5_creation admitted typed pair",
    "C5_conquest admitted typed pair",
    "N04_f admitted typed pair",
    "N04_v admitted typed pair",
    "P6_s admitted typed pair",
    "ordinary and alternate G3 starts retain profiles",
    "SP Noah G3 companion and fixed upstream roles",
    "one-year cumulative member adjacency",
    "one-year native Creation member adjacency",
    "868 source comparison inherited through matched adjacencies",
    "868 proof does not use P6 17K edge",
    "2306 aggregate from retained interval and source comparisons",
    "aggregate 17K closure",
    "Conquest to admitted ordinary Flood is 2K minus1",
    "paired Noah member difference is one",
    "alternate Flood to P6 Noah is 2K plus1",
    "profile comparison retains190",
    "all-sourced 2306 subdivision",
    "all-sourced 17K subdivision",
    "derived subdivision exact circuit",
    "all route phases agree",
    "529-unit accounting",
    "symmetric partition requires two unadmitted pairs",
    "actual pair is nearest admitted upper boundary",
    "C122 final Flood source exclusion persists",
    "phase label borrowing cannot create missing pairs",
    "actual intermediate Flood gives13K minus1",
    "original 1058-sided square stays excluded",
    "C133 corrected P6 identity retained"
  ],
  "passed": true,
  "report": "C135"
}