SpaceX IPO Question

Anyone know how is Gibson Dunn and Davis Polk getting comfortable not discussing the alleged and well reported potential DOGE "taking" of government data in the SpaceX S-1 (SpaceX includes the Musk X-AI assets)? Did I miss something, are they taking a massive assumption and/or reliance on representations in their 10(b)-5, or is something else going on here?

FWIW, I'm not involved in the deal, and this question is solely based on the public reporting of DOGE activities which I have not independently verified. THIS POST IS NOT AN ALLEGATION OF ANY WRONGDOING ON THE PART OF ANY PARTY.

edit: Interestingly getting heavily downvoted. Hmmmm.

Author: Jack-Schitz