I know I’ve forgotten to turn on auto-renew on a domain before. It sucks and caused a lapse. I think most registrars have a cooldown period where you can pay a fee to get your domain back before they release it back into the general pool. It’s usually like 90 days or something.