[messaging] Partial order group chat with partial history visibility

[Ximin Luo]

Ximin Luo:
> However, for the longest time I couldn't construct any examples that actually concretely indicate this problem, to be able to study it further. Now finally I've proved that this is actually false, and the more counter-intuitive result holds, i.e.:
> 

Scratch the whole thread, turns out I actually wrote down a concrete example back in Jan 2015 [1] and forgot about it. It is rather a specific example, and to construct it requires some context on simpler special examples on why some other things don't work, and I had forgotten about the whole episode. I also found the error in my "proof", but at least it was useful trying to practise such techniques.

X

[1] https://github.com/infinity0/msg-notes/commit/93b6cea1870010da83d58e47d49ef1d0cee13acf

-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
git://github.com/infinity0/pubkeys.git