The "optional" portion is this part of the spec, not the time part.
> implementations can guarantee additional monotonicity via the concepts covered in this section
> implementations can guarantee additional monotonicity via the concepts covered in this section
So, no, the “time part” of the postgres implementation is, in part, one of the options discussed in the spec, not merely the “time part” required in the spec.