invalidate_seq on CDS takes phase into account