[time-nuts] GPS first LO need to be locked?

[paul swed]

I am curious if the first local oscillator on a GPS receiver must actually
be locked or coherent to the reference oscillator in the GPS receiver
typically running at some 10 MHz approximately. Or as long as the first LO
is quite stable it doesn't matter because the receiver can track the code.
This is a question for very classic receivers like Austrons, Odetics etc.
Discreet. Modern fully integrated receivers are not in question.
Thank you for your insights.
Regards
Paul
WB8TSL