Ximin Luo: > Jeff Burdges: >> >> Is there even a global partial order G for typical DVCs for example? >> It's just the local ones that actually exist on disk, right? >> > > Yes, that is G the "full history". >
One thing to note here is that I don't mean that everyone *has already received G*. What I mean is the union of all events that everyone has committed to their local copies. Everything I've said so far, has nothing to do with "who has received which events/commits"; which is already well-handled by the fact that we're representing everything as a partial order. What I am talking about is *permission to read*. In DVCS and other applications, this union of all events G is in theory readable by everyone, via the "clone" or "pull" operations. These applications don't need to deal with "partial visibility": everyone that can read the same set X of messages, can also read all of its ancestors (that ever existed), and this is the same set of ancestors. Not so with "partial history", which is a scenario specific to private group chats, and I haven't come across it before in any other setting, either academic or in software. X -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE git://github.com/infinity0/pubkeys.git _______________________________________________ Messaging mailing list [email protected] https://moderncrypto.org/mailman/listinfo/messaging
