1. Physical events are represented by points in Minkowski space. (Note that this implies that the motion of a classical object can be represented by a set of curves in Minkowski space, and that this suggests that we define a classical particle to be "a physical system whose motion can be represented by exactly one such curve").
2. A clock measures the proper time of the curve in Minkowski space that represents its motion.
It's clear that we also need to postulate something about measurements of length, but this is more difficult because of Lorentz contraction. There might be more than one OK way to do it, and one of them seems to be to postulate that lengths are measured by rulers, and that a solid object (like a ruler) that's accelerated gently undergoes Born rigid motion (which guarantees that if we slowly change its velocity, its measurements before and after the acceleration will be consistent with the Lorentz contraction formula).
Unfortunately, this postulate is inappropriate when we formulate theories of matter in this framework (as described in my previous post). It must be possible to possible to use those theories to
prove the Born rigidity of an accelerating solid. However, that result isn't going to be a testable prediction of the theory unless we use something other than solid objects to perform length measurements.
If we can't use solids, it seems natural to use light instead. We can use radar to define distance. If we emit a signal at time t
1 (as measured by a clock attached to the radar device) and detect the signal coming back at time t
2, then the distance to the reflection event can be defined as (t
2-t
1)/2. But of course this only works as well as we'd like if the radar isn't accelerating. So we can take the third postulate to be that "lengths are measured by radar devices that move on geodesics",
or that "
infinitesimal lengths are measured by radar devices".
Hey, I learned something.

Some of these things weren't perfectly clear to me before, in particular the reason why the postulate about length measurements should use radar instead of rulers.