pub fn parse_iso(raw: &str) -> Result<TimeMs, AxError>Expand description
The moment raw spells in the one shape iso writes,
2026-05-14T09:31:07Z: UTC, to the second. The two are inverses:
parse_iso(&iso(t)) is t with its milliseconds dropped, and
iso(parse_iso(s)?) is s.
§Errors
E_INVALID_ARGS for every other spelling - a zone offset, a fraction
of a second, a date alone, a lowercase t or z, a day the calendar
does not have, 24:00:00, a leap second, a moment before 1970 - with
a recovery that shows the shape (crates/runtime/spec/Clock.lean §8-10).