Sequential comparison requires complete lifts

A comparison sequence requires the same retained spaces, or explicit isometric identifications. A fixed-background radiation state is not itself a complete comparison step: a residual lift and its dependence on the code must also be supplied.