🥮 mooncakes.io

    moonbit-orbit

    A MoonBit orbital mechanics and spacecraft mission computation library.

    orbital-mechanics
    aerospace
    mission-analysis
    moonbit
    Download zip
    Author
    Version
    0.1.1
    License
    Apache-2.0
    Repository
    Last updated
    last month
    Downloads
    14

    #moonbit-orbit

    moonbit-orbit is a reusable MoonBit library for spacecraft mission analysis. It provides deterministic building blocks for orbital mechanics, coordinate conversion, attitude, ground-station geometry, mission planning, telemetry, link budgets, safety screening, and engineering reports.

    The library is intended for early design, education, simulation, and reusable tooling. It is not a flight-dynamics certification system and does not claim a complete SGP4 force model.

    #Core capabilities

    The public API covers two-body propagation, transfers, WGS84 geodesy, ground tracks, Lambert estimates, eclipse geometry, quaternion attitude, mission timelines, delta-v budgets, telemetry validation, observation models, scalar estimation, contact-window scheduling, link budgets, safety screening, numerical methods, statistics, engineering units, state comparison, and deterministic reporting.

    #Quick start

    moon check --deny-warn
moon test --deny-warn
moon run cmd/main

    #Minimal example

    ///|
    test {
      let leo = circular_orbit(earth_radius_km + 500.0, radians(51.6))
      let summary = summarize_orbit(earth_mu_km3_s2, leo)
      assert_true(summary.period_s > 5600.0 && summary.period_s < 5700.0)

      let transfer = hohmann_transfer(
        earth_mu_km3_s2,
        earth_radius_km + 500.0,
        42164.0,
      )
      assert_true(transfer.delta_v_total_km_s > 3.7)
    }

    #CLI

    moon run cmd/main prints a low-Earth-orbit summary, a Hohmann transfer estimate, a quaternion rotation sample, and deterministic benchmark checksums.

    #Architecture

    • The root package owns the public concrete types and facade APIs.
    • Core physics lives in orbit.mbt, transfer.mbt, dynamics.mbt, and perturbation.mbt.
    • Geometry and frames live in frames.mbt, geodesy.mbt, ground_station.mbt, and analysis.mbt.
    • Mission operations are covered by mission.mbt, planner.mbt, operations.mbt, telemetry.mbt, and safety.mbt.
    • Observations and planning are covered by observation.mbt, estimation.mbt, window_planner.mbt, mission_scenario.mbt, and groundtrack_pipeline.mbt.
    • pkg.generated.mbti is generated by moon info and reviewed as the public API snapshot.

    Generated interface files from moon info are committed so API changes can be reviewed directly.

    #Benchmarks and tests

    Call benchmark_report(iterations) for deterministic workloads. With 256 iterations, the current CLI reports these reproducible checksums:

    kepler-solver: iterations=256,checksum=40.71431462450973
state-conversion: iterations=256,checksum=1783729.8704907342
wgs84-conversion: iterations=256,checksum=1631037.754922193

    The suite covers nominal calculations and boundary cases including zero vectors, invalid brackets, poles, antimeridian paths, degenerate Lambert inputs, empty telemetry, resource limits, eclipse transitions, invalid orbital elements, close approaches, observation quality gates, contact-window selection, trajectory segmentation, and report output. The benchmark checksums are deterministic; wall-clock timings should be collected on the target machine.

    #Accuracy and units

    • Distances are in kilometers; velocities are in kilometers per second.
    • Angles are radians unless a helper explicitly says otherwise.
    • The basic frame model is Earth-centered inertial/ECEF with a spherical approximation where explicitly noted; WGS84 helpers are provided separately.
    • Observation range-rate is the inertial radial projection of the state velocity; it is not a complete station-relative Doppler model.
    • The ephemeris helpers are analytical approximations, and the package does not claim a complete SGP4 force model. Results should be checked against mission-specific references before operational use.

    #CI

    GitHub Actions installs the current MoonBit stable toolchain on Linux, macOS, and Windows and records moon version --all plus moonc -v. It runs formatting, warning-denied checking, tests, native tests, all-target checking, generated-interface verification, CLI smoke tests, and coverage analysis. See QUALITY.md for the same local commands.

    #License

    Apache-2.0.

    AccelerationModel

    source
    pub struct AccelerationModel {
      central_body_mu : Double
      j2_enabled : Bool
      drag_enabled : Bool
      ballistic_coefficient : Double
      atmosphere_scale_height_km : Double
    } derive(Eq, 
    Debug    )

    AccelerationModel::earth

    source

    AccelerationModel::vacuum

    source
    fn AccelerationModel::vacuum(mu : Double) -> AccelerationModel

    AccelerationModel::with_drag

    source
    fn AccelerationModel::with_drag(model : AccelerationModel, coefficient : Double, scale_height_km : Double) -> AccelerationModel

    AttitudeState

    source
    pub struct AttitudeState {
      attitude : Quaternion
      angular_velocity_rad_s : Vec3
      covariance_trace : Double
    } derive(Eq, 
    Debug    )

    AttitudeState::new

    source
    fn AttitudeState::new(attitude : Quaternion, angular_velocity_rad_s : Vec3) -> AttitudeState

    BenchmarkResult

    source
    pub struct BenchmarkResult {
      name : String
      iterations : Int
      checksum : Double
    } derive(Eq, 
    Debug    )

    CatalogEntry

    source
    pub struct CatalogEntry {
      id : String
      name : String
      elements : ClassicalElements
      epoch_day : Double
      active : Bool
    } derive(Eq, 
    Debug    )

    CatalogEntry::new

    source
    fn CatalogEntry::new(id : String, name : String, elements : ClassicalElements, epoch_day : Double, active? : Bool) -> CatalogEntry

    CatalogQuery

    source
    pub struct CatalogQuery {
      minimum_altitude_km : Double
      maximum_altitude_km : Double
      minimum_inclination_rad : Double
      maximum_inclination_rad : Double
      active_only : Bool
    } derive(Eq, 
    Debug    )

    CatalogQuery::any

    source

    CatalogQuery::leo

    source

    ClassicalElements

    source
    pub struct ClassicalElements {
      semi_major_axis_km : Double
      eccentricity : Double
      inclination_rad : Double
      raan_rad : Double
      arg_periapsis_rad : Double
      true_anomaly_rad : Double
    } derive(Eq, 
    Debug    )

    ClassicalElements::new

    source
    fn ClassicalElements::new(semi_major_axis_km : Double, eccentricity : Double, inclination_rad : Double, raan_rad : Double, arg_periapsis_rad : Double, true_anomaly_rad : Double) -> ClassicalElements

    ContactCapacity

    source
    pub struct ContactCapacity {
      duration_s : Double
      rate_kbps : Double
      volume_mb : Double
      margin_db : Double
    } derive(Eq, 
    Debug    )

    ControlCommand

    source
    pub struct ControlCommand {
      axis : Vec3
      angle_rad : Double
      duration_s : Double
      torque_nm : Vec3
    } derive(Eq, 
    Debug    )

    CoverageReport

    source
    pub struct CoverageReport {
      points : Int
      visible_points : Int
      visibility_fraction : Double
      minimum_elevation_rad : Double
      maximum_elevation_rad : Double
    } derive(Eq, 
    Debug    )

    DeltaVBudget

    source
    pub struct DeltaVBudget {
      planned_km_s : Double
      reserve_fraction : Double
      reserve_km_s : Double
      total_km_s : Double
    } derive(Eq, 
    Debug    )

    DesignCandidate

    source
    pub struct DesignCandidate {
      elements : ClassicalElements
      score : Double
      feasible : Bool
      violations : Array[String]
    } derive(Eq, 
    Debug    )

    DesignConstraint

    source
    pub struct DesignConstraint {
      minimum_altitude_km : Double
      maximum_altitude_km : Double
      maximum_eccentricity : Double
      maximum_delta_v_km_s : Double
      minimum_period_s : Double
      maximum_period_s : Double
    } derive(Eq, 
    Debug    )

    DesignConstraint::any

    source

    DesignConstraint::leo

    source

    DynamicsState

    source
    pub struct DynamicsState {
      state : StateVector
      acceleration_km_s2 : Vec3
      elapsed_s : Double
    } derive(Eq, 
    Debug    )

    EclipseKind

    source
    pub enum EclipseKind {
      None
      Penumbra
      Umbra
    } derive(Eq, 
    Debug    )

    EclipseResult

    source
    pub struct EclipseResult {
      kind : EclipseKind
      occultation_fraction : Double
      sun_angle_rad : Double
      earth_angle_rad : Double
      duration_estimate_s : Double
    } derive(Eq, 
    Debug    )

    Epoch

    source
    pub struct Epoch {
      seconds_since_j2000 : Double
    } derive(Eq, 
    Debug    )

    Epoch::add_seconds

    source
    fn Epoch::add_seconds(epoch : Epoch, seconds : Double) -> Epoch

    Epoch::days_since_j2000

    source
    fn Epoch::days_since_j2000(epoch : Epoch) -> Double

    Epoch::duration_to

    source
    fn Epoch::duration_to(a : Epoch, b : Epoch) -> Double

    Epoch::from_days

    source
    fn Epoch::from_days(days_since_j2000 : Double) -> Epoch

    Epoch::from_seconds

    source
    fn Epoch::from_seconds(seconds_since_j2000 : Double) -> Epoch

    Epoch::j2000

    source
    fn Epoch::j2000() -> Epoch

    EstimateStatus

    source
    pub enum EstimateStatus {
      Converged
      InsufficientData
      Singular
    } derive(Eq, 
    Debug    )

    EulerAngles

    source
    pub struct EulerAngles {
      roll_rad : Double
      pitch_rad : Double
      yaw_rad : Double
    } derive(Eq, 
    Debug    )

    Geodetic

    source
    pub struct Geodetic {
      latitude_rad : Double
      longitude_rad : Double
      altitude_km : Double
    } derive(Eq, 
    Debug    )

    Geodetic::new

    source
    fn Geodetic::new(latitude_rad : Double, longitude_rad : Double, altitude_km : Double) -> Geodetic

    GroundStation

    source
    pub struct GroundStation {
      name : String
      location : Geodetic
      min_elevation_rad : Double
    } derive(Eq, 
    Debug    )

    GroundStation::new

    source
    fn GroundStation::new(name : String, latitude_rad : Double, longitude_rad : Double, altitude_km? : Double, min_elevation_rad? : Double) -> GroundStation

    GroundTrackBounds

    source
    pub struct GroundTrackBounds {
      minimum_latitude_rad : Double
      maximum_latitude_rad : Double
      minimum_longitude_rad : Double
      maximum_longitude_rad : Double
      minimum_altitude_km : Double
      maximum_altitude_km : Double
    } derive(Eq, 
    Debug    )

    GroundTrackPoint

    source
    pub struct GroundTrackPoint {
      time_s : Double
      latitude_rad : Double
      longitude_rad : Double
      altitude_km : Double
    } derive(Eq, 
    Debug    )

    GroundTrackSegment

    source
    pub struct GroundTrackSegment {
      points : Array[GroundTrackPoint]
      start_time_s : Double
      end_time_s : Double
      path_length_km : Double
    } derive(Eq, 
    Debug    )

    GroundTrackSummary

    source
    pub struct GroundTrackSummary {
      points : Int
      duration_s : Double
      minimum_altitude_km : Double
      maximum_altitude_km : Double
      mean_altitude_km : Double
      maximum_latitude_rad : Double
      longitude_span_rad : Double
      path_length_km : Double
      gap_count : Int
    } derive(Eq, 
    Debug    )

    HealthFlag

    source
    pub struct HealthFlag {
      name : String
      value : Double
      lower : Double
      upper : Double
      healthy : Bool
    } derive(Eq, 
    Debug    )

    Histogram

    source
    pub struct Histogram {
      edges : Array[Double]
      counts : Array[Int]
    } derive(Eq, 
    Debug    )

    HohmannTransfer

    source
    pub struct HohmannTransfer {
      radius_initial_km : Double
      radius_final_km : Double
      semi_major_axis_km : Double
      delta_v_departure_km_s : Double
      delta_v_arrival_km_s : Double
      delta_v_total_km_s : Double
      time_of_flight_s : Double
    } derive(Eq, 
    Debug    )

    J2Rates

    source
    pub struct J2Rates {
      raan_rate_rad_s : Double
      arg_periapsis_rate_rad_s : Double
      mean_anomaly_rate_rad_s : Double
    } derive(Eq, 
    Debug    )

    LambertSolution

    source
    pub struct LambertSolution {
      departure_velocity_km_s : Vec3
      arrival_velocity_km_s : Vec3
      transfer_angle_rad : Double
      time_of_flight_s : Double
      iterations : Int
      status : SolveStatus
    } derive(Eq, 
    Debug    )

    LaunchWindow

    source
    pub struct LaunchWindow {
      epoch_day : Double
      duration_s : Double
      azimuth_rad : Double
      inclination_error_rad : Double
      feasible : Bool
    } derive(Eq, 
    Debug    )

    LinearRegression

    source
    pub struct LinearRegression {
      slope : Double
      intercept : Double
      r_squared : Double
    } derive(Eq, 
    Debug    )

    LinkBudget

    source
    pub struct LinkBudget {
      frequency_ghz : Double
      distance_km : Double
      tx_power_dbw : Double
      antenna_gain_db : Double
      losses_db : Double
      margin_db : Double
    } derive(Eq, 
    Debug    )

    LocalFrame

    source
    pub struct LocalFrame {
      east : Vec3
      north : Vec3
      up : Vec3
    } derive(Eq, 
    Debug    )

    LookAngle

    source
    pub struct LookAngle {
      azimuth_rad : Double
      elevation_rad : Double
      range_km : Double
    } derive(Eq, 
    Debug    )

    MissionEvent

    source
    pub struct MissionEvent {
      time_s : Double
      kind : MissionEventKind
      label : String
      delta_v_km_s : Double
      duration_s : Double
    } derive(Eq, 
    Debug    )

    MissionEvent::new

    source
    fn MissionEvent::new(time_s : Double, kind : MissionEventKind, label : String, delta_v_km_s? : Double, duration_s? : Double) -> MissionEvent

    MissionEventKind

    source
    pub enum MissionEventKind {
      OrbitInsertion
      Maneuver
      GroundContact
      EclipseEntry
      EclipseExit
      PayloadOperation
      Custom
    } derive(Eq, 
    Debug    )

    MissionPhase

    source
    pub struct MissionPhase {
      name : String
      start_s : Double
      end_s : Double
      delta_v_km_s : Double
      priority : Int
      resource_cost : Double
    } derive(Eq, 
    Debug    )

    MissionPhase::with_priority

    source
    fn MissionPhase::with_priority(phase : MissionPhase, priority : Int) -> MissionPhase

    MissionPhase::with_resource_cost

    source
    fn MissionPhase::with_resource_cost(phase : MissionPhase, resource_cost : Double) -> MissionPhase

    MissionScenario

    source
    pub struct MissionScenario {
      name : String
      phases : Array[MissionPhase]
      reserve_km_s : Double
    } derive(Eq, 
    Debug    )

    MissionScenario::add_phase

    source
    fn MissionScenario::add_phase(scenario : MissionScenario, phase : MissionPhase) -> MissionScenario

    MissionScenario::new

    source
    fn MissionScenario::new(name : String) -> MissionScenario

    MissionScenario::sort_by_start

    source
    fn MissionScenario::sort_by_start(scenario : MissionScenario) -> MissionScenario

    MissionScenario::with_reserve

    source
    fn MissionScenario::with_reserve(scenario : MissionScenario, reserve_km_s : Double) -> MissionScenario

    MissionScore

    source
    pub struct MissionScore {
      safety : Double
      coverage : Double
      cost : Double
      science : Double
      total : Double
    } derive(Eq, 
    Debug    )

    MissionTimeline

    source
    pub struct MissionTimeline {
      events : Array[MissionEvent]
      end_time_s : Double
    } derive(Eq, 
    Debug    )

    MissionTimeline::add

    source

    MissionTimeline::duration

    source
    fn MissionTimeline::duration(timeline : MissionTimeline) -> Double

    MissionTimeline::events_in_range

    source
    fn MissionTimeline::events_in_range(timeline : MissionTimeline, start_s : Double, end_s : Double) -> Array[MissionEvent]

    MissionTimeline::new

    source
    fn MissionTimeline::new(end_time_s? : Double) -> MissionTimeline

    MissionTimeline::sort_by_time

    source
    fn MissionTimeline::sort_by_time(timeline : MissionTimeline) -> MissionTimeline

    MissionTimeline::total_delta_v

    source
    fn MissionTimeline::total_delta_v(timeline : MissionTimeline) -> Double

    MoonPosition

    source
    pub struct MoonPosition {
      position_eci_km : Vec3
      distance_km : Double
      phase_angle_rad : Double
    } derive(Eq, 
    Debug    )

    Observation

    source
    pub struct Observation {
      epoch : Epoch
      station : GroundStation
      kind : ObservationKind
      value : Double
      predicted : Double
      sigma : Double
      quality : ObservationQuality
    } derive(Eq, 
    Debug    )

    Observation::is_valid

    source
    fn Observation::is_valid(observation : Observation) -> Bool

    Observation::new

    source
    fn Observation::new(epoch : Epoch, station : GroundStation, kind : ObservationKind, value : Double, sigma : Double) -> Observation

    Observation::normalized_residual

    source
    fn Observation::normalized_residual(observation : Observation) -> Double

    Observation::residual

    source
    fn Observation::residual(observation : Observation) -> Double

    Observation::weight

    source
    fn Observation::weight(observation : Observation) -> Double

    Observation::with_prediction

    source
    fn Observation::with_prediction(observation : Observation, predicted : Double) -> Observation

    Observation::with_quality

    source
    fn Observation::with_quality(observation : Observation, quality : ObservationQuality) -> Observation

    ObservationBatch

    source
    pub struct ObservationBatch {
      name : String
      observations : Array[Observation]
    } derive(Eq, 
    Debug    )

    ObservationBatch::add

    source

    ObservationBatch::by_kind

    source

    ObservationBatch::invalid_count

    source
    fn ObservationBatch::invalid_count(batch : ObservationBatch) -> Int

    ObservationBatch::new

    source
    fn ObservationBatch::new(name : String) -> ObservationBatch

    ObservationBatch::residual_rms

    source
    fn ObservationBatch::residual_rms(batch : ObservationBatch) -> Double

    ObservationBatch::sort_by_epoch

    source
    fn ObservationBatch::sort_by_epoch(batch : ObservationBatch) -> ObservationBatch

    ObservationBatch::span_s

    source
    fn ObservationBatch::span_s(batch : ObservationBatch) -> Double

    ObservationBatch::valid_count

    source
    fn ObservationBatch::valid_count(batch : ObservationBatch) -> Int

    ObservationBatch::weighted_residual_rms

    source
    fn ObservationBatch::weighted_residual_rms(batch : ObservationBatch) -> Double

    ObservationKind

    source
    pub enum ObservationKind {
      Range
      RangeRate
      Azimuth
      Elevation
    } derive(Eq, 
    Debug    )

    ObservationQuality

    source
    pub enum ObservationQuality {
      Good
      Suspect
      Invalid
    } derive(Eq, 
    Debug    )

    OperationMode

    source
    pub enum OperationMode {
      Nominal
      Safe
      Contingency
      Simulation
    } derive(Eq, 
    Debug    )

    OperationPlan

    source
    pub struct OperationPlan {
      name : String
      steps : Array[OperationStep]
      total_duration_s : Double
      total_resource_cost : Double
    } derive(Eq, 
    Debug    )

    OperationPlan::append

    source

    OperationPlan::complete_step

    source
    fn OperationPlan::complete_step(plan : OperationPlan, index : Int) -> OperationPlan

    OperationPlan::completion_fraction

    source
    fn OperationPlan::completion_fraction(plan : OperationPlan) -> Double

    OperationPlan::is_ready

    source
    fn OperationPlan::is_ready(plan : OperationPlan) -> Bool

    OperationPlan::new

    source
    fn OperationPlan::new(name : String) -> OperationPlan

    OperationPlan::remaining_steps

    source
    fn OperationPlan::remaining_steps(plan : OperationPlan) -> Array[OperationStep]

    OperationPlan::resource_remaining

    source
    fn OperationPlan::resource_remaining(plan : OperationPlan, resource_limit : Double) -> Double

    OperationStep

    source
    pub struct OperationStep {
      index : Int
      name : String
      mode : OperationMode
      duration_s : Double
      resource_cost : Double
      completed : Bool
    } derive(Eq, 
    Debug    )

    OperationStep::new

    source
    fn OperationStep::new(index : Int, name : String, mode : OperationMode, duration_s : Double, resource_cost : Double) -> OperationStep

    OptimizationResult

    source
    pub struct OptimizationResult {
      parameters : Array[Double]
      objective : Double
      iterations : Int
      converged : Bool
    } derive(Eq, 
    Debug    )

    OrbitAnalysis

    source
    pub struct OrbitAnalysis {
      elements : ClassicalElements
      state : StateVector
      altitude_km : Double
      speed_km_s : Double
      radial_speed_km_s : Double
      flight_path_angle_rad : Double
      energy_km2_s2 : Double
      angular_momentum_km2_s : Double
    } derive(Eq, 
    Debug    )

    OrbitReport

    source
    pub struct OrbitReport {
      title : String
      sections : Array[String]
      metrics : Array[(String, Double)]
    } derive(Eq, 
    Debug    )

    OrbitReport::add_metric

    source
    fn OrbitReport::add_metric(report : OrbitReport, name : String, value : Double) -> OrbitReport

    OrbitReport::add_section

    source
    fn OrbitReport::add_section(report : OrbitReport, section : String) -> OrbitReport

    OrbitReport::metric

    source
    fn OrbitReport::metric(report : OrbitReport, name : String) -> Double?

    OrbitReport::new

    source
    fn OrbitReport::new(title : String) -> OrbitReport

    OrbitReport::render

    source
    fn OrbitReport::render(report : OrbitReport) -> String

    OrbitSummary

    source
    pub struct OrbitSummary {
      radius_periapsis_km : Double
      radius_apoapsis_km : Double
      period_s : Double
      mean_motion_rad_s : Double
      specific_energy_km2_s2 : Double
    } derive(Eq, 
    Debug    )

    PassWindow

    source
    pub struct PassWindow {
      rise_time_s : Double
      set_time_s : Double
      max_elevation_rad : Double
      samples : Int
    } derive(Eq, 
    Debug    )

    PerigeeApogee

    source
    pub struct PerigeeApogee {
      perigee_km : Double
      apogee_km : Double
      perigee_altitude_km : Double
      apogee_altitude_km : Double
    } derive(Eq, 
    Debug    )

    PlaneChange

    source
    pub struct PlaneChange {
      speed_km_s : Double
      angle_rad : Double
      delta_v_km_s : Double
    } derive(Eq, 
    Debug    )

    PlannedWindow

    source
    pub struct PlannedWindow {
      window : VisibilityWindow
      score : Double
      data_volume_mb : Double
      selected : Bool
    } derive(Eq, 
    Debug    )

    PointingTarget

    source
    pub struct PointingTarget {
      direction : Vec3
      roll_rad : Double
      tolerance_rad : Double
    } derive(Eq, 
    Debug    )

    Quaternion

    source
    pub struct Quaternion {
      w : Double
      x : Double
      y : Double
      z : Double
    } derive(Eq, 
    Debug    )

    Quaternion::conjugate

    source
    fn Quaternion::conjugate(q : Quaternion) -> Quaternion

    Quaternion::from_axis_angle

    source
    fn Quaternion::from_axis_angle(axis : Vec3, angle_rad : Double) -> Quaternion

    Quaternion::from_euler

    source
    fn Quaternion::from_euler(angles : EulerAngles) -> Quaternion

    Quaternion::identity

    source
    fn Quaternion::identity() -> Quaternion

    Quaternion::multiply

    source
    fn Quaternion::multiply(a : Quaternion, b : Quaternion) -> Quaternion

    Quaternion::new

    source
    fn Quaternion::new(w : Double, x : Double, y : Double, z : Double) -> Quaternion

    Quaternion::norm

    source
    fn Quaternion::norm(q : Quaternion) -> Double

    Quaternion::norm_squared

    source
    fn Quaternion::norm_squared(q : Quaternion) -> Double

    Quaternion::normalized

    source
    fn Quaternion::normalized(q : Quaternion) -> Quaternion

    Quaternion::rotate

    source
    fn Quaternion::rotate(q : Quaternion, v : Vec3) -> Vec3

    Quaternion::to_euler

    source
    fn Quaternion::to_euler(q : Quaternion) -> EulerAngles

    ResidualSummary

    source
    pub struct ResidualSummary {
      count : Int
      mean : Double
      rms : Double
      maximum_abs : Double
      rejected : Int
    } derive(Eq, 
    Debug    )

    ResourceProfile

    source
    pub struct ResourceProfile {
      mass_kg : Double
      propellant_kg : Double
      power_w : Double
      data_rate_kbps : Double
      lifetime_days : Double
    } derive(Eq, 
    Debug    )

    RootResult

    source
    pub struct RootResult {
      value : Double
      residual : Double
      iterations : Int
      status : SolveStatus
    } derive(Eq, 
    Debug    )

    SafetyAssessment

    source
    pub struct SafetyAssessment {
      minimum_distance_km : Double
      relative_speed_km_s : Double
      closing_speed_km_s : Double
      time_to_closest_s : Double
      collision_probability_proxy : Double
      safe : Bool
    } derive(Eq, 
    Debug    )

    SampleStats

    source
    pub struct SampleStats {
      count : Int
      minimum : Double
      maximum : Double
      mean : Double
      variance : Double
      sum : Double
    } derive(Eq, 
    Debug    )

    ScalarEstimate

    source
    pub struct ScalarEstimate {
      value : Double
      variance : Double
      residual_rms : Double
      used : Int
      status : EstimateStatus
    } derive(Eq, 
    Debug    )

    ScenarioSummary

    source
    pub struct ScenarioSummary {
      valid : Bool
      phase_count : Int
      total_duration_s : Double
      total_delta_v_km_s : Double
      total_resource_cost : Double
      overlap_count : Int
      resource_remaining : Double
    } derive(Eq, 
    Debug    )

    Sgp4Status

    source
    pub struct Sgp4Status {
      available : Bool
      note : String
    } derive(Eq, 
    Debug    )

    SolveStatus

    source
    pub enum SolveStatus {
      Converged
      MaxIterations
      InvalidInput
    } derive(Eq, 
    Debug    )

    StateComparison

    source
    pub struct StateComparison {
      count : Int
      position_rms_km : Double
      velocity_rms_km_s : Double
      position_max_km : Double
      velocity_max_km_s : Double
      time_span_s : Double
    } derive(Eq, 
    Debug    )

    StateSample

    source
    pub struct StateSample {
      time_s : Double
      state : StateVector
    } derive(Eq, 
    Debug    )

    StateVector

    source
    pub struct StateVector {
      position_km : Vec3
      velocity_km_s : Vec3
    } derive(Eq, 
    Debug    )

    StateVector::new

    source
    fn StateVector::new(position_km : Vec3, velocity_km_s : Vec3) -> StateVector

    SunPosition

    source
    pub struct SunPosition {
      position_eci_km : Vec3
      distance_au : Double
      right_ascension_rad : Double
      declination_rad : Double
    } derive(Eq, 
    Debug    )

    TelemetryQuality

    source
    pub enum TelemetryQuality {
      Good
      Suspect
      Invalid
    } derive(Eq, 
    Debug    )

    TelemetrySample

    source
    pub struct TelemetrySample {
      time_s : Double
      name : String
      value : Double
      unit : String
      quality : TelemetryQuality
    } derive(Eq, 
    Debug    )

    TelemetrySample::new

    source
    fn TelemetrySample::new(time_s : Double, name : String, value : Double, unit : String) -> TelemetrySample

    TelemetrySample::with_quality

    source
    fn TelemetrySample::with_quality(sample : TelemetrySample, quality : TelemetryQuality) -> TelemetrySample

    TelemetrySummary

    source
    pub struct TelemetrySummary {
      name : String
      count : Int
      valid_count : Int
      minimum : Double
      maximum : Double
      mean : Double
      latest_time_s : Double
    } derive(Eq, 
    Debug    )

    TleParseError

    source
    pub(all) enum TleParseError {
      LineTooShort(String)
      InvalidNumber(String)
      InvalidFormat(String)
    } derive(Eq, 
    Debug    )

    TleRecord

    source
    pub struct TleRecord {
      name : String
      satellite_number : Int
      classification : Char
      epoch_year : Int
      epoch_day : Double
      inclination_rad : Double
      raan_rad : Double
      eccentricity : Double
      arg_periapsis_rad : Double
      mean_anomaly_rad : Double
      mean_motion_rev_day : Double
      revolution_number : Int
    } derive(Eq, 
    Debug    )

    Topocentric

    source
    pub struct Topocentric {
      east_km : Double
      north_km : Double
      up_km : Double
    } derive(Eq, 
    Debug    )

    TrajectoryMetrics

    source
    pub struct TrajectoryMetrics {
      duration_s : Double
      samples : Int
      distance_km : Double
      max_speed_km_s : Double
      min_altitude_km : Double
      max_altitude_km : Double
    } derive(Eq, 
    Debug    )

    TrendEstimate

    source
    pub struct TrendEstimate {
      intercept : Double
      slope_per_s : Double
      variance : Double
      residual_rms : Double
      used : Int
      status : EstimateStatus
    } derive(Eq, 
    Debug    )

    ValidationLevel

    source
    pub enum ValidationLevel {
      Info
      Warning
      Error
    } derive(Eq, 
    Debug    )

    ValidationMessage

    source
    pub struct ValidationMessage {
      level : ValidationLevel
      code : String
      message : String
    } derive(Eq, 
    Debug    )

    ValidationMessage::new

    source
    fn ValidationMessage::new(level : ValidationLevel, code : String, message : String) -> ValidationMessage

    ValidationReport

    source
    pub struct ValidationReport {
      valid : Bool
      messages : Array[ValidationMessage]
      score : Double
    } derive(Eq, 
    Debug    )

    Vec3

    source
    pub struct Vec3 {
      x : Double
      y : Double
      z : Double
    } derive(Eq, 
    Debug    )

    Vec3::add

    source
    fn Vec3::add(a : Vec3, b : Vec3) -> Vec3

    Vec3::angle_between

    source
    fn Vec3::angle_between(a : Vec3, b : Vec3) -> Double

    Vec3::cross

    source
    fn Vec3::cross(a : Vec3, b : Vec3) -> Vec3

    Vec3::distance

    source
    fn Vec3::distance(a : Vec3, b : Vec3) -> Double

    Vec3::dot

    source
    fn Vec3::dot(a : Vec3, b : Vec3) -> Double

    Vec3::lerp

    source
    fn Vec3::lerp(a : Vec3, b : Vec3, t : Double) -> Vec3

    Vec3::new

    source
    fn Vec3::new(x : Double, y : Double, z : Double) -> Vec3

    Vec3::norm

    source
    fn Vec3::norm(v : Vec3) -> Double

    Vec3::norm_squared

    source
    fn Vec3::norm_squared(v : Vec3) -> Double

    Vec3::scale

    source
    fn Vec3::scale(v : Vec3, k : Double) -> Vec3

    Vec3::sub

    source
    fn Vec3::sub(a : Vec3, b : Vec3) -> Vec3

    Vec3::unit

    source
    fn Vec3::unit(v : Vec3) -> Vec3

    Vec3::zero

    source
    fn Vec3::zero() -> Vec3

    VisibilitySample

    source
    pub struct VisibilitySample {
      epoch : Epoch
      look : LookAngle
      visible : Bool
    } derive(Eq, 
    Debug    )

    VisibilityWindow

    source
    pub struct VisibilityWindow {
      start : Epoch
      end : Epoch
      max_elevation_rad : Double
      closest_range_km : Double
    } derive(Eq, 
    Debug    )

    WindowConstraint

    source
    pub struct WindowConstraint {
      minimum_elevation_rad : Double
      maximum_range_km : Double
      minimum_duration_s : Double
      required_score : Double
    } derive(Eq, 
    Debug    )

    WindowConstraint::new

    source
    fn WindowConstraint::new(minimum_elevation_rad : Double, maximum_range_km : Double, minimum_duration_s : Double) -> WindowConstraint

    WindowConstraint::with_score

    source
    fn WindowConstraint::with_score(constraint : WindowConstraint, required_score : Double) -> WindowConstraint

    WindowSchedule

    source
    pub struct WindowSchedule {
      windows : Array[PlannedWindow]
      total_duration_s : Double
      total_volume_mb : Double
      mean_score : Double
    } derive(Eq, 
    Debug    )

    SunEarthDistanceKm

    source
    let SunEarthDistanceKm : Double

    SunRadiusKm

    source
    let SunRadiusKm : Double

    Wgs84A

    source
    let Wgs84A : Double

    Wgs84B

    source
    let Wgs84B : Double

    Wgs84E2

    source
    let Wgs84E2 : Double

    Wgs84F

    source
    let Wgs84F : Double

    acceleration

    source
    fn acceleration(model : AccelerationModel, state : StateVector) -> Vec3

    accumulate_budgets

    source
    fn accumulate_budgets(budgets : Array[DeltaVBudget]) -> DeltaVBudget

    all_mission_event_kinds

    source
    fn all_mission_event_kinds() -> Array[MissionEventKind]

    all_observation_kinds

    source
    fn all_observation_kinds() -> Array[ObservationKind]

    all_operation_modes

    source
    fn all_operation_modes() -> Array[OperationMode]

    all_validation_levels

    source
    fn all_validation_levels() -> Array[ValidationLevel]

    altitude_is_valid

    source
    fn altitude_is_valid(elements : ClassicalElements, minimum_km : Double, maximum_km : Double) -> Bool

    analysis_is_valid

    source
    fn analysis_is_valid(analysis : OrbitAnalysis) -> Bool

    analyze_orbit

    source
    fn analyze_orbit(mu : Double, elements : ClassicalElements) -> OrbitAnalysis

    angular_momentum

    source
    fn angular_momentum(attitude : AttitudeState, inertia_diagonal : Vec3) -> Vec3

    angular_radius

    source
    fn angular_radius(radius_km : Double, distance_km : Double) -> Double

    anomaly_grid

    source
    fn anomaly_grid(elements : ClassicalElements, count : Int) -> Array[ClassicalElements]

    fn antenna_link_margin_db(tx_power_dbw : Double, gains_db : Double, path_loss_db : Double, system_loss_db : Double, required_db : Double) -> Double

    apply_horizon_mask

    source
    fn apply_horizon_mask(look : LookAngle, coefficients : Array[Double]) -> Bool

    approximate_sunrise

    source
    fn approximate_sunrise(site : Geodetic, epoch : Epoch) -> Double

    approximate_sunset

    source
    fn approximate_sunset(site : Geodetic, epoch : Epoch) -> Double

    arcseconds_to_radians

    source
    fn arcseconds_to_radians(value : Double) -> Double

    ascending_node_longitude

    source
    fn ascending_node_longitude(track : Array[GroundTrackPoint]) -> Double

    assess_orbit

    source
    fn assess_orbit(elements : ClassicalElements) -> Array[String]

    atmospheric_reentry_altitude_km

    source
    fn atmospheric_reentry_altitude_km() -> Double

    attitude_error

    source
    fn attitude_error(desired : Quaternion, actual : Quaternion) -> Quaternion

    attitude_health

    source
    fn attitude_health(error_rad : Double, limit_rad : Double) -> HealthFlag

    attitude_propagate

    source
    fn attitude_propagate(state : AttitudeState, delta_t_s : Double) -> AttitudeState

    au_to_kilometers

    source
    fn au_to_kilometers(value : Double) -> Double

    azimuth_rate

    source
    fn azimuth_rate(previous : LookAngle, current : LookAngle, delta_t_s : Double) -> Double

    ballistic_coefficient

    source
    fn ballistic_coefficient(mass_kg : Double, area_m2 : Double, drag_coefficient : Double) -> Double

    bar_to_pascal

    source
    fn bar_to_pascal(value : Double) -> Double

    battery_energy_wh

    source
    fn battery_energy_wh(power_w : Double, eclipse_fraction : Double, orbit_period_s : Double) -> Double

    benchmark_geodesy

    source
    fn benchmark_geodesy(iterations : Int) -> BenchmarkResult

    benchmark_kepler

    source
    fn benchmark_kepler(iterations : Int) -> BenchmarkResult

    benchmark_report

    source
    fn benchmark_report(iterations : Int) -> Array[BenchmarkResult]

    benchmark_report_text

    source
    fn benchmark_report_text(results : Array[BenchmarkResult]) -> String

    benchmark_state_conversion

    source
    fn benchmark_state_conversion(iterations : Int) -> BenchmarkResult

    best_launch_window

    source
    fn best_launch_window(windows : Array[LaunchWindow]) -> LaunchWindow?

    beta_angle

    source
    fn beta_angle(orbit_normal : Vec3, sun_direction : Vec3) -> Double

    bi_elliptic_transfer_delta_v

    source
    fn bi_elliptic_transfer_delta_v(mu : Double, radius_initial_km : Double, radius_final_km : Double, radius_intermediate_km : Double) -> Double

    bisect

    source
    fn bisect(f : (Double) -> Double, lower : Double, upper : Double, tolerance? : Double, max_iterations? : Int) -> RootResult

    blackbody_flux

    source
    fn blackbody_flux(temperature_k : Double) -> Double

    body_rate_limit

    source
    fn body_rate_limit(rate : Vec3, limit_rad_s : Double) -> Vec3

    bounding_box

    source
    fn bounding_box(points : Array[Vec3]) -> (Vec3, Vec3)

    bounding_box_center

    source
    fn bounding_box_center(points : Array[Vec3]) -> Vec3

    bounding_box_diagonal

    source
    fn bounding_box_diagonal(points : Array[Vec3]) -> Double

    budget_is_exceeded

    source
    fn budget_is_exceeded(budget : DeltaVBudget, spent_km_s : Double) -> Bool

    budget_is_valid

    source
    fn budget_is_valid(budget : DeltaVBudget) -> Bool

    budget_remaining

    source
    fn budget_remaining(budget : DeltaVBudget, spent_km_s : Double) -> Double

    cartesian_to_spherical

    source
    fn cartesian_to_spherical(position : Vec3) -> (Double, Double, Double)

    catalog_active_fraction

    source
    fn catalog_active_fraction(entries : Array[CatalogEntry]) -> Double

    catalog_altitude_km

    source
    fn catalog_altitude_km(entry : CatalogEntry) -> Double

    catalog_altitude_stats

    source
    fn catalog_altitude_stats(entries : Array[CatalogEntry]) -> SampleStats

    catalog_density

    source
    fn catalog_density(entries : Array[CatalogEntry], altitude_bin_km : Double) -> Array[Int]

    catalog_matches

    source
    fn catalog_matches(query : CatalogQuery, entry : CatalogEntry) -> Bool

    catalog_merge

    source
    fn catalog_merge(left : Array[CatalogEntry], right : Array[CatalogEntry]) -> Array[CatalogEntry]

    catalog_names

    source
    fn catalog_names(entries : Array[CatalogEntry]) -> Array[String]

    catalog_period_stats

    source
    fn catalog_period_stats(entries : Array[CatalogEntry]) -> SampleStats

    celsius_to_fahrenheit

    source
    fn celsius_to_fahrenheit(value : Double) -> Double

    celsius_to_kelvin

    source
    fn celsius_to_kelvin(value : Double) -> Double

    centimeters_to_meters

    source
    fn centimeters_to_meters(value : Double) -> Double

    central_acceleration

    source
    fn central_acceleration(mu : Double, position : Vec3) -> Vec3

    centroid

    source
    fn centroid(points : Array[Vec3]) -> Vec3

    circular_orbit

    source
    fn circular_orbit(radius_km : Double, inclination_rad : Double) -> ClassicalElements

    circular_speed

    source
    fn circular_speed(mu : Double, radius_km : Double) -> Double

    circularize_cost

    source
    fn circularize_cost(mu : Double, radius_km : Double, eccentricity : Double) -> Double

    clamp

    source
    fn clamp(x : Double, low : Double, high : Double) -> Double

    clamp_unit

    source
    fn clamp_unit(value : Double) -> Double

    closest_approach

    source
    fn closest_approach(a : StateVector, b : StateVector) -> SafetyAssessment

    closest_points_on_lines

    source
    fn closest_points_on_lines(p1 : Vec3, d1 : Vec3, p2 : Vec3, d2 : Vec3) -> (Vec3, Vec3)

    collect_visibility_windows

    source
    fn collect_visibility_windows(samples : ArrayView[VisibilitySample]) -> Array[VisibilityWindow]

    collision_probability_proxy

    source
    fn collision_probability_proxy(distance_km : Double, covariance_radius_km : Double) -> Double

    combined_plane_change

    source
    fn combined_plane_change(speed_before_km_s : Double, speed_after_km_s : Double, angle_rad : Double) -> Double

    combined_plane_change_delta_v

    source
    fn combined_plane_change_delta_v(before_speed : Double, after_speed : Double, angle_rad : Double) -> Double

    command_is_valid

    source
    fn command_is_valid(command : ControlCommand) -> Bool

    command_is_within_tolerance

    source
    fn command_is_within_tolerance(command : ControlCommand, tolerance_rad : Double) -> Bool

    communication_health

    source
    fn communication_health(margin_db : Double, required_db : Double) -> HealthFlag

    compare_state_samples

    source
    fn compare_state_samples(expected : Array[StateSample], actual : Array[StateSample]) -> StateComparison

    conjunction_screen

    source
    fn conjunction_screen(reference : StateVector, objects : Array[StateVector], threshold_km : Double) -> Array[SafetyAssessment]

    contact_capacity

    source
    fn contact_capacity(duration_s : Double, rate_kbps : Double, link : LinkBudget) -> ContactCapacity

    contact_data_volume_mb

    source
    fn contact_data_volume_mb(rate_kbps : Double, duration_s : Double) -> Double

    contact_event

    source
    fn contact_event(time_s : Double, label : String, duration_s : Double) -> MissionEvent

    contingency_step

    source
    fn contingency_step(index : Int, name : String, duration_s : Double, resource_cost : Double) -> OperationStep

    control_command

    source
    fn control_command(attitude : Quaternion, target : PointingTarget, body_axis : Vec3, max_rate_rad_s : Double) -> ControlCommand

    convert_unit

    source
    fn convert_unit(value : Double, from : String, to : String) -> Double

    correlation

    source
    fn correlation(xs : Array[Double], ys : Array[Double]) -> Double

    count_phase_overlaps

    source
    fn count_phase_overlaps(scenario : MissionScenario) -> Int

    covariance

    source
    fn covariance(xs : Array[Double], ys : Array[Double]) -> Double

    covariance_of_observations

    source
    fn covariance_of_observations(first : Array[Observation], second : Array[Observation]) -> Double

    coverage_cells_for_track

    source
    fn coverage_cells_for_track(track : Array[GroundTrackPoint], latitude_step_rad : Double, longitude_step_rad : Double) -> Int

    coverage_grid

    source
    fn coverage_grid(latitude_step_rad : Double, longitude_step_rad : Double) -> Array[Geodetic]

    coverage_report

    source
    fn coverage_report(station : GroundStation, points : Array[GroundTrackPoint], epoch : Epoch, elements : ClassicalElements, min_elevation_rad : Double) -> CoverageReport

    cubic_meters_to_liters

    source
    fn cubic_meters_to_liters(value : Double) -> Double

    cumulative_maximum

    source
    fn cumulative_maximum(values : Array[Double]) -> Array[Double]

    cumulative_sum

    source
    fn cumulative_sum(values : Array[Double]) -> Array[Double]

    cylindrical_eclipse

    source
    fn cylindrical_eclipse(satellite_position : Vec3, sun_direction : Vec3, earth_radius_km : Double) -> EclipseResult

    daylight_fraction

    source
    fn daylight_fraction(result : EclipseResult) -> Double

    days_to_seconds

    source
    fn days_to_seconds(value : Double) -> Double

    db_to_linear

    source
    fn db_to_linear(value : Double) -> Double

    dbw_to_watts

    source
    fn dbw_to_watts(value : Double) -> Double

    decibels_to_ratio

    source
    fn decibels_to_ratio(value : Double) -> Double

    deg_per_second_to_rad_per_second

    source
    fn deg_per_second_to_rad_per_second(value : Double) -> Double

    deg_to_rad

    source
    let deg_to_rad : Double

    degrees

    source
    fn degrees(radians : Double) -> Double

    degrees_to_radians

    source
    fn degrees_to_radians(value : Double) -> Double

    denormalize_parameter

    source
    fn denormalize_parameter(value : Double, lower : Double, upper : Double) -> Double

    desaturation_delta_v

    source
    fn desaturation_delta_v(momentum : Vec3, wheel_inertia : Vec3, thruster_arm_km : Vec3) -> Vec3

    destination_point

    source
    fn destination_point(start : Geodetic, bearing_rad : Double, distance_km : Double) -> Geodetic

    detect_step_changes

    source
    fn detect_step_changes(samples : Array[TelemetrySample], threshold : Double) -> Array[TelemetrySample]

    doppler_corrected_frequency

    source
    fn doppler_corrected_frequency(carrier_hz : Double, radial_speed_km_s : Double) -> Double

    doppler_shift_hz

    source
    fn doppler_shift_hz(carrier_hz : Double, radial_speed_km_s : Double) -> Double

    drag_acceleration

    source
    fn drag_acceleration(model : AccelerationModel, position : Vec3, velocity : Vec3) -> Vec3

    dynamic_pressure

    source
    fn dynamic_pressure(density_kg_m3 : Double, speed_m_s : Double) -> Double

    earth_mu_km3_s2

    source
    let earth_mu_km3_s2 : Double

    earth_radius_km

    source
    let earth_radius_km : Double

    earth_rotation_rad_s

    source
    let earth_rotation_rad_s : Double

    eccentric_anomaly_from_true

    source
    fn eccentric_anomaly_from_true(true_anomaly_rad : Double, eccentricity : Double) -> Double

    eccentricity_is_valid

    source
    fn eccentricity_is_valid(elements : ClassicalElements, maximum : Double) -> Bool

    ecef_distance_km

    source
    fn ecef_distance_km(a : Vec3, b : Vec3) -> Double

    ecef_to_eci

    source
    fn ecef_to_eci(epoch : Epoch, position_ecef_km : Vec3) -> Vec3

    ecef_to_geodetic_spherical

    source
    fn ecef_to_geodetic_spherical(pos : Vec3) -> Geodetic

    ecef_to_geodetic_wgs84

    source
    fn ecef_to_geodetic_wgs84(position : Vec3) -> Geodetic

    eci_to_ecef

    source
    fn eci_to_ecef(epoch : Epoch, position_eci_km : Vec3) -> Vec3

    eclipse_geometry

    source
    fn eclipse_geometry(satellite_to_sun : Vec3, satellite_to_earth : Vec3, earth_radius_km : Double, sun_radius_km : Double) -> EclipseResult

    eclipse_is_partial

    source
    fn eclipse_is_partial(result : EclipseResult) -> Bool

    eclipse_is_total

    source
    fn eclipse_is_total(result : EclipseResult) -> Bool

    eclipse_margin_rad

    source
    fn eclipse_margin_rad(result : EclipseResult) -> Double

    effective_data_rate

    source
    fn effective_data_rate(rate_kbps : Double, packet_error : Double) -> Double

    elements_to_state

    source
    fn elements_to_state(mu : Double, elements : ClassicalElements) -> StateVector

    elevation_rate

    source
    fn elevation_rate(previous : LookAngle, current : LookAngle, delta_t_s : Double) -> Double

    enu_coordinates

    source
    fn enu_coordinates(site : Geodetic, target_ecef : Vec3) -> Vec3

    escape_speed

    source
    fn escape_speed(mu : Double, radius_km : Double) -> Double

    escape_velocity

    source
    fn escape_velocity(mu : Double, radius_km : Double) -> Double

    estimate_eclipse_duration

    source
    fn estimate_eclipse_duration(orbit_radius_km : Double, earth_radius_km : Double, orbital_speed_km_s : Double) -> Double

    estimate_observation_bias

    source
    fn estimate_observation_bias(observations : Array[Observation]) -> ScalarEstimate

    estimate_orbit_pass

    source
    fn estimate_orbit_pass(station : GroundStation, elements : ClassicalElements, start_epoch : Epoch, duration_s : Double, step_s : Double, min_elevation_rad : Double) -> Array[PassWindow]

    euler_to_quaternion

    source
    fn euler_to_quaternion(euler : EulerAngles) -> Quaternion

    evaluate_design

    source
    fn evaluate_design(mu : Double, elements : ClassicalElements, constraint : DesignConstraint) -> DesignCandidate

    evaluate_launch_window

    source
    fn evaluate_launch_window(latitude_rad : Double, target_inclination_rad : Double, epoch_day : Double, duration_s : Double) -> LaunchWindow

    exponential_density_kg_m3

    source
    fn exponential_density_kg_m3(altitude_km : Double, scale_height_km : Double) -> Double

    fahrenheit_to_celsius

    source
    fn fahrenheit_to_celsius(value : Double) -> Double

    feasible_designs

    source
    fn feasible_designs(candidates : Array[DesignCandidate]) -> Array[DesignCandidate]

    filter_catalog

    source
    fn filter_catalog(entries : Array[CatalogEntry], query : CatalogQuery) -> Array[CatalogEntry]

    filter_windows_by_time

    source
    fn filter_windows_by_time(windows : Array[VisibilityWindow], start : Epoch, end : Epoch) -> Array[VisibilityWindow]

    find_bracket

    source
    fn find_bracket(f : (Double) -> Double, start : Double, end : Double, samples? : Int) -> (Double, Double)?

    find_catalog_entry

    source
    fn find_catalog_entry(entries : Array[CatalogEntry], id : String) -> CatalogEntry?

    find_equator_crossings

    source
    fn find_equator_crossings(track : Array[GroundTrackPoint]) -> Array[GroundTrackPoint]

    finite_difference

    source
    fn finite_difference(values : Array[Double], spacing : Double) -> Array[Double]

    finite_difference_gradient

    source
    fn finite_difference_gradient(objective : (Array[Double]) -> Double, parameters : Array[Double], step : Double) -> Array[Double]

    finite_or

    source
    fn finite_or(value : Double, fallback : Double) -> Double

    fit_observation_trend

    source
    fn fit_observation_trend(observations : Array[Observation]) -> TrendEstimate

    flight_path_angle

    source
    fn flight_path_angle(state : StateVector) -> Double

    format_duration_seconds

    source
    fn format_duration_seconds(value : Double) -> String

    fraction_to_percent

    source
    fn fraction_to_percent(value : Double) -> Double

    free_space_path_loss_db

    source
    fn free_space_path_loss_db(distance_km : Double, frequency_ghz : Double) -> Double

    geodesic_surface_distance_km

    source
    fn geodesic_surface_distance_km(a : Geodetic, b : Geodetic) -> Double

    geodetic_height_above_ellipsoid

    source
    fn geodetic_height_above_ellipsoid(site : Geodetic) -> Double

    geodetic_to_ecef

    source
    fn geodetic_to_ecef(site : Geodetic) -> Vec3

    geodetic_to_ecef_wgs84

    source
    fn geodetic_to_ecef_wgs84(site : Geodetic) -> Vec3

    gmst

    source
    fn gmst(epoch : Epoch) -> Double

    gradient_descent

    source
    fn gradient_descent(objective : (Array[Double]) -> Double, initial : Array[Double], learning_rate : Double, iterations : Int) -> OptimizationResult

    great_circle_angle

    source
    fn great_circle_angle(a : Vec3, b : Vec3) -> Double

    great_circle_arc_length

    source
    fn great_circle_arc_length(radius : Double, a : Vec3, b : Vec3) -> Double

    grid_search_1d

    source
    fn grid_search_1d(objective : (Double) -> Double, lower : Double, upper : Double, samples : Int) -> (Double, Double)

    ground_track

    source
    fn ground_track(mu : Double, elements : ClassicalElements, epoch : Epoch, duration_s : Double, step_s : Double) -> Array[GroundTrackPoint]

    ground_track_bounds

    source
    fn ground_track_bounds(track : Array[GroundTrackPoint]) -> GroundTrackBounds

    ground_track_gap_count

    source
    fn ground_track_gap_count(track : Array[GroundTrackPoint], maximum_gap_s : Double) -> Int

    ground_track_path_length

    source
    fn ground_track_path_length(track : Array[GroundTrackPoint]) -> Double

    ground_track_summary

    source
    fn ground_track_summary(track : Array[GroundTrackPoint]) -> GroundTrackSummary

    half_pi

    source
    let half_pi : Double

    health_flag

    source
    fn health_flag(name : String, value : Double, lower : Double, upper : Double) -> HealthFlag

    health_flags

    source
    fn health_flags(values : Array[(String, Double)], lower : Double, upper : Double) -> Array[HealthFlag]

    health_is_nominal

    source
    fn health_is_nominal(flags : Array[HealthFlag]) -> Bool

    health_is_valid

    source
    fn health_is_valid(flag : HealthFlag) -> Bool

    health_margin

    source
    fn health_margin(flag : HealthFlag) -> Double

    health_score

    source
    fn health_score(flags : Array[HealthFlag]) -> Double

    health_summary

    source
    fn health_summary(flags : Array[HealthFlag]) -> String

    health_worst_margin

    source
    fn health_worst_margin(flags : Array[HealthFlag]) -> Double

    healthy_fraction

    source
    fn healthy_fraction(flags : Array[HealthFlag]) -> Double

    hertz_to_period_seconds

    source
    fn hertz_to_period_seconds(value : Double) -> Double

    histogram

    source
    fn histogram(values : Array[Double], lower : Double, upper : Double, bins : Int) -> Histogram

    histogram_is_valid

    source
    fn histogram_is_valid(histogram : Histogram) -> Bool

    hohmann_like_lambert

    source
    fn hohmann_like_lambert(mu : Double, start : Vec3, end : Vec3, time_of_flight_s : Double) -> LambertSolution

    hohmann_transfer

    source
    fn hohmann_transfer(mu : Double, radius_initial_km : Double, radius_final_km : Double) -> HohmannTransfer

    horizon_mask_elevation

    source
    fn horizon_mask_elevation(azimuth_rad : Double, mask_coefficients : Array[Double]) -> Double

    hours_to_seconds

    source
    fn hours_to_seconds(value : Double) -> Double

    impulse_magnitude

    source
    fn impulse_magnitude(delta_v : Vec3) -> Double

    inches_to_meters

    source
    fn inches_to_meters(value : Double) -> Double

    inclination_change_cost

    source
    fn inclination_change_cost(mu : Double, radius_km : Double, from_rad : Double, to_rad : Double) -> Double

    inclination_is_valid

    source
    fn inclination_is_valid(elements : ClassicalElements, minimum_rad : Double, maximum_rad : Double) -> Bool

    inertial_to_perifocal

    source
    fn inertial_to_perifocal(elements : ClassicalElements, vector : Vec3) -> Vec3

    information_variance

    source
    fn information_variance(observations : Array[Observation]) -> Double

    initial_bearing_rad

    source
    fn initial_bearing_rad(a : Geodetic, b : Geodetic) -> Double

    innovation_is_acceptable

    source
    fn innovation_is_acceptable(estimate : ScalarEstimate, limit_sigma : Double) -> Bool

    integrate_dynamics

    source
    fn integrate_dynamics(model : AccelerationModel, initial : StateVector, duration_s : Double, step_s : Double) -> Array[DynamicsState]

    integrate_simpson

    source
    fn integrate_simpson(values : Array[Double], spacing : Double) -> Double

    integrate_trapezoid

    source
    fn integrate_trapezoid(xs : Array[Double], ys : Array[Double]) -> Double

    integrate_uniform

    source
    fn integrate_uniform(values : Array[Double], spacing : Double) -> Double

    interpolate_angle

    source
    fn interpolate_angle(xs : Array[Double], ys : Array[Double], query : Double) -> Double

    interpolate_array

    source
    fn interpolate_array(xs : Array[Double], ys : Array[Double], query : Double) -> Double

    interpolate_direction

    source
    fn interpolate_direction(a : Vec3, b : Vec3, t : Double) -> Vec3

    interpolate_state

    source
    fn interpolate_state(a : StateVector, b : StateVector, t : Double) -> StateVector

    invalid_observation_quality

    source
    fn invalid_observation_quality() -> ObservationQuality

    inverse_lerp

    source
    fn inverse_lerp(a : Double, b : Double, value : Double) -> Double

    is_close

    source
    fn is_close(actual : Double, expected : Double, absolute? : Double, relative? : Double) -> Bool

    is_collision_risk

    source
    fn is_collision_risk(assessment : SafetyAssessment, threshold_km : Double) -> Bool

    is_line_of_sight_clear

    source
    fn is_line_of_sight_clear(site_ecef : Vec3, satellite_ecef : Vec3) -> Bool

    is_reentry_risk

    source
    fn is_reentry_risk(elements : ClassicalElements) -> Bool

    let j2 : Double

    j2_acceleration

    source
    fn j2_acceleration(mu : Double, radius_km : Double, coefficient : Double, position : Vec3) -> Vec3

    j2_secular_rates

    source
    fn j2_secular_rates(mu : Double, radius_body_km : Double, j2_value : Double, elements : ClassicalElements) -> J2Rates

    joules_to_kilowatt_hours

    source
    fn joules_to_kilowatt_hours(value : Double) -> Double

    joules_to_watt_hours

    source
    fn joules_to_watt_hours(value : Double) -> Double

    kelvin_to_celsius

    source
    fn kelvin_to_celsius(value : Double) -> Double

    kilograms_force_to_newtons

    source
    fn kilograms_force_to_newtons(value : Double) -> Double

    kilograms_to_pounds

    source
    fn kilograms_to_pounds(value : Double) -> Double

    kilometers_per_second_to_meters_per_second

    source
    fn kilometers_per_second_to_meters_per_second(value : Double) -> Double

    kilometers_to_au

    source
    fn kilometers_to_au(value : Double) -> Double

    kilometers_to_meters

    source
    fn kilometers_to_meters(value : Double) -> Double

    kilometers_to_miles

    source
    fn kilometers_to_miles(value : Double) -> Double

    kilowatt_hours_to_joules

    source
    fn kilowatt_hours_to_joules(value : Double) -> Double

    kinetic_rotation_energy

    source
    fn kinetic_rotation_energy(attitude : AttitudeState, inertia_diagonal : Vec3) -> Double

    knots_to_meters_per_second

    source
    fn knots_to_meters_per_second(value : Double) -> Double

    lambert_delta_v

    source
    fn lambert_delta_v(solution : LambertSolution, initial_velocity : Vec3, final_velocity : Vec3) -> (Double, Double, Double)

    lambert_universal

    source
    fn lambert_universal(mu : Double, start : Vec3, end : Vec3, time_of_flight_s : Double, prograde? : Bool, max_iterations? : Int) -> LambertSolution

    launch_azimuth

    source
    fn launch_azimuth(latitude_rad : Double, inclination_rad : Double) -> Double

    launch_window_sequence

    source
    fn launch_window_sequence(start_day : Double, count : Int, spacing_s : Double, latitude_rad : Double, inclination_rad : Double) -> Array[LaunchWindow]

    lerp_scalar

    source
    fn lerp_scalar(a : Double, b : Double, t : Double) -> Double

    lifetime_margin_days

    source
    fn lifetime_margin_days(lifetime_days : Double, planned_days : Double) -> Double

    light_time_s

    source
    fn light_time_s(distance_km : Double) -> Double

    line_of_sight

    source
    fn line_of_sight(site_ecef : Vec3, target_ecef : Vec3, body_radius_km : Double) -> Bool

    line_point_distance

    source
    fn line_point_distance(line_point : Vec3, line_direction : Vec3, point : Vec3) -> Double

    linear_regression

    source
    fn linear_regression(xs : Array[Double], ys : Array[Double]) -> LinearRegression

    linear_to_db

    source
    fn linear_to_db(value : Double) -> Double

    fn link_availability(margins : Array[Double], threshold_db : Double) -> Double

    fn link_budget(frequency_ghz : Double, distance_km : Double, tx_power_dbw : Double, antenna_gain_db : Double, losses_db : Double, required_db : Double) -> LinkBudget

    fn link_is_usable(budget : LinkBudget, required_margin_db : Double) -> Bool

    fn link_is_valid(link : LinkBudget) -> Bool

    liters_to_cubic_meters

    source
    fn liters_to_cubic_meters(value : Double) -> Double

    local_frame

    source
    fn local_frame(site : Geodetic) -> LocalFrame

    local_gravity_m_s2

    source
    fn local_gravity_m_s2(latitude_rad : Double, altitude_km : Double) -> Double

    local_ned

    source
    fn local_ned(site : Geodetic, target_ecef : Vec3) -> Vec3

    longitude_difference_rad

    source
    fn longitude_difference_rad(a : Double, b : Double) -> Double

    longitude_span

    source
    fn longitude_span(track : Array[GroundTrackPoint]) -> Double

    look_angle

    source
    fn look_angle(site : Geodetic, satellite_ecef_km : Vec3) -> LookAngle

    look_angle_from_eci

    source
    fn look_angle_from_eci(site : Geodetic, epoch : Epoch, satellite_eci_km : Vec3) -> LookAngle

    mach_number

    source
    fn mach_number(speed_m_s : Double, sound_speed_m_s : Double) -> Double

    make_delta_v_budget

    source
    fn make_delta_v_budget(planned_km_s : Double, reserve_fraction? : Double) -> DeltaVBudget

    make_pointing_target

    source
    fn make_pointing_target(direction : Vec3, roll_rad : Double, tolerance_rad : Double) -> PointingTarget

    make_visibility_window

    source
    fn make_visibility_window(start : Epoch, end : Epoch, max_elevation_rad : Double, closest_range_km : Double) -> VisibilityWindow

    maneuver_event

    source
    fn maneuver_event(time_s : Double, label : String, delta_v_km_s : Double) -> MissionEvent

    mark_observation_outlier

    source
    fn mark_observation_outlier(observation : Observation, limit_sigma : Double) -> Observation

    maximum_latitude

    source
    fn maximum_latitude(track : Array[GroundTrackPoint]) -> Double

    mean

    source
    fn mean(values : Array[Double]) -> Double

    mean_altitude

    source
    fn mean_altitude(track : Array[GroundTrackPoint]) -> Double

    mean_anomaly_from_eccentric

    source
    fn mean_anomaly_from_eccentric(eccentric_anomaly_rad : Double, eccentricity : Double) -> Double

    mean_motion

    source
    fn mean_motion(mu : Double, semi_major_axis_km : Double) -> Double

    mean_motion_rev_day_to_rad_s

    source
    fn mean_motion_rev_day_to_rad_s(mean_motion_rev_day : Double) -> Double

    merge_adjacent_windows

    source
    fn merge_adjacent_windows(windows : Array[VisibilityWindow], maximum_gap_s : Double) -> Array[VisibilityWindow]

    meridian_radius_km

    source
    fn meridian_radius_km(latitude_rad : Double) -> Double

    meters_per_second_to_kilometers_per_second

    source
    fn meters_per_second_to_kilometers_per_second(value : Double) -> Double

    meters_per_second_to_knots

    source
    fn meters_per_second_to_knots(value : Double) -> Double

    meters_to_centimeters

    source
    fn meters_to_centimeters(value : Double) -> Double

    meters_to_inches

    source
    fn meters_to_inches(value : Double) -> Double

    meters_to_kilometers

    source
    fn meters_to_kilometers(value : Double) -> Double

    meters_to_millimeters

    source
    fn meters_to_millimeters(value : Double) -> Double

    metric_is_valid

    source
    fn metric_is_valid(metrics : TrajectoryMetrics) -> Bool

    miles_to_kilometers

    source
    fn miles_to_kilometers(value : Double) -> Double

    millimeters_to_meters

    source
    fn millimeters_to_meters(value : Double) -> Double

    minimize_delta_v

    source
    fn minimize_delta_v(mu : Double, radii : Array[Double]) -> (Double, Double)

    minutes_to_seconds

    source
    fn minutes_to_seconds(value : Double) -> Double

    mission_energy_proxy

    source
    fn mission_energy_proxy(mu : Double, elements : ClassicalElements, mass_kg : Double) -> Double

    mission_event_count

    source
    fn mission_event_count(timeline : MissionTimeline, kind : MissionEventKind) -> Int

    mission_event_kind_name

    source
    fn mission_event_kind_name(kind : MissionEventKind) -> String

    mission_phase

    source
    fn mission_phase(name : String, start_s : Double, end_s : Double, delta_v_km_s : Double) -> MissionPhase

    mission_report

    source
    fn mission_report(timeline : MissionTimeline, budget : DeltaVBudget) -> OrbitReport

    mission_success_probability

    source
    fn mission_success_probability(probabilities : Array[Double]) -> Double

    moon_altitude

    source
    fn moon_altitude(site : Geodetic, epoch : Epoch) -> Double

    moon_position

    source
    fn moon_position(epoch : Epoch) -> MoonPosition

    moving_average

    source
    fn moving_average(values : Array[Double], window : Int) -> Array[Double]

    fn navigation_health(position_error_km : Double, limit_km : Double) -> HealthFlag

    nearest_index

    source
    fn nearest_index(values : Array[Double], query : Double) -> Int

    nearest_value

    source
    fn nearest_value(values : Array[Double], query : Double) -> Double

    nearly_equal

    source
    fn nearly_equal(a : Double, b : Double, eps : Double) -> Bool

    newton

    source
    fn newton(f : (Double) -> Double, derivative : (Double) -> Double, initial : Double, tolerance? : Double, max_iterations? : Int) -> RootResult

    newtons_to_kilograms_force

    source
    fn newtons_to_kilograms_force(value : Double) -> Double

    noise_from_density

    source
    fn noise_from_density(density_w_hz : Double, bandwidth_hz : Double) -> Double

    nominal_step

    source
    fn nominal_step(index : Int, name : String, duration_s : Double, resource_cost : Double) -> OperationStep

    normalize_angle

    source
    fn normalize_angle(theta : Double) -> Double

    normalize_angle_degrees

    source
    fn normalize_angle_degrees(value : Double) -> Double

    normalize_parameter

    source
    fn normalize_parameter(value : Double, lower : Double, upper : Double) -> Double

    normalize_series

    source
    fn normalize_series(values : Array[Double]) -> Array[Double]

    normalize_time_of_day_seconds

    source
    fn normalize_time_of_day_seconds(value : Double) -> Double

    normalize_weights

    source
    fn normalize_weights(weights : Array[Double]) -> Array[Double]

    objective_orbit_altitude

    source
    fn objective_orbit_altitude(mu : Double, elements : ClassicalElements, target_altitude_km : Double) -> Double

    observation_information

    source
    fn observation_information(observations : Array[Observation]) -> Double

    observation_kind_is_angular

    source
    fn observation_kind_is_angular(kind : ObservationKind) -> Bool

    observation_kind_is_dynamic

    source
    fn observation_kind_is_dynamic(kind : ObservationKind) -> Bool

    observation_kind_name

    source
    fn observation_kind_name(kind : ObservationKind) -> String

    observation_prediction

    source
    fn observation_prediction(station : GroundStation, epoch : Epoch, state : StateVector, kind : ObservationKind) -> Double

    observation_quality_score

    source
    fn observation_quality_score(observation : Observation) -> Double

    observation_residual

    source
    fn observation_residual(observation : Observation, state : StateVector) -> Double

    observation_residual_summary

    source
    fn observation_residual_summary(observations : Array[Observation], gate_sigma : Double) -> ResidualSummary

    observe_state

    source
    fn observe_state(station : GroundStation, epoch : Epoch, state : StateVector, kind : ObservationKind, bias? : Double, sigma? : Double) -> Observation

    orbit_eccentricity_limit

    source
    fn orbit_eccentricity_limit(elements : ClassicalElements) -> Double

    orbit_intersects_body

    source
    fn orbit_intersects_body(elements : ClassicalElements, body_radius_km : Double) -> Bool

    orbit_is_valid

    source
    fn orbit_is_valid(elements : ClassicalElements) -> Bool

    orbit_report

    source
    fn orbit_report(mu : Double, elements : ClassicalElements) -> OrbitReport

    orbit_state_angular_momentum

    source
    fn orbit_state_angular_momentum(state : StateVector) -> Double

    orbit_state_energy

    source
    fn orbit_state_energy(mu : Double, state : StateVector) -> Double

    orbital_period

    source
    fn orbital_period(mu : Double, semi_major_axis_km : Double) -> Double

    orthogonal_basis

    source
    fn orthogonal_basis(axis : Vec3) -> (Vec3, Vec3)

    outliers

    source
    fn outliers(values : Array[Double], threshold : Double) -> Array[Double]

    packet_error_rate

    source
    fn packet_error_rate(eb_no_db : Double, coding_gain_db : Double) -> Double

    pareto_front

    source
    fn pareto_front(values : Array[(Double, Double)]) -> Array[(Double, Double)]

    parse_tle

    source
    fn parse_tle(name : String, line1 : String, line2 : String) -> Result[TleRecord, TleParseError]

    pascal_to_bar

    source
    fn pascal_to_bar(value : Double) -> Double

    pascal_to_psi

    source
    fn pascal_to_psi(value : Double) -> Double

    pass_is_valid

    source
    fn pass_is_valid(window : PassWindow) -> Bool

    payload_data_generated

    source
    fn payload_data_generated(profile : ResourceProfile, utilization : Double) -> Double

    percent_to_fraction

    source
    fn percent_to_fraction(value : Double) -> Double

    percentile

    source
    fn percentile(values : Array[Double], fraction : Double) -> Double

    perifocal_to_inertial

    source
    fn perifocal_to_inertial(elements : ClassicalElements, vector : Vec3) -> Vec3

    perigee_apogee

    source
    fn perigee_apogee(elements : ClassicalElements) -> PerigeeApogee

    period_is_valid

    source
    fn period_is_valid(elements : ClassicalElements, minimum_s : Double, maximum_s : Double) -> Bool

    period_seconds_to_hertz

    source
    fn period_seconds_to_hertz(value : Double) -> Double

    phase_contains

    source
    fn phase_contains(phase : MissionPhase, time_s : Double) -> Bool

    phase_duration_s

    source
    fn phase_duration_s(phase : MissionPhase) -> Double

    phase_is_well_formed

    source
    fn phase_is_well_formed(phase : MissionPhase) -> Bool

    phase_utilization

    source
    fn phase_utilization(phase : MissionPhase, resource_limit : Double) -> Double

    phases_at_time

    source
    fn phases_at_time(scenario : MissionScenario, time_s : Double) -> Array[MissionPhase]

    phases_with_priority

    source
    fn phases_with_priority(scenario : MissionScenario, minimum_priority : Int) -> Array[MissionPhase]

    phasing_delta_v

    source
    fn phasing_delta_v(mu : Double, radius_km : Double, phase_angle_rad : Double, cycles : Int) -> Double

    phasing_orbit_axis

    source
    fn phasing_orbit_axis(mu : Double, target_period_s : Double) -> Double

    photon_energy

    source
    fn photon_energy(frequency_hz : Double) -> Double

    let pi : Double

    plan_windows

    source
    fn plan_windows(windows : Array[VisibilityWindow], constraint : WindowConstraint, rate_kbps : Double) -> WindowSchedule

    plane_change

    source
    fn plane_change(speed_km_s : Double, angle_rad : Double) -> PlaneChange

    plane_change_delta_v

    source
    fn plane_change_delta_v(speed_km_s : Double, angle_rad : Double) -> Double

    pointing_error

    source
    fn pointing_error(attitude : Quaternion, target : PointingTarget, body_axis : Vec3) -> Double

    polynomial

    source
    fn polynomial(coefficients : Array[Double], x : Double) -> Double

    polynomial_derivative

    source
    fn polynomial_derivative(coefficients : Array[Double], x : Double) -> Double

    polynomial_fit_linear

    source
    fn polynomial_fit_linear(xs : Array[Double], ys : Array[Double]) -> (Double, Double)

    pounds_to_kilograms

    source
    fn pounds_to_kilograms(value : Double) -> Double

    predict_linear

    source
    fn predict_linear(model : (Double, Double), x : Double) -> Double

    predict_trend

    source
    fn predict_trend(estimate : TrendEstimate, epoch : Epoch) -> Double

    prime_vertical_radius_km

    source
    fn prime_vertical_radius_km(latitude_rad : Double) -> Double

    profile_maximum

    source
    fn profile_maximum(values : Array[Double]) -> Double

    profile_minimum

    source
    fn profile_minimum(values : Array[Double]) -> Double

    profile_range

    source
    fn profile_range(values : Array[Double]) -> Double

    project_onto

    source
    fn project_onto(v : Vec3, axis : Vec3) -> Vec3

    project_to_plane

    source
    fn project_to_plane(v : Vec3, normal : Vec3) -> Vec3

    propagate_catalog

    source
    fn propagate_catalog(entries : Array[CatalogEntry], delta_t_s : Double) -> Array[CatalogEntry]

    propagate_j2_mean_elements

    source
    fn propagate_j2_mean_elements(mu : Double, radius_body_km : Double, j2_value : Double, elements : ClassicalElements, delta_t_s : Double) -> ClassicalElements

    propagate_kepler

    source
    fn propagate_kepler(mu : Double, elements : ClassicalElements, delta_t_s : Double) -> ClassicalElements

    propagate_state_samples

    source
    fn propagate_state_samples(mu : Double, elements : ClassicalElements, times_s : Array[Double]) -> Array[StateSample]

    propellant_mass_from_delta_v

    source
    fn propellant_mass_from_delta_v(initial_mass_kg : Double, delta_v_km_s : Double, exhaust_velocity_km_s : Double) -> Double

    propulsion_health

    source
    fn propulsion_health(remaining_km_s : Double, required_km_s : Double) -> HealthFlag

    psi_to_pascal

    source
    fn psi_to_pascal(value : Double) -> Double

    quantize

    source
    fn quantize(value : Double, step : Double) -> Double

    quaternion_command_error

    source
    fn quaternion_command_error(desired : Quaternion, current : Quaternion) -> Vec3

    quaternion_distance

    source
    fn quaternion_distance(a : Quaternion, b : Quaternion) -> Double

    quaternion_slerp

    source
    fn quaternion_slerp(a : Quaternion, b : Quaternion, t : Double) -> Quaternion

    quaternion_to_euler

    source
    fn quaternion_to_euler(q : Quaternion) -> EulerAngles

    rad_per_second_to_deg_per_second

    source
    fn rad_per_second_to_deg_per_second(value : Double) -> Double

    rad_per_second_to_revolutions_per_day

    source
    fn rad_per_second_to_revolutions_per_day(value : Double) -> Double

    rad_to_deg

    source
    let rad_to_deg : Double

    radial_profile

    source
    fn radial_profile(mu : Double, elements : ClassicalElements, count : Int) -> Array[Double]

    radial_transverse_normal

    source
    fn radial_transverse_normal(position : Vec3, velocity : Vec3) -> (Vec3, Vec3, Vec3)

    radial_velocity

    source
    fn radial_velocity(state : StateVector) -> Double

    radians

    source
    fn radians(degrees : Double) -> Double

    radians_to_arcseconds

    source
    fn radians_to_arcseconds(value : Double) -> Double

    radians_to_degrees

    source
    fn radians_to_degrees(value : Double) -> Double

    range_rate

    source
    fn range_rate(a : StateVector, b : StateVector) -> Double

    rank_designs

    source
    fn rank_designs(candidates : Array[DesignCandidate]) -> Array[DesignCandidate]

    ratio_to_decibels

    source
    fn ratio_to_decibels(value : Double) -> Double

    reaction_wheel_momentum

    source
    fn reaction_wheel_momentum(inertia : Vec3, angular_velocity : Vec3) -> Vec3

    refine_pass_peak

    source
    fn refine_pass_peak(station : GroundStation, elements : ClassicalElements, epoch : Epoch, start_s : Double, end_s : Double, step_s : Double) -> Double

    reflect

    source
    fn reflect(v : Vec3, normal : Vec3) -> Vec3

    regression_is_valid

    source
    fn regression_is_valid(model : LinearRegression) -> Bool

    reject_from

    source
    fn reject_from(v : Vec3, axis : Vec3) -> Vec3

    reject_observation

    source
    fn reject_observation(observation : Observation, gate_sigma : Double) -> Observation

    reject_outliers

    source
    fn reject_outliers(observations : Array[Observation], gate_sigma : Double) -> Array[Observation]

    relative_error

    source
    fn relative_error(actual : Double, expected : Double) -> Double

    relative_motion_distance

    source
    fn relative_motion_distance(a : StateVector, b : StateVector, delta_t_s : Double) -> Double

    relative_state

    source
    fn relative_state(a : StateVector, b : StateVector) -> StateVector

    repeat_ground_track_period

    source
    fn repeat_ground_track_period(mu : Double, semi_major_axis_km : Double, earth_rotation_s : Double, revolutions : Int) -> Double

    report_is_valid

    source
    fn report_is_valid(report : OrbitReport) -> Bool

    resample_ground_track

    source
    fn resample_ground_track(track : Array[GroundTrackPoint], times : Array[Double]) -> Array[GroundTrackPoint]

    resample_linear

    source
    fn resample_linear(samples : Array[TelemetrySample], times : Array[Double]) -> Array[TelemetrySample]

    resample_uniform

    source
    fn resample_uniform(values : Array[Double], start : Double, step : Double, count : Int) -> Array[Double]

    residuals_linear

    source
    fn residuals_linear(model : (Double, Double), xs : Array[Double], ys : Array[Double]) -> Array[Double]

    resource_data_volume_mb

    source
    fn resource_data_volume_mb(profile : ResourceProfile) -> Double

    resource_end_of_life_power

    source
    fn resource_end_of_life_power(profile : ResourceProfile, degradation_fraction : Double) -> Double

    resource_is_valid

    source
    fn resource_is_valid(profile : ResourceProfile) -> Bool

    resource_mass_fraction

    source
    fn resource_mass_fraction(profile : ResourceProfile) -> Double

    resource_profile

    source
    fn resource_profile(mass_kg : Double, dry_mass_fraction : Double, power_w : Double, data_rate_kbps : Double, lifetime_days : Double) -> ResourceProfile

    revolutions_per_day_to_rad_per_second

    source
    fn revolutions_per_day_to_rad_per_second(value : Double) -> Double

    reynolds_number

    source
    fn reynolds_number(density : Double, speed : Double, length : Double, viscosity : Double) -> Double

    risk_weighted_cost

    source
    fn risk_weighted_cost(cost : Double, probability : Double, consequence : Double) -> Double

    rk4_step

    source
    fn rk4_step(model : AccelerationModel, state : StateVector, step_s : Double) -> StateVector

    rocket_delta_v

    source
    fn rocket_delta_v(initial_mass_kg : Double, final_mass_kg : Double, exhaust_velocity_km_s : Double) -> Double

    rotate_about_axis

    source
    fn rotate_about_axis(v : Vec3, axis : Vec3, angle_rad : Double) -> Vec3

    rotate_body_to_inertial

    source
    fn rotate_body_to_inertial(attitude : Quaternion, body : Vec3) -> Vec3

    rotate_inertial_to_body

    source
    fn rotate_inertial_to_body(attitude : Quaternion, inertial : Vec3) -> Vec3

    rotate_x

    source
    fn rotate_x(v : Vec3, angle_rad : Double) -> Vec3

    rotate_xyz

    source
    fn rotate_xyz(v : Vec3, roll_rad : Double, pitch_rad : Double, yaw_rad : Double) -> Vec3

    rotate_y

    source
    fn rotate_y(v : Vec3, angle_rad : Double) -> Vec3

    rotate_z

    source
    fn rotate_z(v : Vec3, angle_rad : Double) -> Vec3

    round_trip_delay_s

    source
    fn round_trip_delay_s(distance_km : Double) -> Double

    safety_margin_km

    source
    fn safety_margin_km(assessment : SafetyAssessment, required_distance_km : Double) -> Double

    sample_kepler_visibility

    source
    fn sample_kepler_visibility(mu : Double, station : GroundStation, start : Epoch, elements : ClassicalElements, step_s : Double, count : Int) -> Array[VisibilitySample]

    sample_visibility

    source
    fn sample_visibility(station : GroundStation, epoch : Epoch, satellite_eci_km : Vec3) -> VisibilitySample

    scenario_append_all

    source
    fn scenario_append_all(scenario : MissionScenario, phases : Array[MissionPhase]) -> MissionScenario

    scenario_delta_v

    source
    fn scenario_delta_v(scenario : MissionScenario) -> Double

    scenario_duration_s

    source
    fn scenario_duration_s(scenario : MissionScenario) -> Double

    scenario_is_empty

    source
    fn scenario_is_empty(scenario : MissionScenario) -> Bool

    scenario_is_well_formed

    source
    fn scenario_is_well_formed(scenario : MissionScenario) -> Bool

    scenario_peak_priority

    source
    fn scenario_peak_priority(scenario : MissionScenario) -> Int

    scenario_phase_names

    source
    fn scenario_phase_names(scenario : MissionScenario) -> Array[String]

    scenario_report

    source
    fn scenario_report(scenario : MissionScenario, resource_limit : Double) -> String

    scenario_resource_cost

    source
    fn scenario_resource_cost(scenario : MissionScenario) -> Double

    scenario_resource_margin

    source
    fn scenario_resource_margin(scenario : MissionScenario, resource_limit : Double) -> Double

    scenario_to_timeline

    source
    fn scenario_to_timeline(scenario : MissionScenario) -> MissionTimeline

    scenario_utilization

    source
    fn scenario_utilization(scenario : MissionScenario, resource_limit : Double) -> Double

    schedule_contains_label

    source
    fn schedule_contains_label(events : Array[MissionEvent], label : String) -> Bool

    schedule_delta_vs

    source
    fn schedule_delta_vs(events : Array[MissionEvent]) -> Array[Double]

    schedule_durations

    source
    fn schedule_durations(events : Array[MissionEvent]) -> Array[Double]

    schedule_efficiency

    source
    fn schedule_efficiency(schedule : WindowSchedule) -> Double

    schedule_filter_kind

    source
    fn schedule_filter_kind(events : Array[MissionEvent], kind : MissionEventKind) -> Array[MissionEvent]

    schedule_finish_time

    source
    fn schedule_finish_time(events : Array[MissionEvent]) -> Double

    schedule_first

    source
    fn schedule_first(events : Array[MissionEvent]) -> MissionEvent?

    schedule_first_window

    source
    fn schedule_first_window(schedule : WindowSchedule) -> PlannedWindow?

    schedule_from_timeline

    source
    fn schedule_from_timeline(timeline : MissionTimeline) -> Array[MissionEvent]

    schedule_gap_seconds

    source
    fn schedule_gap_seconds(schedule : WindowSchedule) -> Double

    schedule_idle_time

    source
    fn schedule_idle_time(events : Array[MissionEvent]) -> Double

    schedule_is_feasible

    source
    fn schedule_is_feasible(schedule : WindowSchedule, minimum_volume_mb : Double) -> Bool

    schedule_labels

    source
    fn schedule_labels(events : Array[MissionEvent]) -> Array[String]

    schedule_last

    source
    fn schedule_last(events : Array[MissionEvent]) -> MissionEvent?

    schedule_last_window

    source
    fn schedule_last_window(schedule : WindowSchedule) -> PlannedWindow?

    schedule_overlap_count

    source
    fn schedule_overlap_count(events : Array[MissionEvent]) -> Int

    schedule_scale

    source
    fn schedule_scale(events : Array[MissionEvent], factor : Double) -> Array[MissionEvent]

    schedule_shift

    source
    fn schedule_shift(events : Array[MissionEvent], delta_s : Double) -> Array[MissionEvent]

    schedule_sort

    source
    fn schedule_sort(events : Array[MissionEvent]) -> Array[MissionEvent]

    schedule_summary

    source
    fn schedule_summary(schedule : WindowSchedule) -> String

    schedule_time_span

    source
    fn schedule_time_span(events : Array[MissionEvent]) -> Double

    schedule_times

    source
    fn schedule_times(events : Array[MissionEvent]) -> Array[Double]

    schedule_to_mission_timeline

    source
    fn schedule_to_mission_timeline(schedule : WindowSchedule, label_prefix : String) -> MissionTimeline

    schedule_to_timeline

    source
    fn schedule_to_timeline(events : Array[MissionEvent]) -> MissionTimeline

    schedule_total_cost

    source
    fn schedule_total_cost(events : Array[MissionEvent]) -> Double

    schedule_total_duration

    source
    fn schedule_total_duration(events : Array[MissionEvent]) -> Double

    schedule_validate

    source
    fn schedule_validate(events : Array[MissionEvent]) -> ValidationReport

    schedule_window

    source
    fn schedule_window(window : VisibilityWindow, constraint : WindowConstraint, rate_kbps : Double) -> PlannedWindow

    schedule_window_count

    source
    fn schedule_window_count(schedule : WindowSchedule) -> Int

    score_is_valid

    source
    fn score_is_valid(score : MissionScore) -> Bool

    score_mission

    source
    fn score_mission(safety : Double, coverage : Double, cost : Double, science : Double, weights : Array[Double]) -> MissionScore

    second_difference

    source
    fn second_difference(values : Array[Double], spacing : Double) -> Array[Double]

    seconds_to_days

    source
    fn seconds_to_days(value : Double) -> Double

    seconds_to_hours

    source
    fn seconds_to_hours(value : Double) -> Double

    seconds_to_minutes

    source
    fn seconds_to_minutes(value : Double) -> Double

    segment_ground_track

    source
    fn segment_ground_track(track : Array[GroundTrackPoint], maximum_gap_s : Double) -> Array[GroundTrackSegment]

    segment_point_distance

    source
    fn segment_point_distance(start : Vec3, end : Vec3, point : Vec3) -> Double

    select_best_candidate

    source
    fn select_best_candidate(candidates : Array[DesignCandidate]) -> DesignCandidate?

    semi_latus_rectum

    source
    fn semi_latus_rectum(elements : ClassicalElements) -> Double

    semi_major_axis_from_mean_motion

    source
    fn semi_major_axis_from_mean_motion(mu : Double, mean_motion_rev_day : Double) -> Double

    sgp4_status

    source
    fn sgp4_status() -> Sgp4Status

    signal_to_noise_db

    source
    fn signal_to_noise_db(signal : Double, noise : Double) -> Double

    signed_angle_about

    source
    fn signed_angle_about(a : Vec3, b : Vec3, axis : Vec3) -> Double

    signed_angle_degrees

    source
    fn signed_angle_degrees(value : Double) -> Double

    simulate_plan

    source
    fn simulate_plan(plan : OperationPlan, available_resource : Double) -> OperationPlan

    site_is_valid

    source
    fn site_is_valid(site : Geodetic) -> Bool

    slew_time

    source
    fn slew_time(angle_rad : Double, max_rate_rad_s : Double, max_accel_rad_s2 : Double) -> Double

    smooth_box

    source
    fn smooth_box(values : Array[Double], radius : Int) -> Array[Double]

    smooth_exponential

    source
    fn smooth_exponential(values : Array[Double], alpha : Double) -> Array[Double]

    smooth_step

    source
    fn smooth_step(edge0 : Double, edge1 : Double, value : Double) -> Double

    solar_array_area_m2

    source
    fn solar_array_area_m2(power_w : Double, efficiency : Double, flux_w_m2 : Double) -> Double

    solar_declination

    source
    fn solar_declination(epoch : Epoch) -> Double

    solar_escape_margin

    source
    fn solar_escape_margin(mu : Double, radius_km : Double, speed_km_s : Double) -> Double

    solar_flux_at_distance

    source
    fn solar_flux_at_distance(distance_au : Double) -> Double

    solar_hour_angle

    source
    fn solar_hour_angle(site : Geodetic, epoch : Epoch) -> Double

    solar_pressure_n_m2

    source
    fn solar_pressure_n_m2(distance_au : Double) -> Double

    solve_kepler

    source
    fn solve_kepler(mean_anomaly_rad : Double, eccentricity : Double, tolerance? : Double, max_iterations? : Int) -> Double

    sort_catalog_by_altitude

    source
    fn sort_catalog_by_altitude(entries : Array[CatalogEntry]) -> Array[CatalogEntry]

    specific_angular_momentum

    source
    fn specific_angular_momentum(state : StateVector) -> Vec3

    specific_orbital_energy

    source
    fn specific_orbital_energy(mu : Double, semi_major_axis_km : Double) -> Double

    speed_profile

    source
    fn speed_profile(mu : Double, elements : ClassicalElements, count : Int) -> Array[Double]

    spherical_to_cartesian

    source
    fn spherical_to_cartesian(radius : Double, latitude_rad : Double, longitude_rad : Double) -> Vec3

    spherical_triangle_excess

    source
    fn spherical_triangle_excess(a : Vec3, b : Vec3, c : Vec3) -> Double

    square_kilometers_to_square_meters

    source
    fn square_kilometers_to_square_meters(value : Double) -> Double

    square_meters_to_square_kilometers

    source
    fn square_meters_to_square_kilometers(value : Double) -> Double

    state_after_impulse

    source
    fn state_after_impulse(state : StateVector, delta_v : Vec3) -> StateVector

    state_comparison_is_valid

    source
    fn state_comparison_is_valid(comparison : StateComparison, position_tolerance_km : Double, velocity_tolerance_km_s : Double) -> Bool

    state_comparison_score

    source
    fn state_comparison_score(comparison : StateComparison) -> Double

    state_is_valid

    source
    fn state_is_valid(state : StateVector) -> Bool

    state_position_error

    source
    fn state_position_error(reference : StateVector, estimate : StateVector) -> Double

    state_relative_error

    source
    fn state_relative_error(reference : StateVector, estimate : StateVector) -> Double

    state_sample_at

    source
    fn state_sample_at(samples : Array[StateSample], time_s : Double) -> StateSample?

    state_samples_to_csv

    source
    fn state_samples_to_csv(samples : Array[StateSample]) -> String

    state_velocity_error

    source
    fn state_velocity_error(reference : StateVector, estimate : StateVector) -> Double

    summarize_orbit

    source
    fn summarize_orbit(mu : Double, elements : ClassicalElements) -> OrbitSummary

    summarize_samples

    source
    fn summarize_samples(values : Array[Double]) -> SampleStats

    summarize_scenario

    source
    fn summarize_scenario(scenario : MissionScenario, resource_limit : Double) -> ScenarioSummary

    summarize_telemetry

    source
    fn summarize_telemetry(name : String, samples : Array[TelemetrySample]) -> TelemetrySummary

    sun_altitude

    source
    fn sun_altitude(site : Geodetic, epoch : Epoch) -> Double

    sun_position

    source
    fn sun_position(epoch : Epoch) -> SunPosition

    sun_synchronous_inclination

    source
    fn sun_synchronous_inclination(mu : Double, radius_body_km : Double, j2_value : Double, semi_major_axis_km : Double, eccentricity : Double, desired_raan_rate_rad_s : Double) -> Double

    sunlight_power_fraction

    source
    fn sunlight_power_fraction(result : EclipseResult, albedo? : Double) -> Double

    telemetry_channel_names

    source
    fn telemetry_channel_names(samples : Array[TelemetrySample]) -> Array[String]

    telemetry_health

    source
    fn telemetry_health(samples : Array[TelemetrySample]) -> Double

    telemetry_is_valid

    source
    fn telemetry_is_valid(sample : TelemetrySample) -> Bool

    telemetry_missing_intervals

    source
    fn telemetry_missing_intervals(samples : Array[TelemetrySample], max_gap_s : Double) -> Int

    telemetry_report

    source
    fn telemetry_report(samples : Array[TelemetrySample], name : String) -> OrbitReport

    telemetry_summary_is_valid

    source
    fn telemetry_summary_is_valid(summary : TelemetrySummary) -> Bool

    tetrahedron_volume

    source
    fn tetrahedron_volume(a : Vec3, b : Vec3, c : Vec3, d : Vec3) -> Double

    thermal_health

    source
    fn thermal_health(power_budget : Double, load : Double) -> HealthFlag

    thermal_noise_power

    source
    fn thermal_noise_power(temperature_k : Double, bandwidth_hz : Double) -> Double

    thermal_power_margin

    source
    fn thermal_power_margin(power_budget_w : Double, power_load_w : Double) -> Double

    timeline_report

    source
    fn timeline_report(timeline : MissionTimeline) -> String

    tle_to_mean_elements

    source
    fn tle_to_mean_elements(mu : Double, tle : TleRecord) -> ClassicalElements

    topocentric

    source
    fn topocentric(site : Geodetic, satellite_ecef_km : Vec3) -> Topocentric

    torque_from_rate_error

    source
    fn torque_from_rate_error(inertia : Vec3, desired : Vec3, actual : Vec3, gain : Double) -> Vec3

    track_altitude_stats

    source
    fn track_altitude_stats(track : Array[GroundTrackPoint]) -> SampleStats

    track_filter_altitude

    source
    fn track_filter_altitude(track : Array[GroundTrackPoint], minimum_km : Double, maximum_km : Double) -> Array[GroundTrackPoint]

    track_filter_time

    source
    fn track_filter_time(track : Array[GroundTrackPoint], start_s : Double, end_s : Double) -> Array[GroundTrackPoint]

    track_is_contiguous

    source
    fn track_is_contiguous(track : Array[GroundTrackPoint], maximum_gap_s : Double) -> Bool

    track_latitude_histogram

    source
    fn track_latitude_histogram(track : Array[GroundTrackPoint], bins : Int) -> Histogram

    track_time_step_stats

    source
    fn track_time_step_stats(track : Array[GroundTrackPoint]) -> SampleStats

    track_to_csv

    source
    fn track_to_csv(track : Array[GroundTrackPoint]) -> String

    trajectory_metrics

    source
    fn trajectory_metrics(states : Array[DynamicsState]) -> TrajectoryMetrics

    transfer_angle

    source
    fn transfer_angle(r1 : Vec3, r2 : Vec3, prograde? : Bool) -> Double

    transfer_is_prograde

    source
    fn transfer_is_prograde(start : Vec3, end : Vec3, reference : Vec3) -> Bool

    transfer_is_valid

    source
    fn transfer_is_valid(solution : LambertSolution) -> Bool

    transfer_plane_normal

    source
    fn transfer_plane_normal(start : Vec3, end : Vec3) -> Vec3

    transfer_time_estimate

    source
    fn transfer_time_estimate(mu : Double, first_radius_km : Double, second_radius_km : Double) -> Double

    transverse_velocity

    source
    fn transverse_velocity(state : StateVector) -> Double

    trend_is_stable

    source
    fn trend_is_stable(estimate : TrendEstimate, maximum_slope_per_s : Double) -> Bool

    triangle_area

    source
    fn triangle_area(a : Vec3, b : Vec3, c : Vec3) -> Double

    true_anomaly_from_eccentric

    source
    fn true_anomaly_from_eccentric(eccentric_anomaly_rad : Double, eccentricity : Double) -> Double

    two_pi

    source
    let two_pi : Double

    validate_elements

    source
    fn validate_elements(elements : ClassicalElements) -> ValidationReport

    validate_range

    source
    fn validate_range(sample : TelemetrySample, lower : Double, upper : Double) -> TelemetrySample

    validate_site

    source
    fn validate_site(site : Geodetic) -> ValidationReport

    validate_state

    source
    fn validate_state(state : StateVector) -> ValidationReport

    validate_telemetry

    source
    fn validate_telemetry(samples : Array[TelemetrySample]) -> ValidationReport

    validate_timeline

    source
    fn validate_timeline(timeline : MissionTimeline) -> ValidationReport

    validation_error_count

    source
    fn validation_error_count(report : ValidationReport) -> Int

    validation_summary

    source
    fn validation_summary(report : ValidationReport) -> String

    validation_warning_count

    source
    fn validation_warning_count(report : ValidationReport) -> Int

    variance

    source
    fn variance(values : Array[Double]) -> Double

    vis_viva_speed

    source
    fn vis_viva_speed(mu : Double, radius_km : Double, semi_major_axis_km : Double) -> Double

    vis_viva_velocity

    source
    fn vis_viva_velocity(mu : Double, radius_km : Double, semi_major_axis_km : Double) -> Double

    watt_hours_to_joules

    source
    fn watt_hours_to_joules(value : Double) -> Double

    watts_to_dbw

    source
    fn watts_to_dbw(value : Double) -> Double

    weighted_objective

    source
    fn weighted_objective(values : Array[Double], weights : Array[Double], target : Double) -> Double

    weighted_residual_estimate

    source
    fn weighted_residual_estimate(observations : Array[Observation]) -> ScalarEstimate

    weighted_scalar_estimate

    source
    fn weighted_scalar_estimate(observations : Array[Observation]) -> ScalarEstimate

    window_data_volume_mb

    source
    fn window_data_volume_mb(window : VisibilityWindow, rate_kbps : Double) -> Double

    window_duration_s

    source
    fn window_duration_s(window : VisibilityWindow) -> Double

    window_is_acceptable

    source
    fn window_is_acceptable(window : VisibilityWindow, constraint : WindowConstraint) -> Bool

    window_midpoint

    source
    fn window_midpoint(window : VisibilityWindow) -> Epoch

    window_quality_score

    source
    fn window_quality_score(window : VisibilityWindow, constraint : WindowConstraint) -> Double

    wrap_positive

    source
    fn wrap_positive(value : Double, period : Double) -> Double

    z_score

    source
    fn z_score(value : Double, values : Array[Double]) -> Double

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io