Thinking more about it this might not be important any more! The initial design used to always invalidate descendants on update but now descendants are only invalidated on ancestor invalidation.