Distillation

Date: Sep 17, 2026

• 🔴 (09:27) User asserted the recovery invariant: “never continues a Step that durably failed before owner loss.”
• 🔴 (09:27) User asserted the execution-lease recovery invariant: “never recovers a live execution lease.”
• 🔴 (09:27) User asserted the supersession invariant: “never recovers an execution superseded by a newer assistant.”
• 🔴 (09:27) User asserted the phase-parameterized supersession invariant: never recovers an assistant-less ${phase} execution superseded by a newer assistant.
• 🟡 (09:27) The supplied recovery tests use SessionRecovery.recover() with Effect.provideService(SessionExecution.Service, recoveryExecution) and include an assistant-less race identity formatted as assistant-less-race-${phase}.
• 🟡 (09:27) The supplied database migration tests import sessionRecoveryMigration from @opencode-ai/core/database/migration/20260914170650_session-recovery and use EffectDrizzleSqlite.makeWithDefaults().
• 🟡 (09:27) A migration test titled "adds final recovery ownership tables to a populated predecessor" seeds an existing session and input before applying/verifying the final recovery-ownership schema.