They are actually under exactly that obligation. It's very explicit in the gpl not only what the terms are, but what their intent is, precisely so that no one can ever claim any other possible interpretation.
But according to Red Hat in the interview linked below all of RHEL is built from CentOS Stream, is having the source code available in CentOS Stream Gitlab not adhering to GPL ?
Nope. Centos Steam is merely upstream of RHEL. GPL stipulates that when you give someone else a binary, you also give them the source to that binary, not something similar.
Isn't that the whole issue here? Customers and people with Developer licenses can get the exact RHEL binaries "behind the paywall". And even then if something is upstream does that not mean that the same code flows down stream?
