Static GNSS post-processing built on RTKLIB, validated to reproduce Leica Infinity's own answers. Scan a RINEX folder, see the sessions on an Infinity-style timeline, get FIXED/FLOAT baselines and export them as vectors that drop straight into a combined adjustment.
40 of 40 baselines matched to Q=1 with a median 2.8 mm difference from Infinity — the engine is not a prototype, it is validated to a frozen tolerance.
Every setting is the frozen golden configuration, shown plainly; a baseline that won't fix arrives flagged, never quietly fudged.
Baseline vectors export as the same .obs the TPS and levelling modules speak — the foundation of the combined GNSS+TPS network.