Yes the DTTC sends the company a formal letter declaring the restriction has been removed. Many tickers have actually PRed and provided their DTCC letter in OTC disclosures and or news feed at OTC Markets. Any such company would boast such a restriction removal with such evidence for public consumption.