> E.g. nic.google redirects to registry.google, Google's domain registrar whose engineers also operate .google

Negative. Google's TLDs are operated by Google Registry, as shown on that site, which is an entirely separate team from Google Domains (the registrar).