I would very much love to see the "simple CRDT" implementation described above, seems like it would be a great learning tool and/or foundation on which to build something more complicated!
https://braid.org/meeting-8 (the shelf part with Greg starts at about 43 minutes in to the recording.)
The code is all here. Its tiny: