Here's a test of how to correct the 1PPS signal out of an F9T with the qErr-value from the UBX-TIM-TP message.
When the time-interval-counter is configured with start=reference-clock, stop=uBlox, the qErr is applied with a + sign to the measured time-interval - resulting in much smoother data for averaging times up to tau=1000s.
In both cases the output frequency corresponds to an even frequency tuning word (FTW) although we step the frequency by one LSB. In other words the LSB appears to be zero in all cases, even when we write an odd FTW with '1' as the LSB. Instead of the expected 3.55 uHz frequency resolution we see double-sized steps of 7.1 uHz.
The Urukul measurement was done with a Microsemi 3120A phase-meter and the dev-board was measured using a PICDIV 1PPS-divider followed by a Keysight 53230A time interval counter. The even FTW frequencies agree with the predicted frequency to much better than 0.1 uHz.