On 2021/01/11 08:31:03, Jack Vanlightly wrote: > Hi, > > I've recently modelled the BookKeeper protocol in TLA+ and can confirm that > once confirmed, that an entry is not replayed to another bookie. This > leaves a "hole" as the entry is now replicated only to 2 bookies, however, > the new data integrity check that Ivan worked on, when run periodically > will be able to repair that hole.
Can I read from the bookie with a hole in the meantime, and silently miss data that it doesn't know about?
