[nickdothutton]

Having read the actual report... insufficiently rigorous validation of inputs leads to discovery of corner case.

They could have probably found this sooner with either fuzzing or perhaps some sort of digital twin model.

Finally, there's no exit clause to reject a flight plan from an "upstream"? That is a worry.