Distillation

Date: Sep 17, 2026

• 🔴 [required-concurrency-invariant] (01:37) User specified the execution-lease invariant: “never starts a second owner while the lease is live”.
• 🔴 [required-concurrency-invariant] (01:37) User specified the execution-lease invariant: “never overwrites an expired lease”.
• 🔴 [required-concurrency-invariant] (01:37) User specified the execution-lease invariant: “never re-enters its own uncertain live lease”.
• 🔴 [required-concurrency-invariant] (01:37) User specified the claim-heartbeat invariant: “never revives an expired claim on heartbeat”.
• 🔴 [required-cancellation-invariant] (01:37) User specified the cancellation-settlement invariant: “never lets runner settlement overwrite cancellation”.
• 🟡 (01:37) The patch adds beginCancellationSettlement: (commit: () => Effect.Effect<void>) =>.
• 🟡 (01:37) The schema patch adds index("session_execution_owner_idx").on(table.owner_id).
• 🟡 (01:37) Execution concurrency tests use Deferred.makeUnsafe<void>() and Scope.make() to coordinate lease-owner timing.
• 🟡 (01:37) A lease-related test asserts expect(initial).toBe(30_000).
• 🟡 (01:37) Test fixtures include assistant message msg_execution_local_existing with sequence 7.
• 🟡 (01:37) Recovery tests publish SessionEvent.Step.Recovered and include a continuation prompt { text: "continue" }.
• 🟡 (01:37) Test cleanup explicitly deletes session inputs with db.delete(SessionInputTable).where(eq(SessionInputTable.session_id, sessionID)).run().
• 🟡 (01:37) A stale/dead execution fixture uses owner_id: "dead" and another fixture sets assistant_seq: -1.