Distillation

Date: Sep 17, 2026

• 🔴 (08:43) User asserted recovery/redrive must “never wake work settled between selection and redrive CAS”; the invariant is covered by it.effect("never wakes work settled between selection and redrive CAS", ...) at line 1011.
• 🔴 (08:43) User asserted recovery must “never recover a pre-promotion claim when input commits at the recovery boundary”; the invariant is covered by it.effect("never recovers a pre-promotion claim when input commits at the recovery boundary", ...) at line 1369.
• 🔴 (08:43) User asserted recovery must “never promote a recovery superseded before scanner validation”; the invariant is covered by it.effect("never promotes a recovery superseded before scanner validation", ...) at line 1699.
• 🔴 (08:43) User asserted recovery must “never quarantine an exact recovery conflict after ownership transfer”; the invariant is covered by it.effect("never quarantines an exact recovery conflict after ownership transfer", ...) at line 1763.
• 🔴 (08:43) User asserted recovery must “never promote a quarantined recovery continuation as an ordinary steer”; the invariant is covered by it.effect("never promotes a quarantined recovery continuation as an ordinary steer", ...) at line 1910.
• 🟡 (08:43) The pre-promotion boundary test verifies SessionExecutionTable is empty using expect(yield* db.select().from(SessionExecutionTable).all()).toEqual([]) at line 1427.
• 🟡 (08:43) Additional recovery-test fixtures and values shown include message ID "msg_ordinary_settled_at_cas", execution ID "stale-recovery-wake", owner_id: "stale-owner", recovery_error: "Invalid recovery projection identity", promoted_seq: null, phase: "unknown", phase: "ready", expires_at: 0, wake_pending: false, agent "build", project directory/worktree "/project", and project sandboxes: [].