Code Navigation¶
Navigate by the scientific question or failed claim. Product interpretation, state propagation, corrections, estimation, integrity, and public contracts have separate owners.
Follow the Scientific Question¶
flowchart LR
question["product or solution question"]
owner["owning navigation domain"]
assumptions["time, frame, units, and prerequisites"]
behavior["model or estimator behavior"]
evidence["reference, residual, integrity, or refusal"]
question --> owner
owner --> assumptions
assumptions --> behavior
behavior --> evidence| question | start here |
|---|---|
| How is a broadcast, RINEX, or precise product interpreted? | format boundary and format contracts |
| How are satellite position, velocity, clock, and uncertainty produced? | orbit boundary and orbit contracts |
| Which physical model supplies atmosphere, antenna, tide, or celestial context? | model boundary |
| How is a correction or observation combination derived? | correction boundary and correction contracts |
| Why did positioning accept, degrade, or refuse a claim? | position boundary and solution claims |
| Why did PPP or RTK change state or quality? | PPP boundary or RTK boundary |
| Why did time conversion or rollover require context? | navigation time and rollover resolution |
Find the Product Family¶
| product | interpretation owner |
|---|---|
| GPS LNAV and CNAV | LNAV decoder and CNAV decoder |
| Galileo FNAV and INAV | FNAV decoder and INAV decoder |
| BeiDou broadcast navigation | B1I decoder and D2 decoder |
| GLONASS broadcast navigation | GLONASS navigation format |
| RINEX navigation and observations | RINEX navigation boundary and RINEX observation boundary |
| SP3, CLK, ANTEX, and bias SINEX | precise-product boundary |
The linked files are family entrypoints, not exhaustive decoder inventories.
Trace a Failed Claim¶
| failed claim | representative evidence |
|---|---|
| broadcast orbit or clock accuracy | orbit reference and orbit accuracy budget |
| precise-product interpretation | SP3 reference accuracy and CLK reference accuracy |
| position quality or refusal | position residual evidence and position refusal |
| PPP convergence or prerequisites | public PPP convergence |
| RTK baseline or ambiguity behavior | RTK baseline accuracy and ambiguity fixing |
| RAIM detection, exclusion, or refusal | RAIM fault detection and underdetermined refusal |
For a public export, start with the curated API, then confirm the scientific contract in the public API guide.