Module conjunction 

Conjunction geometry and collision-probability (Pc) computation.

Builds the orthonormal encounter frame from two objects’ relative state, projects the combined position covariance into the 2D encounter plane, and integrates the collision probability over the hard-body disk with several independent methods (Foster 2D equal-area, Foster 2D numerical, and Alfano 2005). This is the authoritative implementation; the Elixir binding is a thin marshaling and input-validation layer over it.

All positions are in km, velocities in km/s, and covariances in km^2.

Structs

CollisionPc

Collision-probability result and the encounter-plane summary it came from.

ConjunctionState

One object’s state for a conjunction: ECI position (km), velocity (km/s), and 3x3 position covariance (km^2).

EncounterFrame

Orthonormal encounter frame and the relative state it was built from.

Enums

ConjunctionError

Why a conjunction geometry or collision-probability solve could not run.

PcMethod

Collision-probability integration method.

Functions

collision_probability

Compute the collision probability for two objects’ states and covariances.

encounter_frame

Build the orthonormal encounter frame from two objects’ states.

encounter_plane_covariance

Project a 3x3 ECI position covariance into the 2D encounter plane (x, z).