Searching for "GPS protocol" reveals many sources for processed GPS data, e.g. NMEA or binary outputs of GPS units.
Where is the official documentation for the GPS satellite - receiver protocol? Or any interesting supplemental material that might explain it?
Context: I'm especially interested in learning about how (e.g.) the almanac and ephemera are transmitted.