Running separate services for the government is very common in software services. Being public doesn't bring any technical oversight at all. I haven't actually heard of grok being used for the government security ive only ever heard Claude being used.