phase transition: rollbacking->tainting