{
"check_count": 578,
"checks": [
"frozen input C10_REPORT.md",
"frozen input C10_RESULTS.json",
"frozen input C122_CERTIFICATE.json",
"frozen input C127_CERTIFICATE.json",
"frozen input C127_GRAPH.json",
"frozen input C129_CERTIFICATE.json",
"frozen input C129_CHECKPOINT.md",
"frozen input C129_REPORT.md",
"frozen input C12_BASIS_CERTIFICATE.json",
"frozen input FILE_09.md",
"frozen input FILE_18.md",
"controlling source field",
"retained records and graph",
"separate fixed opening source member",
"graph equation P6_3",
"graph equation P6_7",
"graph equation P6_10",
"graph equation P6_17ref",
"graph equation P6_20",
"graph equation P6_10right",
"graph equation P6_17",
"graph equation N04_3",
"graph equation N04_7",
"graph equation N04_10",
"graph equation N04_17ref",
"graph equation N04_20",
"graph equation N04_10right",
"graph equation N04_17",
"graph equation N04_2cum",
"graph equation N04_460",
"graph equation N04_598cum",
"graph equation N04_2conq",
"graph equation N04_2reg",
"graph equation N04_2BC",
"graph equation N04_5",
"graph equation N04_5left",
"graph equation N04_11",
"graph equation N04_13",
"graph equation N04_868",
"graph equation N04_190",
"graph equation N04_1248",
"graph equation N04_17opposite",
"graph equation N04_8395",
"graph equation N04_598reg",
"graph equation N04_299a",
"graph equation N04_299b",
"graph equation N04_650",
"graph equation N04_7475",
"graph equation N04_8125",
"graph equation N03_3",
"graph equation N03_7",
"graph equation N03_10",
"graph equation N03_17ref",
"graph equation N03_20",
"graph equation N03_10right",
"graph equation N03_17",
"graph equation N03_2cum",
"graph equation N03_460",
"graph equation N03_598cum",
"graph equation N03_2conq",
"graph equation N03_2reg",
"graph equation N03_2BC",
"graph equation N03_5",
"graph equation N03_5left",
"graph equation N03_11",
"graph equation N03_13",
"graph equation N03_868",
"graph equation N03_190",
"graph equation N03_1248",
"graph equation N03_17opposite",
"graph equation N03_8395",
"graph equation N03_598reg",
"graph equation N02_3",
"graph equation N02_7",
"graph equation N02_10",
"graph equation N02_17ref",
"graph equation N02_20",
"graph equation N02_10right",
"graph equation N02_17",
"graph equation N02_2cum",
"graph equation N02_460",
"graph equation N02_598cum",
"graph equation N02_2conq",
"graph equation N02_2reg",
"graph equation N02_2BC",
"graph equation N02_5",
"graph equation N02_5left",
"graph equation N02_11",
"graph equation N02_13",
"graph equation N02_868",
"graph equation N02_190",
"graph equation N02_1248",
"graph equation N02_17opposite",
"graph equation N02_8395",
"graph equation N02_598reg",
"graph equation N02_299a",
"graph equation N02_299b",
"graph equation N02_650",
"graph equation N02_7475",
"graph equation N02_8125",
"graph equation N01_3",
"graph equation N01_7",
"graph equation N01_10",
"graph equation N01_17ref",
"graph equation N01_20",
"graph equation N01_10right",
"graph equation N01_17",
"graph equation N01_2cum",
"graph equation N01_460",
"graph equation N01_598cum",
"graph equation N01_2conq",
"graph equation N01_2reg",
"graph equation N01_2BC",
"graph equation N01_5",
"graph equation N01_5left",
"graph equation N01_11",
"graph equation N01_13",
"graph equation N01_868",
"graph equation N01_190",
"graph equation N01_1248",
"graph equation N01_17opposite",
"graph equation N01_8395",
"graph equation N01_598reg",
"graph equation N01_2head",
"graph equation N01_12",
"graph equation N01_22",
"graph equation N01_5head",
"graph equation N01_7head",
"graph equation native11_5",
"graph equation native11_6",
"graph equation native11_7",
"graph equation opening_13",
"graph equation opening_self20",
"graph equation P6_opening_member_offset",
"graph equation N04_opening_member_offset",
"graph equation N03_opening_member_offset",
"graph equation N02_opening_member_offset",
"graph equation N01_opening_member_offset",
"graph equation N01_extension_19",
"graph equation N01_extension_17overlap",
"graph equation N01_extension_15",
"graph equation N01_extension_19ref",
"graph equation N01_extension_17overlap_ref",
"graph equation N01_extension_15ref",
"graph equation N01_extension_12right",
"graph equation N01_extension_22right",
"graph equation N01_extension_2right",
"graph equation N01_extension_24",
"graph equation N02_extension_19",
"graph equation N02_extension_17overlap",
"graph equation N02_extension_15",
"graph equation N02_extension_19ref",
"graph equation N02_extension_17overlap_ref",
"graph equation N02_extension_15ref",
"graph equation N02_extension_12right",
"graph equation N02_extension_22right",
"graph equation N02_extension_2right",
"graph equation N03_extension_19",
"graph equation N03_extension_17overlap",
"graph equation N03_extension_15",
"graph equation N03_extension_19ref",
"graph equation N03_extension_17overlap_ref",
"graph equation N03_extension_15ref",
"graph equation N03_extension_12right",
"graph equation N03_extension_22right",
"graph equation N03_extension_2right",
"graph equation N04_extension_19",
"graph equation N04_extension_17overlap",
"graph equation N04_extension_15",
"graph equation N04_extension_19ref",
"graph equation N04_extension_17overlap_ref",
"graph equation N04_extension_15ref",
"graph equation N04_extension_12right",
"graph equation N04_extension_22right",
"graph equation N04_extension_2right",
"graph equation N02_grid_11_575",
"graph equation N02_grid_11_625",
"graph equation N02_grid_12_529",
"graph equation N02_grid_12_575",
"graph equation N02_grid_12_625",
"graph equation N04_grid_11_575",
"graph equation N04_grid_11_625",
"graph equation Joseph_source_1904",
"graph equation Joseph_source_1906",
"graph equation Joseph_source_1908",
"graph equation Rcopy_Joseph_source_1904",
"graph equation Rcopy_Joseph_source_1906",
"graph equation Rcopy_Joseph_source_1908",
"graph equation Rcopy_N02_11",
"graph equation Rcopy_N02_13",
"graph equation Rcopy_N02_7475",
"graph equation Rcopy_N02_8125",
"graph equation Rcopy_N02_grid_11_575",
"graph equation Rcopy_N02_grid_11_625",
"graph equation Rcopy_N02_grid_12_529",
"graph equation Rcopy_N02_grid_12_575",
"graph equation Rcopy_N02_grid_12_625",
"graph equation Rcopy_N04_11",
"graph equation Rcopy_N04_13",
"graph equation Rcopy_N04_7475",
"graph equation Rcopy_N04_8125",
"graph equation Rcopy_N04_grid_11_575",
"graph equation Rcopy_N04_grid_11_625",
"graph equation Gear12_Flood",
"graph equation R_Gear12_Flood",
"graph equation Gear12_Noah",
"graph equation R_Gear12_Noah",
"graph equation bio_Abram_IsaacB",
"graph equation bio_IsaacB_IsaacD",
"graph equation bio_IsaacB_Jacob",
"graph equation bio_TerahFirst_Abram",
"graph equation bio_PelegB_PelegD",
"graph equation bio_Abram_PelegD",
"graph equation bio_PelegD_NahorD",
"graph equation bio_Jacob_Entry",
"graph equation bio_FamineOpen_Entry",
"graph equation bio_Entry_FamineClose",
"graph equation bio_Entry_Exodus",
"graph equation bio_MosesB_Exodus",
"graph equation bio_MosesB_Moses40",
"graph equation bio_Exodus_MosesD",
"graph equation bio_AaronB_MosesB",
"graph equation local_registration_8K",
"graph equation translate_Abram",
"graph equation translate_IsaacB",
"graph equation translate_IsaacD",
"graph equation translate_Jacob",
"graph equation translate_TerahFirst",
"graph equation translate_PelegB",
"graph equation translate_PelegD",
"graph equation translate_NahorD",
"graph equation translate_Entry",
"graph equation translate_FamineOpen",
"graph equation translate_FamineClose",
"graph equation translate_MosesB",
"graph equation translate_Moses40",
"graph equation translate_Exodus",
"graph equation translate_MosesD",
"graph equation translate_AaronB",
"graph equation fulcrum_8K",
"graph equation central_year",
"graph equation template_A01",
"graph equation template_A12",
"graph equation template_M01",
"graph equation template_M12",
"graph equation template_pair_gap_0",
"graph equation template_pair_gap_1",
"graph equation template_pair_gap_2",
"graph equation outer_fulcrum0",
"graph equation outer_fulcrum2",
"graph equation outer_AbramIsaac0",
"graph equation outer_AbramIsaac2",
"graph equation outer_IsaacAbram0",
"graph equation outer_IsaacAbram1",
"graph equation outer_IsaacAbram2",
"graph equation outer_Peleg0",
"graph equation outer_Peleg1",
"graph equation outer_Peleg2",
"graph equation outer_Nahor0",
"graph equation outer_Nahor1",
"graph equation outer_Nahor2",
"graph equation Isaac_360",
"graph equation Isaac_180",
"graph equation Isaac_720",
"graph equation translated_Peleg_life",
"graph equation famine_3",
"graph equation famine_4",
"graph equation Entry_residual",
"graph equation Joseph_1875_8K",
"graph equation Joseph_1874_8K_minus1",
"graph equation PelegD_left",
"graph equation PelegD_right",
"graph equation NahorD_left",
"graph equation NahorD_right",
"graph equation R_bio_Abram_IsaacB",
"graph equation R_bio_IsaacB_IsaacD",
"graph equation R_bio_IsaacB_Jacob",
"graph equation R_bio_TerahFirst_Abram",
"graph equation R_bio_PelegB_PelegD",
"graph equation R_bio_Abram_PelegD",
"graph equation R_bio_PelegD_NahorD",
"graph equation R_bio_Jacob_Entry",
"graph equation R_bio_FamineOpen_Entry",
"graph equation R_bio_Entry_FamineClose",
"graph equation R_bio_Entry_Exodus",
"graph equation R_bio_MosesB_Exodus",
"graph equation R_bio_MosesB_Moses40",
"graph equation R_bio_Exodus_MosesD",
"graph equation R_bio_AaronB_MosesB",
"graph equation R_translate_Abram",
"graph equation R_translate_IsaacB",
"graph equation R_translate_IsaacD",
"graph equation R_translate_Jacob",
"graph equation R_translate_TerahFirst",
"graph equation R_translate_PelegD",
"graph equation R_translate_NahorD",
"graph equation R_translate_Entry",
"graph equation R_translate_FamineOpen",
"graph equation R_translate_FamineClose",
"graph equation R_translate_MosesB",
"graph equation R_translate_Moses40",
"graph equation R_translate_Exodus",
"graph equation R_translate_MosesD",
"graph equation R_translate_AaronB",
"graph equation R_central_year",
"graph equation R_template_A01",
"graph equation R_template_A12",
"graph equation R_template_M01",
"graph equation R_template_M12",
"graph equation R_template_pair_gap_0",
"graph equation R_template_pair_gap_1",
"graph equation R_template_pair_gap_2",
"graph equation R_Isaac_360",
"graph equation R_Isaac_180",
"graph equation R_Isaac_720",
"graph equation R_translated_Peleg_life",
"graph equation R_famine_3",
"graph equation R_famine_4",
"graph equation R_Entry_residual",
"graph equation R_Joseph_1874_8K_minus1",
"graph equation R_PelegD_left",
"graph equation R_PelegD_right",
"graph equation R_NahorD_left",
"graph equation R_NahorD_right",
"graph equation C120_field_adjacency_1",
"graph equation C120_field_adjacency_2",
"graph equation C120_field_adjacency_3",
"graph equation C127_8K_1399",
"graph equation C127_R8K_1399",
"graph equation C127_8K_1400",
"graph equation C127_R8K_1400",
"graph equation C127_8K_1401",
"graph equation C127_R8K_1401",
"graph equation C127_8K_1402",
"graph equation C127_R8K_1402",
"graph equation C127_8K_1403",
"graph equation C127_R8K_1403",
"graph equation C127_8K_1404",
"graph equation C127_R8K_1404",
"graph equation C127_8K_1405",
"graph equation C127_R8K_1405",
"graph equation C127_8K_1406",
"graph equation C127_R8K_1406",
"graph equation C127_3K_1399",
"graph equation C127_R3K_1399",
"graph equation C127_3K_1400",
"graph equation C127_R3K_1400",
"graph equation C127_3K_1401",
"graph equation C127_R3K_1401",
"graph equation C127_3K_1402",
"graph equation C127_R3K_1402",
"graph equation C127_3K_1403",
"graph equation C127_R3K_1403",
"graph equation C127_3K_1404",
"graph equation C127_R3K_1404",
"graph equation C127_3K_1405",
"graph equation C127_R3K_1405",
"graph equation C127_native_closing_residual",
"graph equation C127_R_native_closing_residual",
"graph equation C127_Conquest_step_0",
"graph equation C127_R_Conquest_step_0",
"graph equation C127_Conquest_step_1",
"graph equation C127_R_Conquest_step_1",
"graph equation C127_Conquest_step_2",
"graph equation C127_R_Conquest_step_2",
"graph equation C127_R_Conquest_step_3",
"graph equation C127_R_Conquest_step_4",
"graph equation C127_R_Conquest_step_5",
"graph equation C127_Conquest_step_6",
"graph equation C127_R_Conquest_step_6",
"graph equation C127_window_MosesB",
"graph equation C127_R_window_MosesB",
"graph equation C127_window_Exodus",
"graph equation C127_R_window_Exodus",
"graph equation C127_window_MosesD",
"graph equation C127_R_window_MosesD",
"graph equation C127_coarse_nodes0",
"graph equation C127_R_coarse_nodes0",
"graph equation C127_coarse_nodes2",
"graph equation C127_R_coarse_nodes2",
"graph equation C127_coarse_nodes4",
"graph equation C127_R_coarse_nodes4",
"graph equation C127_refined_nodes1",
"graph equation C127_R_refined_nodes1",
"graph equation C127_refined_nodes2",
"graph equation C127_R_refined_nodes2",
"graph equation C127_refined_nodes5",
"graph equation C127_R_refined_nodes5",
"graph equation C127_alt8K",
"graph equation C127_R_alt8K",
"graph equation C127_left_famine",
"graph equation C127_R_left_famine",
"graph equation C127_right_famine",
"graph equation C127_R_right_famine",
"graph equation C127_central_right",
"graph equation C127_R_central_right",
"graph equation P6_R1",
"graph equation P6_R2",
"graph equation N04_R3",
"graph equation N04_R4",
"graph equation N04_R5",
"graph equation N03_R6",
"graph equation N03_R7",
"graph equation N03_R8",
"graph equation N02_R9",
"graph equation N02_R10",
"graph equation N02_R11",
"graph equation N01_R12",
"graph equation N01_R13",
"graph equation N01_R14",
"graph equation opening_R15",
"graph equation N01_R_ON_Shem",
"graph equation N02_R_ON_Shem",
"graph equation N03_R_ON_Shem",
"graph equation N04_R_ON_Shem",
"graph equation Rbind_APP_Creation_close",
"graph equation Rbind_J_original_1904",
"graph equation Rbind_J_original_1906",
"graph equation Rbind_J_original_1908",
"graph equation Rbind_K_original_1794",
"graph equation Rbind_K_original_1796",
"graph equation Rbind_K_original_1798",
"graph equation Rbind_N02_b",
"graph equation Rbind_N02_f",
"graph equation Rbind_N02_mtN",
"graph equation Rbind_N02_q",
"graph equation Rbind_N04_b",
"graph equation Rbind_N04_f",
"graph equation Rbind_N04_mtN",
"graph equation Rbind_N04_q",
"graph equation Rbind_opening_MT_Flood",
"graph equation local_Abram_R",
"graph equation local_IsaacB_R",
"graph equation local_IsaacD_R",
"graph equation local_Jacob_R",
"graph equation local_TerahFirst_R",
"graph equation local_PelegB_R",
"graph equation local_PelegD_R",
"graph equation local_NahorD_R",
"graph equation local_Entry_R",
"graph equation local_FamineOpen_R",
"graph equation local_FamineClose_R",
"graph equation local_MosesB_R",
"graph equation local_Moses40_R",
"graph equation local_Exodus_R",
"graph equation local_MosesD_R",
"graph equation local_AaronB_R",
"graph equation translated_Abram_R",
"graph equation translated_IsaacB_R",
"graph equation translated_IsaacD_R",
"graph equation translated_Jacob_R",
"graph equation translated_TerahFirst_R",
"graph equation translated_PelegB_R",
"graph equation translated_PelegD_R",
"graph equation translated_NahorD_R",
"graph equation translated_Entry_R",
"graph equation translated_FamineOpen_R",
"graph equation translated_FamineClose_R",
"graph equation translated_MosesB_R",
"graph equation translated_Moses40_R",
"graph equation translated_Exodus_R",
"graph equation translated_MosesD_R",
"graph equation translated_AaronB_R",
"graph equation local_fulcrum_R",
"graph equation Joseph_alternative_1874_R",
"graph equation template_A0_R",
"graph equation template_A1_R",
"graph equation template_M0_R",
"graph equation C127_Rel_C127_Conquest1406_BC",
"graph equation C127_Rel_N01_q",
"graph equation C127_Rel_C127_preimage_1399_BC",
"graph equation C127_Rel_C127_preimage_1400_BC",
"graph equation C127_Rel_N03_q",
"graph equation C127_Rel_C127_preimage_1401_BC",
"graph equation C127_Rel_C127_preimage_1402_BC",
"graph equation C127_Rel_C5_conquest",
"graph equation C127_Rel_C127_preimage_1403_BC",
"graph equation C127_Rel_C6_conquest",
"graph equation C127_Rel_C127_preimage_1404_BC",
"graph equation C127_Rel_C7_conquest",
"graph equation C127_Rel_C127_preimage_1405_BC",
"graph equation C127_Rel_C127_preimage_1406_BC",
"graph equation C127_Rel_N01_b",
"graph equation C127_Rel_N03_b",
"graph equation C127_Rel_C5_creation",
"graph equation C127_Rel_C6_creation",
"graph equation C127_Rel_C7_creation",
"graph equation C127_Rel_C127_alternative_image_BC",
"graph equation coincidence_Abram_IsaacB_0",
"graph equation coincidence_Abram_IsaacB_1",
"graph equation coincidence_IsaacB_Abram_0",
"graph equation coincidence_IsaacB_Abram_1",
"graph equation coincidence_TerahFirst_Jacob_0",
"graph equation coincidence_TerahFirst_Jacob_1",
"graph equation coincidence_Jacob_TerahFirst_0",
"graph equation coincidence_Jacob_TerahFirst_1",
"graph equation C127_MosesD_Conquest_BC",
"graph equation C127_MosesD_Conquest_AD",
"graph equation C127_generated_Conquest_MosesD_BC",
"graph equation C127_generated_Conquest_MosesD_AD",
"graph equation phase_source_gap",
"graph equation phase_R_source_gap",
"graph equation phase_A_transfer",
"graph equation phase_R_A_transfer",
"graph equation phase_M_transfer",
"graph equation phase_R_M_transfer",
"graph equation phase_A01",
"graph equation phase_R_A01",
"graph equation phase_A12",
"graph equation phase_R_A12",
"graph equation phase_M01",
"graph equation phase_R_M01",
"graph equation phase_M12",
"graph equation phase_R_M12",
"graph equation phase_gap0",
"graph equation phase_R_gap0",
"graph equation phase_gap1",
"graph equation phase_R_gap1",
"graph equation phase_gap2",
"graph equation phase_R_gap2",
"graph equation phase_plus",
"graph equation phase_R_plus",
"graph equation phase_minus",
"graph equation phase_R_minus",
"graph equation famine_first_half",
"graph equation famine_second_half",
"graph equation famine_J_before_mid",
"frozen full graph rank",
"868 remains source-qualified C12 input",
"N02 exact 17K cycle",
"N02 868+190 numeric compensation",
"N02 scalar compensation is not a contiguous path",
"N02 four-record midpoint proof",
"N02 midpoint source positions",
"N02 member offset",
"N02 five-record residual proof",
"N02 20K subgraph one-free-direction",
"N02 omission witness preserves original four equations",
"N02 member edge resolves local freedom",
"N02 selected Christ-period midpoint remains coordinate only",
"N02 two-edge equal-3K certificate",
"N02 retained 868 and residual account for endpoint offset",
"N02 four-record reflected 2K proof",
"N02 equal distinct-source 2K widths",
"N02 original phase and source tags",
"N02 ordinary-versus-alternate Flood provenance",
"N02 17K and two 20K paired components",
"N02 11K and generated 8K paired components",
"N02 BC/AD 868+2K+190 components",
"N02 full-rank zero increment midpoint",
"N02 full-rank zero increment cumulative_residual",
"N02 full-rank zero increment 3K_gap_parallelogram",
"N02 full-rank zero increment distinct_2K_widths",
"N04 exact 17K cycle",
"N04 868+190 numeric compensation",
"N04 scalar compensation is not a contiguous path",
"N04 four-record midpoint proof",
"N04 midpoint source positions",
"N04 member offset",
"N04 five-record residual proof",
"N04 20K subgraph one-free-direction",
"N04 omission witness preserves original four equations",
"N04 member edge resolves local freedom",
"N04 selected Christ-period midpoint remains coordinate only",
"N04 two-edge equal-3K certificate",
"N04 retained 868 and residual account for endpoint offset",
"N04 four-record reflected 2K proof",
"N04 equal distinct-source 2K widths",
"N04 original phase and source tags",
"N04 ordinary-versus-alternate Flood provenance",
"N04 17K and two 20K paired components",
"N04 11K and generated 8K paired components",
"N04 BC/AD 868+2K+190 components",
"N04 full-rank zero increment midpoint",
"N04 full-rank zero increment cumulative_residual",
"N04 full-rank zero increment 3K_gap_parallelogram",
"N04 full-rank zero increment distinct_2K_widths",
"no graph mutation"
],
"passed": true,
"report": "C130"
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 ca3e7e6116c30751491ccb67f636b3c457ffac3b130408fd2f8d02716216b1ce
C01–C479/reference/490d_C01_C265_Complete_Window_Archive_20260923.zip!/workspace/mirror_C130_Dependent_Primary_Circuits_20260922/RESULTS.json