But I also don't understand how they would enforce that you can't use a leaked spec. If there are patents involved that would hinder an open source implementation regardless of if it was clean room or not. I don't think copyright would apply, because the implementation is not the same as the spec. And trademark would only apply if you used hdmi branding materials (so just say something like "this driver provides compatibility with an interface that has been hostile to open source that starts with h and ends with i"), and if you use a leaked spec, you didn't sign any contracts saying you can't implement it.