{
  "status": "INDEPENDENT PREPARATION — exact whole-genealogy calculation; no root journal edits or numbered actions",
  "source_bindings": {
    "current_source_packet": {
      "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/model/complete_source_row_packet.json",
      "sha256": "1bd5961126532673e6fda1535befc5e64cf21d67d01a3c5e78d1a613bbb8ab59"
    },
    "root_frozen_question": {
      "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/model/whole_genealogy_extension_question.json",
      "sha256": "826ee1186994592063674adc6bdb4c228acf9a60b905f281e5bdecfbba031b8e"
    },
    "inherited_displacement_target": {
      "path": "/workspace/scratch/1b40da62dcbd/c732_c831/model/tradition_displacement_profiles.json",
      "sha256": "a30d1703e4ddaa7670451a1e32597fde8825da57aace1430526d3a8f688fb4f2"
    },
    "source_File18": {
      "path": "/workspace/scratch/1b40da62dcbd/project_sources/38-File_18.Chronological_Data_Tables-20260919-141048-.md",
      "sha256": "68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
    },
    "script": {
      "path": "/workspace/scratch/1b40da62dcbd/c1132_c1431/prep/whole_genealogy_extension.py",
      "sha256": "0f73cd3c5bda902e671bdadc1dec9c6f76529a138b0cb8278448123aff734f63"
    }
  },
  "question_before_execution": "/workspace/scratch/1b40da62dcbd/c1132_c1431/model/whole_genealogy_extension_question.json",
  "row_order": [
    "Adam",
    "Seth",
    "Enosh",
    "Kenan",
    "Mahalalel",
    "Jared",
    "Enoch",
    "Methuselah",
    "Lamech",
    "Noah",
    "Shem",
    "Arphaxad",
    "Shelah",
    "Eber",
    "Peleg",
    "Reu",
    "Serug",
    "Nahor",
    "Terah"
  ],
  "output_order": [
    [
      "Adam",
      "b"
    ],
    [
      "Adam",
      "L"
    ],
    [
      "Seth",
      "b"
    ],
    [
      "Seth",
      "L"
    ],
    [
      "Enosh",
      "b"
    ],
    [
      "Enosh",
      "L"
    ],
    [
      "Kenan",
      "b"
    ],
    [
      "Kenan",
      "L"
    ],
    [
      "Mahalalel",
      "b"
    ],
    [
      "Mahalalel",
      "L"
    ],
    [
      "Jared",
      "b"
    ],
    [
      "Jared",
      "L"
    ],
    [
      "Enoch",
      "b"
    ],
    [
      "Enoch",
      "L"
    ],
    [
      "Methuselah",
      "b"
    ],
    [
      "Methuselah",
      "L"
    ],
    [
      "Lamech",
      "b"
    ],
    [
      "Lamech",
      "L"
    ],
    [
      "Noah",
      "b"
    ],
    [
      "Noah",
      "L"
    ],
    [
      "Shem",
      "b"
    ],
    [
      "Shem",
      "L"
    ],
    [
      "Arphaxad",
      "b"
    ],
    [
      "Arphaxad",
      "L"
    ],
    [
      "Shelah",
      "b"
    ],
    [
      "Shelah",
      "L"
    ],
    [
      "Eber",
      "b"
    ],
    [
      "Eber",
      "L"
    ],
    [
      "Peleg",
      "b"
    ],
    [
      "Peleg",
      "L"
    ],
    [
      "Reu",
      "b"
    ],
    [
      "Reu",
      "L"
    ],
    [
      "Serug",
      "b"
    ],
    [
      "Serug",
      "L"
    ],
    [
      "Nahor",
      "b"
    ],
    [
      "Nahor",
      "L"
    ],
    [
      "Terah",
      "b"
    ],
    [
      "Terah",
      "L"
    ]
  ],
  "parameter_definition": {
    "five": [
      "u",
      "lambda",
      "a",
      "e",
      "n"
    ],
    "source_five": [
      100,
      -24,
      27,
      40,
      60
    ],
    "four": [
      "u",
      "lambda",
      "a",
      "n"
    ],
    "source_four": [
      100,
      -24,
      27,
      60
    ],
    "restriction": "e+n=u",
    "embedding_five_from_four": [
      [
        1,
        0,
        0,
        0
      ],
      [
        0,
        1,
        0,
        0
      ],
      [
        0,
        0,
        1,
        0
      ],
      [
        1,
        0,
        0,
        -1
      ],
      [
        0,
        0,
        0,
        1
      ]
    ]
  },
  "exact_named_masks": {
    "b_u": [
      "Adam",
      "Seth",
      "Enosh",
      "Kenan",
      "Mahalalel",
      "Enoch",
      "Arphaxad",
      "Shelah",
      "Eber",
      "Peleg",
      "Reu",
      "Serug"
    ],
    "b_u_half": [
      "Nahor"
    ],
    "L_u": [
      "Peleg",
      "Reu",
      "Serug"
    ],
    "L_lambda": [
      "Lamech"
    ],
    "L_a": [
      "Arphaxad",
      "Shelah"
    ],
    "L_e": [
      "Eber"
    ],
    "L_n": [
      "Nahor"
    ]
  },
  "design_matrix_five": [
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      1,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      1,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      1,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0
    ],
    [
      "1/2",
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      1
    ],
    [
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0
    ]
  ],
  "design_matrix_four": [
    [
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      0,
      1,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      1,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      1,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      -1
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      "1/2",
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      1
    ],
    [
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0
    ]
  ],
  "all_source_row_results": [
    {
      "name": "Adam",
      "MT": {
        "b": 130,
        "r": 800,
        "L": 930
      },
      "LXX": {
        "b": 230,
        "r": 700,
        "L": 930
      },
      "delta_b_r_L": [
        100,
        -100,
        0
      ],
      "coeff_b_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        100,
        0
      ],
      "R_S_optional_coordinates": [
        100,
        0
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Seth",
      "MT": {
        "b": 105,
        "r": 807,
        "L": 912
      },
      "LXX": {
        "b": 205,
        "r": 707,
        "L": 912
      },
      "delta_b_r_L": [
        100,
        -100,
        0
      ],
      "coeff_b_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        100,
        0
      ],
      "R_S_optional_coordinates": [
        100,
        0
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Enosh",
      "MT": {
        "b": 90,
        "r": 815,
        "L": 905
      },
      "LXX": {
        "b": 190,
        "r": 715,
        "L": 905
      },
      "delta_b_r_L": [
        100,
        -100,
        0
      ],
      "coeff_b_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        100,
        0
      ],
      "R_S_optional_coordinates": [
        100,
        0
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Kenan",
      "MT": {
        "b": 70,
        "r": 840,
        "L": 910
      },
      "LXX": {
        "b": 170,
        "r": 740,
        "L": 910
      },
      "delta_b_r_L": [
        100,
        -100,
        0
      ],
      "coeff_b_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        100,
        0
      ],
      "R_S_optional_coordinates": [
        100,
        0
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Mahalalel",
      "MT": {
        "b": 65,
        "r": 830,
        "L": 895
      },
      "LXX": {
        "b": 165,
        "r": 730,
        "L": 895
      },
      "delta_b_r_L": [
        100,
        -100,
        0
      ],
      "coeff_b_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        100,
        0
      ],
      "R_S_optional_coordinates": [
        100,
        0
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Jared",
      "MT": {
        "b": 162,
        "r": 800,
        "L": 962
      },
      "LXX": {
        "b": 162,
        "r": 800,
        "L": 962
      },
      "delta_b_r_L": [
        0,
        0,
        0
      ],
      "coeff_b_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        0,
        0
      ],
      "R_S_optional_coordinates": [
        0,
        0
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Enoch",
      "MT": {
        "b": 65,
        "r": 300,
        "L": 365
      },
      "LXX": {
        "b": 165,
        "r": 200,
        "L": 365
      },
      "delta_b_r_L": [
        100,
        -100,
        0
      ],
      "coeff_b_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        100,
        0
      ],
      "R_S_optional_coordinates": [
        100,
        0
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Methuselah",
      "MT": {
        "b": 187,
        "r": 782,
        "L": 969
      },
      "LXX": {
        "b": 187,
        "r": 782,
        "L": 969
      },
      "delta_b_r_L": [
        0,
        0,
        0
      ],
      "coeff_b_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        0,
        0
      ],
      "R_S_optional_coordinates": [
        0,
        0
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Lamech",
      "MT": {
        "b": 182,
        "r": 595,
        "L": 777
      },
      "LXX": {
        "b": 182,
        "r": 571,
        "L": 753
      },
      "delta_b_r_L": [
        0,
        -24,
        -24
      ],
      "coeff_b_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        1,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        0,
        -24
      ],
      "R_S_optional_coordinates": [
        24,
        -24
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Noah",
      "MT": {
        "b": 500,
        "r": 450,
        "L": 950
      },
      "LXX": {
        "b": 500,
        "r": 450,
        "L": 950
      },
      "delta_b_r_L": [
        0,
        0,
        0
      ],
      "coeff_b_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        0,
        0
      ],
      "R_S_optional_coordinates": [
        0,
        0
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Shem",
      "MT": {
        "b": 100,
        "r": 500,
        "L": 600
      },
      "LXX": {
        "b": 100,
        "r": 500,
        "L": 600
      },
      "delta_b_r_L": [
        0,
        0,
        0
      ],
      "coeff_b_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        0,
        0
      ],
      "R_S_optional_coordinates": [
        0,
        0
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Arphaxad",
      "MT": {
        "b": 35,
        "r": 403,
        "L": 438
      },
      "LXX": {
        "b": 135,
        "r": 330,
        "L": 465
      },
      "delta_b_r_L": [
        100,
        -73,
        27
      ],
      "coeff_b_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        1,
        0,
        0
      ],
      "R_A_normal_form": [
        100,
        27
      ],
      "R_S_optional_coordinates": [
        73,
        27
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Shelah",
      "MT": {
        "b": 30,
        "r": 403,
        "L": 433
      },
      "LXX": {
        "b": 130,
        "r": 330,
        "L": 460
      },
      "delta_b_r_L": [
        100,
        -73,
        27
      ],
      "coeff_b_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        1,
        0,
        0
      ],
      "R_A_normal_form": [
        100,
        27
      ],
      "R_S_optional_coordinates": [
        73,
        27
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Eber",
      "MT": {
        "b": 34,
        "r": 430,
        "L": 464
      },
      "LXX": {
        "b": 134,
        "r": 370,
        "L": 504
      },
      "delta_b_r_L": [
        100,
        -60,
        40
      ],
      "coeff_b_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        0,
        1,
        0
      ],
      "R_A_normal_form": [
        100,
        40
      ],
      "R_S_optional_coordinates": [
        60,
        40
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Peleg",
      "MT": {
        "b": 30,
        "r": 209,
        "L": 239
      },
      "LXX": {
        "b": 130,
        "r": 209,
        "L": 339
      },
      "delta_b_r_L": [
        100,
        0,
        100
      ],
      "coeff_b_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        100,
        100
      ],
      "R_S_optional_coordinates": [
        0,
        100
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Reu",
      "MT": {
        "b": 32,
        "r": 207,
        "L": 239
      },
      "LXX": {
        "b": 132,
        "r": 207,
        "L": 339
      },
      "delta_b_r_L": [
        100,
        0,
        100
      ],
      "coeff_b_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        100,
        100
      ],
      "R_S_optional_coordinates": [
        0,
        100
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Serug",
      "MT": {
        "b": 30,
        "r": 200,
        "L": 230
      },
      "LXX": {
        "b": 130,
        "r": 200,
        "L": 330
      },
      "delta_b_r_L": [
        100,
        0,
        100
      ],
      "coeff_b_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        1,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        100,
        100
      ],
      "R_S_optional_coordinates": [
        0,
        100
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Nahor",
      "MT": {
        "b": 29,
        "r": 119,
        "L": 148
      },
      "LXX": {
        "b": 79,
        "r": 129,
        "L": 208
      },
      "delta_b_r_L": [
        50,
        10,
        60
      ],
      "coeff_b_5": [
        "1/2",
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        0,
        0,
        1
      ],
      "R_A_normal_form": [
        50,
        60
      ],
      "R_S_optional_coordinates": [
        -10,
        60
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    },
    {
      "name": "Terah",
      "MT": {
        "b": 70,
        "r": 135,
        "L": 205
      },
      "LXX": {
        "b": 70,
        "r": 135,
        "L": 205
      },
      "delta_b_r_L": [
        0,
        0,
        0
      ],
      "coeff_b_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "coeff_L_5": [
        0,
        0,
        0,
        0,
        0
      ],
      "R_A_normal_form": [
        0,
        0
      ],
      "R_S_optional_coordinates": [
        0,
        0
      ],
      "remainder_status": "derived L_ledger minus b_ledger; not an independently quoted remainder"
    }
  ],
  "projection_ranks": {
    "regular_local": {
      "five": 1,
      "four": 1
    },
    "life_local": {
      "five": 5,
      "four": 4
    },
    "remaining_local": {
      "five": 5,
      "four": 4
    },
    "regular_full": {
      "five": 1,
      "four": 1
    },
    "cumulative_full": {
      "five": 5,
      "four": 4
    },
    "bridge_full": {
      "five": 5,
      "four": 4
    }
  },
  "local_recovery": {
    "five_observations": [
      [
        "Adam",
        "b"
      ],
      [
        "Lamech",
        "L"
      ],
      [
        "Arphaxad",
        "L"
      ],
      [
        "Eber",
        "L"
      ],
      [
        "Nahor",
        "L"
      ]
    ],
    "five_matrix": [
      [
        1,
        0,
        0,
        0,
        0
      ],
      [
        0,
        1,
        0,
        0,
        0
      ],
      [
        0,
        0,
        1,
        0,
        0
      ],
      [
        0,
        0,
        0,
        1,
        0
      ],
      [
        0,
        0,
        0,
        0,
        1
      ]
    ],
    "four_observations": [
      [
        "Adam",
        "b"
      ],
      [
        "Lamech",
        "L"
      ],
      [
        "Arphaxad",
        "L"
      ],
      [
        "Nahor",
        "L"
      ]
    ],
    "four_matrix": [
      [
        1,
        0,
        0,
        0
      ],
      [
        0,
        1,
        0,
        0
      ],
      [
        0,
        0,
        1,
        0
      ],
      [
        0,
        0,
        0,
        1
      ]
    ],
    "life_only_five": [
      "Peleg",
      "Lamech",
      "Arphaxad",
      "Eber",
      "Nahor"
    ],
    "life_only_four": [
      "Peleg",
      "Lamech",
      "Arphaxad",
      "Nahor"
    ],
    "unobserved_five_parameter_from_four_basis": "e"
  },
  "parameter_output_support": {
    "u": {
      "b_local": {
        "Adam": 1,
        "Seth": 1,
        "Enosh": 1,
        "Kenan": 1,
        "Mahalalel": 1,
        "Jared": 0,
        "Enoch": 1,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 1,
        "Shelah": 1,
        "Eber": 1,
        "Peleg": 1,
        "Reu": 1,
        "Serug": 1,
        "Nahor": "1/2",
        "Terah": 0
      },
      "L_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 1,
        "Reu": 1,
        "Serug": 1,
        "Nahor": 0,
        "Terah": 0
      },
      "regular_suffix": {
        "Adam": "25/2",
        "Seth": "23/2",
        "Enosh": "21/2",
        "Kenan": "19/2",
        "Mahalalel": "17/2",
        "Jared": "15/2",
        "Enoch": "15/2",
        "Methuselah": "13/2",
        "Lamech": "13/2",
        "Noah": "13/2",
        "Shem": "13/2",
        "Arphaxad": "13/2",
        "Shelah": "11/2",
        "Eber": "9/2",
        "Peleg": "7/2",
        "Reu": "5/2",
        "Serug": "3/2",
        "Nahor": "1/2",
        "Terah": 0
      },
      "cumulative_suffix": {
        "Adam": 3,
        "Seth": 3,
        "Enosh": 3,
        "Kenan": 3,
        "Mahalalel": 3,
        "Jared": 3,
        "Enoch": 3,
        "Methuselah": 3,
        "Lamech": 3,
        "Noah": 3,
        "Shem": 3,
        "Arphaxad": 3,
        "Shelah": 3,
        "Eber": 3,
        "Peleg": 3,
        "Reu": 2,
        "Serug": 1,
        "Nahor": 0,
        "Terah": 0
      }
    },
    "lambda": {
      "b_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "L_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 1,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "regular_suffix": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "cumulative_suffix": {
        "Adam": 1,
        "Seth": 1,
        "Enosh": 1,
        "Kenan": 1,
        "Mahalalel": 1,
        "Jared": 1,
        "Enoch": 1,
        "Methuselah": 1,
        "Lamech": 1,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      }
    },
    "a": {
      "b_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "L_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 1,
        "Shelah": 1,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "regular_suffix": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "cumulative_suffix": {
        "Adam": 2,
        "Seth": 2,
        "Enosh": 2,
        "Kenan": 2,
        "Mahalalel": 2,
        "Jared": 2,
        "Enoch": 2,
        "Methuselah": 2,
        "Lamech": 2,
        "Noah": 2,
        "Shem": 2,
        "Arphaxad": 2,
        "Shelah": 1,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      }
    },
    "e": {
      "b_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "L_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 1,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "regular_suffix": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "cumulative_suffix": {
        "Adam": 1,
        "Seth": 1,
        "Enosh": 1,
        "Kenan": 1,
        "Mahalalel": 1,
        "Jared": 1,
        "Enoch": 1,
        "Methuselah": 1,
        "Lamech": 1,
        "Noah": 1,
        "Shem": 1,
        "Arphaxad": 1,
        "Shelah": 1,
        "Eber": 1,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      }
    },
    "n": {
      "b_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "L_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 1,
        "Terah": 0
      },
      "regular_suffix": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "cumulative_suffix": {
        "Adam": 1,
        "Seth": 1,
        "Enosh": 1,
        "Kenan": 1,
        "Mahalalel": 1,
        "Jared": 1,
        "Enoch": 1,
        "Methuselah": 1,
        "Lamech": 1,
        "Noah": 1,
        "Shem": 1,
        "Arphaxad": 1,
        "Shelah": 1,
        "Eber": 1,
        "Peleg": 1,
        "Reu": 1,
        "Serug": 1,
        "Nahor": 1,
        "Terah": 0
      }
    }
  },
  "restricted_parameter_output_support": {
    "u": {
      "b_local": {
        "Adam": 1,
        "Seth": 1,
        "Enosh": 1,
        "Kenan": 1,
        "Mahalalel": 1,
        "Jared": 0,
        "Enoch": 1,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 1,
        "Shelah": 1,
        "Eber": 1,
        "Peleg": 1,
        "Reu": 1,
        "Serug": 1,
        "Nahor": "1/2",
        "Terah": 0
      },
      "L_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 1,
        "Peleg": 1,
        "Reu": 1,
        "Serug": 1,
        "Nahor": 0,
        "Terah": 0
      },
      "regular_suffix": {
        "Adam": "25/2",
        "Seth": "23/2",
        "Enosh": "21/2",
        "Kenan": "19/2",
        "Mahalalel": "17/2",
        "Jared": "15/2",
        "Enoch": "15/2",
        "Methuselah": "13/2",
        "Lamech": "13/2",
        "Noah": "13/2",
        "Shem": "13/2",
        "Arphaxad": "13/2",
        "Shelah": "11/2",
        "Eber": "9/2",
        "Peleg": "7/2",
        "Reu": "5/2",
        "Serug": "3/2",
        "Nahor": "1/2",
        "Terah": 0
      },
      "cumulative_suffix": {
        "Adam": 4,
        "Seth": 4,
        "Enosh": 4,
        "Kenan": 4,
        "Mahalalel": 4,
        "Jared": 4,
        "Enoch": 4,
        "Methuselah": 4,
        "Lamech": 4,
        "Noah": 4,
        "Shem": 4,
        "Arphaxad": 4,
        "Shelah": 4,
        "Eber": 4,
        "Peleg": 3,
        "Reu": 2,
        "Serug": 1,
        "Nahor": 0,
        "Terah": 0
      }
    },
    "lambda": {
      "b_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "L_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 1,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "regular_suffix": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "cumulative_suffix": {
        "Adam": 1,
        "Seth": 1,
        "Enosh": 1,
        "Kenan": 1,
        "Mahalalel": 1,
        "Jared": 1,
        "Enoch": 1,
        "Methuselah": 1,
        "Lamech": 1,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      }
    },
    "a": {
      "b_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "L_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 1,
        "Shelah": 1,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "regular_suffix": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "cumulative_suffix": {
        "Adam": 2,
        "Seth": 2,
        "Enosh": 2,
        "Kenan": 2,
        "Mahalalel": 2,
        "Jared": 2,
        "Enoch": 2,
        "Methuselah": 2,
        "Lamech": 2,
        "Noah": 2,
        "Shem": 2,
        "Arphaxad": 2,
        "Shelah": 1,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      }
    },
    "n": {
      "b_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "L_local": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": -1,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 1,
        "Terah": 0
      },
      "regular_suffix": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 0,
        "Reu": 0,
        "Serug": 0,
        "Nahor": 0,
        "Terah": 0
      },
      "cumulative_suffix": {
        "Adam": 0,
        "Seth": 0,
        "Enosh": 0,
        "Kenan": 0,
        "Mahalalel": 0,
        "Jared": 0,
        "Enoch": 0,
        "Methuselah": 0,
        "Lamech": 0,
        "Noah": 0,
        "Shem": 0,
        "Arphaxad": 0,
        "Shelah": 0,
        "Eber": 0,
        "Peleg": 1,
        "Reu": 1,
        "Serug": 1,
        "Nahor": 1,
        "Terah": 0
      }
    }
  },
  "whole_totals": {
    "five_coefficients": [
      [
        "25/2",
        0,
        0,
        0,
        0
      ],
      [
        3,
        1,
        2,
        1,
        1
      ]
    ],
    "four_coefficients": [
      [
        "25/2",
        0,
        0,
        0
      ],
      [
        4,
        1,
        2,
        0
      ]
    ],
    "leveled_values": [
      1250,
      430
    ],
    "native_values": [
      1380,
      890
    ],
    "joint_total_rank": 2,
    "unseen_dimensions": {
      "five": 3,
      "four": 2
    }
  },
  "complete_boundary_field": {
    "names": [
      "Adam",
      "Seth",
      "Enosh",
      "Kenan",
      "Mahalalel",
      "Jared",
      "Enoch",
      "Methuselah",
      "Lamech",
      "Noah",
      "Shem",
      "Arphaxad",
      "Shelah",
      "Eber",
      "Peleg",
      "Reu",
      "Serug",
      "Nahor",
      "Terah",
      "Abraham"
    ],
    "leveled_R": [
      1250,
      1150,
      1050,
      950,
      850,
      750,
      750,
      650,
      650,
      650,
      650,
      650,
      550,
      450,
      350,
      250,
      150,
      50,
      0,
      0
    ],
    "leveled_C": [
      430,
      430,
      430,
      430,
      430,
      430,
      430,
      430,
      430,
      454,
      454,
      454,
      427,
      400,
      360,
      260,
      160,
      60,
      0,
      0
    ],
    "native_R": [
      1380,
      1280,
      1180,
      1080,
      980,
      880,
      880,
      780,
      780,
      780,
      780,
      780,
      550,
      450,
      350,
      250,
      150,
      50,
      0,
      0
    ],
    "native_C": [
      890,
      890,
      890,
      890,
      890,
      890,
      890,
      890,
      890,
      914,
      914,
      914,
      427,
      400,
      360,
      260,
      160,
      60,
      0,
      0
    ],
    "native_gap": [
      -490,
      -390,
      -290,
      -190,
      -90,
      10,
      10,
      110,
      110,
      134,
      134,
      134,
      -123,
      -50,
      10,
      10,
      10,
      10,
      0,
      0
    ]
  },
  "Cainan": {
    "status": "native LXX source row, separately inserted relative to the shared-node comparison; no MT/SP zero-life surrogate",
    "position": [
      "Arphaxad",
      "Cainan2",
      "Shelah"
    ],
    "source_triple": [
      130,
      330,
      460
    ],
    "shared_upstream_mask": [
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    "Delta_R": 130,
    "Delta_C": 460,
    "remaining_difference": 330,
    "authority": "File18 §1.6 and native §4.2; theoretical removal is a declared comparison, not the native baseline",
    "parameter_limit": "The fixed source payload adds no variable rank here, but its values, name, slot and admission remain input costs. Equality to the supplied LXX Shelah row is not a universal identity under all free parameter changes."
  },
  "restriction_interpretation": {
    "linear_condition_on_outputs": "Delta L(Eber)+Delta L(Nahor)-Delta b(Adam)=0",
    "equivalent_remaining_condition": "Delta r(Eber)+Delta L(Nahor)=0",
    "five_model_condition_rank": 1,
    "four_model_consequence": "The n column is -1 at Eber life and +1 at Nahor life, producing a cumulative +1 plateau only at Peleg,Reu,Serug,Nahor.",
    "head_consequence": "n cancels from the four-parameter cumulative head; its value remains visible internally."
  },
  "negative_controls": {
    "break_four_only": {
      "theta_delta": [
        0,
        0,
        0,
        1,
        0
      ],
      "source_status": "unadmitted algebraic diagnostic",
      "local_changed_output": "Eber lifespan and calculated remainder +1",
      "restriction_residual": 1,
      "cumulative_boundary_support": [
        "Adam",
        "Seth",
        "Enosh",
        "Kenan",
        "Mahalalel",
        "Jared",
        "Enoch",
        "Methuselah",
        "Lamech",
        "Noah",
        "Shem",
        "Arphaxad",
        "Shelah",
        "Eber"
      ]
    },
    "preserve_restriction_and_heads": {
      "theta_delta": [
        0,
        0,
        0,
        -1,
        1
      ],
      "source_status": "unadmitted algebraic diagnostic",
      "regular_changes": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cumulative_changes": [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        1,
        0
      ],
      "proof_burden": "Same complete regular field and both heads do not identify n; internal cumulative boundaries do."
    }
  },
  "domain_and_source_limits": [
    "Ranks are over Q on the declared fixed-support affine family. Integer row values require u even and lambda,a,e,n integer; actual source u=100 satisfies this.",
    "Nonnegative row components further restrict formal parameters; source permission is an additional constraint, not implied by integrality or nonnegativity.",
    "Calculated remainders carry no independent source rank. Noah’s equal +2 binding cancels in this MT/LXX difference, while retained count tags remain part of the input.",
    "The four-parameter relation e+n=u is source-fitted and additional to biography compatibility; it is not forced by the shared masks alone.",
    "No historical direction, unseen holdout, probability, unique smallest grammar or universal affine chronology is claimed. No SP inclusive row is placed into this ordinary MT/LXX model."
  ],
  "prior_overlap_audit": [
    {
      "prior": "C733–C748",
      "already_proved": "U suffix accumulation, exact local recovery and complete MT/LXX/SP mode/displacement fields.",
      "extension": "Reuse these maps; compare which named parameter columns survive each projection."
    },
    {
      "prior": "C739–C740",
      "already_proved": "Full received MT/LXX difference support, including the collapsed Arphaxad/Cainan split.",
      "extension": "Rank-five/four model comparison is compression of explored inputs, not a new source discovery."
    },
    {
      "prior": "C1152–C1159",
      "already_proved": "R/A normal form, post-Flood three-amplitude dictionary and source-support cost.",
      "extension": "The earlier u,t,a dictionary already imposed Eber e=u-t and Nahor n=t. The five-parameter comparison makes e+n=u visible as one additional fitted relation."
    },
    {
      "prior": "C1168–C1172",
      "already_proved": "Native Cainan, baseline-value costs and the failure of rank alone as an explanation score.",
      "extension": "Carry these source costs and fixed insertion labels into the complete pre/post-Flood model."
    },
    {
      "prior": "C1177–C1181",
      "already_proved": "Full58-row source packet, six lifespan-preserving pre-Flood century changes, post-Flood remainder preservation, and the frozen whole-genealogy question.",
      "extension": "Execute the complete19-shared-row five-versus-four comparison and identify the restriction’s finite internal-boundary support."
    }
  ],
  "check_count": 122,
  "checks": [
    {
      "check": "five model rank",
      "pass": true,
      "actual": 5,
      "expected": 5
    },
    {
      "check": "four model rank",
      "pass": true,
      "actual": 4,
      "expected": 4
    },
    {
      "check": "restriction embedding rank",
      "pass": true,
      "actual": 4,
      "expected": 4
    },
    {
      "check": "restriction equation annihilates embedding",
      "pass": true,
      "actual": [
        [
          0,
          0,
          0,
          0
        ]
      ],
      "expected": [
        [
          0,
          0,
          0,
          0
        ]
      ]
    },
    {
      "check": "source restriction",
      "pass": true,
      "actual": 0,
      "expected": 0
    },
    {
      "check": "source parameter embedding",
      "pass": true,
      "actual": [
        100,
        -24,
        27,
        40,
        60
      ],
      "expected": [
        100,
        -24,
        27,
        40,
        60
      ]
    },
    {
      "check": "five source row Adam",
      "pass": true,
      "actual": [
        100,
        0
      ],
      "expected": [
        100,
        0
      ]
    },
    {
      "check": "four source row Adam",
      "pass": true,
      "actual": [
        100,
        0
      ],
      "expected": [
        100,
        0
      ]
    },
    {
      "check": "remaining identity Adam",
      "pass": true,
      "actual": -100,
      "expected": -100
    },
    {
      "check": "binding unchanged Adam",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Seth",
      "pass": true,
      "actual": [
        100,
        0
      ],
      "expected": [
        100,
        0
      ]
    },
    {
      "check": "four source row Seth",
      "pass": true,
      "actual": [
        100,
        0
      ],
      "expected": [
        100,
        0
      ]
    },
    {
      "check": "remaining identity Seth",
      "pass": true,
      "actual": -100,
      "expected": -100
    },
    {
      "check": "binding unchanged Seth",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Enosh",
      "pass": true,
      "actual": [
        100,
        0
      ],
      "expected": [
        100,
        0
      ]
    },
    {
      "check": "four source row Enosh",
      "pass": true,
      "actual": [
        100,
        0
      ],
      "expected": [
        100,
        0
      ]
    },
    {
      "check": "remaining identity Enosh",
      "pass": true,
      "actual": -100,
      "expected": -100
    },
    {
      "check": "binding unchanged Enosh",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Kenan",
      "pass": true,
      "actual": [
        100,
        0
      ],
      "expected": [
        100,
        0
      ]
    },
    {
      "check": "four source row Kenan",
      "pass": true,
      "actual": [
        100,
        0
      ],
      "expected": [
        100,
        0
      ]
    },
    {
      "check": "remaining identity Kenan",
      "pass": true,
      "actual": -100,
      "expected": -100
    },
    {
      "check": "binding unchanged Kenan",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Mahalalel",
      "pass": true,
      "actual": [
        100,
        0
      ],
      "expected": [
        100,
        0
      ]
    },
    {
      "check": "four source row Mahalalel",
      "pass": true,
      "actual": [
        100,
        0
      ],
      "expected": [
        100,
        0
      ]
    },
    {
      "check": "remaining identity Mahalalel",
      "pass": true,
      "actual": -100,
      "expected": -100
    },
    {
      "check": "binding unchanged Mahalalel",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Jared",
      "pass": true,
      "actual": [
        0,
        0
      ],
      "expected": [
        0,
        0
      ]
    },
    {
      "check": "four source row Jared",
      "pass": true,
      "actual": [
        0,
        0
      ],
      "expected": [
        0,
        0
      ]
    },
    {
      "check": "remaining identity Jared",
      "pass": true,
      "actual": 0,
      "expected": 0
    },
    {
      "check": "binding unchanged Jared",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Enoch",
      "pass": true,
      "actual": [
        100,
        0
      ],
      "expected": [
        100,
        0
      ]
    },
    {
      "check": "four source row Enoch",
      "pass": true,
      "actual": [
        100,
        0
      ],
      "expected": [
        100,
        0
      ]
    },
    {
      "check": "remaining identity Enoch",
      "pass": true,
      "actual": -100,
      "expected": -100
    },
    {
      "check": "binding unchanged Enoch",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Methuselah",
      "pass": true,
      "actual": [
        0,
        0
      ],
      "expected": [
        0,
        0
      ]
    },
    {
      "check": "four source row Methuselah",
      "pass": true,
      "actual": [
        0,
        0
      ],
      "expected": [
        0,
        0
      ]
    },
    {
      "check": "remaining identity Methuselah",
      "pass": true,
      "actual": 0,
      "expected": 0
    },
    {
      "check": "binding unchanged Methuselah",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Lamech",
      "pass": true,
      "actual": [
        0,
        -24
      ],
      "expected": [
        0,
        -24
      ]
    },
    {
      "check": "four source row Lamech",
      "pass": true,
      "actual": [
        0,
        -24
      ],
      "expected": [
        0,
        -24
      ]
    },
    {
      "check": "remaining identity Lamech",
      "pass": true,
      "actual": -24,
      "expected": -24
    },
    {
      "check": "binding unchanged Lamech",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Noah",
      "pass": true,
      "actual": [
        0,
        0
      ],
      "expected": [
        0,
        0
      ]
    },
    {
      "check": "four source row Noah",
      "pass": true,
      "actual": [
        0,
        0
      ],
      "expected": [
        0,
        0
      ]
    },
    {
      "check": "remaining identity Noah",
      "pass": true,
      "actual": 0,
      "expected": 0
    },
    {
      "check": "binding unchanged Noah",
      "pass": true,
      "actual": "Arphaxad-bound; source births differ by 502 despite b ledger 500. Boundary term +2.",
      "expected": "Arphaxad-bound; source births differ by 502 despite b ledger 500. Boundary term +2."
    },
    {
      "check": "five source row Shem",
      "pass": true,
      "actual": [
        0,
        0
      ],
      "expected": [
        0,
        0
      ]
    },
    {
      "check": "four source row Shem",
      "pass": true,
      "actual": [
        0,
        0
      ],
      "expected": [
        0,
        0
      ]
    },
    {
      "check": "remaining identity Shem",
      "pass": true,
      "actual": 0,
      "expected": 0
    },
    {
      "check": "binding unchanged Shem",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Arphaxad",
      "pass": true,
      "actual": [
        100,
        27
      ],
      "expected": [
        100,
        27
      ]
    },
    {
      "check": "four source row Arphaxad",
      "pass": true,
      "actual": [
        100,
        27
      ],
      "expected": [
        100,
        27
      ]
    },
    {
      "check": "remaining identity Arphaxad",
      "pass": true,
      "actual": -73,
      "expected": -73
    },
    {
      "check": "binding unchanged Arphaxad",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Shelah",
      "pass": true,
      "actual": [
        100,
        27
      ],
      "expected": [
        100,
        27
      ]
    },
    {
      "check": "four source row Shelah",
      "pass": true,
      "actual": [
        100,
        27
      ],
      "expected": [
        100,
        27
      ]
    },
    {
      "check": "remaining identity Shelah",
      "pass": true,
      "actual": -73,
      "expected": -73
    },
    {
      "check": "binding unchanged Shelah",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Eber",
      "pass": true,
      "actual": [
        100,
        40
      ],
      "expected": [
        100,
        40
      ]
    },
    {
      "check": "four source row Eber",
      "pass": true,
      "actual": [
        100,
        40
      ],
      "expected": [
        100,
        40
      ]
    },
    {
      "check": "remaining identity Eber",
      "pass": true,
      "actual": -60,
      "expected": -60
    },
    {
      "check": "binding unchanged Eber",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Peleg",
      "pass": true,
      "actual": [
        100,
        100
      ],
      "expected": [
        100,
        100
      ]
    },
    {
      "check": "four source row Peleg",
      "pass": true,
      "actual": [
        100,
        100
      ],
      "expected": [
        100,
        100
      ]
    },
    {
      "check": "remaining identity Peleg",
      "pass": true,
      "actual": 0,
      "expected": 0
    },
    {
      "check": "binding unchanged Peleg",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Reu",
      "pass": true,
      "actual": [
        100,
        100
      ],
      "expected": [
        100,
        100
      ]
    },
    {
      "check": "four source row Reu",
      "pass": true,
      "actual": [
        100,
        100
      ],
      "expected": [
        100,
        100
      ]
    },
    {
      "check": "remaining identity Reu",
      "pass": true,
      "actual": 0,
      "expected": 0
    },
    {
      "check": "binding unchanged Reu",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Serug",
      "pass": true,
      "actual": [
        100,
        100
      ],
      "expected": [
        100,
        100
      ]
    },
    {
      "check": "four source row Serug",
      "pass": true,
      "actual": [
        100,
        100
      ],
      "expected": [
        100,
        100
      ]
    },
    {
      "check": "remaining identity Serug",
      "pass": true,
      "actual": 0,
      "expected": 0
    },
    {
      "check": "binding unchanged Serug",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Nahor",
      "pass": true,
      "actual": [
        50,
        60
      ],
      "expected": [
        50,
        60
      ]
    },
    {
      "check": "four source row Nahor",
      "pass": true,
      "actual": [
        50,
        60
      ],
      "expected": [
        50,
        60
      ]
    },
    {
      "check": "remaining identity Nahor",
      "pass": true,
      "actual": 10,
      "expected": 10
    },
    {
      "check": "binding unchanged Nahor",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "five source row Terah",
      "pass": true,
      "actual": [
        0,
        0
      ],
      "expected": [
        0,
        0
      ]
    },
    {
      "check": "four source row Terah",
      "pass": true,
      "actual": [
        0,
        0
      ],
      "expected": [
        0,
        0
      ]
    },
    {
      "check": "remaining identity Terah",
      "pass": true,
      "actual": 0,
      "expected": 0
    },
    {
      "check": "binding unchanged Terah",
      "pass": true,
      "actual": null,
      "expected": null
    },
    {
      "check": "projection rank regular_local",
      "pass": true,
      "actual": [
        1,
        1
      ],
      "expected": [
        1,
        1
      ]
    },
    {
      "check": "projection rank life_local",
      "pass": true,
      "actual": [
        5,
        4
      ],
      "expected": [
        5,
        4
      ]
    },
    {
      "check": "projection rank remaining_local",
      "pass": true,
      "actual": [
        5,
        4
      ],
      "expected": [
        5,
        4
      ]
    },
    {
      "check": "projection rank regular_full",
      "pass": true,
      "actual": [
        1,
        1
      ],
      "expected": [
        1,
        1
      ]
    },
    {
      "check": "projection rank cumulative_full",
      "pass": true,
      "actual": [
        5,
        4
      ],
      "expected": [
        5,
        4
      ]
    },
    {
      "check": "projection rank bridge_full",
      "pass": true,
      "actual": [
        5,
        4
      ],
      "expected": [
        5,
        4
      ]
    },
    {
      "check": "triple observation ranks",
      "pass": true,
      "actual": [
        5,
        4
      ],
      "expected": [
        5,
        4
      ]
    },
    {
      "check": "five local observation determinant",
      "pass": true,
      "actual": 1,
      "expected": 1
    },
    {
      "check": "four local observation determinant",
      "pass": true,
      "actual": 1,
      "expected": 1
    },
    {
      "check": "five source recovery",
      "pass": true,
      "actual": [
        100,
        -24,
        27,
        40,
        60
      ],
      "expected": [
        100,
        -24,
        27,
        40,
        60
      ]
    },
    {
      "check": "four source recovery",
      "pass": true,
      "actual": [
        100,
        -24,
        27,
        60
      ],
      "expected": [
        100,
        -24,
        27,
        60
      ]
    },
    {
      "check": "four observations leave e unobserved in five model",
      "pass": true,
      "actual": 4,
      "expected": 4
    },
    {
      "check": "five basis deletion ('Adam', 'b')",
      "pass": true,
      "actual": 4,
      "expected": 4
    },
    {
      "check": "five basis deletion ('Lamech', 'L')",
      "pass": true,
      "actual": 4,
      "expected": 4
    },
    {
      "check": "five basis deletion ('Arphaxad', 'L')",
      "pass": true,
      "actual": 4,
      "expected": 4
    },
    {
      "check": "five basis deletion ('Eber', 'L')",
      "pass": true,
      "actual": 4,
      "expected": 4
    },
    {
      "check": "five basis deletion ('Nahor', 'L')",
      "pass": true,
      "actual": 4,
      "expected": 4
    },
    {
      "check": "four basis deletion ('Adam', 'b')",
      "pass": true,
      "actual": 3,
      "expected": 3
    },
    {
      "check": "four basis deletion ('Lamech', 'L')",
      "pass": true,
      "actual": 3,
      "expected": 3
    },
    {
      "check": "four basis deletion ('Arphaxad', 'L')",
      "pass": true,
      "actual": 3,
      "expected": 3
    },
    {
      "check": "four basis deletion ('Nahor', 'L')",
      "pass": true,
      "actual": 3,
      "expected": 3
    },
    {
      "check": "five life-only determinant",
      "pass": true,
      "actual": 1,
      "expected": 1
    },
    {
      "check": "four life-only determinant",
      "pass": true,
      "actual": 1,
      "expected": 1
    },
    {
      "check": "five total coefficients",
      "pass": true,
      "actual": [
        [
          "25/2",
          0,
          0,
          0,
          0
        ],
        [
          3,
          1,
          2,
          1,
          1
        ]
      ],
      "expected": [
        [
          "25/2",
          0,
          0,
          0,
          0
        ],
        [
          3,
          1,
          2,
          1,
          1
        ]
      ]
    },
    {
      "check": "four total coefficients",
      "pass": true,
      "actual": [
        [
          "25/2",
          0,
          0,
          0
        ],
        [
          4,
          1,
          2,
          0
        ]
      ],
      "expected": [
        [
          "25/2",
          0,
          0,
          0
        ],
        [
          4,
          1,
          2,
          0
        ]
      ]
    },
    {
      "check": "two-total ranks",
      "pass": true,
      "actual": [
        2,
        2
      ],
      "expected": [
        2,
        2
      ]
    },
    {
      "check": "leveled heads",
      "pass": true,
      "actual": [
        1250,
        430
      ],
      "expected": [
        1250,
        430
      ]
    },
    {
      "check": "native Cainan source triple",
      "pass": true,
      "actual": [
        130,
        330,
        460
      ],
      "expected": [
        130,
        330,
        460
      ]
    },
    {
      "check": "native complete regular field",
      "pass": true,
      "actual": [
        1380,
        1280,
        1180,
        1080,
        980,
        880,
        880,
        780,
        780,
        780,
        780,
        780,
        550,
        450,
        350,
        250,
        150,
        50,
        0,
        0
      ],
      "expected": [
        1380,
        1280,
        1180,
        1080,
        980,
        880,
        880,
        780,
        780,
        780,
        780,
        780,
        550,
        450,
        350,
        250,
        150,
        50,
        0,
        0
      ]
    },
    {
      "check": "native complete cumulative field",
      "pass": true,
      "actual": [
        890,
        890,
        890,
        890,
        890,
        890,
        890,
        890,
        890,
        914,
        914,
        914,
        427,
        400,
        360,
        260,
        160,
        60,
        0,
        0
      ],
      "expected": [
        890,
        890,
        890,
        890,
        890,
        890,
        890,
        890,
        890,
        914,
        914,
        914,
        427,
        400,
        360,
        260,
        160,
        60,
        0,
        0
      ]
    },
    {
      "check": "native complete bridge field",
      "pass": true,
      "actual": [
        -490,
        -390,
        -290,
        -190,
        -90,
        10,
        10,
        110,
        110,
        134,
        134,
        134,
        -123,
        -50,
        10,
        10,
        10,
        10,
        0,
        0
      ],
      "expected": [
        -490,
        -390,
        -290,
        -190,
        -90,
        10,
        10,
        110,
        110,
        134,
        134,
        134,
        -123,
        -50,
        10,
        10,
        10,
        10,
        0,
        0
      ]
    },
    {
      "check": "free e control breaks restriction",
      "pass": true,
      "actual": 1,
      "expected": 1
    },
    {
      "check": "coupled e/n control preserves restriction",
      "pass": true,
      "actual": 0,
      "expected": 0
    },
    {
      "check": "coupled control preserves both totals",
      "pass": true,
      "actual": [
        0,
        0
      ],
      "expected": [
        0,
        0
      ]
    },
    {
      "check": "coupled control cumulative support",
      "pass": true,
      "actual": [
        "Peleg",
        "Reu",
        "Serug",
        "Nahor"
      ],
      "expected": [
        "Peleg",
        "Reu",
        "Serug",
        "Nahor"
      ]
    },
    {
      "check": "coupled control cumulative values",
      "pass": true,
      "actual": [
        1,
        1,
        1,
        1
      ],
      "expected": [
        1,
        1,
        1,
        1
      ]
    },
    {
      "check": "free e control local support",
      "pass": true,
      "actual": [
        [
          "Eber",
          "L"
        ]
      ],
      "expected": [
        [
          "Eber",
          "L"
        ]
      ]
    },
    {
      "check": "unchanged full rows",
      "pass": true,
      "actual": [
        "Jared",
        "Methuselah",
        "Noah",
        "Shem",
        "Terah"
      ],
      "expected": [
        "Jared",
        "Methuselah",
        "Noah",
        "Shem",
        "Terah"
      ]
    },
    {
      "check": "changed b count",
      "pass": true,
      "actual": 13,
      "expected": 13
    },
    {
      "check": "changed L count",
      "pass": true,
      "actual": 8,
      "expected": 8
    }
  ]
}