No, I do not believe that is the case. A few years ago a registrar was shut down and I think what happens is that CIRA moves all the domains into a sort of temporary holding registrar they control. They then ask the domain owners to transfer the domains to their preferred registrar - explaining that their old registrar had their license revoked for non compliance of something or other. Some domain owners didn't move those domains - and when they expire, you'll see that "CIRA Holding (5)" listed as the registrar.
Why didn't the registrants move the domains? I'd chalk it up to indifference about that domain, ineptitude or most likely, a bad registrant & admin email address - so they had no way to get the instructions & auth codes to move them out. I would assume that some may have eventually contacted CIRA directly to fix the mess, I suppose that's what I would have done.
This is all pure speculation on my part, but it aligned with the events at the time (registrar losing its license). Maybe
@richard.schreier could confirm or clarify my theory?