Здравствуйте, Finder_b, Вы писали:

F_>Все практические применения работают на eventual-consistency, и обеспечивают лайки котиков.

Так тебе не нравится первое или второе? Какой именно контрпример тебе нужен?