Function move_state_row 

async fn move_state_row(
    states: &Arc<Map>,
    txn: &mut Txn,
    loser: u64,
    winner: u64,
) -> Result

Moves one loser-keyed state row toward its winner.

The value moves only onto an absent winner key; an occupied one was written at another moment and keeps its own row.