RESULTS.json

{
  "step": "C472",
  "status": "passed",
  "assertions_passed": 149,
  "checks": [
    "gap_168_208",
    "gap_168_448",
    "gap_264_304",
    "gap_264_480",
    "gap_360_400",
    "gap_360_512",
    "gap_170_210",
    "gap_170_450",
    "gap_266_306",
    "gap_266_482",
    "gap_362_402",
    "gap_362_514",
    "gap_172_212",
    "gap_172_452",
    "gap_268_308",
    "gap_268_484",
    "gap_364_404",
    "gap_364_516",
    "gap_174_214",
    "gap_174_454",
    "gap_270_310",
    "gap_270_486",
    "gap_366_406",
    "gap_366_518",
    "gap_346_217",
    "gap_169_209",
    "gap_169_449",
    "gap_265_305",
    "gap_265_481",
    "gap_361_401",
    "gap_361_513",
    "gap_171_211",
    "gap_171_451",
    "gap_267_307",
    "gap_267_483",
    "gap_363_403",
    "gap_363_515",
    "gap_350_221",
    "gap_173_213",
    "gap_173_453",
    "gap_269_309",
    "gap_269_485",
    "gap_365_405",
    "gap_365_517",
    "gap_175_215",
    "gap_175_455",
    "gap_271_311",
    "gap_271_487",
    "gap_367_407",
    "gap_367_519",
    "gap_40_184",
    "gap_349_184",
    "gap_32_176",
    "gap_32_432",
    "gap_24_280",
    "gap_16_272",
    "gap_16_464",
    "gap_8_376",
    "gap_0_368",
    "gap_0_496",
    "gap_42_186",
    "gap_351_186",
    "gap_34_178",
    "gap_34_434",
    "gap_26_282",
    "gap_18_274",
    "gap_18_466",
    "gap_10_378",
    "gap_2_370",
    "gap_2_498",
    "gap_44_188",
    "gap_36_180",
    "gap_36_436",
    "gap_28_284",
    "gap_20_276",
    "gap_20_468",
    "gap_12_380",
    "gap_4_372",
    "gap_4_500",
    "gap_46_190",
    "gap_38_182",
    "gap_38_438",
    "gap_30_286",
    "gap_22_278",
    "gap_22_470",
    "gap_14_382",
    "gap_6_374",
    "gap_6_502",
    "gap_41_185",
    "gap_418_185",
    "gap_522_185",
    "gap_33_177",
    "gap_33_433",
    "gap_25_281",
    "gap_17_273",
    "gap_17_465",
    "gap_9_377",
    "gap_1_369",
    "gap_1_497",
    "gap_43_187",
    "gap_35_179",
    "gap_35_435",
    "gap_27_283",
    "gap_19_275",
    "gap_19_467",
    "gap_11_379",
    "gap_3_371",
    "gap_3_499",
    "gap_236_371",
    "gap_236_499",
    "gap_45_189",
    "gap_422_189",
    "gap_526_189",
    "gap_37_181",
    "gap_37_437",
    "gap_29_285",
    "gap_21_277",
    "gap_21_469",
    "gap_13_381",
    "gap_5_373",
    "gap_5_501",
    "gap_47_191",
    "gap_39_183",
    "gap_39_439",
    "gap_31_287",
    "gap_23_279",
    "gap_23_471",
    "gap_15_383",
    "gap_7_375",
    "gap_7_503",
    "complete_partition",
    "equation_A",
    "equation_B",
    "equation_C",
    "equation_D",
    "equation_E",
    "equation_F",
    "equation_G",
    "context_346_217",
    "context_350_221",
    "context_349_184",
    "context_351_186",
    "context_418_185",
    "context_522_185",
    "context_236_371",
    "context_236_499",
    "context_422_189",
    "context_526_189",
    "72_main_coordinate_pairs"
  ],
  "source_checks_passed": 22,
  "source_checks": [
    "PREVIOUS_CERTIFICATE.json",
    "PREVIOUS_DATA.json",
    "PREVIOUS_RESULTS.json",
    "PREVIOUS_CHECKPOINT.md",
    "PREVIOUS_NEXT_STEP.json",
    "File_18.md",
    "File_09.md",
    "File_02.md",
    "File_46.md",
    "C286_DATA.json",
    "C469_DATA.json",
    "C469_CERTIFICATE.json",
    "C469_CHECKPOINT.md",
    "C450_DATA.json",
    "C450_CERTIFICATE.json",
    "C470_DATA.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json",
    "C469 data certificate",
    "C450 primitive E data certificate"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}