This is a bit tongue and cheek as sharing just that random bit of information on a true SCI program about the customer would cause “issues”. The customer is obviously DoD/DoE, however bug did not come from the SCI side. If Cray/HPE is the contractor to the customer in supporting this system and the software being used then it is their issue write the fix or pay for a bounty to fix it WITHOUT reveling the customer. Even as a joke as the customer I would be upset.

Any large tech vendor likely has some dealing with certain government agencies. It has been my experience that those customers are NEVER referred to by name in any communications by the vendor and always given generic names like “customer blue”. You may see a bug tagged as customer blue in your bug db, but you did not know what agency that mapped to.