diff --git a/docs/SESSIONS.md b/docs/SESSIONS.md index b5c15d46..ba2d9625 100644 --- a/docs/SESSIONS.md +++ b/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. diff --git a/docs/plans/2026-09-26_lead-decisions.md b/docs/plans/2026-09-26_lead-decisions.md index 858bb6d9..3f3a4cfb 100644 --- a/docs/plans/2026-09-26_lead-decisions.md +++ b/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.