Writing programs that work is indeed hard. I suspect that the folks writing code for space exploration are good at their job. But it is different dealing with adversarial behavior.
> But it is different dealing with adversarial behavior.
That's your opinion. Integration tests on another planet are just as hard as integration tests across a crypto bridge. One can even argue that an integration test on another planet is more difficult.