What happens to the swapped TIPS coins? escrow, burned, sold...?  And how is it proven?

Since there will be no air drop, I guess we should move bags back from the exchanges for the previously planned air drop.