The same way any reporting company does. By using the official books and records of the TA. Lots of fully reporting BB stocks have claimed a naked short, but they still filed. USXP for example, and GeneMax, and NuTek.