Durable Store-device exclusion state: the exact proposal/outcome objects, prepared candidates, and completion outcomes one exclusion operation persists, validated against the slots and commits they bind.