The invariant makes an assumption that is too strong. The bucket can also be in pending direct write state.