Distillation

Date: Sep 17, 2026

• 🟡 (08:42) packages/core/schema.json defines session_execution columns: id text required, session_id text required, owner_id text required, nullable assistant_message_id, phase text required, assistant_seq integer required with default -1, time_created integer required, expires_at integer required, and nullable recovery_error (lines 933–1022).
• 🟡 (08:42) packages/core/schema.json defines session_input columns: nullable id, required session_id, required prompt, required delivery, required integer admitted_seq, nullable integer promoted_seq, required integer wake_pending defaulting to false, and required integer time_created (lines 1023–1102).
• 🟡 (08:42) packages/core/schema.json defines session_message columns: nullable id, required session_id, required type, required integer seq, required integer time_created, required integer time_updated, and required data text (lines 1103–1172).
• 🟡 (08:42) packages/core/schema.json defines session_recovery columns: required session_id, required execution_id, nullable assistant_message_id, required continuation_message_id, required phase, required integer wake_pending defaulting to true, required integer wake_attempts defaulting to 0, nullable recovery_error, and required integer time_created (lines 1173–1262).
• 🟡 (08:42) Database migration tests verify creation of session_input, preservation of an existing session_message row with ID msg_existing, nullable session_recovery.assistant_message_id, and indexes including event_aggregate_seq_idx and session_message_session_type_seq_idx; the migration suite uses EffectDrizzleSqlite, DatabaseMigration.apply(db), and includes migration 20260601010001_normalize_storage_paths.
• 🟡 (08:42) The local Session execution tests verify that acquiring a claim snapshots the latest assistant sequence.
• 🔴 (08:42) User asserted the session execution implementation must never start a second owner while the lease is live; this invariant has an it.effect("never starts a second owner while the lease is live", ...) test.
• 🔴 (08:42) User asserted the session execution implementation must never overwrite an expired lease; the test confirms the stale claim retains its original id and owner_id.
• 🔴 (08:42) User asserted the session execution implementation must never re-enter its own uncertain live lease; the test invokes execution.resume(sessionID) and tracks runner invocation count via runs.
• 🟡 (08:42) Session execution lease coverage records an initial expires_at value of exactly 30_000.
• 🔴 (08:42) User asserted the session execution implementation must never revive an expired claim on heartbeat; the corresponding test advances TestClock by "10 seconds".
• 🔴 (08:42) User asserted the session execution implementation must never let runner settlement overwrite cancellation; the race test coordinates runner start/finalization with Deferred values and an assistant message associated with the Session.