{
  "step": "C358",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Three-row E pattern versus the rectangle selector",
  "previous_certificate_sha256": "d07de1e8d229fc2610d4ef180a17de4d98261c61882445ef401fee12c428ed4e",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C358_Three_Row_E_Pattern_and_529_Selector_Control_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C358_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": "25ec879b6facf00181d478424c401fa488fabc359928bfb767cec329b2360cf3",
  "source_manifest_sha256": "10f225e218df7aee8dbfd9f2728b66ebb7ee801c842d3eb6f25a61586d995c6f",
  "report_sha256": "2ba6e26c303366fc9f965d5537e29f1601dabfdc1e920f36119571de9a928c84",
  "checkpoint_sha256": "397a2173d99e84415eb5ccd2135cbb2971ee63398af3f87a1bf0f894a9aaa1c3",
  "data_sha256": "480ca7cb95cd8b5166ecb53c867a2172fa7f890436e92dea8bc15a0feb54b90e",
  "results_sha256": "85698a6c341ed4a19a1f764ed09bf0706ce45a300a70b84db752ed625d295f7c",
  "calculation_sha256": "547c5cb262a8d5faf9713cca867ea24974f5cc3d04ad2d76a40379889b95ca5f",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "eb03c26d544c564aae26883b6e11736f003b99853d59804eba40a615df310117",
  "replay_sha256": "5cc0324671e36f99cdb44075e430d643ef0b509ce1849afe3cea383be05b3497",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "6e68fc343904cb10f61719ff127786521c5305ddfe01eb06381460b8e8db3709",
  "assertions_passed": 38,
  "source_checks_passed": 16,
  "main_result": "Nine primary C319 controls carry the new three-row pattern. Identifying its same-Gear MT Flood input with R selects five b0 controls; the original2K side selects four b2 controls. The source pattern does not choosea,b, and all-K still leaves22:i3/i5.",
  "limits": "The local three-row pattern is not a source-prescribed selector. Extra identifications are explicit added conditions and must not be silently combined with the original rectangle.",
  "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 source realization of the two-segment comparison460+598→500+600: apply E to the Noah-to-MT-Noah leg and300/299 to the following598 gap, keeping the join continuous and checking the resulting SP Shem birth/death endpoints.",
  "next_step_executed": false
}