> ...the users of the GPLed binaries have not had their right to see the source satisfied.
That's the intent of the GPL (GPL v3 Preamble) but it's not an outcome that a license can guarantee. A copyright license can only be enforced using copyright law, and the remedies for copyright infringement are limited to monetary damages (actual or statutory). Sometimes the threat of a copyright infringement suit may compel an infringer to release their source code rather than be ordered to pay damages, but sometimes not.
That's the intent of the GPL (GPL v3 Preamble) but it's not an outcome that a license can guarantee. A copyright license can only be enforced using copyright law, and the remedies for copyright infringement are limited to monetary damages (actual or statutory). Sometimes the threat of a copyright infringement suit may compel an infringer to release their source code rather than be ordered to pay damages, but sometimes not.