{
"step": "C480",
"status": "passed",
"assertions_passed": 717,
"checks": [
"frozen_domain_528_labels_373_coordinates",
"22_complete_role_grids",
"each_role_has_one_affine_base",
"fixed_eight_pivots",
"all_pivots_sourced",
"frozen_indices_1741",
"typed_label_168_80",
"typed_label_168_128",
"one_family_at_coordinate_1741",
"frozen_indices_1743",
"typed_label_264_64",
"typed_label_264_112",
"one_family_at_coordinate_1743",
"frozen_indices_1745",
"typed_label_360_48",
"typed_label_360_96",
"one_family_at_coordinate_1745",
"frozen_indices_1801",
"typed_label_170_82",
"typed_label_170_130",
"one_family_at_coordinate_1801",
"frozen_indices_1803",
"typed_label_266_66",
"typed_label_266_114",
"one_family_at_coordinate_1803",
"frozen_indices_1805",
"typed_label_362_50",
"typed_label_362_98",
"one_family_at_coordinate_1805",
"frozen_indices_1871",
"typed_label_172_84",
"typed_label_172_132",
"one_family_at_coordinate_1871",
"frozen_indices_1873",
"typed_label_268_68",
"typed_label_268_116",
"one_family_at_coordinate_1873",
"frozen_indices_1875",
"typed_label_364_52",
"typed_label_364_100",
"one_family_at_coordinate_1875",
"frozen_indices_1931",
"typed_label_174_86",
"typed_label_174_134",
"one_family_at_coordinate_1931",
"frozen_indices_1933",
"typed_label_270_70",
"typed_label_270_118",
"one_family_at_coordinate_1933",
"frozen_indices_1935",
"typed_label_366_54",
"typed_label_366_102",
"one_family_at_coordinate_1935",
"frozen_indices_1955",
"typed_label_346_89",
"typed_label_346_137",
"one_family_at_coordinate_1955",
"frozen_indices_1956",
"typed_label_169_81",
"typed_label_169_129",
"one_family_at_coordinate_1956",
"frozen_indices_1958",
"typed_label_265_65",
"typed_label_265_113",
"one_family_at_coordinate_1958",
"frozen_indices_1960",
"typed_label_361_49",
"typed_label_361_97",
"one_family_at_coordinate_1960",
"frozen_indices_2016",
"typed_label_171_83",
"typed_label_171_131",
"one_family_at_coordinate_2016",
"frozen_indices_2018",
"typed_label_267_67",
"typed_label_267_115",
"one_family_at_coordinate_2018",
"frozen_indices_2020",
"typed_label_363_51",
"typed_label_363_99",
"one_family_at_coordinate_2020",
"frozen_indices_2085",
"typed_label_350_93",
"typed_label_350_141",
"one_family_at_coordinate_2085",
"frozen_indices_2086",
"typed_label_173_85",
"typed_label_173_133",
"one_family_at_coordinate_2086",
"frozen_indices_2088",
"typed_label_269_69",
"typed_label_269_117",
"one_family_at_coordinate_2088",
"frozen_indices_2090",
"typed_label_365_53",
"typed_label_365_101",
"one_family_at_coordinate_2090",
"frozen_indices_2146",
"typed_label_175_87",
"typed_label_175_135",
"one_family_at_coordinate_2146",
"frozen_indices_2148",
"typed_label_271_71",
"typed_label_271_119",
"one_family_at_coordinate_2148",
"frozen_indices_2150",
"typed_label_367_55",
"typed_label_367_103",
"one_family_at_coordinate_2150",
"frozen_indices_2245",
"typed_label_0_223",
"one_family_at_coordinate_2245",
"frozen_indices_2341",
"typed_label_160_176",
"typed_label_160_432",
"one_family_at_coordinate_2341",
"frozen_indices_2343",
"typed_label_256_272",
"typed_label_256_464",
"one_family_at_coordinate_2343",
"frozen_indices_2345",
"typed_label_352_368",
"typed_label_352_496",
"one_family_at_coordinate_2345",
"frozen_indices_2401",
"typed_label_162_178",
"typed_label_162_434",
"one_family_at_coordinate_2401",
"frozen_indices_2403",
"typed_label_258_274",
"typed_label_258_466",
"one_family_at_coordinate_2403",
"frozen_indices_2405",
"typed_label_354_370",
"typed_label_354_498",
"one_family_at_coordinate_2405",
"frozen_indices_2471",
"typed_label_164_180",
"typed_label_164_436",
"one_family_at_coordinate_2471",
"frozen_indices_2473",
"typed_label_260_276",
"typed_label_260_468",
"one_family_at_coordinate_2473",
"frozen_indices_2475",
"typed_label_356_372",
"typed_label_356_500",
"one_family_at_coordinate_2475",
"frozen_indices_2531",
"typed_label_166_182",
"typed_label_166_438",
"one_family_at_coordinate_2531",
"frozen_indices_2533",
"typed_label_262_278",
"typed_label_262_470",
"one_family_at_coordinate_2533",
"frozen_indices_2535",
"typed_label_358_374",
"typed_label_358_502",
"one_family_at_coordinate_2535",
"frozen_indices_2556",
"typed_label_161_177",
"typed_label_161_433",
"one_family_at_coordinate_2556",
"frozen_indices_2558",
"typed_label_257_273",
"typed_label_257_465",
"one_family_at_coordinate_2558",
"frozen_indices_2560",
"typed_label_353_369",
"typed_label_353_497",
"one_family_at_coordinate_2560",
"frozen_indices_2616",
"typed_label_163_179",
"typed_label_163_435",
"one_family_at_coordinate_2616",
"frozen_indices_2618",
"typed_label_259_275",
"typed_label_259_467",
"one_family_at_coordinate_2618",
"frozen_indices_2620",
"typed_label_355_371",
"typed_label_355_499",
"one_family_at_coordinate_2620",
"frozen_indices_2686",
"typed_label_165_181",
"typed_label_165_437",
"one_family_at_coordinate_2686",
"frozen_indices_2688",
"typed_label_261_277",
"typed_label_261_469",
"one_family_at_coordinate_2688",
"frozen_indices_2690",
"typed_label_357_373",
"typed_label_357_501",
"one_family_at_coordinate_2690",
"frozen_indices_2746",
"typed_label_167_183",
"typed_label_167_439",
"one_family_at_coordinate_2746",
"frozen_indices_2748",
"typed_label_263_279",
"typed_label_263_471",
"one_family_at_coordinate_2748",
"frozen_indices_2750",
"typed_label_359_375",
"typed_label_359_503",
"one_family_at_coordinate_2750",
"51_coordinates_101_labels",
"no_duplicate_label_pairs",
"65340_signature_equations_seven_solutions",
"algebraic_instantiation_exactly_matches_frozen_labels",
"direct_record_comparison_exactly_matches_templates",
"formula_generation_A",
"source_equation_A",
"formula_generation_B",
"source_equation_B",
"formula_generation_C",
"source_equation_C",
"formula_generation_D",
"source_equation_D",
"four_disjoint_coordinate_templates",
"matched_families_correspond_by_600",
"template_counts",
"SP_LXX_only_alias_1741",
"SP_LXX_only_alias_1743",
"SP_LXX_only_alias_1745",
"SP_LXX_only_alias_1801",
"SP_LXX_only_alias_1803",
"SP_LXX_only_alias_1805",
"SP_LXX_only_alias_1871",
"SP_LXX_only_alias_1873",
"SP_LXX_only_alias_1875",
"SP_LXX_only_alias_1931",
"SP_LXX_only_alias_1933",
"SP_LXX_only_alias_1935",
"SP_LXX_only_alias_1955",
"SP_LXX_only_alias_1956",
"SP_LXX_only_alias_1958",
"SP_LXX_only_alias_1960",
"SP_LXX_only_alias_2016",
"SP_LXX_only_alias_2018",
"SP_LXX_only_alias_2020",
"SP_LXX_only_alias_2085",
"SP_LXX_only_alias_2086",
"SP_LXX_only_alias_2088",
"SP_LXX_only_alias_2090",
"SP_LXX_only_alias_2146",
"SP_LXX_only_alias_2148",
"SP_LXX_only_alias_2150",
"SP_LXX_only_alias_2341",
"SP_LXX_only_alias_2343",
"SP_LXX_only_alias_2345",
"SP_LXX_only_alias_2401",
"SP_LXX_only_alias_2403",
"SP_LXX_only_alias_2405",
"SP_LXX_only_alias_2471",
"SP_LXX_only_alias_2473",
"SP_LXX_only_alias_2475",
"SP_LXX_only_alias_2531",
"SP_LXX_only_alias_2533",
"SP_LXX_only_alias_2535",
"SP_LXX_only_alias_2556",
"SP_LXX_only_alias_2558",
"SP_LXX_only_alias_2560",
"SP_LXX_only_alias_2616",
"SP_LXX_only_alias_2618",
"SP_LXX_only_alias_2620",
"SP_LXX_only_alias_2686",
"SP_LXX_only_alias_2688",
"SP_LXX_only_alias_2690",
"SP_LXX_only_alias_2746",
"SP_LXX_only_alias_2748",
"SP_LXX_only_alias_2750",
"50_tradition_alias_groups_no_extra_role_aliases",
"congruence_and_span_1741_2756",
"congruence_and_span_1741_2758",
"congruence_and_span_1741_2816",
"congruence_and_span_1741_2818",
"congruence_and_span_1741_3620",
"congruence_and_span_1741_3622",
"congruence_and_span_1741_3680",
"congruence_and_span_1741_3682",
"congruence_and_span_1743_2756",
"congruence_and_span_1743_2758",
"congruence_and_span_1743_2816",
"congruence_and_span_1743_2818",
"congruence_and_span_1743_3620",
"congruence_and_span_1743_3622",
"congruence_and_span_1743_3680",
"congruence_and_span_1743_3682",
"congruence_and_span_1745_2756",
"congruence_and_span_1745_2758",
"congruence_and_span_1745_2816",
"congruence_and_span_1745_2818",
"congruence_and_span_1745_3620",
"congruence_and_span_1745_3622",
"congruence_and_span_1745_3680",
"congruence_and_span_1745_3682",
"congruence_and_span_1801_2756",
"congruence_and_span_1801_2758",
"congruence_and_span_1801_2816",
"congruence_and_span_1801_2818",
"congruence_and_span_1801_3620",
"congruence_and_span_1801_3622",
"congruence_and_span_1801_3680",
"congruence_and_span_1801_3682",
"congruence_and_span_1803_2756",
"congruence_and_span_1803_2758",
"congruence_and_span_1803_2816",
"congruence_and_span_1803_2818",
"congruence_and_span_1803_3620",
"congruence_and_span_1803_3622",
"congruence_and_span_1803_3680",
"congruence_and_span_1803_3682",
"congruence_and_span_1805_2756",
"congruence_and_span_1805_2758",
"congruence_and_span_1805_2816",
"congruence_and_span_1805_2818",
"congruence_and_span_1805_3620",
"congruence_and_span_1805_3622",
"congruence_and_span_1805_3680",
"congruence_and_span_1805_3682",
"congruence_and_span_1871_2756",
"congruence_and_span_1871_2758",
"congruence_and_span_1871_2816",
"congruence_and_span_1871_2818",
"congruence_and_span_1871_3620",
"congruence_and_span_1871_3622",
"congruence_and_span_1871_3680",
"congruence_and_span_1871_3682",
"congruence_and_span_1873_2756",
"congruence_and_span_1873_2758",
"congruence_and_span_1873_2816",
"congruence_and_span_1873_2818",
"congruence_and_span_1873_3620",
"congruence_and_span_1873_3622",
"congruence_and_span_1873_3680",
"congruence_and_span_1873_3682",
"congruence_and_span_1875_2756",
"congruence_and_span_1875_2758",
"congruence_and_span_1875_2816",
"congruence_and_span_1875_2818",
"congruence_and_span_1875_3620",
"congruence_and_span_1875_3622",
"congruence_and_span_1875_3680",
"congruence_and_span_1875_3682",
"congruence_and_span_1931_2756",
"congruence_and_span_1931_2758",
"congruence_and_span_1931_2816",
"congruence_and_span_1931_2818",
"congruence_and_span_1931_3620",
"congruence_and_span_1931_3622",
"congruence_and_span_1931_3680",
"congruence_and_span_1931_3682",
"congruence_and_span_1933_2756",
"congruence_and_span_1933_2758",
"congruence_and_span_1933_2816",
"congruence_and_span_1933_2818",
"congruence_and_span_1933_3620",
"congruence_and_span_1933_3622",
"congruence_and_span_1933_3680",
"congruence_and_span_1933_3682",
"congruence_and_span_1935_2756",
"congruence_and_span_1935_2758",
"congruence_and_span_1935_2816",
"congruence_and_span_1935_2818",
"congruence_and_span_1935_3620",
"congruence_and_span_1935_3622",
"congruence_and_span_1935_3680",
"congruence_and_span_1935_3682",
"congruence_and_span_1955_2756",
"congruence_and_span_1955_2758",
"congruence_and_span_1955_2816",
"congruence_and_span_1955_2818",
"congruence_and_span_1955_3620",
"congruence_and_span_1955_3622",
"congruence_and_span_1955_3680",
"inverse_congruence_1955_2756",
"inverse_congruence_1955_2758",
"inverse_congruence_1955_2816",
"inverse_congruence_1955_2818",
"inverse_congruence_1955_3620",
"inverse_congruence_1955_3622",
"inverse_congruence_1955_3680",
"inverse_congruence_1955_3682",
"congruence_and_span_1955_3682",
"congruence_and_span_1956_2756",
"congruence_and_span_1956_2758",
"congruence_and_span_1956_2816",
"congruence_and_span_1956_2818",
"congruence_and_span_1956_3620",
"congruence_and_span_1956_3622",
"congruence_and_span_1956_3680",
"congruence_and_span_1956_3682",
"congruence_and_span_1958_2756",
"congruence_and_span_1958_2758",
"congruence_and_span_1958_2816",
"congruence_and_span_1958_2818",
"congruence_and_span_1958_3620",
"congruence_and_span_1958_3622",
"congruence_and_span_1958_3680",
"congruence_and_span_1958_3682",
"congruence_and_span_1960_2756",
"congruence_and_span_1960_2758",
"congruence_and_span_1960_2816",
"congruence_and_span_1960_2818",
"congruence_and_span_1960_3620",
"congruence_and_span_1960_3622",
"congruence_and_span_1960_3680",
"congruence_and_span_1960_3682",
"congruence_and_span_2016_2756",
"congruence_and_span_2016_2758",
"congruence_and_span_2016_2816",
"congruence_and_span_2016_2818",
"congruence_and_span_2016_3620",
"congruence_and_span_2016_3622",
"congruence_and_span_2016_3680",
"congruence_and_span_2016_3682",
"congruence_and_span_2018_2756",
"congruence_and_span_2018_2758",
"congruence_and_span_2018_2816",
"congruence_and_span_2018_2818",
"congruence_and_span_2018_3620",
"congruence_and_span_2018_3622",
"congruence_and_span_2018_3680",
"congruence_and_span_2018_3682",
"congruence_and_span_2020_2756",
"inverse_congruence_2020_2756",
"inverse_congruence_2020_2758",
"inverse_congruence_2020_2816",
"inverse_congruence_2020_2818",
"inverse_congruence_2020_3620",
"inverse_congruence_2020_3622",
"inverse_congruence_2020_3680",
"inverse_congruence_2020_3682",
"congruence_and_span_2020_2758",
"congruence_and_span_2020_2816",
"congruence_and_span_2020_2818",
"congruence_and_span_2020_3620",
"congruence_and_span_2020_3622",
"congruence_and_span_2020_3680",
"congruence_and_span_2020_3682",
"congruence_and_span_2085_2756",
"congruence_and_span_2085_2758",
"congruence_and_span_2085_2816",
"congruence_and_span_2085_2818",
"congruence_and_span_2085_3620",
"congruence_and_span_2085_3622",
"congruence_and_span_2085_3680",
"congruence_and_span_2085_3682",
"congruence_and_span_2086_2756",
"congruence_and_span_2086_2758",
"congruence_and_span_2086_2816",
"congruence_and_span_2086_2818",
"congruence_and_span_2086_3620",
"congruence_and_span_2086_3622",
"congruence_and_span_2086_3680",
"congruence_and_span_2086_3682",
"congruence_and_span_2088_2756",
"congruence_and_span_2088_2758",
"congruence_and_span_2088_2816",
"congruence_and_span_2088_2818",
"congruence_and_span_2088_3620",
"congruence_and_span_2088_3622",
"congruence_and_span_2088_3680",
"congruence_and_span_2088_3682",
"congruence_and_span_2090_2756",
"congruence_and_span_2090_2758",
"congruence_and_span_2090_2816",
"congruence_and_span_2090_2818",
"congruence_and_span_2090_3620",
"congruence_and_span_2090_3622",
"congruence_and_span_2090_3680",
"congruence_and_span_2090_3682",
"congruence_and_span_2146_2756",
"congruence_and_span_2146_2758",
"congruence_and_span_2146_2816",
"congruence_and_span_2146_2818",
"congruence_and_span_2146_3620",
"congruence_and_span_2146_3622",
"congruence_and_span_2146_3680",
"congruence_and_span_2146_3682",
"congruence_and_span_2148_2756",
"congruence_and_span_2148_2758",
"congruence_and_span_2148_2816",
"congruence_and_span_2148_2818",
"congruence_and_span_2148_3620",
"inverse_congruence_2148_2756",
"inverse_congruence_2148_2758",
"inverse_congruence_2148_2816",
"inverse_congruence_2148_2818",
"inverse_congruence_2148_3620",
"inverse_congruence_2148_3622",
"inverse_congruence_2148_3680",
"inverse_congruence_2148_3682",
"congruence_and_span_2148_3622",
"congruence_and_span_2148_3680",
"congruence_and_span_2148_3682",
"congruence_and_span_2150_2756",
"congruence_and_span_2150_2758",
"congruence_and_span_2150_2816",
"congruence_and_span_2150_2818",
"congruence_and_span_2150_3620",
"congruence_and_span_2150_3622",
"congruence_and_span_2150_3680",
"congruence_and_span_2150_3682",
"congruence_and_span_2245_2756",
"congruence_and_span_2245_2758",
"congruence_and_span_2245_2816",
"congruence_and_span_2245_2818",
"congruence_and_span_2245_3620",
"congruence_and_span_2245_3622",
"congruence_and_span_2245_3680",
"congruence_and_span_2245_3682",
"congruence_and_span_2341_2756",
"congruence_and_span_2341_2758",
"congruence_and_span_2341_2816",
"congruence_and_span_2341_2818",
"congruence_and_span_2341_3620",
"congruence_and_span_2341_3622",
"congruence_and_span_2341_3680",
"congruence_and_span_2341_3682",
"congruence_and_span_2343_2756",
"congruence_and_span_2343_2758",
"congruence_and_span_2343_2816",
"congruence_and_span_2343_2818",
"congruence_and_span_2343_3620",
"congruence_and_span_2343_3622",
"congruence_and_span_2343_3680",
"congruence_and_span_2343_3682",
"congruence_and_span_2345_2756",
"congruence_and_span_2345_2758",
"congruence_and_span_2345_2816",
"congruence_and_span_2345_2818",
"congruence_and_span_2345_3620",
"congruence_and_span_2345_3622",
"congruence_and_span_2345_3680",
"congruence_and_span_2345_3682",
"congruence_and_span_2401_2756",
"congruence_and_span_2401_2758",
"congruence_and_span_2401_2816",
"congruence_and_span_2401_2818",
"congruence_and_span_2401_3620",
"congruence_and_span_2401_3622",
"congruence_and_span_2401_3680",
"congruence_and_span_2401_3682",
"congruence_and_span_2403_2756",
"congruence_and_span_2403_2758",
"congruence_and_span_2403_2816",
"congruence_and_span_2403_2818",
"congruence_and_span_2403_3620",
"congruence_and_span_2403_3622",
"congruence_and_span_2403_3680",
"congruence_and_span_2403_3682",
"congruence_and_span_2405_2756",
"congruence_and_span_2405_2758",
"congruence_and_span_2405_2816",
"congruence_and_span_2405_2818",
"congruence_and_span_2405_3620",
"congruence_and_span_2405_3622",
"congruence_and_span_2405_3680",
"congruence_and_span_2405_3682",
"congruence_and_span_2471_2756",
"congruence_and_span_2471_2758",
"congruence_and_span_2471_2816",
"congruence_and_span_2471_2818",
"congruence_and_span_2471_3620",
"congruence_and_span_2471_3622",
"congruence_and_span_2471_3680",
"congruence_and_span_2471_3682",
"congruence_and_span_2473_2756",
"congruence_and_span_2473_2758",
"congruence_and_span_2473_2816",
"congruence_and_span_2473_2818",
"congruence_and_span_2473_3620",
"congruence_and_span_2473_3622",
"congruence_and_span_2473_3680",
"congruence_and_span_2473_3682",
"congruence_and_span_2475_2756",
"congruence_and_span_2475_2758",
"congruence_and_span_2475_2816",
"congruence_and_span_2475_2818",
"congruence_and_span_2475_3620",
"congruence_and_span_2475_3622",
"congruence_and_span_2475_3680",
"congruence_and_span_2475_3682",
"congruence_and_span_2531_2756",
"congruence_and_span_2531_2758",
"congruence_and_span_2531_2816",
"congruence_and_span_2531_2818",
"congruence_and_span_2531_3620",
"congruence_and_span_2531_3622",
"congruence_and_span_2531_3680",
"congruence_and_span_2531_3682",
"congruence_and_span_2533_2756",
"congruence_and_span_2533_2758",
"congruence_and_span_2533_2816",
"congruence_and_span_2533_2818",
"congruence_and_span_2533_3620",
"congruence_and_span_2533_3622",
"congruence_and_span_2533_3680",
"congruence_and_span_2533_3682",
"congruence_and_span_2535_2756",
"congruence_and_span_2535_2758",
"congruence_and_span_2535_2816",
"congruence_and_span_2535_2818",
"congruence_and_span_2535_3620",
"congruence_and_span_2535_3622",
"congruence_and_span_2535_3680",
"congruence_and_span_2535_3682",
"congruence_and_span_2556_2756",
"congruence_and_span_2556_2758",
"congruence_and_span_2556_2816",
"congruence_and_span_2556_2818",
"congruence_and_span_2556_3620",
"congruence_and_span_2556_3622",
"congruence_and_span_2556_3680",
"congruence_and_span_2556_3682",
"congruence_and_span_2558_2756",
"congruence_and_span_2558_2758",
"congruence_and_span_2558_2816",
"congruence_and_span_2558_2818",
"congruence_and_span_2558_3620",
"congruence_and_span_2558_3622",
"congruence_and_span_2558_3680",
"congruence_and_span_2558_3682",
"congruence_and_span_2560_2756",
"congruence_and_span_2560_2758",
"congruence_and_span_2560_2816",
"congruence_and_span_2560_2818",
"congruence_and_span_2560_3620",
"congruence_and_span_2560_3622",
"congruence_and_span_2560_3680",
"congruence_and_span_2560_3682",
"congruence_and_span_2616_2756",
"congruence_and_span_2616_2758",
"congruence_and_span_2616_2816",
"congruence_and_span_2616_2818",
"congruence_and_span_2616_3620",
"congruence_and_span_2616_3622",
"congruence_and_span_2616_3680",
"congruence_and_span_2616_3682",
"congruence_and_span_2618_2756",
"congruence_and_span_2618_2758",
"congruence_and_span_2618_2816",
"congruence_and_span_2618_2818",
"congruence_and_span_2618_3620",
"congruence_and_span_2618_3622",
"congruence_and_span_2618_3680",
"congruence_and_span_2618_3682",
"congruence_and_span_2620_2756",
"congruence_and_span_2620_2758",
"congruence_and_span_2620_2816",
"congruence_and_span_2620_2818",
"congruence_and_span_2620_3620",
"congruence_and_span_2620_3622",
"congruence_and_span_2620_3680",
"congruence_and_span_2620_3682",
"congruence_and_span_2686_2756",
"congruence_and_span_2686_2758",
"congruence_and_span_2686_2816",
"congruence_and_span_2686_2818",
"congruence_and_span_2686_3620",
"congruence_and_span_2686_3622",
"congruence_and_span_2686_3680",
"congruence_and_span_2686_3682",
"congruence_and_span_2688_2756",
"congruence_and_span_2688_2758",
"congruence_and_span_2688_2816",
"congruence_and_span_2688_2818",
"congruence_and_span_2688_3620",
"congruence_and_span_2688_3622",
"congruence_and_span_2688_3680",
"congruence_and_span_2688_3682",
"congruence_and_span_2690_2756",
"congruence_and_span_2690_2758",
"congruence_and_span_2690_2816",
"congruence_and_span_2690_2818",
"congruence_and_span_2690_3620",
"congruence_and_span_2690_3622",
"congruence_and_span_2690_3680",
"congruence_and_span_2690_3682",
"congruence_and_span_2746_2756",
"congruence_and_span_2746_2758",
"congruence_and_span_2746_2816",
"congruence_and_span_2746_2818",
"congruence_and_span_2746_3620",
"congruence_and_span_2746_3622",
"congruence_and_span_2746_3680",
"congruence_and_span_2746_3682",
"congruence_and_span_2748_2756",
"congruence_and_span_2748_2758",
"congruence_and_span_2748_2816",
"congruence_and_span_2748_2818",
"congruence_and_span_2748_3620",
"congruence_and_span_2748_3622",
"congruence_and_span_2748_3680",
"congruence_and_span_2748_3682",
"congruence_and_span_2750_2756",
"congruence_and_span_2750_2758",
"congruence_and_span_2750_2816",
"congruence_and_span_2750_2818",
"congruence_and_span_2750_3620",
"congruence_and_span_2750_3622",
"congruence_and_span_2750_3680",
"congruence_and_span_2750_3682",
"all_408_trials_equal_C470",
"admitted_source_ancestry_matches_1955",
"admitted_source_ancestry_matches_2020",
"admitted_source_ancestry_matches_2148",
"exactly_three_admitted_expansions",
"all_outputs_in_C472_matched_Shem_family",
"exactly_one_complete_2K_predecessor",
"family_failure_partition",
"reverse_output_to_pivot_selection_agrees",
"no_sources_or_pivots_added"
],
"source_checks_passed": 52,
"source_checks": [
"File_18.md",
"File_09.md",
"File_46.md",
"File_02.md",
"C265_CERTIFICATE.json",
"C265_CHECKPOINT.md",
"C127_GRAPH.json",
"PREVIOUS_CERTIFICATE.json",
"PREVIOUS_DATA.json",
"PREVIOUS_RESULTS.json",
"PREVIOUS_CHECKPOINT.md",
"PREVIOUS_NEXT_STEP.json",
"PREVIOUS_REPORT.md",
"C470_CERTIFICATE.json",
"C470_DATA.json",
"C470_RESULTS.json",
"C470_REPORT.md",
"C471_CERTIFICATE.json",
"C471_DATA.json",
"C471_RESULTS.json",
"C471_REPORT.md",
"C472_CERTIFICATE.json",
"C472_DATA.json",
"C472_RESULTS.json",
"C472_REPORT.md",
"C286_DATA.json",
"C450_DATA.json",
"C286_CERTIFICATE.json",
"C450_CERTIFICATE.json",
"DIRECTION_LEDGER.md",
"SIXTH_HANDOFF.md",
"controlling hash: File_18.md",
"controlling hash: File_09.md",
"controlling hash: C265_CERTIFICATE.json",
"controlling hash: C127_GRAPH.json",
"controlling hash: PREVIOUS_CERTIFICATE.json",
"C479 binding: PREVIOUS_DATA.json",
"C479 binding: PREVIOUS_RESULTS.json",
"C479 binding: PREVIOUS_CHECKPOINT.md",
"C479 binding: PREVIOUS_REPORT.md",
"C479 binding: PREVIOUS_NEXT_STEP.json",
"C286 binding: C286_DATA.json",
"C450 binding: C450_DATA.json",
"C470 binding: C470_DATA.json",
"C470 binding: C470_RESULTS.json",
"C470 binding: C470_REPORT.md",
"C471 binding: C471_DATA.json",
"C471 binding: C471_RESULTS.json",
"C471 binding: C471_REPORT.md",
"C472 binding: C472_DATA.json",
"C472 binding: C472_RESULTS.json",
"C472 binding: C472_REPORT.md"
],
"canonical_or_graph_edits": false,
"new_independent_agent_review": false
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 32e16df465b06f6b185a9a897bddffb306595eb3f0c214c4b733c53433471733
C480–C1634/Research_Cycles/C0480_Bridge/evidence/RESULTS.json