Distillation

Date: Sep 16, 2026

• 🔴 [enforced-concurrency-safety] (21:59) User asserted the session execution system must “never wake work settled between selection and redrive CAS.”
• 🔴 [enforced-concurrency-safety] (21:59) User asserted recovery must “never recover a pre-promotion claim when input commits at the recovery boundary.”
• 🔴 [enforced-concurrency-safety] (21:59) User asserted the scanner must “never promote a recovery superseded before scanner validation.”
• 🔴 [enforced-concurrency-safety] (21:59) User asserted recovery handling must “never quarantine an exact recovery conflict after ownership transfer.”
• 🔴 [enforced-concurrency-safety] (21:59) User asserted input handling must “never promote a quarantined recovery continuation as an ordinary steer.”
• 🟡 (21:59) The patch added effect tests with the exact names "never wakes work settled between selection and redrive CAS", "never recovers a pre-promotion claim when input commits at the recovery boundary", "never promotes a recovery superseded before scanner validation", "never quarantines an exact recovery conflict after ownership transfer", and "never promotes a quarantined recovery continuation as an ordinary steer".
• 🟡 (21:59) The ordinary-redrive concurrency test initialized ordinary_redrive_input_updates with INSERT INTO ordinary_redrive_input_updates (count) VALUES (0) and asserted the selected work ended with wake_pending: false.
• 🟡 (21:59) Recovery-boundary fixtures included SessionMessage.ID.make("msg_admit_only_explicit_resume"), published SessionEvent.Step.Recovered, and used requestExecution: true.
• 🟡 (21:59) The superseded-recovery validation test expected recovery_error: "Invalid recovery projection identity".
• 🟡 (21:59) The ownership-transfer conflict test used stale identity { sessionID, executionID: "exact-owner-stale", ownerID: "stale-owner" } and verified SessionExecutionTable retained owner_id: "successor-owner".
• 🟡 (21:59) Recovery fixtures included executionID: "stale-recovery-wake" and initialized ProjectTable with { id: Project.ID.global, worktree: AbsolutePath.make("/project"), sandboxes: [] }.