This is basically the entire raison d'être for GPLv3. It doesn't matter much if the source code is available, or if the specification is available, if you can'

This is basically the entire raison d'être for GPLv3. It doesn't matter much if the source code is available, or if the specification is available, if you can't actually write code to use it.