That is explicitly in the technical regulations. My guess is they're trying to avoid exactly what happened with barbosu. However, even if that were true, I fail to see how they prove it since the minute applies to a verbal inquiry that has then to be confirmed 4 minutes later.
Sanne did her calculations before her score came out.
I still have to see a place where it says the coach has to inquire the ND. All the language in the technical regulations says you inquire about d-score, and you have a right for the elements and the line and time NDs to be checked.
Also, in the cases where a gymnast not only did not get the element but got downgrades (think Kara Eaker 2018 or Carey 2022), it looks like they went and re-evalued the whole exercise and not only a specific element. Which, if that is the case, then it would be onto them to check the NDs.
Regardless of which, these are all, I feel, somewhat procedural, "petty" arguments that we can absolutely have, but still, an athlete was demonstrably wrongly judged, and that's still the clearest case to me here.