Assuming that the only atomic operation in Soledad is a doc put, what happens to the message if the above saving steps are interrupted? I don't see a way of making it all atomic, but maybe  we could indicate in the first saved doc what it hsould expect from next docs, so we know we have an inconsistent message when we eventually find one. I'm not sure it is already possible to do that with the current flag doc contents.