Any network with the possibility of contention is an an adversary.
There is no contention on an individual ethernet link, at least in a switched network. At any given time, either a specific packet is being transmitted or it is not. Even in a hub, either the packet is transmitted or not, a collision cancels both packets, it doesn't delay them non-deterministically.
Where there is a finite time-of-flight, partial ordering is the best you will ever be able to achieve.
Depends on what you mean. There is always a limit to synchronization and resolution. So there will be events that are so close you can't distinguish which is "actually first". But you can still assign a total order -- every event has a timestamp, timestamps *trivially* have a total order. That isn't the problem -- the problem is preserving causal ordering -- no node should be able to receive a message about the future. But that's conceptually easy, it only requires synchronization to be better than the shortest hop delay.
It will be interesting to see what the standards bodies define - and don't define - w.r.t. defining time on the moon relative to time on the earth. And Mars. And Alpha Centauri.
PTP itself doesn't require a specific reference frame, or even a specific rate. It's almost universal to use something derived from GPS, which means that the second is relative to TAI, aka the SI referenced to MSL. But you can run it with your own time reference, for instance if you have your own atomic clock and want to run it with your own local SI second rather than the MSL reference TAI. Or you can use a different or arbitrary time offset if you want.
The primary goal of PTP is to ensure that every clock in the system is running at the same rate. It's basically a way to distribute PPS signals without a dedicated network. The secondary goal is to make sure that their offsets are equal, which requires a description of the reference plane where the time will be measured, typically the PHY.
Jitter is relevant, but isn't the principal conceptual problem with the idea of a single unique time on all interconnected processors.
There is no conceptual problem with having a unique time defined everywhere, and I don't know why you think there is. Because time is different in different reference frames due to GR and SR, you *do* have to pick a reference frame, but once you do it's perfectly well defined how to synchronize clocks everywhere.