Update Review 63 correction-chain evidence

docs/verification/issue-12-review-63/contract-preservation-inventory.json

@@ -3,11 +3,11 @@
   "issue": 12,
   "pull_request": 13,
   "review_id": 63,
-  "source_revision": "15dd9f92a73232c22b3ef23c17a3652ec762967a",
+  "source_revision": "bce25f9106f1914361e7a2bdc74000d87d4a0660",
   "contracts": [
     {
       "contract": "append-only immutable snapshot runs and corrections",
-      "preserved_by": ["test_f002_correction_replay_preserves_full_initial_response", "tests/test_asset_snapshot_idempotency.py"]
+      "preserved_by": ["test_f002_correction_replay_preserves_full_initial_response", "test_f006_initial_replay_survives_multiple_later_corrections", "tests/test_asset_snapshot_idempotency.py"]
     },
     {
       "contract": "preview-to-close authority drift protection",

docs/verification/issue-12-review-63/finding-matrix.json

@@ -4,7 +4,7 @@
   "pull_request": 13,
   "review_id": 63,
   "reviewed_head": "3b5101128d5a2cf038b8fb84facfd9d176928c26",
-  "source_revision": "15dd9f92a73232c22b3ef23c17a3652ec762967a",
+  "source_revision": "bce25f9106f1914361e7a2bdc74000d87d4a0660",
   "findings": [
     {
       "id": "F-001",
@@ -46,6 +46,13 @@
         "test_basis_only_create_cannot_block_later_dated_import"
       ],
       "claim": "basis-only creates fail before mutation while zero-with-basis and unknown pairs remain valid"
+    },
+    {
+      "id": "F-006",
+      "status": "resolved",
+      "production": "jarca_ledger_mcp/application/assets_service.py",
+      "regression": "test_f006_initial_replay_survives_multiple_later_corrections",
+      "claim": "an immutable run can be replayed through the complete later correction chain while unrelated live-authority drift still conflicts"
     }
   ],
   "green_evidence": "evidence-manifest.json"

docs/verification/issue-12-review-63/red-evidence.json

@@ -36,6 +36,11 @@
         "test_basis_only_create_cannot_block_later_dated_import"
       ],
       "red_observation": "basis-only account creation succeeded and could suppress a real dated import balance"
+    },
+    {
+      "id": "F-006",
+      "test": "test_f006_initial_replay_survives_multiple_later_corrections",
+      "red_observation": "replaying the initial idempotency key after two later corrections returned idempotency_conflict"
     }
   ],
   "red_runs": [
@@ -54,6 +59,11 @@
       "argv": ["uv", "run", "--frozen", "--extra", "dev", "--extra", "dashboard", "pytest", "-o", "addopts=", "-q", "tests/test_issue_12_review63_assets.py::test_f002_correction_replay_preserves_full_initial_response"],
       "exit_code": 1,
       "result": "correction replay omitted existing_snapshot_rows and differed from the original response"
+    },
+    {
+      "argv": ["uv", "run", "--frozen", "--extra", "dev", "--extra", "dashboard", "pytest", "-o", "addopts=", "-q", "tests/test_issue_12_review63_assets.py::test_f006_initial_replay_survives_multiple_later_corrections"],
+      "exit_code": 1,
+      "result": "initial replay after two later corrections returned idempotency_conflict"
     }
   ]
 }