Distillation

Date: Sep 16, 2026

• 🔴 [enforced-concurrency-safety] (21:59) User asserted the session execution system must “never start a second owner while the lease is live.”
• 🔴 [enforced-concurrency-safety] (21:59) User asserted the session execution system must “never overwrite an expired lease.”
• 🔴 [enforced-concurrency-safety] (21:59) User asserted the session execution system must “never re-enter its own uncertain live lease.”
• 🔴 [enforced-concurrency-safety] (21:59) User asserted the session execution system must “never revive an expired claim on heartbeat.”
• 🔴 [enforced-concurrency-safety] (21:59) User asserted recovery must “never recover a live execution lease.”
• 🟡 (21:59) User supplied a patch adding session execution and recovery schema constraints, including named checks session_wake_attempts_check and session_execution_phase_check.
• 🟡 (21:59) The patch included a database constraint test attempting to insert an invalid session_execution row with id='bad', session_id='ses_existing', owner_id='owner', phase='invalid', time_created=0, and expires_at=1.
• 🟡 (21:59) The patch added an effect test named "clears the claim after a successful drain".
• 🟡 (21:59) The patch exercised SessionExecutionLocal.make(...), execution.wake(sessionID), and execution.interrupt(sessionID).
• 🟡 (21:59) The interruption tests forked execution.interrupt(sessionID) with Effect.forkChild and coordinated finalizer timing through Deferred.succeed(finalizerStarted, undefined).pipe(Effect.andThen(Deferred.await(releaseFinalizer))).
• 🟡 (21:59) Recovery tests asserted that relevant paths leave SessionExecutionTable empty via expect(yield* db.select().from(SessionExecutionTable).all()).toEqual([]).
• 🟡 (21:59) Recovery tests asserted that ineligible recovery paths leave SessionRecoveryTable empty via expect(yield* db.select().from(SessionRecoveryTable).all()).toEqual([]).
• 🟡 (21:59) The patch included recovery fixtures using IDs in the form assistant-less-${phase} and a continuation ID produced by continuation("lost-wake").
• 🟡 (21:59) One persistence test asserted SessionMessageTable contained exactly 1 row with expect(yield* db.select().from(SessionMessageTable).all()).toHaveLength(1).
• 🟡 (21:59) Tool-event handling retained duplicate-settlement protection: when tool.settled is already true, a duplicate error event dies with Effect.die(`Duplicate tool error: ${event.id}`).