{ "step": "C434", "status": "passed", "assertions_passed": 97, "checks": [ "frozen domain: 528 labels and 373 coordinates", "E is supported by the actual 25/23 passage", "C432 locator correction is identified precisely", "source explicitly retains Noah 950 and matched births 500", "source explicitly retains local companion and variant amounts", "source birth-to-death interval is 950", "source Noah-to-Shem birth interval is 500", "source primary-to-companion difference is one", "source SP base is 3491", "context change gives -86", "weighted source identity gives effective Shem birth", "first and second pivot offsets have parameter 18", "gap partition yields 128 plus 64", "G1/T0 actual source roles derive the reference and pivots", "G1/T0 both actual Noah biographies keep 950", "G1/T0 whole affine map has the same coefficients", "G1/T0 two exact E gap expansions", "G1/T0 exact stations and gains", "G1/T0 sourced pivot counts keep distinct SP/LXX labels", "G1/T0 theoretical LXX OFF alias N", "G1/T0 theoretical LXX OFF alias H", "G1/T0 theoretical LXX OFF alias Q", "G1/T0 formal MT station formulas match generated coordinates", "G1/T0 endpoint output retains the selected MT Shem-death context", "G1/T0 full-register membership equals finite boundary prediction", "G1/T0 two actual-pivot labels only in the completed case", "G2/T0 actual source roles derive the reference and pivots", "G2/T0 both actual Noah biographies keep 950", "G2/T0 whole affine map has the same coefficients", "G2/T0 two exact E gap expansions", "G2/T0 exact stations and gains", "G2/T0 sourced pivot counts keep distinct SP/LXX labels", "G2/T0 theoretical LXX OFF alias N", "G2/T0 theoretical LXX OFF alias H", "G2/T0 theoretical LXX OFF alias Q", "G2/T0 formal MT station formulas match generated coordinates", "G2/T0 endpoint output retains the selected MT Shem-death context", "G2/T0 full-register membership equals finite boundary prediction", "G2/T0 two actual-pivot labels only in the completed case", "G3/T0 actual source roles derive the reference and pivots", "G3/T0 both actual Noah biographies keep 950", "G3/T0 whole affine map has the same coefficients", "G3/T0 two exact E gap expansions", "G3/T0 exact stations and gains", "G3/T0 sourced pivot counts keep distinct SP/LXX labels", "G3/T0 theoretical LXX OFF alias N", "G3/T0 theoretical LXX OFF alias H", "G3/T0 theoretical LXX OFF alias Q", "G3/T0 formal MT station formulas match generated coordinates", "G3/T0 endpoint output retains the selected MT Shem-death context", "G3/T0 full-register membership equals finite boundary prediction", "G3/T0 two actual-pivot labels only in the completed case", "G1/T1 actual source roles derive the reference and pivots", "G1/T1 both actual Noah biographies keep 950", "G1/T1 whole affine map has the same coefficients", "G1/T1 two exact E gap expansions", "G1/T1 exact stations and gains", "G1/T1 sourced pivot counts keep distinct SP/LXX labels", "G1/T1 theoretical LXX OFF alias N", "G1/T1 theoretical LXX OFF alias H", "G1/T1 theoretical LXX OFF alias Q", "G1/T1 formal MT station formulas match generated coordinates", "G1/T1 endpoint output retains the selected MT Shem-death context", "G1/T1 full-register membership equals finite boundary prediction", "G1/T1 two actual-pivot labels only in the completed case", "G2/T1 actual source roles derive the reference and pivots", "G2/T1 both actual Noah biographies keep 950", "G2/T1 whole affine map has the same coefficients", "G2/T1 two exact E gap expansions", "G2/T1 exact stations and gains", "G2/T1 sourced pivot counts keep distinct SP/LXX labels", "G2/T1 theoretical LXX OFF alias N", "G2/T1 theoretical LXX OFF alias H", "G2/T1 theoretical LXX OFF alias Q", "G2/T1 formal MT station formulas match generated coordinates", "G2/T1 endpoint output retains the selected MT Shem-death context", "G2/T1 full-register membership equals finite boundary prediction", "G2/T1 two actual-pivot labels only in the completed case", "G3/T1 actual source roles derive the reference and pivots", "G3/T1 both actual Noah biographies keep 950", "G3/T1 whole affine map has the same coefficients", "G3/T1 two exact E gap expansions", "G3/T1 exact stations and gains", "G3/T1 sourced pivot counts keep distinct SP/LXX labels", "G3/T1 theoretical LXX OFF alias N", "G3/T1 theoretical LXX OFF alias H", "G3/T1 theoretical LXX OFF alias Q", "G3/T1 formal MT station formulas match generated coordinates", "G3/T1 endpoint output retains the selected MT Shem-death context", "G3/T1 full-register membership equals finite boundary prediction", "G3/T1 two actual-pivot labels only in the completed case", "six sourced pivot comparisons but only one complete 2K coordinate path", "only two complete actual-pivot label realizations", "the surviving path is exactly the previously authenticated one", "dropping SP companion fails held-Shem whole-map equality", "500 result cannot be relabelled as the 502 binding with second pivot fixed", "fixed-H first intermediate differs by 36 from the sourced intermediate" ], "source_checks_passed": 38, "source_checks": [ "frozen bytes: PREVIOUS_CERTIFICATE.json", "frozen bytes: PREVIOUS_SOURCE_MANIFEST.json", "frozen bytes: PREVIOUS_ARTIFACT_MANIFEST.json", "frozen bytes: PREVIOUS_DATA.json", "frozen bytes: PREVIOUS_RESULTS.json", "frozen bytes: PREVIOUS_CHECKPOINT.md", "frozen bytes: PREVIOUS_REPORT.md", "frozen bytes: PREVIOUS_NEXT_STEP.json", "frozen bytes: PREVIOUS_CONTROL_INTEGRITY.json", "frozen bytes: File_18.md", "frozen bytes: File_09.md", "frozen bytes: File_02.md", "frozen bytes: File_46.md", "frozen bytes: C286_DATA.json", "frozen bytes: C432_DATA.json", "frozen bytes: C432_CERTIFICATE.json", "frozen bytes: C265_CHECKPOINT.md", "frozen bytes: C265_CERTIFICATE.json", "frozen bytes: SKL_SUPPLEMENTAL_OBSERVATION.md", "frozen bytes: C432_CALCULATION.py", "C433 certificate: source_manifest", "C433 certificate: data", "C433 certificate: results", "C433 certificate: report", "C433 certificate: checkpoint", "C433 certificate: next_step_decision", "C433 certificate: control_integrity", "C433 frozen source: File_18.md", "C433 frozen source: File_09.md", "C433 frozen source: File_02.md", "C433 frozen source: File_46.md", "C433 frozen source: C286_DATA.json", "C433 frozen source: C432_DATA.json", "C433 frozen source: C432_CERTIFICATE.json", "C433 frozen source: C265_CHECKPOINT.md", "C433 frozen source: C265_CERTIFICATE.json", "C432 data certificate", "C432 actual E implementation certificate" ], "canonical_or_graph_edits": false, "new_independent_agent_review": false, "C435_executed": false }