Yup it sounds like a bit of a gray area for now. I think for most people it probably comes down to the way your broker reports the transaction on your 1099. I.e. if my broker reports it to the IRS as a "covered" loss, that's probably what I would use when filing my taxes.