Bit concerned that ISO dates have only four-digit years. Should I manually prepend two or three zeros to my ISO timestamps?
Thanks to @dasyatidprime’s pointer to https://tools.ietf.org/html/rfc2550 (section 3) the solution has already been described. Year 10K will be stringified as A10000. Year 100K as "B100000". And so on.
Problem solved. Moving on. Nothing more left to see.
@22 Now you just have to make sure someone actually implements that in the relevant software within the next few thousand years, and you're good. :-) (I'm leaving an additional several thousand years for proper deployment and integration testing, of course…)