On Mon, Oct 29, 2018 at 3:17 AM Mark H Weaver <mhw@netris.org> wrote:

Can you please be more concrete and tell me what numbers you think
> should be in the second column, to properly reflect the column heading?
> I'm not asking for a prose description, but for the actual numbers.
>

Here you go:

+-------------------------------------------------------------------------+
|      TAI seconds  UTC seconds Posix seconds                             |
|         since       since        since                                  |
|     midnight TAI  midnight UTC midnight UTC                             |
|      1 Jan 1970   1 Jan 1970   1 Jan 1970    Result of 'time-tai->date' |
|-------------------------------------------------------------------------|
|$2 = ((126230410    126230398    126230398    "1973-12-31T23:59:58Z")    |
|      (126230411    126230399    126230399    "1973-12-31T23:59:59Z")    |
|      (126230412    126230400    126230400    "1973-12-31T23:59:60Z")    |
|      (126230413    126230401    126230400    "1974-01-01T00:00:00Z")    |
|      (126230414    126230402    126230401    "1974-01-01T00:00:01Z"))   |
+-------------------------------------------------------------------------+

So as you see leap seconds are included in both the TAI and the UTC count,
but not in the Posix count.

-- 
John Cowan          http://vrici.lojban.org/~cowan        cowan@ccil.org
I could dance with you till the cows come home.  On second thought,
I'd rather dance with the cows when you come home.
        --Rufus T. Firefly