Distillation

Date: Sep 16, 2026

• 🟡 (15:40) Search found exactly 17 SessionExecutionClaim transaction/update/clear call sites: /tmp/opencode/session-recovery-v7-check/packages/core/src/session/context-epoch.ts lines 134, 158, 182 (SessionExecutionClaim.transaction); /tmp/opencode/session-recovery-v7-check/packages/core/src/session/execution/claim.ts lines 38 (update) and 54 (clear); /tmp/opencode/session-recovery-v7-check/packages/core/src/session/execution/local.ts lines 66, 110, 111 (update) and 79, 96, 117 (clear); /tmp/opencode/session-recovery-v7-check/packages/core/src/session/recovery.ts lines 121, 137, 162, 168 (clear, including clearing after PendingExecutionIntent); and /tmp/opencode/session-recovery-v7-check/packages/core/src/session/runner/llm.ts lines 148 and 202 (update).
• 🔴 (15:41) User specified the invariant “never wakes execution when retrying an already promoted prompt” in an it.effect(...) test beginning at line 330.
• 🔴 (15:41) User specified the invariant “never arms durable wake for a conflicting execution retry” in an it.effect(...) test beginning at line 514.
• 🟡 (15:41) The prompt/retry test suite also includes “returns an exact retry of a legacy projected queued prompt” beginning at line 689 and “starts execution when resume is explicitly true” beginning at line 775.
• 🔴 (15:41) User specified the invariant “never recovers a live execution lease” in an it.effect(...) test beginning at line 305; the test verifies SessionExecutionTable still contains exactly 1 row after recovery.
• 🔴 (15:41) User specified the invariant “never recovers an execution superseded by a newer assistant” in an it.effect(...) test beginning at line 343.
• 🟡 (15:41) The execution-recovery tests construct project/worktree state at "/project", use execution ID "execution", invoke SessionRecovery.recover() with SessionExecution.Service, and include validation of { error: "Invalid recovery continuation input" }.
• 🟡 (15:42) Search found one deletion from SessionMessageTable: /tmp/opencode/session-recovery-v7-check/packages/core/src/session/projector.ts:504.