Distillation

Date: Sep 16, 2026

• 🔴 [enforced-concurrency-safety] (21:59) User asserted recovery handling must “never quarantine cancellation after recovery ownership transfers.”
• 🔴 [enforced-concurrency-safety] (21:59) User asserted recovery handling must “never quarantine projection failure after recovery ownership expires.”
• 🔴 [enforced-concurrency-safety] (21:59) User asserted recovery handling must “never quarantine projection failure after recovery ownership transfers.”
• 🔴 [enforced-concurrency-safety] (21:59) User asserted the system must “never advance the Context Epoch after ownership changes.”
• 🔴 [enforced-concurrency-safety] (21:59) User asserted the system must “never wake execution when retrying an already promoted prompt.”
• 🟡 (21:59) The patch added effect tests with the exact names "never quarantines cancellation after recovery ownership transfers", "never quarantines projection failure after recovery ownership expires", "never quarantines projection failure after recovery ownership transfers", "quarantines failed execution conversion before scanning later claims", "never advances the Context Epoch after ownership changes", and "never wakes execution when retrying an already promoted prompt".
• 🟡 (21:59) The cancellation ownership-transfer fixture used phase: "cancelling".
• 🟡 (21:59) The failed-conversion scanner test established that a failed execution conversion is quarantined before later claims are scanned; its fixtures included phase: "ready" as const, timestamp: DateTime.makeUnsafe(index), and verification of SessionRecoveryTable.wake_attempts.
• 🟡 (21:59) The Context Epoch ownership-change test queried SessionContextEpochTable.snapshot using eq(SessionContextEpochTable.session_id, sessionID) and compared lease state captured in leaseBefore.
• 🟡 (21:59) The already-promoted-prompt retry test reset wakeCalls.length = 0, used Prompt.make({ text: "Recover a lost advisory wake" }), and invoked replaySessionProjection().