JUCE GPL and VST SDK License Mystery

Yes - this is a good summary!

Obviously everyone is free to write and publish source code that is dependent on whatever libraries you want it to be.

The GPL and Steinberg's licenses are just concerned with permission to redistribute these libraries. As long as you don't break Steinberg's license by directly giving a copy of their SDK to other people, then you aren't breaking any rules.