For you low level time nerds, yes, even DoD can't get GPS time / UTC / UT1 / leap seconds right the first time. Synchronizing 3 time scales across a leap second discontinuity is really, really hard. More info about ICD rev-J here:
"RFC Title: 2018 Proposed Changes to the Public Documents"
or search for RFC 374 here (page 67/117):
"Global Positioning Systems (GPS) Public Interface Control Working Group and Public Forum"
----- Original Message -----
From: "Leo Bodnar" <***@leobodnar.com>
Sent: Monday, July 30, 2018 12:58 PM
Subject: [time-nuts] New GPS Interface Specification IS-GPS-200J is out
Post by Leo Bodnar
For those who missed it - IS-GPS-200 has been updated a few months ago.
time-nuts mailing list -- email@example.com
To unsubscribe, go to http://lists.febo.com/mailman/listinfo/time-nuts_lists.febo.com
and follow the instructions there.