I consider exactly those scenarios. I said that the law would allow Tesla to copy only the exact version that was included on the hardware when shipped by the supplier (assuming the supplier is complying with the GPL and thus the version on the hardware when received by Tesla is licensed). The law doesn't permit Tesla to take a different version of the software and copy it on the hardware just because they are repairing it. That's the entirely purpose of the language in the law that I highlighted in my previous post.
I'm giving several different examples of reasons why Tesla may not be required to distribute source code directly; I'm not saying that's what they're definitively doing. My initial post this morning (which I'm beginning to regret ever posting) was simply to point out that no one here has posted a shred of credible proof that Tesla has violated the license. There have only been assumptions made about how Tesla manages the code.
We know that Tesla is using Tegra 2 and Tegra 3 systems. Linux for Tegra as provided by nVidia is located here:
Linux For Tegra Archive
nVidia is their supplier. nVidia is publishing the source code to the kernel. They also publish binaries.
Perfect. So, just like the AT&T/Samsung mobile phone case, nVidia supplied the hardware+software unit to Tesla and is responsible for offering the source code. They have done so. So... what's the concern with the license again? I'm confused.
From what I've heard about Tesla they are very inclined to do as much as they possible can do in house.
It's not about what you've heard, or assumptions made based upon how Linux is used elsewhere. It's not about how you find something "almost impossible", because that's not proof and wouldn't stand up. When someone provides credible proof that Tesla is responsible for the operating system code, then I'll agree with you. Until then, there are still several very plausible cases in which Tesla would not be responsible for distributing source code per the GPL.
And now, as we seem to be circling again, I'll just simply take leave and let this thread return to the Tesla bash fest full of assumptions about Tesla's handling of source code.