I do find that statement really confusing. That implies they could have errors in the code handling the consensus? Hard to believe but otoh, they’re not really saying anything about zookeeper causing problems.

Maybe the correct solution is to understand why the states don’t match in the first place?