Distillation

Date: Sep 15, 2026

• 🔴 (20:45) User established the invariant that a conflicting execution retry must never arm durable wake.
• 🟡 (20:45) packages/core/src/session/input.ts and packages/core/test/session-prompt.test.ts were updated successfully; visible input.ts changes included importing runtime EventV2 instead of type-only EventV2, importing SessionRecoveryTable, exporting decode = (value: unknown) => Schema.decodeUnknownOption(Prompt)(value), and adding requestExecution: boolean to SessionInput.admit() input.
• 🟡 (20:45) packages/core/test/session-prompt.test.ts:335-358 verifies lost advisory-wake recovery: after prompting with text "Recover a lost advisory wake", the row has wake_pending: true and promoted_seq: null, the initial advisory wake records [sessionID], replay preserves the pending state, and recover() issues [sessionID] again.
• 🟡 (20:45) packages/core/test/session-prompt.test.ts:360-400 adds test "turns an admit-only exact retry into durable execution intent": an initial prompt with resume: false leaves wake_pending: false; two concurrent exact retries with resume: true set wake_pending: true, make advisory wakeCalls equal [sessionID, sessionID], but persist exactly 1 SessionEvent.PromptExecutionRequested event; repeated projection replay preserves wake_pending: true, and recover() produces [sessionID].
• 🟡 (20:45) packages/core/test/session-prompt.test.ts:402-425 verifies reuse of the same messageID with changed text ("Fix the failing tests" → "Delete the failing tests") returns Session.PromptConflictError, leaves session messages at length 0, and keeps admittedCount at 1.
• 🟡 (20:45) packages/core/test/session-prompt.test.ts:427+ adds test "never arms durable wake for a conflicting execution retry" using an original prompt with text "Original prompt" and resume: false.
• 🟡 (20:45) Focused execution-retry test passed under Bun v1.3.14: 1 pass, 26 filtered out, 0 failures, and 7 expect() calls across 1 file in 1159.00ms.
• 🟡 (20:46) Inspection of /tmp/opencode/session-event-head.ts:475-543 showed its DurableDefinitions and Definitions inventories included PromptAdmitted but not PromptExecutionRequested; this snapshot also listed durable lifecycle events through RevertEvent.Committed.