{
"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
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 98a0a2cc135d97ef734ebc3ba54e9e5faa1d7dc02fce1dabbcaf42e2dcf48a2e
C01–C479/packets/C434/evidence/RESULTS.json