The two ways they have for getting source code are kind of funny and easy, and kind of makes fun of RHEL in pulling this maneuver, getting so much community backlash and ultimately having so little effect other than to negatively impact future business. But will they go further to violate the GPL? Or concede defeat? Say what you want, but to cut off paying customers if they share source code which is their right under the GPL is a really bad move that exposes the character of those running the company.
I’m not 100% on this as I don’t work for NASA so don’t shoot me if I’m wrong however I suspect/speculate the NASA contract is purely because someone needed X machines for a task and that their IT contracts would require support for the years the project runs for. There may or may not be a stipulatio/recommendation on the OS for the software stack. Meaning that because they want to run software Y they need to run Rocky and so corporate requires that to have support. Not that Rocky were simply undercutting RHEL.
I repeat, this is purely speculation.