The issue with Matrix' "eventually consistent" approach is that the protocol assumes inconsistencies simply don't exist and just ignores that eventuality, so when inconsistensies arise they tend to be 1. silent and 2. irrecoverable