- standard encoded-polyline algorithm at 1e6 precision, double math (no int32 shifts) so no coordinate range wraps silently - decode THROWS on truncated varints — never partial/NaN points (T-05-02) - round-trip law encode(decode(s)) === s proven on all vectors incl. the external live-OSRM geometry (RESEARCH Finding 1)