Evidence

RESULTS.json

Download source fileOpen in research workspace
{
  "step": "C142",
  "status": "passed",
  "check_count": 51,
  "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 exact mask",
    "d1j1 exact mask",
    "d1j2 exact mask",
    "d1j3 exact mask",
    "d1j4 exact mask",
    "d1j5 exact mask",
    "d2j0 exact mask",
    "d2j1 exact mask",
    "d2j2 exact mask",
    "d2j3 exact mask",
    "d2j4 exact mask",
    "d2j5 exact mask",
    "d3j0 exact mask",
    "d3j1 exact mask",
    "d3j2 exact mask",
    "d3j3 exact mask",
    "d3j4 exact mask",
    "d3j5 exact mask",
    "d4j0 exact mask",
    "d4j1 exact mask",
    "d4j2 exact mask",
    "d4j3 exact mask",
    "d4j4 exact mask",
    "d4j5 exact mask",
    "d5j0 exact mask",
    "d5j1 exact mask",
    "d5j2 exact mask",
    "d5j3 exact mask",
    "d5j4 exact mask",
    "d5j5 exact mask",
    "four exact rows",
    "26 residual comparisons",
    "finite residual bound"
  ]
}

Linked sources and evidence

Edition and provenance

RESULTS.json

SHA-256 e734b0c6ff38b2c6c5c438b4bc443d6c8dc842a8a056cedd27990d8a433d98ac

C01–C479/reference/490d_C01_C265_Complete_Window_Archive_20260923.zip!/workspace/mirror_C136_C155_529_Square_Batch_20260923/C142/RESULTS.json