Barrapunto

El proceso de enlazado al que haces referencia consiste en la generación de un índice (varios realmente: en Windows son las tablas LDT y GDT, en Linux/ELF la GOT y PLT, etc.) con las direcciones de cada punto de entrada de la biblioteca que fue referenciado en tu programa.

Ocurre lo mismo cuando compilas con código que no está en una biblioteca, sino en un fichero objeto normal y corriente, separado del tuyo. Solo que luego esos índices se resuelven en el enlazado final, en lugar de dejarse al enlazador dinámico.

Como dije hace dos comentarios [barrapunto.com]: enlaza con una biblioteca estática y consulta los índices ¿Donde está todo ese código? ¿Está dentro o fuera del programa? ¿Los símbolos están donde estarían los de una biblioteca dinámica? ¿Están dentro o fuera de tu programa?

Porque es, repito por enésima vez, de lo que va todo esto. Si no contiene partes del original, modificadas o no, entonces no puede considerarse obra derivada, y esto es así en todos los países de la Convención de Berna. Sigues necesitando, claro está, permisos del titular para distribuir la biblioteca junto a tu programa pero la GPL no tiene ninguna objeción a ello siempre que cumplas las condiciones de redistribución... Las de la biblioteca, claro, que es lo único que está licenciado como GPL.

No hay más ni menos que eso y si lo quieres discutir, matizar o rebatir te sugiero que lo hagas desde el punto de vista legal porque ya veo que por el técnico tus argumentos son muy "amplios" y eruditos, y yo ya no me dedico a la docencia.