I have to add that GPS messages include TAI-UTC offset. That means that user of even old, non-internet-connected GPS receiver that didn't have any software updates in a decade, will still read out exact UTC time with cumulative leap seconds correctly applied.
I have many fine examples of early to mid 1990s GPS receivers which can, eventually, get the full almanac and determine the geographical coordinates, but can't correctly figure out what day it is.
Realistically that is only a problem for devices not yet supporting the 13 bit week field or if we still use GPS in 150 years and even then heuristics could solve this problem unless devices exist that without software updates will live for longer than ~100 years.