I'm far from an expert but thought this was an interesting technical issue affecting open source licensing (perhaps similar to closed-source kernel drivers?). If anyone has recent experience sorting this out "in the real world" (amicably or not!) I'd love to hear about it.
The wording in the original article seemed to imply turning over the source was required by the LGPL, but if I understand what you're saying (You can still request a copy of the source of that library though) it should be more of a "pretty please, if you're feeling generous".
The piece I didn't understand (under LGPL) was "source code of VoiceAILib.dll".
They have to provide a way to rebuild VoiceAILib.dll with a modified version of LGPLed library, or just link the LGPL licensed library into it's own dll and don't bundle it with their own code into the same dll.
Providing the full source code for the whole dll is also a way to satisfy the LGPL's license requirements, of course.
From a quick google they have to release the code under a compatible license or provide a way to relink with with the LGPL code.
If they had dynamically linked they would have been fine.
The GPL code they statically linked in… they’re just screwed.
This has been done for QEMU in the past, for example (QEMU for historical reasons is a mishmash of GPLv2-compatible licenses, which is fine as long as the combination is distributed under the rules of GPLv2).
It does not. There is no such thing in copyright law as one work changing the license of another work. The idea of "virality" is incorrect.
If an author is violating the GPL by distributing e.g. MIT licensed code that links to GPL code it's up to them to choose between switching the whole work to GPL, or stop distributing it, or keep using MIT and stop including the GPL part.
They can even keep using MIT in libraries that are included in the main project and other combinations.
edit: see @bonzini reply
Well, in this case it appears that they're violating the license of the permissively licensed code, which still requires attribution. Points for uniformity, I guess...