Distillation

Date: Sep 16, 2026

• 🔴 [requested-tests] (10:09) User supplied an Effect test asserting the lease invariant "never starts a second owner while the lease is live".
• 🔴 [requested-tests] (10:09) User supplied an Effect test asserting the lease invariant "never overwrites an expired lease".
• 🔴 [requested-tests] (10:09) User supplied an Effect test asserting the lease invariant "never re-enters its own uncertain live lease".
• 🔴 [requested-tests] (10:09) User supplied an Effect test asserting the heartbeat invariant "never revives an expired claim on heartbeat".
• 🔴 (10:09) User supplied recovery-schema changes adding assistant_message_id: text() and migration validation using pragma_table_info('session_recovery') to inspect whether assistant_message_id is required.
• 🔴 (10:09) User supplied an interface addition with the exact signature readonly interruptedCommit: (assistantMessageID: SessionMessage.ID) => Effect.Effect<void>.
• 🔴 (10:09) User supplied LLM event-publisher changes including a new interruptAssistant effect defined as Effect.fnUntraced(function* (message: string) { ... }), along with revisions to tool failure, tool input-delta publication, and unsettled-tool handling.
• 🔴 (10:09) User supplied runner changes that route overflow continuation through runAfterOverflowCompaction(...), replacing earlier direct failure/yield behavior.
• 🔴 (10:09) User supplied additional session execution/recovery tests using SessionExecutionTable, SessionTable, and SessionExecutionLocal.make(...).
• 🔴 (10:09) User supplied updates to packages/core/test/session-projector.test.ts covering the newly introduced execution/recovery behavior.