Distillation

Date: Sep 16, 2026

• 🔴 (10:09) User specified the session-execution claim invariant: an expired claim never renews itself.
• 🔴 (10:09) User supplied session-execution claim logic using Claim, Clock, Effect, and a where(claim, now) predicate to constrain claim updates.
• 🔴 (10:09) User supplied changes to packages/core/src/session/execution/local.ts adding claim: SessionExecutionClaim.Claim and lease expiration via expires_at: now + leaseDuration.
• 🔴 (10:09) User supplied local session-execution logic that queries SessionExecutionTable.phase and includes an interrupt: (sessionID) => operation.
• 🔴 (10:09) User supplied session-input changes introducing executionPending(db, input), propagating { admitted: stored, shouldWake }, and reading/updating SessionInputTable.wake_pending.
• 🔴 (10:09) User supplied an input option named requestExecution: boolean.
• 🔴 (10:09) User supplied recovery logic querying SessionMessageTable for assistant messages using and(eq(SessionMessageTable.session_id, recovery.session_id), eq(SessionMessageTable.type, "assistant")).
• 🔴 (10:09) User supplied recovery-phase handling involving phaseValue !== "continue", recovery.assistant_message_id === null, and synthetic === undefined.
• 🔴 (10:09) User supplied session context-epoch logic querying SessionContextEpochTable.session_id with eq(SessionContextEpochTable.session_id, sessionID) and returning { baseline: result.generation.baseline, baselineSeq }.