Perform a first revision-safe read/write

Invariants

• Never omit expected revision on conditional writes

Steps

1. 1. Read current record and revision
   Expected: Revision N known
2. 2. Write with expected revision N
   Expected: Success or conflict

Verification

• Record shows revision N+1 on success

Recovery

• On conflict, follow reload-and-retry guide