Do you honestly consider modifying the core idea of the 24 hour day to be a "slight tweak"? I can't even imagine how many different things rely on that assumption.
(and I'm sorry, but what does "naming months and seasons in Mars" have to do with this?)
You have basically three options for timekeeping on mars: adjust the day, adjust the second, or give up on days syncing with the (apparent) movement of the sun.
The first option breaks mostly assumptions made in software and processes, the second mostly assumptions made in hardware, and the third breaks human's circadian rythm (a 23 or 25 hour rythm isn't a big deal, but it has to sync to light).
Of those three, the things that rely on 24 hour days seem to be the easiest to change. Though there is precedent both to messing with the length of a day (a leap second makes the day one second longer, making 23:59:60 a valid time) and the length of a second (google pretends like seconds are slightly longer as an alternative way to deal with leap seconds)
Sorry about that, I was just throwing somewhere at the bottom of the comment section an off-topic ideea I've been toying with. Didn't expect it will raise such interest and be voted towards the top.
Oh, I didn't realise that this proposal had been adopted!
I read[0] that "It will take about 50,000 years for a mean solar day to lengthen by one second (at a rate of 2 ms per century)" and "The [accumulated] difference between UTC and UT would reach 0.5 hours after the year 2600 and 6.5 hours around 4600" which I expect will be sufficient to take us through to the time where we will no longer need co-ordinated time or an IERS.
> and I'm sorry, but what does "naming months and seasons in Mars" have to do with this?
Time of day and calendaring and discussed together because they allow you to ask things like "what was the date and time on Mars prime meridian on Feb 2 2023 6:00 UTC" and get a recognizable date and time back. It's essentially a timezone, albeit a very strange one with a variable offset.
> modifying the core idea of the 24 hour day to be a "slight tweak"?
Ok, maybe an exaggerated hand-wave on my part. It's a slight software tweak on my desk clock. I was contrasting with the alternative of modifying a fundamental SI unit and more or less rebuilding from scratch all hardware sent on Mars. The fuckups alone resulting from confusing Earth seconds with Mars seconds.
For software that runs on Mars, I think "Mars date/time" has to be a brand new set of APIs and data types. The existing date/time APIs/types are for Earth times only. The "local time zone" on Mars would just be UTC. That way there wouldn't be much possibility of bugs based on confusing Earth and Mars time scales – all pre-existing software would still work with Earth date/times, and anything that needed to deal with Mars date/times specifically would have to be modified to handle them.
I think you misunderstood my point - I was saying make both Earth UTC and some Martian time scale available, just use a new API and data types for the latter. Which one to use in any given use case will be up to the application developer.
Sure, the leap second is a thing. We still represent the day as 24 hours for humans. They didn't seem to be talking about an "under the hood" hand waving of a significant part of the day.
(and I'm sorry, but what does "naming months and seasons in Mars" have to do with this?)