If you know of an example of GPL code being cleared for release on consoles I'd be interested to hear it because I'm not aware of any. The game Wrath: Aeon of Ruin was built on a fork of the Quake engine, but then they had to spend years rebuilding it from scratch in Unity for the console releases because GPL was verboten.

Maybe you're right. I have not tried this and don't know someone who has.

I am reasoning with the example of DirectX. You should be able to release a GPL program that uses DirectX, even though nobody has the source code for it.

If some version of that is not right, it's impossible to make a GPL windows or Mac UI application.