"And is static analysis a non-negotiable requirement of life-critical code?"
I started grinding my teeth to slivers. "Normally yes."
I feel like this story is missing something. If static analysis is a non-negotiable requirement, shouldn't he have had to get explicit approval from higher-up before using Python?