{
  "step": "C319",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Four-case sensitivity of the paired two-year selections",
  "previous_certificate_sha256": "73433920aa81faafe2e5b8f356edf17d5cd7058e50c1887724907d5e5158d313",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C319_Independent_Two_Year_Choice_Sensitivity_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C319_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",
    "review_0": "evidence/C319_Independent_Math.py",
    "review_1": "evidence/C319_Independent_Math_Results.json",
    "review_2": "evidence/C319_Source_Review.md"
  },
  "step_sha256": "cf25e38d6880297a3eb5645ec82208d89df256e9536ce1d006fb86926c2516a5",
  "source_manifest_sha256": "c2f791dce8ec16387fde49eb60933b3add6f3aaf1569c10e867e592f4916a3af",
  "report_sha256": "772477aca20028496cab603ac0a81b076c649f98d53f0e3d3d011e4e1cafc4da",
  "checkpoint_sha256": "c5a141d68b60df64a5eba00f9fbae90238699dbb3948d7c68a57a6993e79f0d1",
  "data_sha256": "83294e3d25612cb7ce710ee035a0e35c167818d57233043dbd8fbc1bbebe7877",
  "results_sha256": "24166bf5cb22a6465a75bd21845db78e060976d62739661667ca78b5eb1cf9ec",
  "calculation_sha256": "a00f1aa0cd08172dc26d4562d82720c102dc23a3b53c744f8386a65bf2107eb0",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "431a23253a4ebf3664866f20e21c7b7222af1b7ddc847cff46a07b3e6ddf2527",
  "replay_sha256": "8473fe43086dd585a3ca5085bef4a789d119a9c242d9d9ed0817b89429ff1d7b",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "3785e94cb98c2829fd25c16b6ff5f9534b73ce62229537f462db41f90bbba9bd",
  "review_0_sha256": "2d67de3fd6d3a4c793e5a824cc29d429f87c86384f1b3a4227d9d4fb687166ca",
  "review_1_sha256": "57b966813b543ebc97397677b8a95395a4f7f014f27080583ee8eadd526fd06d",
  "review_2_sha256": "319a4b0c9d8708d522898f22a3737ca4517eba5e238abf5b5bc65930b40ccdc1",
  "assertions_passed": 121,
  "source_checks_passed": 15,
  "main_result": "The00 and22 choices both retain two17K paths. Only22 gives2K sides/allK in the fixedfour-case test. Of20annual/40phase cases,14/28are source-admitted; allKsurvives3annualcases.",
  "limits": "No statistical claim or prescribed selection rule. Distinct choices and source states remain labelled; conditionalallKuniqueness does not canonize them.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": true,
  "next_proposed_step": "Close the finite coverage boundary: census all eight retained LXX_OFF Shem/Flood annual pairs against the existing regular Noah/Flood contexts under the same17K transport. Explicitly locate the omittedSPG1 companion and any LXX aliases, without new endpoints or variants.",
  "next_step_executed": false
}