[Ditto]

I would take a good hard look at the possibility that unusual drag (or loss/corruption of sensor input) may have caused the computer to overcorrect at Mach 20.

Your code setpoints should not allow for an overcorrection.

[SauronOfMordor]

Your code setpoints should not allow for an overcorrection.

Unfortunately in the real world, there's sometimes a disasterous difference between "should not" and "does not"