1. Есть проприетарный продукт "P".
2. Есть библиотека под GPL с твиками, пусть "G".

Продукт P можно скачать на сайте и его бинарники не содержат библиотеки G.

Пользователь устанавливает продукт P, далее скачивает и самостоятельно подбрасывает библиотеку G в нужную папку.
В результате получает фичу, которая поддерживается библиотекой G.

Вопрос1. Нарушает ли такое использование GPL? (если нарушает, то продукт P "заражается" GPL и требуется открыть его исходники).

Вопрос2. Если такое использование не нарушает GPL, то автоматизируем задачу. Инсталлер устанавливает продукт P, а далее отдельно скачивает библиотеку G и закидывает ее в папку. Нарушает ли такое использование GPL?

От себя могу добавить, что видел как софт предлагает скачать и установить сторонний модуль или драйвер в процессе инсталляции.
Т.е. нарушения в таком случае, похоже что нет. А если давать скачивать библиотеку G со своего же сайта?