I think the implication was "why is it possible for a programmer to make a stupid assumption". In such a critical environment, one would hope there's oversight

I think the implication was "why is it possible for a programmer to make a stupid assumption". In such a critical environment, one would hope there's oversight and understanding of all of this, eliminating the need to ask on SO.