Distillation

Date: Sep 17, 2026

• 🔴 (08:43) User asserted execution recovery must “never recover a live execution lease”; the invariant is covered by it.effect("never recovers a live execution lease", ...) at line 304 of the provided test file.
• 🔴 (08:43) User asserted execution recovery must “never recover an execution superseded by a newer assistant”; the invariant is covered by it.effect("never recovers an execution superseded by a newer assistant", ...) at line 342 of the provided test file.
• 🔴 (08:43) User asserted execution recovery must “never recover an assistant-less ${phase} execution superseded by a newer assistant”; the parameterized invariant is covered by it.effect(`never recovers an assistant-less ${phase} execution superseded by a newer assistant`, ...) at line 390 of the provided test file.
• 🟡 (08:43) The live-execution-lease recovery test verifies that SessionRecoveryTable remains empty with expect(yield* db.select().from(SessionRecoveryTable).all()).toEqual([]) at line 337.
• 🟡 (08:43) The provided recovery tests use SessionExecutionTable, SessionRecoveryTable, SessionInputTable, ProjectTable, SessionExecution.Service.of(...), SessionInput.admit(...), and prompts including Prompt.make({ text: "fresh wake" }); fixtures include expires_at: 0, assistant_seq: -1, phase: "unknown", phase: "ready", and execution ID "valid-recovery-row".