Module geodesy

geodesy-d provides strongly typed, bounded numerical operations for reference ellipsoids, geographic/geocentric/topocentric coordinates, map projections, surface geodesics, and static reference-frame transformations. Import this module to access the supported public API:

import geodesy;

The library is designed for applications where explicit geodetic semantics, numerical robustness, predictable hot-path behaviour, and independent validation matter. Public scalar types support float, double, and real; numerically sensitive float operations may use promoted double working precision. Checked numerical paths are allocation-free where the operation permits it, and prepared projection, geodesic, and topocentric objects cache reusable state for repeated operations.

Numerical algorithms have documented provenance and bounded support domains. Substantial operations are qualified with analytical/reference cases, deterministic adversarial/property tests, and independent implementations such as PROJ or GeographicLib where appropriate. There is no library-wide epsilon and no broad fast-math policy: numerical stability and explicit semantics take precedence over raw benchmark speed.

geodesy-d deliberately is not a general CRS engine. It does not provide an authority database, WKT/PROJJSON parsing, grid-resource management, automatic operation discovery, or general CRS pipelines, and PROJ and GeographicLib are validation/reference systems rather than runtime dependencies.