Right option is (c) propagation delay
To elaborate: Kalman filter provides high resolution estimation of propagation delay from each satellite irrespective of their position. Kalman filter uses input from ground monitoring stations, space weather information, etc. The GPS receivers can estimate time with approximately 340 nanoseconds of jitter.