They could even just call it GNU is now UNIX.

It was Stallman who came up with the name POSIX by the way.

As described in the thread, EulerOS and Inspur K/UX were both certified in the past.

They were CentOS Linux derivatives.

IIRC there were some UNIX Linux distributions in the past but the certification wasn’t renewed