[deleted] I checked to be sure and that means that if the one header is missing, the OS will use the less precise time that's sent with the response (here's the part in the code where it does that).
For example, this is part of what I get when I use curl -v:
> GET /generate_204 HTTP/2
> Host: time.grapheneos.org
> User-Agent: curl/8.4.0
> Accept: */*
>
* received GOAWAY, error=0, last_stream=1
< HTTP/2 204
< server: nginx
< date: Wed, 27 Dec 2023 15:23:24 GMT
< strict-transport-security: max-age=63072000; includeSubDomains; preload
< x-robots-tag: none
< x-time: 1703690604109
There you can see a date header and an x-time header. Date is accurate to the second and the timestamp returned is accurate to the millisecond.