{
  "step": "C374",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Paired repair in the complete primary Mirror span matrix",
  "previous_certificate_sha256": "cb84be7fe84c0e6f4c66ed619d3309e6e00b4c684649e39456d156dd46a39be3",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C374_Paired_Repair_Full_Mirror_Span_Matrix_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C374_20260924.md",
    "data": "evidence/DATA.json",
    "results": "evidence/RESULTS.json",
    "calculation": "evidence/CALCULATION.py",
    "verifier": "evidence/check.py",
    "next_step_decision": "NEXT_STEP_DECISION.json",
    "replay": "REPLAY.json",
    "control_integrity": "CONTROL_INTEGRITY.json",
    "readme": "README.md"
  },
  "step_sha256": "097a8eb53507143eac08f4ab2f9f3c25b13dc30c32051f2127b81f861a38f5b9",
  "source_manifest_sha256": "a59e2db9e7e5346e25c77949dfc5546f9721849f5bea664946c4bc027e0fd2b4",
  "report_sha256": "0221097eb56d244eef6a838f58c2213d4cdd0d527837bcac75a4194c8bfeedd9",
  "checkpoint_sha256": "cc5f4f80b7878a5aee0411d4ac353be9b935e27f37121472ac24a61e9776cefe",
  "data_sha256": "c588eb40e09f37e7a141b5d71eea5c2fe019ca833f0a0bd230fdf9e131872aca",
  "results_sha256": "a5b1e5d0cc24d34c20033a0adc7b69d3b7906da8aaac4901c5da2d3fa1e9b594",
  "calculation_sha256": "f5f8b69f5f16ab7a9425180529eaa54e4b340d6b215e96fa7134df8cf8cb60d8",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "7209be19d1ece41f7a914e60cfdb2112be2d3192d1a38b1ea6e2ba2fc409a477",
  "replay_sha256": "65724be25586d6e6570f122991713f7668f4b7b372d1f8f44ed424d466b33d1c",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "a70176b8f7c29977a9afd7c911f3a7b44173c99a16c1b744a347dcd2a9c0c955",
  "assertions_passed": 23,
  "source_checks_passed": 16,
  "main_result": "Both primary source rectangles retain their2K/17K outer endpoints and paired endpoint sums. Five internal cross-spans change; the central one grows17K+138→17K+142. This is not P on the whole bridge. No affine map fixing the two outer endpoints can move the middle source point.",
  "limits": "The diagnostic endpoint-exchange sums and229/230 segment ratio are not new adopted axes or chronology operators. The local P/J pairing remains conditional.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "review_provenance": "Root-agent analysis and deterministic replay; no new independent-agent review",
  "next_proposed_step": "Test the exact conjugacy of the cumulative and reflected regular P/J comparisons under their existing source-corner endpoint exchange. Include the four complete C287 rows, source-role membership and inherited phase ancestry.",
  "next_step_executed": false
}