Lesser known fact about .dev: The registry software that runs it (and Google's other TLDs) is free and open source, and is developed in the open on GitHub: https://nomulus.foo

So if you really have thorny questions that need answering about how exactly certain complicated parts of the domain lifecycle work, you can just dive into the source.