I am highly interested how they managed to get the code certified.

I once was told that flight critical components of those aircrafts have to be verified using formal methods. That is at odds with everything I know about modern machine learning.

But maybe the plane is operated by a kernel machine…