{
  "step": "C345",
  "status": "completed",
  "date": "2026-09-24",
  "title": "All admitted600 repairs and the529 partition tradeoff",
  "previous_certificate_sha256": "cb49122e6705486e3b200a4792be738ee612d53ac224b245d3337cb9dcf723b7",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C345_All_600_Repairs_and_529_Partition_Tradeoff_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C345_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": "51a799445b8456094faee515c11077e3f3a156bad4b07b09b90c70bad4065d5c",
  "source_manifest_sha256": "41df00d2ef5d001b4dc39d62f058054dfbc7c72ca858fd3ada9589d01e57ea18",
  "report_sha256": "cbc770fbd05afe96662677f809e1c3f7cca34ead30f33099087672fc906598f5",
  "checkpoint_sha256": "7e9052f2ae235d1b8ef1f05e8f014c01bf65504567162aed1bc3fcb009ad9fbd",
  "data_sha256": "d67c0f152f1242453f84461109c595c909b97c4d20246071956a80d4741c5391",
  "results_sha256": "195fd51eb77e23c1ca12dcf57fa20dd3a074f038a9b985d8bb79f7dc1bf9e5d7",
  "calculation_sha256": "174352299d3dd14e3f6fd88223cedf502c98cf92bb66f2ee6e6fe8933009c733",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "5f7302212d39d8f72a73dd51c4d642906d425525efc9cf31508f2765a26b9421",
  "replay_sha256": "7c6c51287e8cbdef711b05497b99b0ae993491f678e0c7f81f8f1f3d0944fc30",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "fcf3dacbe85dd5d4eb8c1d820839f184f9789b450f725df9f82785b72507c026",
  "assertions_passed": 31,
  "source_checks_passed": 15,
  "main_result": "All six same-context600 repairs obey a strict tradeoff: preserving2K gives458/492/108; preserving460/490 gives1060 and110. No admitted600 pair preserves both.",
  "limits": "Three-Gear domain only; no global incompatibility outside the held N,D and source contexts is asserted.",
  "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": "Verify the Noah-held E image of both ends of the original598 interval against existing SP and MT Shem records, and compare its650 output with File02’s600 output without identifying the two operations.",
  "next_step_executed": false
}