even unsafe rust offers a lot more safety guarantees
That would be lovely, except...
"The following list is not exhaustive; it may grow or shrink. There is no formal model of Rust's semantics for what is and is not allowed in unsafe code, so there may be more behavior considered unsafe."
...well, I'm not sure how much I'd trust code where I'm not even sure that what I've just written is correctly defined and where I don't even have a way to find out.
But ignoring almost everything that has been learned to date over the last 70+ years
What exactly has been learned in the last 70+ years about launching a 5000 tonne launch vehicle with almost 40 methalox full-flow staged combustion engines? Could you enlighten us on that matter?
another un-falsifiable hypothesis
You seem to be very confused about the meaning of "falsifiable".
Why did the Roman Empire collapse? What is the Latin for office automation?