How does Ristretto guarantee or verify its correctness?

It’s eventual consistency model . and There is no guarantee that a set would be applied