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

@@ -3,7 +3,7 @@
   "issue": 12,
   "pull_request": 13,
   "review_id": 63,
-  "source_revision": "bce25f9106f1914361e7a2bdc74000d87d4a0660",
+  "source_revision": "3db086a7fd15e9152a57fb95ab7942c6dc3be2b1",
   "contracts": [
     {
       "contract": "append-only immutable snapshot runs and corrections",

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

@@ -4,7 +4,7 @@
   "pull_request": 13,
   "review_id": 63,
   "reviewed_head": "3b5101128d5a2cf038b8fb84facfd9d176928c26",
-  "source_revision": "bce25f9106f1914361e7a2bdc74000d87d4a0660",
+  "source_revision": "3db086a7fd15e9152a57fb95ab7942c6dc3be2b1",
   "findings": [
     {
       "id": "F-001",

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

@@ -40,7 +40,7 @@
     {
       "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_observation": "replaying the initial key first conflicted after two corrections; after that path was enabled, unrelated live-authority drift after the correction chain was incorrectly accepted"
     }
   ],
   "red_runs": [
@@ -64,6 +64,11 @@
       "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"
+    },
+    {
+      "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": "unrelated live-authority drift after the correction chain returned success instead of idempotency_conflict"
     }
   ]
 }