GPLv2 source versus install rights
GPLv2 can stay green (source with the binary) while the user cannot install a modified binary. GPLv3 later added an install-information handle. A distribution checklist is not the same as a user halt.
What. License text that already exists: GPLv2’s source-with-object rule versus GPLv3’s installation-information requirement.
Why. A distributor can satisfy a listed leaf (ship source) while the user still cannot change the running device. The later clause is the handle.
Witnesses.
- Experiment methodology (Expectation 4): distributor checklist green is not user install rights.
- Grounding viability (C-004a): GPLv2 source-with-object can stay green while the user halt is missing.
Host.
FSF GPLv2 and GPLv3 license texts as a frozen implication tree.
Setup.
Frozen tree h5-gpl-tivoization-v1.json, protocol h5-v1.0.0.
Analysis.
Can GPLv2 §3 stay green (source with object) while tivoization keeps the user from installing a modified binary? GPLv3 §6 Installation Information is the later constraint. Copyright analogue; it may not transfer to model weights.
Finding.
GPLv2 source-with-object can stay green under tivoization; GPLv3 §6 is the later install handle. Analogue only. Full results