No, we're not. Even for code covered by copyleft licenses, we are only entitled to the source for which we have received a binary. However, once we have received those sources, we should be free to do with them whatever the license allows.

But that last part is what Red Hat is violating, and that's why some people have a deranged take, thank you very much: they use their sales contracts to specifically deny freedoms granted by copyleft licenses.