@p >I do know that if someone hands me binary code, I can demand the source from them. That is sufficient, I think.
That is not sufficient, as such business can and often refuses to provide the source code and if no copyright holder is willing to enforce their license for freedom, you don't get source.