I did an analysis of the bug from the blog post and the TAO paper, and from what I can tell the fundamental bug is therefore the fact that the error handler tha

I did an analysis of the bug from the blog post and the TAO paper, and from what I can tell the fundamental bug is therefore the fact that the error handler that handles cache invalidation errors drops only lesser versions, while the cache invalidation contract requires replacing equal or lesser versions. There is a detailed write up here: https://elliotswart.github.io/pragmaticformalmodeling/caching/reproducing-the-bug/ https://elliotswart.github.io/pragmaticformalmodeling/cachin...