> Yes, good catch. > Assuming we have somehow prevented vac_truncate_clog from occurring > during CIC, we can leave frozen and potentially frozen > (xmin<frozenXID) for the second phase.
Just realized that we can leave this for the first stage to improve efficiency. Since the ID is locked, anything that can be frozen will be visible in the first stage.
