This question is a follow-up on: Are there examples of proprietary software that functionally depends on free software?
Please note that this is not a duplicate, as "copylefted" (and some more, see full list below) are added as criteria.
I can no longer add those criteria to the previous question, because it has already got a good answer. Adding new criteria would invalidate the accepted answer.
Here is the new question:
Are there examples of composite programs that involve both proprietary software and free software and that also meet the following six criteria:
- The free software component that is part of the composite is only available under a strong copyleft license (no permissive license, no dual-license).
- The free software component does not allow some exception to strong copyleft (i.e. no LGPL, no linking exception, classpath exception, system library exception, kernel exception, font exception, etc.)
- The link that exists between the two programs is not that one program interprets the other's data.
- The composite is not a mere aggregate, where the free program just happens to be on the same file system or same media as the proprietary software, with no functional linking between the two.
- The composite work is distributed under non-free terms (not only used privatly).
- A court of law has declared the distribution lawful, or the distribution has never been challenged in a court of law.
The last requirement would exclude WMkernel from being used as example, as this has been challenged in a court of law (the decision is currently pending).
It is well known that opinions differs between FSF, OSI and TLF about what type of linkage that triggers the copyleft clause. My goal here is not to settle that dispute, or even to come up the the definitive answer about this (I don't even think that is possible).
Why I want to do, is to locate examples meeting the six criteria listed above. Yes, such examples may be "a legal disaster waiting to happen" (to quote a critic of the original question), but that is not the point. By identifying such examples and study them, we may learn something about what types of composites exist and that (so far) has not been challenged (or has prevailed) about copyleft.
In particular, I am looking for answers that clearly identify the components of the composite program, their functional interdependency, and how they communicate or are linked. The answer may also contain references to legal theory about this topic, but please note I am not looking for "mere theory", as I already is familiar with the theoretical positions of FSF, OSI and TLF. Any theory need to be connected to real examples, and its relevance to the example (if not obvious), should be pointed out in the answer.
Caveat: Do not even think about acting on any of the examples or analysis that appear in answers as being authoritative. This area is legally tangled and if you are going to create such a composite, you must either hire a lawyer to advice you, or you must secure explicit up-front permission to combine works from the copyright holder.