{
  "step": "C143",
  "status": "passed",
  "check_count": 109,
  "checks": [
    "frozen input 490d_C135_P6_17K_Closure_and_One_Year_Flood_Compensation_20260923.md",
    "frozen input 490d_Mirror_Restart_Checkpoint_After_C135_20260923.md",
    "frozen input C10_REPORT.md",
    "frozen input C10_RESULTS.json",
    "frozen input C122_CERTIFICATE.json",
    "frozen input C127_GRAPH.json",
    "frozen input C133_CERTIFICATE.json",
    "frozen input C134_CERTIFICATE.json",
    "frozen input C135_CERTIFICATE.json",
    "frozen input FILE_09.md",
    "frozen input FILE_18.md",
    "File18 controlling hash",
    "File09 controlling hash",
    "historical graph unchanged",
    "U field explicitly retained in C10",
    "D field explicitly retained in C10",
    "six paired MT source selectors",
    "profile separation in every matching selector",
    "d1j0 13K residual",
    "d1j0 Conquest gap",
    "d1j0 b/q typed membership",
    "d1j1 13K residual",
    "d1j1 Conquest gap",
    "d1j1 b/q typed membership",
    "d1j2 13K residual",
    "d1j2 Conquest gap",
    "d1j2 b/q typed membership",
    "d1j3 13K residual",
    "d1j3 Conquest gap",
    "d1j3 b/q typed membership",
    "d1j4 13K residual",
    "d1j4 Conquest gap",
    "d1j4 b/q typed membership",
    "d1j5 13K residual",
    "d1j5 Conquest gap",
    "d1j5 b/q typed membership",
    "d2j0 13K residual",
    "d2j0 Conquest gap",
    "d2j0 b/q typed membership",
    "d2j1 13K residual",
    "d2j1 Conquest gap",
    "d2j1 b/q typed membership",
    "d2j2 13K residual",
    "d2j2 Conquest gap",
    "d2j2 b/q typed membership",
    "d2j3 13K residual",
    "d2j3 Conquest gap",
    "d2j3 b/q typed membership",
    "d2j4 13K residual",
    "d2j4 Conquest gap",
    "d2j4 b/q typed membership",
    "d2j5 13K residual",
    "d2j5 Conquest gap",
    "d2j5 b/q typed membership",
    "d3j0 13K residual",
    "d3j0 Conquest gap",
    "d3j0 b/q typed membership",
    "d3j1 13K residual",
    "d3j1 Conquest gap",
    "d3j1 b/q typed membership",
    "d3j2 13K residual",
    "d3j2 Conquest gap",
    "d3j2 b/q typed membership",
    "d3j3 13K residual",
    "d3j3 Conquest gap",
    "d3j3 b/q typed membership",
    "d3j4 13K residual",
    "d3j4 Conquest gap",
    "d3j4 b/q typed membership",
    "d3j5 13K residual",
    "d3j5 Conquest gap",
    "d3j5 b/q typed membership",
    "d4j0 13K residual",
    "d4j0 Conquest gap",
    "d4j0 b/q typed membership",
    "d4j1 13K residual",
    "d4j1 Conquest gap",
    "d4j1 b/q typed membership",
    "d4j2 13K residual",
    "d4j2 Conquest gap",
    "d4j2 b/q typed membership",
    "d4j3 13K residual",
    "d4j3 Conquest gap",
    "d4j3 b/q typed membership",
    "d4j4 13K residual",
    "d4j4 Conquest gap",
    "d4j4 b/q typed membership",
    "d4j5 13K residual",
    "d4j5 Conquest gap",
    "d4j5 b/q typed membership",
    "d5j0 13K residual",
    "d5j0 Conquest gap",
    "d5j0 b/q typed membership",
    "d5j1 13K residual",
    "d5j1 Conquest gap",
    "d5j1 b/q typed membership",
    "d5j2 13K residual",
    "d5j2 Conquest gap",
    "d5j2 b/q typed membership",
    "d5j3 13K residual",
    "d5j3 Conquest gap",
    "d5j3 b/q typed membership",
    "d5j4 13K residual",
    "d5j4 Conquest gap",
    "d5j4 b/q typed membership",
    "d5j5 13K residual",
    "d5j5 Conquest gap",
    "d5j5 b/q typed membership",
    "opening13 retained separately"
  ]
}