I think you and Moto7451 are both correct; i.e. doing either of those things would fulfill the source distribution requirement. What GPL does not allow is shipp

I think you and Moto7451 are both correct; i.e. doing either of those things would fulfill the source distribution requirement. What GPL does not allow is shipping binaries without source while honoring source code requests exclusively from your own customers. It's either providing them together to customers or providing source separately to anyone who asks.