Distillation

Date: Sep 15, 2026

• 🔴 (22:54) User established the session-execution invariant “never starts a second owner while the lease is live,” covered by an it.effect(...) test in the SessionExecutionLocal suite.
• 🔴 (22:54) User established the session-execution invariant “never overwrites an expired lease,” covered by an it.effect(...) test in the SessionExecutionLocal suite.
• 🔴 (22:54) User established the session-execution invariant “never re-enters its own uncertain live lease,” covered by an it.effect(...) test in the SessionExecutionLocal suite.
• 🔴 (22:54) User established the session-execution invariant “never revives an expired claim on heartbeat,” covered by an it.effect(...) test in the SessionExecutionLocal suite.
• 🔴 (22:54) User established the recovery invariant “never recovers a live execution lease,” covered by an it.effect(...) test.
• 🟡 (22:54) Added session-recovery database migration import @opencode-ai/core/database/migration/20260914170650_session-recovery.
• 🟡 (22:54) Session-recovery schema changes include fields named promoted_seq using integer() and continuation_message_id using text().
• 🟡 (22:54) Added Effect-based tests using testEffect from ./lib/effect, including a describe("SessionExecutionLocal", ...) suite.
• 🟡 (22:54) Added an it.effect("redrives a durable recovery wake after admission", ...) test verifying that an admitted durable recovery wake is redriven.
• 🟡 (22:54) Recovery tests invoke SessionRecovery.recover().pipe(Effect.provideService(SessionExecution.Service, execution)) and use a test execution service whose wake(id) records awakened session IDs.
• 🟡 (22:54) Session execution tests use SessionExecutionLocal.make(...), Deferred.succeed(started, undefined).pipe(Effect.andThen(Effect.never)) to model a live owner, and execution.wake(sessionID) to trigger execution.
• 🟡 (22:54) Recovery/projector tests publish SessionEvent.Step.Recovered and use SessionMessageUpdater; the test session identifier is SessionV2.ID.make("ses_projector_test").
• 🟡 (22:54) Tool-event processing now fails fast when a tool error’s name changes, using Effect.die(\Tool error name changed for ${event.id}: ${tool.name} -> ${event.name}`)`.
• 🟡 (22:54) Unknown recovery errors are represented as error: { type: "unknown", message }.