{ "step": "C274", "status": "passed", "check_count": 139, "checks": [ "input integrity: C273_CERTIFICATE.json", "input integrity: C273_REPORT.md", "input integrity: C273_CHECKPOINT.md", "input integrity: C273_EQUATIONS.json", "input integrity: C273_RESULTS.json", "input integrity: C273_SOURCE_MANIFEST.json", "input integrity: C266_ENDPOINTS.json", "input integrity: C270_MAPS.json", "input integrity: C270_REPORT.md", "input integrity: C271_FAMILIES.json", "input integrity: C271_COVERAGE.json", "input integrity: C271_RESULTS.json", "input integrity: C271_REPORT.md", "input integrity: MIRROR_BILATERAL.md", "input integrity: MIRROR_COMPREHENSIVE.md", "C273 predecessor identity", "C273 certificate binds C273_REPORT.md", "C273 certificate binds C273_CHECKPOINT.md", "C273 certificate binds C273_RESULTS.json", "C273 certificate binds C273_SOURCE_MANIFEST.json", "retained C273 input digest: C266_ENDPOINTS.json", "retained C273 input digest: C270_MAPS.json", "retained C273 input digest: C270_REPORT.md", "retained C273 input digest: C271_FAMILIES.json", "retained C273 input digest: C271_COVERAGE.json", "retained C273 input digest: C271_RESULTS.json", "retained C273 input digest: C271_REPORT.md", "retained C273 input digest: MIRROR_BILATERAL.md", "retained C273 input digest: MIRROR_COMPREHENSIVE.md", "fixed 600/598 residual and correspondence", "MT_ON source field retained", "MT_ON source Shem field 600 earlier", "LXX_OFF source field retained", "LXX_OFF source Shem field 600 earlier", "SP_OFF source field retained", "SP_OFF source Shem field 600 earlier", "derive A from source closing coordinates", "derive B from common shift", "derive C from both globally reflected interval endpoints", "baseline rank three", "unique inherited baseline", "placement determinant two", "retained six source bindings and thirty exclusions", "retained cumulative coverage", "six inherited family indices", "fixed source family j=2", "fixed source family j=3", "fixed source family j=4", "fixed source family j=5", "fixed source family j=6", "fixed source family j=7", "baseline rank and dimension", "baseline retained equation A", "baseline retained equation B", "baseline retained equation C", "baseline integral directions preserve annual centers", "baseline MT_ON field widths and J1", "baseline MT_ON physical phase reflection", "baseline LXX_OFF field widths and J1", "baseline LXX_OFF physical phase reflection", "baseline SP_OFF field widths and J1", "baseline SP_OFF physical phase reflection", "baseline MT join gap from source equation", "baseline common-shift corresponding endpoint difference", "baseline both SP global-reflection residuals agree", "baseline universal regular binding residual", "baseline retained source pair j=2", "baseline retained source pair j=3", "baseline retained source pair j=4", "baseline retained source pair j=5", "baseline retained source pair j=6", "baseline retained source pair j=7", "recover original induced maps", "omit_A rank and dimension", "omit_A omitted equation not implied", "omit_A retained equation B", "omit_A retained equation C", "omit_A integral directions preserve annual centers", "omit_A MT_ON field widths and J1", "omit_A MT_ON physical phase reflection", "omit_A LXX_OFF field widths and J1", "omit_A LXX_OFF physical phase reflection", "omit_A SP_OFF field widths and J1", "omit_A SP_OFF physical phase reflection", "omit_A MT join gap from source equation", "omit_A common-shift corresponding endpoint difference", "omit_A both SP global-reflection residuals agree", "omit_A universal regular binding residual", "omit_A retained source pair j=2", "omit_A retained source pair j=3", "omit_A retained source pair j=4", "omit_A retained source pair j=5", "omit_A retained source pair j=6", "omit_A retained source pair j=7", "omit_B rank and dimension", "omit_B retained equation A", "omit_B omitted equation not implied", "omit_B retained equation C", "omit_B integral directions preserve annual centers", "omit_B MT_ON field widths and J1", "omit_B MT_ON physical phase reflection", "omit_B LXX_OFF field widths and J1", "omit_B LXX_OFF physical phase reflection", "omit_B SP_OFF field widths and J1", "omit_B SP_OFF physical phase reflection", "omit_B MT join gap from source equation", "omit_B common-shift corresponding endpoint difference", "omit_B both SP global-reflection residuals agree", "omit_B universal regular binding residual", "omit_B retained source pair j=2", "omit_B retained source pair j=3", "omit_B retained source pair j=4", "omit_B retained source pair j=5", "omit_B retained source pair j=6", "omit_B retained source pair j=7", "omit_C rank and dimension", "omit_C retained equation A", "omit_C retained equation B", "omit_C omitted equation not implied", "omit_C integral directions preserve annual centers", "omit_C MT_ON field widths and J1", "omit_C MT_ON physical phase reflection", "omit_C LXX_OFF field widths and J1", "omit_C LXX_OFF physical phase reflection", "omit_C SP_OFF field widths and J1", "omit_C SP_OFF physical phase reflection", "omit_C MT join gap from source equation", "omit_C common-shift corresponding endpoint difference", "omit_C both SP global-reflection residuals agree", "omit_C universal regular binding residual", "omit_C retained source pair j=2", "omit_C retained source pair j=3", "omit_C retained source pair j=4", "omit_C retained source pair j=5", "omit_C retained source pair j=6", "omit_C retained source pair j=7", "case directions recovered", "all selected radius statuses", "cumulative SP omission leaves regular SP placement fixed" ], "frozen_inputs": 15, "case_count": 4, "case_ranks": [ 3, 2, 2, 2 ], "case_degrees_of_freedom": [ 0, 1, 1, 1 ], "placement_premises_irredundant_within_held_affine_system": true, "historical_necessity_of_placement_premises_proved": false, "fixed_598_increment_audited_or_removed": false, "free_parameters_selected_or_fitted": false, "new_source_records": 0, "historical_campaigns_rerun": 0, "regular_pair_invariance_method": "universal residual identity, using retained C271 counts; no new 36-pair scan", "new_independent_review": false, "next_step_executed": false }