I strongly suspect that that's not an action a registrar is allowed to perform. Do you have any documentation on what would allow them to do that?
A registrant then has 30-44 days (depending on the registrar) to “renew” but in fact the domain has already renewed so in what happens is the registrar deletes the domain in the case where they don’t have that affirmative action.
All I can say is read the rfc or take my word for it, I’ve run a registrar.