{
  "step": "C381",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Paired source-path compatibility with the17K rectangle",
  "previous_certificate_sha256": "02600b43540e45e78e4b817df78d29bbbc68e169d0b0d710d9c782c914f90da1",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C381_Paired_Source_Path_17K_Compatibility_Obstruction_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C381_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": "c5582b2b4700940fb5549aaefcd0c7a7211f146e2e6bb1ead130c342e05b29e4",
  "source_manifest_sha256": "afd5d2e0a48c74af1a2128806f5f5d84f77b42f3cdd0864093d7123163530ef3",
  "report_sha256": "60f6a876492576780f6d9a7053da5f7d14bd9ef54efb59706fa542f64c0ac812",
  "checkpoint_sha256": "71675fd2719902ba8692d4f675dde673ef5ef3ff9a567f42efa2b3971aea8890",
  "data_sha256": "f8e96127dc22e8f9a19eda0a3f697875e9163caae4d1417ba0998abe3e2f380b",
  "results_sha256": "95c975d049c463322460b738fb3897413375e621bdb1e0074a9696fd28c92e1a",
  "calculation_sha256": "c257125a89cb16b5a0500519af3cf7bfc627748503361fcbcc7e5074af30fec4",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "33518f8c2bcd96736c4654bea597442154c5d65399efcac2024d460327f432b3",
  "replay_sha256": "bd307ad3781e9e8d03f4d43511597d6e48b8b3519a2ea79d6222162d9d9efd2f",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "fdb74ba940a49ac0dd975b1b595887e23ecb1e0cc4d1b6bfdcb3ce52ef8d6489",
  "assertions_passed": 38,
  "source_checks_passed": 16,
  "main_result": "Eight admitted paired two-step paths preserve their2K sides and source-corner sums, but increase the cross-spans by4. None preserves17K at both steps. The first original rectangle continues only into17K+4; the other ends at Gear3. The original529 states are not closed under repeated forward repair.",
  "limits": "A preserved endpoint sum does not imply preserved17K separation. No branch adjustment, new cumulative member, fitted anchor or Gear4 is introduced to force closure.",
  "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": "Compare J-then-P with P-then-J along the six admitted consecutive source-edge pairs, using their actual moving pivots. Derive the exact affine condition for equality, contrast it with fixed pivots, and identify any reduced coordinate description without extending the source domains.",
  "next_step_executed": false
}