Much more common is “expert” or “mastery” for that level of understanding, when I hear “grok” it means they read the Wikipedia page or did the tutorial or something.