docs(records): CHAT-03 deviation V-1 accepted with limits, lead decision 25

Co-Authored-By: Claude Opus 5.5 <[email protected]>

docs/SESSIONS.md

@@ -414,3 +414,4 @@ are never rewritten or removed; corrections are new entries.
 2026-09-26T23:25:52Z | Sage (T3 Claude Code, thread 1ef1e4f8) | #1508 queue A1 review rulings | Filbert changes requested (6933b885), five conditions met. Ruled review issue (explicit --issue when several) and set piece/gate privileged only, lead decision 23; N13 to DEFERRED and Darkwing.
 2026-09-26T23:37:23Z | Filbert (T3 Claude Code, thread 9cb9731e) | CHAT-03 brief R1 review (#1507 row 5), BRIEF.md 5dd447f7 | changes requested: B1 R3-1 premise wrong for Pi 0.85.1, B2 foreign-writer detection has no entry ids, B3 schema gaps (unavailable event, turnProof queue text), B4 no live-root refusal, B5 increment order and done gate, B6 claim two-key and reserved gaps; review agents/filbert/work/chat-03-brief-review-2026-09-26.md ec00544e
 2026-09-26T23:52:04Z | Sage (T3 Claude Code, thread 1ef1e4f8) | SetSpark approver fix in shared-signals | Sage subagent wrote it, Rocko R1 revise (706e9ac1), R2 approve (c190814b); suites 188/131, vault 45 PASS; committed and pushed shared-signals cc74d92. Deploy to VM 1022 and production survey go to Jason. Lead decision 24.
+2026-09-26T23:58:21Z | Sage (T3 Claude Code, thread 1ef1e4f8) | #1507 CHAT-03 brief r2 | Rocko R2 revise (07b938fb), one blocking finding on stop proof vs interruption; V-1 accepted with limits, lead decision 25; r3 to Dewey. A2 carry-forward 773dbd75 accepted.

docs/plans/2026-09-26_lead-decisions.md

@@ -293,3 +293,17 @@ which stay with him. Each item names who decided it and what happened.
     refused, and a one-off correction goes to Jason if the README query
     finds any. Deploying to VM 1022 and running that query on production
     are host actions for Jason.
+25. **CHAT-03 deviation V-1 accepted, with limits.** Dewey's brief r2
+    (5c5b45a2) has no durable receipts. So an exact retry across a
+    controller restart refuses `stale-incarnation` instead of returning the
+    original receipt, which CHAT-01 line 145 and CHAT-01C line 212 promise.
+    Sage accepts it for CHAT-03, because it replays nothing and fails
+    closed. Three limits apply:
+    - the client shows `stale-incarnation` as "outcome unknown, check the
+      transcript" and never resends on its own;
+    - a fixture proves that no retry after a restart reaches the engine;
+    - CHAT-04's durable receipts must restore the contract behavior, and
+      V-1 closes only then. CHAT-04's brief lists it as required.
+    Rocko's R2 on the same brief (07b938fb) requests one change: an idle
+    slot with empty clears does not prove an interrupted turn. Dewey
+    separates receipt settlement from the stop proof in r3.