My take on the Spacex is Mars habitation project is that Musk will put a bunch of edgelords on Mars, and then not really be able to follow up with adequate supply lines and the operation will be offline for a hundred years or so while the climate settles down. The people who live on Mars will then have been there alone for a century and in the 2100s we will send a follow up mission with hilarious consequences.
https://defector.com/neither-elon-musk-nor-anybody-else-will...
All your other solutions are hand-wavey. Sure, let’s “just live underground” as if that’s just as easy as pitching a tent. And who on Earth is surviving nine months without any food? You’re talking as if Mars is just turning right on Albuquerque.