This is unrelated to CVE-2023-6246 (which 2 of your links are about), other than that it piggy-backed on the embargo date.
Have the auditors tried looking at musl libc? It seems a lot less convoluted from what I've seen so may be an easier thing to validate.