Earlier quoted context omitted.
How is the GSP receiver a consequence of GR (honest question)? I know internal clocks of the satellites have to compensate for time dilation, but to be honest I don't see why that couldn't have been 'fixed' with an empirical solution devoid of theoretical basis. After the first launch, of course.
I think the empirical solution would not be as straight-forward as you proclaim. Namely, because lacking any clear understanding of the science any number of theories might crop up that attempt to explain the perceived anomaly thus hindering efforts at finding a workable solution. Some of the emergent theories might actually lead to declaring outright that the concept is flawed and unsolvable. On the other hand, havi…
But I picture it like this, in my very naive way.
1) launch satellites
2) after some time, engineers notice the clocks keep running behind/ahead (I always forget)
3) engineers debate, and have no clue what's happening
4) engineers build fix to re-synch the clocks every 24 hours or so
5) gps system works fine, engineers remain puzzled
And then of course
6) after years of puzzlement, some kid figures out what's going on