Rename time quantities to have very explicit names. We assume that all quantities relating one frame to another is expressed in terms of deviations (to limit the dynamical range).
tps_proper_time_deviations becomes tps_wrt_tcb, spacecraft proper time deviations with respect to TCB (upsampled from orbit files) [s]
local_timer_deviations_withinitial becomes the_wrt_tps_local, clock time deviations with respect to spacecraft proper times (contain the clock offers, drifts of various orders, and clock noise [s]
Add time quantities
integrated_clock_noise_fluctuations_withinitial and integrated_clock_noise_fluctuations containing the integrated clock noise fluctuations (initially as fractional frequency deviations) [s]
the_wrt_tcb_withinitial, clock time deviations with respect to TCB (combinations of TPS wrt TCB and THE wrt TPS) [s]
moc_time_correlations, downsampled version of the_wrt_tcb_withinitial [s]
Rename TCB synchronization noise to MOC time correlation noise
tcb_sync noise function is renamed moc_time_correlation
sync_asds parameter is renamed moc_time_correlation_asds
tcb_sync_noises noise time series is renamed moc_time_correlation_noises
Use the_wrt_tps_local to compute the TDIR assistance tones
Propagate the_wrt_tps_local to form the the_wrt_tps_distant, and then compute the MPRs
Invert the the_wrt_tps_local to form the tps_wrt_the to resample measurements to THE
