it may be better to just write a compatibility library that complements musl with the missing functions
It exists. See gcompat.
It exists. See gcompat.
This is exactly the opposite that I was talking about. What I was talking is a library that expose glibc compatible headers to compile software that uses Glibc-isms with minor or zero modifications, but this instead is a compatibility layer for binaries and doesn't expose headers (probably for proprietary software that can't be recompiled).