Can you talk more about why it's correct to rollback the divergent entry (oe is divergent here, right?) instead of declaring it missing or deleting it?
In particular, if there's more than one divergent modification to an object, rollback would not make them match up properly, would it? (Maybe that can't actually happen right now, but I could see scenarios where OSDs with updates get declared lost and then come back into the cluster wreaking havoc with these expectations.)