Modules
Satellite toolkit for Elixir. SGP4 orbit propagation, coordinate transformations, and ground station pass prediction.
Angular geometry calculations for satellites.
Almanac event finders.
Kepler anomaly conversions and two-body propagation for classical elements.
Equinoctial and modified equinoctial orbital element conversions.
Equinoctial orbital elements.
Modified equinoctial orbital elements.
General topocentric body observation.
RSW, RTN, RIC, LVLH relative frames and Clohessy-Wiltshire motion.
Cartesian state used by relative-frame and Clohessy-Wiltshire helpers.
Atmospheric density via the NRLMSISE-00 empirical model.
Ground-observer Sun and Moon geometry.
Parse and encode CCSDS Conjunction Data Messages (CDM).
Object-specific data block inside a parsed CCSDS CDM.
Parse and encode CCSDS Orbit Ephemeris Messages (OEM).
One 6x6 covariance block inside a parsed CCSDS OEM segment.
Metadata block for one CCSDS OEM segment.
One metadata/data segment of a CCSDS OEM.
One Cartesian state sample inside a parsed CCSDS OEM segment.
Parse and encode CCSDS Orbit Parameter Messages (OPM).
Optional OPM 6x6 covariance. matrix is a row-major list of six six-element
rows.
Optional OPM Keplerian elements.
One OPM maneuver block. dv_km_s is the {x, y, z} delta-v in the maneuver
reference frame.
OPM metadata block.
Optional OPM spacecraft parameters. Every field is optional.
OPM Cartesian state vector.
Allan-family clock-stability estimators.
One clock-stability estimator curve.
Combined Allan-family output.
Collision probability calculation for close approaches.
Result of a collision-probability evaluation.
Time-of-closest-approach and conjunction screening helpers.
Manage and propagate satellite constellations.
Coordinate frame transformations for satellite state vectors.
Covariance matrix helpers for conjunction and orbit analysis.
Batch single-epoch coverage helpers backed by the Rust core.
Doppler shift calculation for satellite-ground links.
Atmospheric drag parameters, acceleration, and decay estimates.
Estimated decay time and reentry state.
Ballistic drag settings passed to propagation and drag-force calculations.
Space-weather inputs for the core drag model.
Earth shadow (eclipse) prediction for satellites.
Canonical representation of satellite orbital elements.
Encounter geometry helpers for conjunction assessment.
Relative encounter geometry at a common epoch.
JPL/NAIF SPK (DAF .bsp) ephemeris kernel reader.
Scalar estimation and detection primitives.
Alpha-beta gain set for one scalar channel.
State of a scalar alpha-beta level and rate estimator.
Result of one alpha-beta predict and update step.
Normalized innovation squared gate result.
Steady-state gains for a scalar constant-velocity Kalman filter.
Earth's oblateness (J2) perturbation force model.
Standard Keplerian Two-Body gravity force model.
Parse and encode CCSDS Orbit Mean-Elements Messages (OMM).
UTC calendar epoch carried by an OMM EPOCH field.
Parse and encode Two-Line Element sets.
ARAIM snapshot integrity protection levels.
Per-constellation ARAIM ISM defaults.
Per-hypothesis ARAIM monitor data.
ARAIM snapshot geometry.
ARAIM integrity and continuity risk allocation.
ARAIM integrity support message input.
ARAIM protection-level result.
One satellite row in an ARAIM geometry snapshot.
Per-satellite ARAIM ISM override.
Per-satellite integrity and accuracy model without a satellite identity.
Parser and lookup helpers for ANTEX 1.4 receiver and satellite antenna blocks.
DCB and OSB bias products backed by the core bias parsers.
One bias record decoded from a DCB or OSB product.
Parsed DCB or OSB bias product.
A parsed RINEX broadcast-navigation product (GPS LNAV, Galileo I/NAV+F/NAV, BeiDou D1/D2, GLONASS).
Broadcast satellite-clock polynomial.
Core-evaluated CNAV single-frequency clock corrections in seconds.
CNAV/CNAV-2 fields that have no LNAV counterpart.
One broadcast record with issue, time tags, group delays, and CNAV fields.
One GLONASS broadcast state-vector record.
Broadcast group-delay fields preserved from a NAV record.
Broadcast ionosphere coefficients parsed from a RINEX NAV header.
Broadcast issue value plus the navigation-message family that carried it.
Broadcast Keplerian orbital elements.
Klobuchar alpha and beta ionosphere coefficients.
One GPS, Galileo, or BeiDou broadcast ephemeris record from RINEX NAV.
A broadcast-evaluated satellite state at one epoch.
GNSS week and time-of-week tagged with its native time scale.
Broadcast-ephemeris accuracy: compare a broadcast navigation product against a precise SP3 product over a window.
The result of a broadcast and precise product comparison.
Orbit and clock difference statistics for one satellite (or the overall set).
Dual-frequency carrier-phase linear combinations and the precise-positioning prep tooling built on them: geometry-free and wide-lane phase, the narrow-lane code, Melbourne-Wubbena, cycle-slip detection, and Hatch carrier-smoothed code.
GNSS constellation identity catalogs and validation helpers.
The result of a lenient catalog build: the records that resolved, plus the OMM entries that did not.
Change report between two GNSS constellation catalog snapshots.
A parsed row from NAVCEN's GPS constellation status table.
A normalized GNSS satellite identity record.
An OMM entry that Sidereon.GNSS.Constellation.from_celestrak_omm_lenient/2
could not resolve to a Record for the requested system.
Validation report for a GNSS constellation catalog.
Code-differential GNSS (DGPS) positioning over single-frequency pseudoranges.
Cache-first acquisition for GNSS products and DTED terrain tiles.
SP3 center that did not contribute to a merge.
SP3 center that contributed a product to a merge.
Audit report for merged SP3 acquisition.
Pure identity for one GNSS archive product.
Result partition for region and tile-list terrain prefetches.
A unified satellite-ephemeris sampling surface over precise SP3 products and broadcast navigation messages.
One sampled satellite state at one epoch in the unified ephemeris table.
Canonical GNSS carrier-frequency lookups.
Satellite-geometry and mission-planning layer above the GNSS observables: from a static receiver position and a precise (SP3) ephemeris, answer the three planning questions: which satellites are visible, how good is the geometry (dilution of precision), and when does each satellite rise and set.
Single-frequency ionospheric group-delay corrections.
Whole-grid IONEX vertical-TEC samples.
One IONEX vertical-TEC grid-node sample.
The dual-frequency ionosphere-free linear combination for code and phase.
NMEA 0183 parsing, epoch accumulation, and GGA writing.
Resource-backed incremental NMEA accumulator.
One decoded NMEA sentence.
One accumulated NMEA epoch snapshot.
GPS L1 C/A LNAV navigation message synthesis and decoding (subframes 1-3).
GPS LNAV clock and ephemeris parameters in engineering units.
NTRIP client helpers and stream process.
NTRIP CAS record.
Position fields for NTRIP VRS GGA output.
NTRIP NET record.
Unknown NTRIP sourcetable record with fields preserved.
Parsed NTRIP sourcetable resource and record list.
NTRIP STR record.
GenServer that owns an NTRIP stream connection.
Predict the GNSS observables a receiver at a known ECEF position would see for a satellite, from a precise (SP3) or broadcast ephemeris source.
Precomputed, state-independent PPP per-range corrections for the static-arc float/fixed solve: solid-earth tide, carrier-phase wind-up, and satellite antenna PCO/PCV.
GNSS single-point positioning (SPP): recover a receiver position, clock bias, and geometry diagnostics from one epoch of pseudorange observations against a precise SP3 ephemeris or a broadcast navigation product.
A single-point-positioning solution at one receive epoch.
A single-point-positioning solution paired with the provenance of the ephemeris that produced it.
A precise-ephemeris source built directly from samples, with no SP3 text in the loop.
Cached precise-ephemeris interpolant and batched satellite-state queries.
Contiguous satellite-state arrays returned by a batched ephemeris query.
One precise-ephemeris sample: a satellite's ECEF position (and optional clock) at one epoch, in SI units.
Carrier-phase precise-positioning primitives.
Static multi-epoch integer-fixed carrier-phase solution.
Static multi-epoch float-ambiguity phase positioning solution.
Float-ambiguity phase positioning solution for one epoch.
Measurement-quality control for single-point positioning.
Detected receiver-clock jump.
Aggregate dual-frequency cycle-slip counts.
Detected gap between adjacent observation epochs.
MP1/MP2 multipath RMS report.
RMS statistics for one multipath series.
Antenna identity from ANT # / TYPE.
Compact lint finding retained by a QC report.
Header metadata copied into a QC report.
Non-fatal QC note.
Receiver identity from REC # / TYPE / VERS.
RINEX observation QC report.
Observation epoch with an optional RINEX time-scale label.
Per-satellite MP1/MP2 RMS row.
Per-satellite observation completeness row.
Per-satellite, per-code observation completeness row.
Summary statistics over raw numeric S-code observations.
Histogram over RINEX SSI digits.
Per-constellation cycle-slip counts.
Per-constellation MP1/MP2 RMS row.
Per-constellation observation completeness row.
Per-constellation, per-code observation completeness row.
RINEX clock (.CLK) reader for satellite clock-bias records.
RINEX 3 observation products: parse a station's observation file, expose its
header (including the surveyed APPROX POSITION XYZ, optional antenna
DELTA H/E/N offset, and carrier phase-shift records), and extract the
single-frequency pseudoranges that Sidereon.GNSS.Positioning.solve/4 consumes.
RTCM 3.x differential-GNSS stream decoding.
RTK-facing carrier/code double-difference primitives.
Integer-fixed RTK baseline solution from code/carrier double differences.
Float RTK baseline solution from code/carrier double differences.
Moving-baseline RTK: both receivers move each epoch (RTKLIB "moving-base").
A compact, fitted mean-element approximation of a satellite's orbit.
A long position track approximated by a sequence of contiguous, independently
fitted Sidereon.GNSS.ReducedOrbit segments.
Satellite-based augmentation corrections.
One SBAS log block with decoded message metadata.
Decoded SBAS message.
SP3-c / SP3-d precise-ephemeris products (IGS precise orbits + clocks).
An SP3 satellite state at one epoch.
State-space GNSS corrections.
SSR clock correction.
SSR orbit correction.
SSR solution identity.
GPS L1 coarse/acquisition (C/A) code generation and correlation.
Baseband simulation, correlation, and acquisition for the GPS L1 C/A signal.
Product-staleness graceful degradation for time-varying GNSS products.
A selected IONEX product paired with its staleness metadata.
Staleness cap for product selection.
A selected SP3 product paired with its staleness metadata.
Structured description of the product staleness behind a selection result.
Epoch conversions shared by the GNSS correction wrappers.
Neutral-atmosphere (tropospheric) signal-delay corrections.
Recover receiver velocity and clock drift from one epoch of range-rate or Doppler observations against a precise SP3 or broadcast ephemeris source.
WGS84 geodetic position: latitude, longitude, altitude.
Geoid undulation lookup and orthometric/ellipsoidal height conversion.
Integer least-squares search helpers.
Initial Orbit Determination methods.
Lambert problem solver (Battin's method).
Generic data-driven trust-region least squares.
A leave-one-out sweep: the base solve over all rows, one drops solve per
masked residual row (in row order), and cost_delta giving how much the
optimum cost moves when each row is removed.
A single converged trust-region solve.
Topocentric look angle from a ground station to a satellite.
Observational-astronomy geometry primitives.
Classical (Keplerian) orbital elements and the two-body state transforms.
A satellite pass over a ground station.
Satellite pass prediction over a ground station.
High-precision numerical orbit propagation.
RF link budget primitives.
SGP4/SDP4 orbit propagation from Two-Line Element sets.
Result of inverse SGP4 TLE fitting.
Source localization from time of arrival or time difference of arrival.
State covariance or CRLB from a source-localization solve.
Timing CRLB and DOP for a proposed source and sensor geometry.
Rank and redundancy summary for a source-localization solve.
Closed-form seed used to start a source-localization solve.
Options for ToA or TDOA source localization.
Solver residual associated with a sensor row.
Sensor with a known Cartesian position.
Per-sensor leave-one-out diagnostic.
Source-localization solution.
Space-weather tables for drag and decay inputs.
J2000-second coverage bounds for a parsed space-weather table.
Lookup policy for rejecting lower-trust rows or monthly Ap defaults.
Space-weather values plus source metadata for one lookup.
Residual-distribution diagnostics: sample moments and normality tests.
Represents the position and velocity of a satellite in the TEME coordinate system.
DTED terrain loading and elevation lookup.
Handle for a DTED terrain directory.
Handle for one loaded DTED tile.
Memory-mappable terrain store conversion and lookup.
Loaded EGM96 15-minute WW15MGH.DAC geoid grid.
WGS84 ellipsoidal terrain height h in metres.
Orthometric terrain height H in metres above the EGM96 mean sea level geoid.
Terrain vertical-datum conversion and optional geoid-grid loading error.
Geoid tier used for terrain orthometric-to-ellipsoidal conversion.
Terrain store conversion, parse, and checksum error.
Metadata for one tile record in a terrain store.
Vertical datum carried by terrain store tile records.