This poses an interesting question, maybe some of the hobby-lawyers on HN like to chime in and post heir theories :o)
Let's assume they print that Logo on their box, call it HDMI in their Windows drivers, but don't do so in their Linux drivers, while it's still a spec-compliant implementation. Would that pose a potential legal problem, and if so why?
If it's the fact that they have access to the official HDMI 2.1 spec, implemented that, but call it something else, which I could imagine they forbid in some contract, would things change if some random hacker with too much time on their hands reversed the protocol by sniffing it, implementing it for the AMD driver (again without calling it HDMI)?
Too bad the HDMI forum doesn't feature an email address on their home page, I'd have loved to tell them what I think of them.