Two Offline Removes, One Sync

Two Offline Removes, One Sync A sequence diagram generated by Archify. push: removed milk@t1, have bread@t2 offline edit, tags seen push: removed bread@t2, have milk@t1 offline edit, tags seen merged: empty cart adds minus removes, both tombstoned merged: empty cart concurrent add milk@t3 minted offline, never saw the remove add-wins: milk@t3 live remove-wins: milk gone same history, other product rule Observed removes converge Concurrent add splits semantics Device A · removes milk · Sequence participant Device A removes milk Device B · removes bread, re-adds milk · Sequence participant Device B removes bread, re-adds milk Sync exchange · merges adds + removes · Sequence participant Sync exchange merges adds + removes Legend main request return security