{
"step": "C405",
"status": "passed",
"assertions_passed": 545,
"checks": [
"unique labelled translation (0, 'higher_Noah')",
"unique labelled translation (0, 'lower_Noah')",
"unique labelled translation (0, 'held_Noah')",
"unique labelled translation (0, 'J_Flood')",
"translated E and J endpoints 0",
"translation conjugacy (0, 'E', Fraction(0, 1))",
"translation conjugacy (0, 'E', Fraction(-1, 4))",
"translation conjugacy (0, 'E', Fraction(1, 4))",
"translation conjugacy (0, 'J', Fraction(0, 1))",
"translation conjugacy (0, 'J', Fraction(-1, 4))",
"translation conjugacy (0, 'J', Fraction(1, 4))",
"unique labelled translation (1, 'higher_Noah')",
"unique labelled translation (1, 'lower_Noah')",
"unique labelled translation (1, 'held_Noah')",
"unique labelled translation (1, 'J_Flood')",
"translated E and J endpoints 1",
"translation conjugacy (1, 'E', Fraction(0, 1))",
"translation conjugacy (1, 'E', Fraction(-1, 4))",
"translation conjugacy (1, 'E', Fraction(1, 4))",
"translation conjugacy (1, 'J', Fraction(0, 1))",
"translation conjugacy (1, 'J', Fraction(-1, 4))",
"translation conjugacy (1, 'J', Fraction(1, 4))",
"unique labelled translation (2, 'higher_Noah')",
"unique labelled translation (2, 'lower_Noah')",
"unique labelled translation (2, 'held_Noah')",
"unique labelled translation (2, 'J_Flood')",
"P Flood to Shem death (2, 0)",
"P Flood to Shem death (2, 1)",
"translated E and J endpoints 2",
"translation conjugacy (2, 'E', Fraction(0, 1))",
"translation conjugacy (2, 'E', Fraction(-1, 4))",
"translation conjugacy (2, 'E', Fraction(1, 4))",
"translation conjugacy (2, 'J', Fraction(0, 1))",
"translation conjugacy (2, 'J', Fraction(-1, 4))",
"translation conjugacy (2, 'J', Fraction(1, 4))",
"translation conjugacy (2, 'P', Fraction(0, 1))",
"translation conjugacy (2, 'P', Fraction(-1, 4))",
"translation conjugacy (2, 'P', Fraction(1, 4))",
"unique labelled translation (3, 'higher_Noah')",
"unique labelled translation (3, 'lower_Noah')",
"unique labelled translation (3, 'held_Noah')",
"unique labelled translation (3, 'J_Flood')",
"translated E and J endpoints 3",
"translation conjugacy (3, 'E', Fraction(0, 1))",
"translation conjugacy (3, 'E', Fraction(-1, 4))",
"translation conjugacy (3, 'E', Fraction(1, 4))",
"translation conjugacy (3, 'J', Fraction(0, 1))",
"translation conjugacy (3, 'J', Fraction(-1, 4))",
"translation conjugacy (3, 'J', Fraction(1, 4))",
"unique labelled translation (4, 'higher_Noah')",
"unique labelled translation (4, 'lower_Noah')",
"unique labelled translation (4, 'held_Noah')",
"unique labelled translation (4, 'J_Flood')",
"translated E and J endpoints 4",
"translation conjugacy (4, 'E', Fraction(0, 1))",
"translation conjugacy (4, 'E', Fraction(-1, 4))",
"translation conjugacy (4, 'E', Fraction(1, 4))",
"translation conjugacy (4, 'J', Fraction(0, 1))",
"translation conjugacy (4, 'J', Fraction(-1, 4))",
"translation conjugacy (4, 'J', Fraction(1, 4))",
"unique labelled translation (5, 'higher_Noah')",
"unique labelled translation (5, 'lower_Noah')",
"unique labelled translation (5, 'held_Noah')",
"unique labelled translation (5, 'J_Flood')",
"translated E and J endpoints 5",
"translation conjugacy (5, 'E', Fraction(0, 1))",
"translation conjugacy (5, 'E', Fraction(-1, 4))",
"translation conjugacy (5, 'E', Fraction(1, 4))",
"translation conjugacy (5, 'J', Fraction(0, 1))",
"translation conjugacy (5, 'J', Fraction(-1, 4))",
"translation conjugacy (5, 'J', Fraction(1, 4))",
"unique labelled translation (6, 'higher_Noah')",
"unique labelled translation (6, 'lower_Noah')",
"unique labelled translation (6, 'held_Noah')",
"unique labelled translation (6, 'J_Flood')",
"translated E and J endpoints 6",
"translation conjugacy (6, 'E', Fraction(0, 1))",
"translation conjugacy (6, 'E', Fraction(-1, 4))",
"translation conjugacy (6, 'E', Fraction(1, 4))",
"translation conjugacy (6, 'J', Fraction(0, 1))",
"translation conjugacy (6, 'J', Fraction(-1, 4))",
"translation conjugacy (6, 'J', Fraction(1, 4))",
"unique labelled translation (7, 'higher_Noah')",
"unique labelled translation (7, 'lower_Noah')",
"unique labelled translation (7, 'held_Noah')",
"unique labelled translation (7, 'J_Flood')",
"translated E and J endpoints 7",
"translation conjugacy (7, 'E', Fraction(0, 1))",
"translation conjugacy (7, 'E', Fraction(-1, 4))",
"translation conjugacy (7, 'E', Fraction(1, 4))",
"translation conjugacy (7, 'J', Fraction(0, 1))",
"translation conjugacy (7, 'J', Fraction(-1, 4))",
"translation conjugacy (7, 'J', Fraction(1, 4))",
"unique labelled translation (8, 'higher_Noah')",
"unique labelled translation (8, 'lower_Noah')",
"unique labelled translation (8, 'held_Noah')",
"unique labelled translation (8, 'J_Flood')",
"P Flood to Shem death (8, 0)",
"P Flood to Shem death (8, 1)",
"translated E and J endpoints 8",
"translation conjugacy (8, 'E', Fraction(0, 1))",
"translation conjugacy (8, 'E', Fraction(-1, 4))",
"translation conjugacy (8, 'E', Fraction(1, 4))",
"translation conjugacy (8, 'J', Fraction(0, 1))",
"translation conjugacy (8, 'J', Fraction(-1, 4))",
"translation conjugacy (8, 'J', Fraction(1, 4))",
"translation conjugacy (8, 'P', Fraction(0, 1))",
"translation conjugacy (8, 'P', Fraction(-1, 4))",
"translation conjugacy (8, 'P', Fraction(1, 4))",
"unique labelled translation (9, 'higher_Noah')",
"unique labelled translation (9, 'lower_Noah')",
"unique labelled translation (9, 'held_Noah')",
"unique labelled translation (9, 'J_Flood')",
"translated E and J endpoints 9",
"translation conjugacy (9, 'E', Fraction(0, 1))",
"translation conjugacy (9, 'E', Fraction(-1, 4))",
"translation conjugacy (9, 'E', Fraction(1, 4))",
"translation conjugacy (9, 'J', Fraction(0, 1))",
"translation conjugacy (9, 'J', Fraction(-1, 4))",
"translation conjugacy (9, 'J', Fraction(1, 4))",
"unique labelled translation (10, 'higher_Noah')",
"unique labelled translation (10, 'lower_Noah')",
"unique labelled translation (10, 'held_Noah')",
"unique labelled translation (10, 'J_Flood')",
"translated E and J endpoints 10",
"translation conjugacy (10, 'E', Fraction(0, 1))",
"translation conjugacy (10, 'E', Fraction(-1, 4))",
"translation conjugacy (10, 'E', Fraction(1, 4))",
"translation conjugacy (10, 'J', Fraction(0, 1))",
"translation conjugacy (10, 'J', Fraction(-1, 4))",
"translation conjugacy (10, 'J', Fraction(1, 4))",
"unique labelled translation (11, 'higher_Noah')",
"unique labelled translation (11, 'lower_Noah')",
"unique labelled translation (11, 'held_Noah')",
"unique labelled translation (11, 'J_Flood')",
"translated E and J endpoints 11",
"translation conjugacy (11, 'E', Fraction(0, 1))",
"translation conjugacy (11, 'E', Fraction(-1, 4))",
"translation conjugacy (11, 'E', Fraction(1, 4))",
"translation conjugacy (11, 'J', Fraction(0, 1))",
"translation conjugacy (11, 'J', Fraction(-1, 4))",
"translation conjugacy (11, 'J', Fraction(1, 4))",
"six source Shem loops and two complete graphs",
"translated path map 0",
"translated path map 1",
"translated path map 2",
"translated path map 3",
"translated path map 4",
"translated path map 5",
"translated path map 6",
"translated path map 7",
"translated path map 8",
"translated path map 9",
"translated path map 10",
"translated path map 11",
"translated path map 12",
"translated path map 13",
"translated path map 14",
"translated path map 15",
"translated path map 16",
"translated path map 17",
"translated path map 18",
"translated path map 19",
"translated path map 20",
"translated path map 21",
"translated path map 22",
"translated path map 23",
"translated path map 24",
"translated path map 25",
"translated path map 26",
"translated path map 27",
"translated path map 28",
"translated path map 29",
"translated path map 30",
"translated path map 31",
"translated path map 32",
"translated path map 33",
"translated path map 34",
"translated path map 35",
"translated path map 36",
"translated path map 37",
"translated path map 38",
"translated path map 39",
"translated path map 40",
"translated path map 41",
"translated path map 42",
"translated path map 43",
"translated path map 44",
"translated path map 45",
"translated path map 46",
"translated path map 47",
"translated path map 48",
"translated path map 49",
"translated path map 50",
"translated path map 51",
"translated path map 52",
"translated path map 53",
"translated path map 54",
"translated path map 55",
"translated path map 56",
"translated path map 57",
"translated path map 58",
"translated path map 59",
"translated path map 60",
"translated path map 61",
"translated path map 62",
"translated path map 63",
"translated path map 64",
"translated path map 65",
"translated path map 66",
"translated path map 67",
"translated path map 68",
"translated path map 69",
"translated path map 70",
"translated path map 71",
"translated path map 72",
"translated path map 73",
"translated path map 74",
"translated path map 75",
"translated path map 76",
"translated path map 77",
"translated path map 78",
"translated path map 79",
"translated path map 80",
"translated path map 81",
"translated path map 82",
"translated path map 83",
"translated path map 84",
"translated path map 85",
"translated path map 86",
"translated path map 87",
"translated path map 88",
"translated path map 89",
"translated path map 90",
"translated path map 91",
"translated path map 92",
"translated path map 93",
"translated path map 94",
"translated path map 95",
"translated path map 96",
"translated path map 97",
"translated path map 98",
"translated path map 99",
"translated path map 100",
"translated path map 101",
"translated path map 102",
"translated path map 103",
"translated path map 104",
"translated path map 105",
"translated path map 106",
"translated path map 107",
"translated path map 108",
"translated path map 109",
"translated path map 110",
"translated path map 111",
"translated path map 112",
"translated path map 113",
"translated path map 114",
"translated path map 115",
"translated path map 116",
"translated path map 117",
"translated path map 118",
"translated path map 119",
"translated path map 120",
"translated path map 121",
"translated path map 122",
"translated path map 123",
"translated path map 124",
"translated path map 125",
"translated path map 126",
"translated path map 127",
"translated path map 128",
"translated path map 129",
"translated path map 130",
"translated path map 131",
"translated path map 132",
"translated path map 133",
"translated path map 134",
"translated path map 135",
"translated path map 136",
"translated path map 137",
"translated path map 138",
"translated path map 139",
"translated path map 140",
"translated path map 141",
"translated path map 142",
"translated path map 143",
"translated path map 144",
"translated path map 145",
"translated path map 146",
"translated path map 147",
"translated path map 148",
"translated path map 149",
"translated path map 150",
"translated path map 151",
"translated path map 152",
"translated path map 153",
"translated path map 154",
"translated path map 155",
"translated path map 156",
"translated path map 157",
"translated path map 158",
"translated path map 159",
"translated path map 160",
"translated path map 161",
"translated path map 162",
"translated path map 163",
"translated path map 164",
"translated path map 165",
"translated path map 166",
"translated path map 167",
"translated path map 168",
"translated path map 169",
"translated path map 170",
"translated path map 171",
"translated path map 172",
"translated path map 173",
"translated path map 174",
"translated path map 175",
"translated path map 176",
"translated path map 177",
"translated path map 178",
"translated path map 179",
"translated path map 180",
"translated path map 181",
"translated path map 182",
"translated path map 183",
"translated path map 184",
"translated path map 185",
"translated path map 186",
"translated path map 187",
"translated path map 188",
"translated path map 189",
"translated path map 190",
"translated path map 191",
"translated path map 192",
"translated path map 193",
"translated path map 194",
"translated path map 195",
"translated path map 196",
"translated path map 197",
"translated path map 198",
"translated path map 199",
"translated path map 200",
"translated path map 201",
"translated path map 202",
"translated path map 203",
"translated path map 204",
"translated path map 205",
"translated path map 206",
"translated path map 207",
"translated path map 208",
"translated path map 209",
"translated path map 210",
"translated path map 211",
"translated path map 212",
"translated path map 213",
"translated path map 214",
"translated path map 215",
"translated path map 216",
"translated path map 217",
"translated path map 218",
"translated path map 219",
"translated path map 220",
"translated path map 221",
"translated path map 222",
"translated path map 223",
"translated path map 224",
"translated path map 225",
"translated path map 226",
"translated path map 227",
"translated path map 228",
"translated path map 229",
"translated path map 230",
"translated path map 231",
"translated path map 232",
"translated path map 233",
"translated path map 234",
"translated path map 235",
"translated path map 236",
"translated path map 237",
"translated path map 238",
"translated path map 239",
"translated path map 240",
"translated path map 241",
"translated path map 242",
"translated path map 243",
"translated path map 244",
"translated path map 245",
"translated path map 246",
"translated path map 247",
"translated path map 248",
"translated path map 249",
"translated path map 250",
"translated path map 251",
"translated path map 252",
"translated path map 253",
"translated path map 254",
"translated path map 255",
"translated path map 256",
"translated path map 257",
"translated path map 258",
"translated path map 259",
"translated path map 260",
"translated path map 261",
"translated path map 262",
"translated path map 263",
"translated path map 264",
"translated path map 265",
"translated path map 266",
"translated path map 267",
"translated path map 268",
"translated path map 269",
"translated path map 270",
"translated path map 271",
"translated path map 272",
"translated path map 273",
"translated path map 274",
"translated path map 275",
"translated path map 276",
"translated path map 277",
"translated path map 278",
"translated path map 279",
"translated path map 280",
"translated path map 281",
"translated path map 282",
"translated path map 283",
"translated path map 284",
"translated path map 285",
"translated path map 286",
"translated path map 287",
"translated path map 288",
"translated path map 289",
"translated path map 290",
"translated path map 291",
"translated path map 292",
"translated path map 293",
"translated path map 294",
"translated path map 295",
"translated path map 296",
"translated path map 297",
"translated path map 298",
"translated path map 299",
"translated path map 300",
"translated path map 301",
"translated path map 302",
"translated path map 303",
"translated path map 304",
"translated path map 305",
"translated path map 306",
"translated path map 307",
"translated path map 308",
"translated path map 309",
"translated path map 310",
"translated path map 311",
"translated path map 312",
"translated path map 313",
"translated path map 314",
"translated path map 315",
"translated path map 316",
"translated path map 317",
"translated path map 318",
"translated path map 319",
"translated path map 320",
"translated path map 321",
"translated path map 322",
"translated path map 323",
"translated path map 324",
"translated path map 325",
"translated path map 326",
"translated path map 327",
"translated path map 328",
"translated path map 329",
"translated path map 330",
"translated path map 331",
"translated path map 332",
"translated path map 333",
"translated path map 334",
"translated path map 335",
"translated path map 336",
"translated path map 337",
"translated path map 338",
"translated path map 339",
"translated path map 340",
"translated path map 341",
"translated path map 342",
"translated path map 343",
"translated path map 344",
"translated path map 345",
"translated path map 346",
"translated path map 347",
"translated path map 348",
"translated path map 349",
"translated path map 350",
"translated path map 351",
"translated path map 352",
"translated path map 353",
"translated path map 354",
"translated path map 355",
"translated path map 356",
"translated path map 357",
"translated path map 358",
"translated path map 359",
"translated path map 360",
"translated path map 361",
"translated path map 362",
"translated path map 363",
"translated path map 364",
"translated path map 365",
"translated path map 366",
"translated path map 367",
"translated path map 368",
"translated path map 369",
"translated path map 370",
"translated path map 371",
"translated path map 372",
"translated path map 373",
"translated path map 374",
"translated path map 375",
"translated path map 376",
"translated path map 377",
"translated path map 378",
"translated path map 379",
"translated path map 380",
"translated path map 381",
"translated path map 382",
"translated path map 383",
"translated path map 384",
"translated path map 385",
"translated path map 386",
"translated path map 387",
"translated path map 388",
"translated path map 389",
"translated path map 390",
"translated path map 391",
"translated path map 392",
"translated path map 393",
"translated path map 394",
"translated path map 395",
"translated path map 396",
"translated path map 397",
"translated path map 398",
"translated path map 399",
"translated path map 400",
"translated path map 401"
],
"source_checks_passed": 18,
"source_checks": [
"frozen PREVIOUS_CERTIFICATE.json",
"frozen PREVIOUS_RESULTS.json",
"frozen PREVIOUS_DATA.json",
"frozen PREVIOUS_CHECKPOINT.md",
"frozen PREVIOUS_NEXT_STEP.json",
"frozen File_18.md",
"frozen File_09.md",
"frozen C286_DATA.json",
"frozen C287_DATA.json",
"frozen C271_REGISTER.json",
"frozen C396_DATA.json",
"frozen C397_DATA.json",
"frozen C400_DATA.json",
"frozen C402_DATA.json",
"predecessor PREVIOUS_RESULTS.json",
"predecessor PREVIOUS_DATA.json",
"predecessor PREVIOUS_CHECKPOINT.md",
"predecessor PREVIOUS_NEXT_STEP.json"
],
"canonical_or_graph_edits": false,
"check_scope": "Finite source-labelled calculation; counts are verification inventory, not witness counts."
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 1d96e6b35b2967918cee803e28cd660decfb2606be658fe60173c7e2c59e067b
C01–C479/packets/C405/evidence/RESULTS.json