[DannyBee]

I'll assume everything you say is right :)

The question here is whether Infineon had a contract with NASA or otherwise should have known these were sold to NASA.

Again there is nothing cited in the article that says "yes".

If you've got data that says yes, awesome, what is it?

[0xffff2]

The fact that they found out about this accidentally at a conference is, all by itself, extremely strong evidence that Infineon didn't notify whoever they should have for the Europa Clipper mission, whether that was NASA itself, an in-house contractor or an external subcontractor.