{ "report": "C16", "status": "PASS", "check_count": 132, "check_names": [ "input sources/FILE_18.md", "input sources/FILE_09.md", "input sources/MIRROR_HANDOFF.md", "input sources/C10_RESULTS.json", "input sources/C11_RESULTS.json", "input sources/C12_BASIS_CERTIFICATE.json", "input sources/C13_SYMBOLIC_CERTIFICATE.json", "input sources/C14_RESULTS.json", "input sources/C15_ENDPOINT_GRAPH.json", "input sources/C15_DEPENDENCY_CERTIFICATE.json", "input sources/C15_RESULTS.json", "controller FILE_18.md", "controller FILE_09.md", "C10 completed status", "C11 completed status", "C14 completed status", "C15 completed status", "retained opening, comparison and unit calibrations", "two source equivalence calibrations", "common fifteen-row coefficient rank", "old and replacement relative ranks", "old and replacement affine row spaces coincide", "old anchored rank", "old exact source reconstruction", "opening anchored rank", "opening exact source reconstruction", "E calibration certified by common rows", "8993 calibration certified by common rows", "new A row from old allocation and common calibrations", "new Z row from old allocation and opening calibration", "old first-leg row from opening rows and common calibrations", "old outer-span row from opening rows and common calibrations", "remove SA loses one anchored constraint", "remove SA surviving equations unchanged", "remove SA omitted row changes", "remove SA counterexample keeps changed node in retained field", "remove SZ loses one anchored constraint", "remove SZ surviving equations unchanged", "remove SZ omitted row changes", "remove SZ counterexample keeps changed node in retained field", "general first_Noah_leg", "general Noah_to_landing", "general first_Flood_half", "general second_Flood_half", "general outer_span", "general mixed_total", "general twelve_head_to_landing", "general twentytwo_head_to_reflected_member", "five-plus-five imbalance is 3omega minus 2rho", "new minus old A", "new minus old Z", "basis agreement has two independent calibration conditions", "basis differences recover omega", "basis differences recover rho", "all common endpoint releases unchanged", "opening basis A release", "opening basis Z release", "old/new A release difference", "old/new Z release difference", "held-opening agreement forces C13 release origin", "exact released first_Noah_leg", "exact released Noah_to_landing", "exact released first_Flood_half", "exact released second_Flood_half", "exact released outer_span", "exact released mixed_total", "formal control (0, 0, 0) agreement criterion", "formal control (0, 0, 0) midpoint criterion", "formal control (1, 0, 0) agreement criterion", "formal control (1, 0, 0) midpoint criterion", "formal control (2, 2, 0) agreement criterion", "formal control (2, 2, 0) midpoint criterion", "formal control (17, 2, 10) agreement criterion", "formal control (17, 2, 10) midpoint criterion", "one-year source-member control retains source fields", "midpoint-only control fails basis agreement", "correlated moving-opening agreement does not preserve held 13fold closure", "field member 0 opening translations", "field member 0 computed 3plus7", "field member 0 geometric 5plus5", "field member 0 cross-Mirror paired span", "field member 1 opening translations", "field member 1 computed 3plus7", "field member 1 geometric 5plus5", "field member 1 paired seasonal span", "field member 1 cross-Mirror paired span", "field member 2 opening translations", "field member 2 computed 3plus7", "field member 2 geometric 5plus5", "field member 2 paired seasonal span", "field member 2 cross-Mirror paired span", "field member 3 opening translations", "field member 3 computed 3plus7", "field member 3 geometric 5plus5", "field member 3 paired seasonal span", "field member 3 cross-Mirror paired span", "field member 4 opening translations", "field member 4 computed 3plus7", "field member 4 geometric 5plus5", "field member 4 paired seasonal span", "field member 4 cross-Mirror paired span", "field member 5 opening translations", "field member 5 computed 3plus7", "field member 5 geometric 5plus5", "field member 5 paired seasonal span", "field member 5 cross-Mirror paired span", "field member 6 opening translations", "field member 6 computed 3plus7", "field member 6 geometric 5plus5", "field member 6 paired seasonal span", "field member 6 cross-Mirror paired span", "field member 7 opening translations", "field member 7 computed 3plus7", "field member 7 geometric 5plus5", "field member 7 paired seasonal span", "field member 7 cross-Mirror paired span", "source filters recover five rows without prefiltering landings", "new source image equals completed C10 rows", "five recovered landing values", "four sourced regular Flood midpoints", "four unchanged Creation prefixes", "full primary expansions remain N02 and N04", "LXX derived OFF supports only the two primary base rows", "C14 head attachment selects N01", "N01 head and landing reproduce C14", "raw head and reflected endpoints have three members before Noah filter", "zero center is not a civil-year-zero landing", "G3 primary j7 rejected by actual MT member bound", "MT cumulative bound is j at most 6", "SP Noah bound is j at least 2", "C14 head bound is j at most 2", "opposed source bounds select the two-BC attachment" ], "source_basis_equivalence": true, "replacement_equation_count": 2, "old_equation_count": 2, "allocation_ratios_derived_conditionally": { "first_Noah_leg": "2O-B=1587=3K", "Noah_to_landing": "B-O=3703=7K", "first_Flood_half": "2O-B+E=2645=5K", "second_Flood_half": "B-O-E=2645=5K" }, "source_domain_counts": { "tested_OFF_members": 8, "source_3plus7_rows": 5, "source_regular_5plus5_midpoints": 4, "Creation_11plus2_prefixes": 4, "full_Creation_expansions": 2, "complete_C14_head_attachments": 1, "raw_22fold_endpoint_pairs_before_Noah_filter": 3 }, "main_result": "the opening-based reconstruction recovers the same finite domain and identifies the two source-matching assignments replacing the ratios", "controls": { "regular_Gears": [ "Noah", "Shem", "Flood" ], "SP_companion": [ "Noah", "Shem" ], "Creation": "fixed Normal/G2", "ordinary_regular": "full430,Terah0,MT-SP CainanOFF", "midpoint_profile": "explicit MT full430,CainanON,Terah+60", "paired_Mirror_axis": "January AD1; no civil year zero", "canonical_sources_modified": false, "historical_campaign_rerun": false, "new_historical_joins": false, "Reports_11_25_completion_claimed": false } }