Distillation

Date: Sep 16, 2026

• 🔴 (15:38) User specified the recovery invariant "never recovers a live execution lease", represented by an it.effect(...) test.
• 🔴 (15:38) User specified the recovery invariant "never recovers an execution superseded by a newer assistant", represented by an it.effect(...) test.
• 🔴 (15:38) User specified the redrive CAS invariant "never wakes work settled between selection and redrive CAS", represented by an it.effect(...) test using execution ID "recovery-settled-at-cas".
• 🟡 (15:38) User-provided tests include it.effect("fairly redrives recovery and ordinary work beyond a full bounded batch", ...), covering fairness between recovery work and ordinary work beyond one complete bounded batch.
• 🟡 (15:38) The supplied recovery tests interact with SessionInputTable, SessionMessageTable, SessionRecoveryTable, and SessionTable, and use services or modules including SessionExecution.Service, SessionInput.admit, EventV2.Service, Prompt, and Snapshot.