We do know that. If you don't, it's because you haven't been following the claims records.
It doesn't matter if CMKX still holds claim to it or not as long as it's proven to have been valuable during the time of any possible naked short position in the CMKX stock. Any possible damages caused to the company and it's shareholders by any criminal short position will still be based on any future value that may be assessed from those claims.
Now that's just nonsense. Wherever did you get that idea? CMKX wasn't forced to give up any claims; it just let them lapse.