DashboardopencodeAlways enforce recovery race-condition …

Always enforce recovery race-condition invariants with explicit tests

Category: preference
Confidence: 0.80
ID: 01a0af13-afad-7001-9d97-bf39f506995f
Project ID: c0425955-02bc-4c17-9af2-b114c00077e7
Cross-project: No
Recalled in other projects: 0
Source session: 0nfk7PGYQ93s1uCW2
Created: 2026-09-17 09:48:59
Updated: 2026-09-17 11:14:58

Content

When changing session recovery or projection logic, preserve strict negative invariants around concurrency boundaries and encode each as a clearly named regression test. Verify that stale, superseded, transferred, quarantined, or expired claims are never recovered, promoted, quarantined, awakened, or allowed to advance state. Exercise races at scanner validation, input commit, ownership transfer, cancellation expiry, and selection/redrive CAS boundaries. Include delivery-mode edge cases such as quarantined continuations marked as ordinary steer, and assert both the forbidden side effect and the resulting durable state.

Move to: