{
"step": "C412",
"status": "passed",
"assertions_passed": 543,
"checks": [
"source excerpt MT_PERSONS",
"source excerpt PERSON_BASES",
"source excerpt SP_FIELD",
"source excerpt FLOOD",
"source excerpt VARIANTS",
"source excerpt LXX_REMOVAL",
"source excerpt SP_LOCALITY",
"source excerpt DUAL100",
"source excerpt E_P",
"source excerpt E_SQUARED",
"source excerpt J_GAP",
"source excerpt GEARS",
"independent person table constants",
"explicit source guards",
"independent register reconstruction 0",
"independent register reconstruction 1",
"independent register reconstruction 2",
"independent register reconstruction 3",
"independent register reconstruction 4",
"independent register reconstruction 5",
"independent register reconstruction 6",
"independent register reconstruction 7",
"independent register reconstruction 8",
"independent register reconstruction 9",
"independent register reconstruction 10",
"independent register reconstruction 11",
"independent register reconstruction 12",
"independent register reconstruction 13",
"independent register reconstruction 14",
"independent register reconstruction 15",
"independent register reconstruction 16",
"independent register reconstruction 17",
"independent register reconstruction 18",
"independent register reconstruction 19",
"independent register reconstruction 20",
"independent register reconstruction 21",
"independent register reconstruction 22",
"independent register reconstruction 23",
"independent register reconstruction 24",
"independent register reconstruction 25",
"independent register reconstruction 26",
"independent register reconstruction 27",
"independent register reconstruction 28",
"independent register reconstruction 29",
"independent register reconstruction 30",
"independent register reconstruction 31",
"independent register reconstruction 32",
"independent register reconstruction 33",
"independent register reconstruction 34",
"independent register reconstruction 35",
"independent register reconstruction 36",
"independent register reconstruction 37",
"independent register reconstruction 38",
"independent register reconstruction 39",
"independent register reconstruction 40",
"independent register reconstruction 41",
"independent register reconstruction 42",
"independent register reconstruction 43",
"independent register reconstruction 44",
"independent register reconstruction 45",
"independent register reconstruction 46",
"independent register reconstruction 47",
"independent register reconstruction 48",
"independent register reconstruction 49",
"independent register reconstruction 50",
"independent register reconstruction 51",
"independent register reconstruction 52",
"independent register reconstruction 53",
"independent register reconstruction 54",
"independent register reconstruction 55",
"independent register reconstruction 56",
"independent register reconstruction 57",
"independent register reconstruction 58",
"independent register reconstruction 59",
"independent register reconstruction 60",
"independent register reconstruction 61",
"independent register reconstruction 62",
"independent register reconstruction 63",
"independent register reconstruction 64",
"independent register reconstruction 65",
"independent register reconstruction 66",
"independent register reconstruction 67",
"independent register reconstruction 68",
"independent register reconstruction 69",
"independent register reconstruction 70",
"independent register reconstruction 71",
"independent register reconstruction 72",
"independent register reconstruction 73",
"independent register reconstruction 74",
"independent register reconstruction 75",
"independent register reconstruction 76",
"independent register reconstruction 77",
"independent register reconstruction 78",
"independent register reconstruction 79",
"independent register reconstruction 80",
"independent register reconstruction 81",
"independent register reconstruction 82",
"independent register reconstruction 83",
"independent register reconstruction 84",
"independent register reconstruction 85",
"independent register reconstruction 86",
"independent register reconstruction 87",
"independent register reconstruction 88",
"independent register reconstruction 89",
"independent register reconstruction 90",
"independent register reconstruction 91",
"independent register reconstruction 92",
"independent register reconstruction 93",
"independent register reconstruction 94",
"independent register reconstruction 95",
"independent register reconstruction 96",
"independent register reconstruction 97",
"independent register reconstruction 98",
"independent register reconstruction 99",
"independent register reconstruction 100",
"independent register reconstruction 101",
"independent register reconstruction 102",
"independent register reconstruction 103",
"independent register reconstruction 104",
"independent register reconstruction 105",
"independent register reconstruction 106",
"independent register reconstruction 107",
"independent register reconstruction 108",
"independent register reconstruction 109",
"independent register reconstruction 110",
"independent register reconstruction 111",
"independent register reconstruction 112",
"independent register reconstruction 113",
"independent register reconstruction 114",
"independent register reconstruction 115",
"independent register reconstruction 116",
"independent register reconstruction 117",
"independent register reconstruction 118",
"independent register reconstruction 119",
"independent register reconstruction 120",
"independent register reconstruction 121",
"independent register reconstruction 122",
"independent register reconstruction 123",
"independent register reconstruction 124",
"independent register reconstruction 125",
"independent register reconstruction 126",
"independent register reconstruction 127",
"independent register reconstruction 128",
"independent register reconstruction 129",
"independent register reconstruction 130",
"independent register reconstruction 131",
"independent register reconstruction 132",
"independent register reconstruction 133",
"independent register reconstruction 134",
"independent register reconstruction 135",
"independent register reconstruction 136",
"independent register reconstruction 137",
"independent register reconstruction 138",
"independent register reconstruction 139",
"independent register reconstruction 140",
"independent register reconstruction 141",
"independent register reconstruction 142",
"independent register reconstruction 143",
"independent register reconstruction 144",
"independent register reconstruction 145",
"independent register reconstruction 146",
"independent register reconstruction 147",
"independent register reconstruction 148",
"independent register reconstruction 149",
"independent register reconstruction 150",
"independent register reconstruction 151",
"independent register reconstruction 152",
"independent register reconstruction 153",
"independent register reconstruction 154",
"independent register reconstruction 155",
"independent register reconstruction 156",
"independent register reconstruction 157",
"independent register reconstruction 158",
"independent register reconstruction 159",
"independent register reconstruction 160",
"independent register reconstruction 161",
"independent register reconstruction 162",
"independent register reconstruction 163",
"independent register reconstruction 164",
"independent register reconstruction 165",
"independent register reconstruction 166",
"independent register reconstruction 167",
"independent register reconstruction 168",
"independent register reconstruction 169",
"independent register reconstruction 170",
"independent register reconstruction 171",
"independent register reconstruction 172",
"independent register reconstruction 173",
"independent register reconstruction 174",
"independent register reconstruction 175",
"independent register reconstruction 176",
"independent register reconstruction 177",
"independent register reconstruction 178",
"independent register reconstruction 179",
"independent register reconstruction 180",
"independent register reconstruction 181",
"independent register reconstruction 182",
"independent register reconstruction 183",
"independent register reconstruction 184",
"independent register reconstruction 185",
"independent register reconstruction 186",
"independent register reconstruction 187",
"independent register reconstruction 188",
"independent register reconstruction 189",
"independent register reconstruction 190",
"independent register reconstruction 191",
"independent register reconstruction 192",
"independent register reconstruction 193",
"independent register reconstruction 194",
"independent register reconstruction 195",
"independent register reconstruction 196",
"independent register reconstruction 197",
"independent register reconstruction 198",
"independent register reconstruction 199",
"independent register reconstruction 200",
"independent register reconstruction 201",
"independent register reconstruction 202",
"independent register reconstruction 203",
"independent register reconstruction 204",
"independent register reconstruction 205",
"independent register reconstruction 206",
"independent register reconstruction 207",
"independent register reconstruction 208",
"independent register reconstruction 209",
"independent register reconstruction 210",
"independent register reconstruction 211",
"independent register reconstruction 212",
"independent register reconstruction 213",
"independent register reconstruction 214",
"independent register reconstruction 215",
"independent register reconstruction 216",
"independent register reconstruction 217",
"independent register reconstruction 218",
"independent register reconstruction 219",
"independent register reconstruction 220",
"independent register reconstruction 221",
"independent register reconstruction 222",
"independent register reconstruction 223",
"independent register reconstruction 224",
"independent register reconstruction 225",
"independent register reconstruction 226",
"independent register reconstruction 227",
"independent register reconstruction 228",
"independent register reconstruction 229",
"independent register reconstruction 230",
"independent register reconstruction 231",
"independent register reconstruction 232",
"independent register reconstruction 233",
"independent register reconstruction 234",
"independent register reconstruction 235",
"independent register reconstruction 236",
"independent register reconstruction 237",
"independent register reconstruction 238",
"independent register reconstruction 239",
"independent register reconstruction 240",
"independent register reconstruction 241",
"independent register reconstruction 242",
"independent register reconstruction 243",
"independent register reconstruction 244",
"independent register reconstruction 245",
"independent register reconstruction 246",
"independent register reconstruction 247",
"independent register reconstruction 248",
"independent register reconstruction 249",
"independent register reconstruction 250",
"independent register reconstruction 251",
"independent register reconstruction 252",
"independent register reconstruction 253",
"independent register reconstruction 254",
"independent register reconstruction 255",
"independent register reconstruction 256",
"independent register reconstruction 257",
"independent register reconstruction 258",
"independent register reconstruction 259",
"independent register reconstruction 260",
"independent register reconstruction 261",
"independent register reconstruction 262",
"independent register reconstruction 263",
"independent register reconstruction 264",
"independent register reconstruction 265",
"independent register reconstruction 266",
"independent register reconstruction 267",
"independent register reconstruction 268",
"independent register reconstruction 269",
"independent register reconstruction 270",
"independent register reconstruction 271",
"independent register reconstruction 272",
"independent register reconstruction 273",
"independent register reconstruction 274",
"independent register reconstruction 275",
"independent register reconstruction 276",
"independent register reconstruction 277",
"independent register reconstruction 278",
"independent register reconstruction 279",
"independent register reconstruction 280",
"independent register reconstruction 281",
"independent register reconstruction 282",
"independent register reconstruction 283",
"independent register reconstruction 284",
"independent register reconstruction 285",
"independent register reconstruction 286",
"independent register reconstruction 287",
"independent register reconstruction 288",
"independent register reconstruction 289",
"independent register reconstruction 290",
"independent register reconstruction 291",
"independent register reconstruction 292",
"independent register reconstruction 293",
"independent register reconstruction 294",
"independent register reconstruction 295",
"independent register reconstruction 296",
"independent register reconstruction 297",
"independent register reconstruction 298",
"independent register reconstruction 299",
"independent register reconstruction 300",
"independent register reconstruction 301",
"independent register reconstruction 302",
"independent register reconstruction 303",
"independent register reconstruction 304",
"independent register reconstruction 305",
"independent register reconstruction 306",
"independent register reconstruction 307",
"independent register reconstruction 308",
"independent register reconstruction 309",
"independent register reconstruction 310",
"independent register reconstruction 311",
"independent register reconstruction 312",
"independent register reconstruction 313",
"independent register reconstruction 314",
"independent register reconstruction 315",
"independent register reconstruction 316",
"independent register reconstruction 317",
"independent register reconstruction 318",
"independent register reconstruction 319",
"independent register reconstruction 320",
"independent register reconstruction 321",
"independent register reconstruction 322",
"independent register reconstruction 323",
"independent register reconstruction 324",
"independent register reconstruction 325",
"independent register reconstruction 326",
"independent register reconstruction 327",
"independent register reconstruction 328",
"independent register reconstruction 329",
"independent register reconstruction 330",
"independent register reconstruction 331",
"independent register reconstruction 332",
"independent register reconstruction 333",
"independent register reconstruction 334",
"independent register reconstruction 335",
"independent register reconstruction 336",
"independent register reconstruction 337",
"independent register reconstruction 338",
"independent register reconstruction 339",
"independent register reconstruction 340",
"independent register reconstruction 341",
"independent register reconstruction 342",
"independent register reconstruction 343",
"independent register reconstruction 344",
"independent register reconstruction 345",
"independent register reconstruction 346",
"independent register reconstruction 347",
"independent register reconstruction 348",
"independent register reconstruction 349",
"independent register reconstruction 350",
"independent register reconstruction 351",
"independent register reconstruction 352",
"independent register reconstruction 353",
"independent register reconstruction 354",
"independent register reconstruction 355",
"independent register reconstruction 356",
"independent register reconstruction 357",
"independent register reconstruction 358",
"independent register reconstruction 359",
"independent register reconstruction 360",
"independent register reconstruction 361",
"independent register reconstruction 362",
"independent register reconstruction 363",
"independent register reconstruction 364",
"independent register reconstruction 365",
"independent register reconstruction 366",
"independent register reconstruction 367",
"independent register reconstruction 368",
"independent register reconstruction 369",
"independent register reconstruction 370",
"independent register reconstruction 371",
"independent register reconstruction 372",
"independent register reconstruction 373",
"independent register reconstruction 374",
"independent register reconstruction 375",
"independent register reconstruction 376",
"independent register reconstruction 377",
"independent register reconstruction 378",
"independent register reconstruction 379",
"independent register reconstruction 380",
"independent register reconstruction 381",
"independent register reconstruction 382",
"independent register reconstruction 383",
"independent register reconstruction 384",
"independent register reconstruction 385",
"independent register reconstruction 386",
"independent register reconstruction 387",
"independent register reconstruction 388",
"independent register reconstruction 389",
"independent register reconstruction 390",
"independent register reconstruction 391",
"independent register reconstruction 392",
"independent register reconstruction 393",
"independent register reconstruction 394",
"independent register reconstruction 395",
"independent register reconstruction 396",
"independent register reconstruction 397",
"independent register reconstruction 398",
"independent register reconstruction 399",
"independent register reconstruction 400",
"independent register reconstruction 401",
"independent register reconstruction 402",
"independent register reconstruction 403",
"independent register reconstruction 404",
"independent register reconstruction 405",
"independent register reconstruction 406",
"independent register reconstruction 407",
"independent register reconstruction 408",
"independent register reconstruction 409",
"independent register reconstruction 410",
"independent register reconstruction 411",
"independent register reconstruction 412",
"independent register reconstruction 413",
"independent register reconstruction 414",
"independent register reconstruction 415",
"independent register reconstruction 416",
"independent register reconstruction 417",
"independent register reconstruction 418",
"independent register reconstruction 419",
"independent register reconstruction 420",
"independent register reconstruction 421",
"independent register reconstruction 422",
"independent register reconstruction 423",
"independent register reconstruction 424",
"independent register reconstruction 425",
"independent register reconstruction 426",
"independent register reconstruction 427",
"independent register reconstruction 428",
"independent register reconstruction 429",
"independent register reconstruction 430",
"independent register reconstruction 431",
"independent register reconstruction 432",
"independent register reconstruction 433",
"independent register reconstruction 434",
"independent register reconstruction 435",
"independent register reconstruction 436",
"independent register reconstruction 437",
"independent register reconstruction 438",
"independent register reconstruction 439",
"independent register reconstruction 440",
"independent register reconstruction 441",
"independent register reconstruction 442",
"independent register reconstruction 443",
"independent register reconstruction 444",
"independent register reconstruction 445",
"independent register reconstruction 446",
"independent register reconstruction 447",
"independent register reconstruction 448",
"independent register reconstruction 449",
"independent register reconstruction 450",
"independent register reconstruction 451",
"independent register reconstruction 452",
"independent register reconstruction 453",
"independent register reconstruction 454",
"independent register reconstruction 455",
"independent register reconstruction 456",
"independent register reconstruction 457",
"independent register reconstruction 458",
"independent register reconstruction 459",
"independent register reconstruction 460",
"independent register reconstruction 461",
"independent register reconstruction 462",
"independent register reconstruction 463",
"independent register reconstruction 464",
"independent register reconstruction 465",
"independent register reconstruction 466",
"independent register reconstruction 467",
"independent register reconstruction 468",
"independent register reconstruction 469",
"independent register reconstruction 470",
"independent register reconstruction 471",
"independent register reconstruction 472",
"independent register reconstruction 473",
"independent register reconstruction 474",
"independent register reconstruction 475",
"independent register reconstruction 476",
"independent register reconstruction 477",
"independent register reconstruction 478",
"independent register reconstruction 479",
"independent register reconstruction 480",
"independent register reconstruction 481",
"independent register reconstruction 482",
"independent register reconstruction 483",
"independent register reconstruction 484",
"independent register reconstruction 485",
"independent register reconstruction 486",
"independent register reconstruction 487",
"independent register reconstruction 488",
"independent register reconstruction 489",
"independent register reconstruction 490",
"independent register reconstruction 491",
"independent register reconstruction 492",
"independent register reconstruction 493",
"independent register reconstruction 494",
"independent register reconstruction 495",
"independent register reconstruction 496",
"independent register reconstruction 497",
"independent register reconstruction 498",
"independent register reconstruction 499",
"independent register reconstruction 500",
"independent register reconstruction 501",
"independent register reconstruction 502",
"independent register reconstruction 503",
"independent register reconstruction 504",
"independent register reconstruction 505",
"independent register reconstruction 506",
"independent register reconstruction 507",
"independent register reconstruction 508",
"independent register reconstruction 509",
"independent register reconstruction 510",
"independent register reconstruction 511",
"independent register reconstruction 512",
"independent register reconstruction 513",
"independent register reconstruction 514",
"independent register reconstruction 515",
"independent register reconstruction 516",
"independent register reconstruction 517",
"independent register reconstruction 518",
"independent register reconstruction 519",
"independent register reconstruction 520",
"independent register reconstruction 521",
"independent register reconstruction 522",
"independent register reconstruction 523",
"independent register reconstruction 524",
"independent register reconstruction 525",
"independent register reconstruction 526",
"independent register reconstruction 527",
"new comparison records within rebuilt menu"
],
"source_checks_passed": 20,
"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 C405_DATA.json",
"frozen C410_DATA.json",
"frozen C411_DATA.json",
"frozen File_02.md",
"frozen File_46.md",
"frozen File_11.md",
"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 f463ecd6fe9bad1f8cb51187614a0a801e371ee999cf42e943a068b1edf713fb
C01–C479/packets/C412/evidence/RESULTS.json