{
  "status": "passed",
  "scope": "Separate root-agent direct source-table reconstruction, coordinate/context pair enumeration, integer affine coefficients, all-pivot Cartesian search, prime-factor proof and quarter-integer controls. Main calculation modules were not imported.",
  "check_count": 595,
  "checks": [
    "direct table polynomial 0",
    "direct table polynomial 1",
    "direct table polynomial 2",
    "direct table polynomial 3",
    "direct table polynomial 4",
    "direct table polynomial 5",
    "direct table polynomial 6",
    "direct table polynomial 7",
    "direct table polynomial 8",
    "direct table polynomial 9",
    "direct table polynomial 10",
    "direct table polynomial 11",
    "direct table polynomial 12",
    "direct table polynomial 13",
    "direct table polynomial 14",
    "direct table polynomial 15",
    "direct table polynomial 16",
    "direct table polynomial 17",
    "direct table polynomial 18",
    "direct table polynomial 19",
    "direct table polynomial 20",
    "direct table polynomial 21",
    "direct table polynomial 22",
    "direct table polynomial 23",
    "direct table polynomial 24",
    "direct table polynomial 25",
    "direct table polynomial 26",
    "direct table polynomial 27",
    "direct table polynomial 28",
    "direct table polynomial 29",
    "direct table polynomial 30",
    "direct table polynomial 31",
    "direct table polynomial 32",
    "direct table polynomial 33",
    "direct table polynomial 34",
    "direct table polynomial 35",
    "direct table polynomial 36",
    "direct table polynomial 37",
    "direct table polynomial 38",
    "direct table polynomial 39",
    "direct table polynomial 40",
    "direct table polynomial 41",
    "direct table polynomial 42",
    "direct table polynomial 43",
    "direct table polynomial 44",
    "direct table polynomial 45",
    "direct table polynomial 46",
    "direct table polynomial 47",
    "direct table polynomial 48",
    "direct table polynomial 49",
    "direct table polynomial 50",
    "direct table polynomial 51",
    "direct table polynomial 52",
    "direct table polynomial 53",
    "direct table polynomial 54",
    "direct table polynomial 55",
    "direct table polynomial 56",
    "direct table polynomial 57",
    "direct table polynomial 58",
    "direct table polynomial 59",
    "direct table polynomial 60",
    "direct table polynomial 61",
    "direct table polynomial 62",
    "direct table polynomial 63",
    "direct table polynomial 64",
    "direct table polynomial 65",
    "direct table polynomial 66",
    "direct table polynomial 67",
    "direct table polynomial 68",
    "direct table polynomial 69",
    "direct table polynomial 70",
    "direct table polynomial 71",
    "direct table polynomial 72",
    "direct table polynomial 73",
    "direct table polynomial 74",
    "direct table polynomial 75",
    "direct table polynomial 76",
    "direct table polynomial 77",
    "direct table polynomial 78",
    "direct table polynomial 79",
    "direct table polynomial 80",
    "direct table polynomial 81",
    "direct table polynomial 82",
    "direct table polynomial 83",
    "direct table polynomial 84",
    "direct table polynomial 85",
    "direct table polynomial 86",
    "direct table polynomial 87",
    "direct table polynomial 88",
    "direct table polynomial 89",
    "direct table polynomial 90",
    "direct table polynomial 91",
    "direct table polynomial 92",
    "direct table polynomial 93",
    "direct table polynomial 94",
    "direct table polynomial 95",
    "direct table polynomial 96",
    "direct table polynomial 97",
    "direct table polynomial 98",
    "direct table polynomial 99",
    "direct table polynomial 100",
    "direct table polynomial 101",
    "direct table polynomial 102",
    "direct table polynomial 103",
    "direct table polynomial 104",
    "direct table polynomial 105",
    "direct table polynomial 106",
    "direct table polynomial 107",
    "direct table polynomial 108",
    "direct table polynomial 109",
    "direct table polynomial 110",
    "direct table polynomial 111",
    "direct table polynomial 112",
    "direct table polynomial 113",
    "direct table polynomial 114",
    "direct table polynomial 115",
    "direct table polynomial 116",
    "direct table polynomial 117",
    "direct table polynomial 118",
    "direct table polynomial 119",
    "direct table polynomial 120",
    "direct table polynomial 121",
    "direct table polynomial 122",
    "direct table polynomial 123",
    "direct table polynomial 124",
    "direct table polynomial 125",
    "direct table polynomial 126",
    "direct table polynomial 127",
    "direct table polynomial 128",
    "direct table polynomial 129",
    "direct table polynomial 130",
    "direct table polynomial 131",
    "direct table polynomial 132",
    "direct table polynomial 133",
    "direct table polynomial 134",
    "direct table polynomial 135",
    "direct table polynomial 136",
    "direct table polynomial 137",
    "direct table polynomial 138",
    "direct table polynomial 139",
    "direct table polynomial 140",
    "direct table polynomial 141",
    "direct table polynomial 142",
    "direct table polynomial 143",
    "direct table polynomial 144",
    "direct table polynomial 145",
    "direct table polynomial 146",
    "direct table polynomial 147",
    "direct table polynomial 148",
    "direct table polynomial 149",
    "direct table polynomial 150",
    "direct table polynomial 151",
    "direct table polynomial 152",
    "direct table polynomial 153",
    "direct table polynomial 154",
    "direct table polynomial 155",
    "direct table polynomial 156",
    "direct table polynomial 157",
    "direct table polynomial 158",
    "direct table polynomial 159",
    "direct table polynomial 160",
    "direct table polynomial 161",
    "direct table polynomial 162",
    "direct table polynomial 163",
    "direct table polynomial 164",
    "direct table polynomial 165",
    "direct table polynomial 166",
    "direct table polynomial 167",
    "direct table polynomial 168",
    "direct table polynomial 169",
    "direct table polynomial 170",
    "direct table polynomial 171",
    "direct table polynomial 172",
    "direct table polynomial 173",
    "direct table polynomial 174",
    "direct table polynomial 175",
    "direct table polynomial 176",
    "direct table polynomial 177",
    "direct table polynomial 178",
    "direct table polynomial 179",
    "direct table polynomial 180",
    "direct table polynomial 181",
    "direct table polynomial 182",
    "direct table polynomial 183",
    "direct table polynomial 184",
    "direct table polynomial 185",
    "direct table polynomial 186",
    "direct table polynomial 187",
    "direct table polynomial 188",
    "direct table polynomial 189",
    "direct table polynomial 190",
    "direct table polynomial 191",
    "direct table polynomial 192",
    "direct table polynomial 193",
    "direct table polynomial 194",
    "direct table polynomial 195",
    "direct table polynomial 196",
    "direct table polynomial 197",
    "direct table polynomial 198",
    "direct table polynomial 199",
    "direct table polynomial 200",
    "direct table polynomial 201",
    "direct table polynomial 202",
    "direct table polynomial 203",
    "direct table polynomial 204",
    "direct table polynomial 205",
    "direct table polynomial 206",
    "direct table polynomial 207",
    "direct table polynomial 208",
    "direct table polynomial 209",
    "direct table polynomial 210",
    "direct table polynomial 211",
    "direct table polynomial 212",
    "direct table polynomial 213",
    "direct table polynomial 214",
    "direct table polynomial 215",
    "direct table polynomial 216",
    "direct table polynomial 217",
    "direct table polynomial 218",
    "direct table polynomial 219",
    "direct table polynomial 220",
    "direct table polynomial 221",
    "direct table polynomial 222",
    "direct table polynomial 223",
    "direct table polynomial 224",
    "direct table polynomial 225",
    "direct table polynomial 226",
    "direct table polynomial 227",
    "direct table polynomial 228",
    "direct table polynomial 229",
    "direct table polynomial 230",
    "direct table polynomial 231",
    "direct table polynomial 232",
    "direct table polynomial 233",
    "direct table polynomial 234",
    "direct table polynomial 235",
    "direct table polynomial 236",
    "direct table polynomial 237",
    "direct table polynomial 238",
    "direct table polynomial 239",
    "direct table polynomial 240",
    "direct table polynomial 241",
    "direct table polynomial 242",
    "direct table polynomial 243",
    "direct table polynomial 244",
    "direct table polynomial 245",
    "direct table polynomial 246",
    "direct table polynomial 247",
    "direct table polynomial 248",
    "direct table polynomial 249",
    "direct table polynomial 250",
    "direct table polynomial 251",
    "direct table polynomial 252",
    "direct table polynomial 253",
    "direct table polynomial 254",
    "direct table polynomial 255",
    "direct table polynomial 256",
    "direct table polynomial 257",
    "direct table polynomial 258",
    "direct table polynomial 259",
    "direct table polynomial 260",
    "direct table polynomial 261",
    "direct table polynomial 262",
    "direct table polynomial 263",
    "direct table polynomial 264",
    "direct table polynomial 265",
    "direct table polynomial 266",
    "direct table polynomial 267",
    "direct table polynomial 268",
    "direct table polynomial 269",
    "direct table polynomial 270",
    "direct table polynomial 271",
    "direct table polynomial 272",
    "direct table polynomial 273",
    "direct table polynomial 274",
    "direct table polynomial 275",
    "direct table polynomial 276",
    "direct table polynomial 277",
    "direct table polynomial 278",
    "direct table polynomial 279",
    "direct table polynomial 280",
    "direct table polynomial 281",
    "direct table polynomial 282",
    "direct table polynomial 283",
    "direct table polynomial 284",
    "direct table polynomial 285",
    "direct table polynomial 286",
    "direct table polynomial 287",
    "direct table polynomial 288",
    "direct table polynomial 289",
    "direct table polynomial 290",
    "direct table polynomial 291",
    "direct table polynomial 292",
    "direct table polynomial 293",
    "direct table polynomial 294",
    "direct table polynomial 295",
    "direct table polynomial 296",
    "direct table polynomial 297",
    "direct table polynomial 298",
    "direct table polynomial 299",
    "direct table polynomial 300",
    "direct table polynomial 301",
    "direct table polynomial 302",
    "direct table polynomial 303",
    "direct table polynomial 304",
    "direct table polynomial 305",
    "direct table polynomial 306",
    "direct table polynomial 307",
    "direct table polynomial 308",
    "direct table polynomial 309",
    "direct table polynomial 310",
    "direct table polynomial 311",
    "direct table polynomial 312",
    "direct table polynomial 313",
    "direct table polynomial 314",
    "direct table polynomial 315",
    "direct table polynomial 316",
    "direct table polynomial 317",
    "direct table polynomial 318",
    "direct table polynomial 319",
    "direct table polynomial 320",
    "direct table polynomial 321",
    "direct table polynomial 322",
    "direct table polynomial 323",
    "direct table polynomial 324",
    "direct table polynomial 325",
    "direct table polynomial 326",
    "direct table polynomial 327",
    "direct table polynomial 328",
    "direct table polynomial 329",
    "direct table polynomial 330",
    "direct table polynomial 331",
    "direct table polynomial 332",
    "direct table polynomial 333",
    "direct table polynomial 334",
    "direct table polynomial 335",
    "direct table polynomial 336",
    "direct table polynomial 337",
    "direct table polynomial 338",
    "direct table polynomial 339",
    "direct table polynomial 340",
    "direct table polynomial 341",
    "direct table polynomial 342",
    "direct table polynomial 343",
    "direct table polynomial 344",
    "direct table polynomial 345",
    "direct table polynomial 346",
    "direct table polynomial 347",
    "direct table polynomial 348",
    "direct table polynomial 349",
    "direct table polynomial 350",
    "direct table polynomial 351",
    "direct table polynomial 352",
    "direct table polynomial 353",
    "direct table polynomial 354",
    "direct table polynomial 355",
    "direct table polynomial 356",
    "direct table polynomial 357",
    "direct table polynomial 358",
    "direct table polynomial 359",
    "direct table polynomial 360",
    "direct table polynomial 361",
    "direct table polynomial 362",
    "direct table polynomial 363",
    "direct table polynomial 364",
    "direct table polynomial 365",
    "direct table polynomial 366",
    "direct table polynomial 367",
    "direct table polynomial 368",
    "direct table polynomial 369",
    "direct table polynomial 370",
    "direct table polynomial 371",
    "direct table polynomial 372",
    "direct table polynomial 373",
    "direct table polynomial 374",
    "direct table polynomial 375",
    "direct table polynomial 376",
    "direct table polynomial 377",
    "direct table polynomial 378",
    "direct table polynomial 379",
    "direct table polynomial 380",
    "direct table polynomial 381",
    "direct table polynomial 382",
    "direct table polynomial 383",
    "direct table polynomial 384",
    "direct table polynomial 385",
    "direct table polynomial 386",
    "direct table polynomial 387",
    "direct table polynomial 388",
    "direct table polynomial 389",
    "direct table polynomial 390",
    "direct table polynomial 391",
    "direct table polynomial 392",
    "direct table polynomial 393",
    "direct table polynomial 394",
    "direct table polynomial 395",
    "direct table polynomial 396",
    "direct table polynomial 397",
    "direct table polynomial 398",
    "direct table polynomial 399",
    "direct table polynomial 400",
    "direct table polynomial 401",
    "direct table polynomial 402",
    "direct table polynomial 403",
    "direct table polynomial 404",
    "direct table polynomial 405",
    "direct table polynomial 406",
    "direct table polynomial 407",
    "direct table polynomial 408",
    "direct table polynomial 409",
    "direct table polynomial 410",
    "direct table polynomial 411",
    "direct table polynomial 412",
    "direct table polynomial 413",
    "direct table polynomial 414",
    "direct table polynomial 415",
    "direct table polynomial 416",
    "direct table polynomial 417",
    "direct table polynomial 418",
    "direct table polynomial 419",
    "direct table polynomial 420",
    "direct table polynomial 421",
    "direct table polynomial 422",
    "direct table polynomial 423",
    "direct table polynomial 424",
    "direct table polynomial 425",
    "direct table polynomial 426",
    "direct table polynomial 427",
    "direct table polynomial 428",
    "direct table polynomial 429",
    "direct table polynomial 430",
    "direct table polynomial 431",
    "direct table polynomial 432",
    "direct table polynomial 433",
    "direct table polynomial 434",
    "direct table polynomial 435",
    "direct table polynomial 436",
    "direct table polynomial 437",
    "direct table polynomial 438",
    "direct table polynomial 439",
    "direct table polynomial 440",
    "direct table polynomial 441",
    "direct table polynomial 442",
    "direct table polynomial 443",
    "direct table polynomial 444",
    "direct table polynomial 445",
    "direct table polynomial 446",
    "direct table polynomial 447",
    "direct table polynomial 448",
    "direct table polynomial 449",
    "direct table polynomial 450",
    "direct table polynomial 451",
    "direct table polynomial 452",
    "direct table polynomial 453",
    "direct table polynomial 454",
    "direct table polynomial 455",
    "direct table polynomial 456",
    "direct table polynomial 457",
    "direct table polynomial 458",
    "direct table polynomial 459",
    "direct table polynomial 460",
    "direct table polynomial 461",
    "direct table polynomial 462",
    "direct table polynomial 463",
    "direct table polynomial 464",
    "direct table polynomial 465",
    "direct table polynomial 466",
    "direct table polynomial 467",
    "direct table polynomial 468",
    "direct table polynomial 469",
    "direct table polynomial 470",
    "direct table polynomial 471",
    "direct table polynomial 472",
    "direct table polynomial 473",
    "direct table polynomial 474",
    "direct table polynomial 475",
    "direct table polynomial 476",
    "direct table polynomial 477",
    "direct table polynomial 478",
    "direct table polynomial 479",
    "direct table polynomial 480",
    "direct table polynomial 481",
    "direct table polynomial 482",
    "direct table polynomial 483",
    "direct table polynomial 484",
    "direct table polynomial 485",
    "direct table polynomial 486",
    "direct table polynomial 487",
    "direct table polynomial 488",
    "direct table polynomial 489",
    "direct table polynomial 490",
    "direct table polynomial 491",
    "direct table polynomial 492",
    "direct table polynomial 493",
    "direct table polynomial 494",
    "direct table polynomial 495",
    "direct table polynomial 496",
    "direct table polynomial 497",
    "direct table polynomial 498",
    "direct table polynomial 499",
    "direct table polynomial 500",
    "direct table polynomial 501",
    "direct table polynomial 502",
    "direct table polynomial 503",
    "direct table polynomial 504",
    "direct table polynomial 505",
    "direct table polynomial 506",
    "direct table polynomial 507",
    "direct table polynomial 508",
    "direct table polynomial 509",
    "direct table polynomial 510",
    "direct table polynomial 511",
    "direct table polynomial 512",
    "direct table polynomial 513",
    "direct table polynomial 514",
    "direct table polynomial 515",
    "direct table polynomial 516",
    "direct table polynomial 517",
    "direct table polynomial 518",
    "direct table polynomial 519",
    "direct table polynomial 520",
    "direct table polynomial 521",
    "direct table polynomial 522",
    "direct table polynomial 523",
    "direct table polynomial 524",
    "direct table polynomial 525",
    "direct table polynomial 526",
    "direct table polynomial 527",
    "C414 full pair set",
    "C414 translation domain",
    "C414 record pair inventory",
    "C415 derived typed lift identities",
    "bridge cannot touch pair endpoints",
    "96 complete four-station contexts",
    "unique complete2K profile",
    "full offset histogram",
    "profile interval Noah birth / Shem birth",
    "profile interval Noah birth / Noah death",
    "profile interval Noah birth / Shem death",
    "profile interval Shem birth / Noah death",
    "profile interval Shem birth / Shem death",
    "profile interval Noah death / Shem death",
    "950 and600 biographies",
    "five-station source membership",
    "five-station partition",
    "same-boundary odd offset (1, 1)",
    "same-boundary odd offset (1, 2)",
    "same-boundary odd offset (1, 3)",
    "same-boundary odd offset (2, 1)",
    "same-boundary odd offset (2, 2)",
    "same-boundary odd offset (2, 3)",
    "same-boundary odd offset (3, 1)",
    "same-boundary odd offset (3, 2)",
    "same-boundary odd offset (3, 3)",
    "C418 boundary matrix",
    "no17K source join",
    "no existing corner-exchange image",
    "six cumulative2K pairs",
    "integer affine endpoint Noah birth E",
    "integer affine endpoint Noah birth E2",
    "integer affine endpoint Noah birth P",
    "integer affine endpoint Noah birth J",
    "integer affine endpoint Shem birth E",
    "integer affine endpoint Shem birth E2",
    "integer affine endpoint Shem birth P",
    "integer affine endpoint Shem birth J",
    "integer affine endpoint Noah death E",
    "integer affine endpoint Noah death E2",
    "integer affine endpoint Noah death P",
    "integer affine endpoint Noah death J",
    "integer affine endpoint Shem death E",
    "integer affine endpoint Shem death E2",
    "integer affine endpoint Shem death P",
    "integer affine endpoint Shem death J",
    "integer affine endpoint selected Flood boundary E",
    "integer affine endpoint selected Flood boundary E2",
    "integer affine endpoint selected Flood boundary P",
    "integer affine endpoint selected Flood boundary J",
    "only one sourced harmonic endpoint",
    "only repeated3899 pivot pair",
    "unique positive operator counts from7,13,5",
    "translation components",
    "fixed E2 component defects",
    "excerpt byte identity MT_PERSONS",
    "excerpt byte identity PERSON_BASES",
    "excerpt byte identity SP_FIELD",
    "excerpt byte identity FLOOD",
    "excerpt byte identity VARIANTS",
    "excerpt byte identity LXX_REMOVAL",
    "excerpt byte identity SP_LOCALITY",
    "excerpt byte identity DUAL100",
    "excerpt byte identity E_P",
    "excerpt byte identity E_SQUARED",
    "excerpt byte identity J_GAP",
    "excerpt byte identity MIRROR_COMPONENTS"
  ],
  "new_independent_agent_review": false,
  "source_records_reconstructed": 528,
  "coordinate_2K_pairs": 26,
  "paired500_transports": 6,
  "typed_pair_lifts": 10,
  "same_role_2K_profiles": 1,
  "sourced_harmonic_endpoint_trials": 1,
  "complete_same_map_E2_source_paths": 0,
  "C424_executed": false
}