> This is absolutely fine. But it should preclude them from becoming a public standard.

Define "public standard". And how is HDMI one of them?

HDMI is a private bundle of IP that the license holders are free to give (or not give) to anyone. We're not talking about a statue by a government 'of the people' what should be public. No one is mandated by any government to implement it AFAICT: and even if it was, it would be up to the government to make sure they only reference publicly available documents in laws.