Saturated directed spaces and generalized clocks

For a general directed space, forgetting the parametrization of paths can change their homotopy type. A clock is a directed space with submetrizable underlying space; a timed space is a saturated directed space equipped with a regular directed map to a clock. Over every fixed clock, timed spaces for