mawk is not POSIX compliant because it does not support POSIX EREs.
To be precise, it does not support named character classes like [[:space:]] within its EREs, which are part of POSIX EREs.
Both GNU awk and BusyBox awk do not seem to have this problem.
I encountered this issue multiple times in my own awk scripts, because I really like [[:space:]] for matching htabs as well as spaces and potentially other locale-specific whitespace with a single character class expression.
So I wonder why several Linux distros chose to ship a non-POSIX-compliant implementation of such a prominent utility by default, even though POSIX-compliant ones are also available?