@spec clock_relativity_for_state_at_epoch_query(
  Sidereon.GNSS.Broadcast.t(),
  t(),
  String.t(),
  String.t(),
  Sidereon.GNSS.Time.ExactEpochQuery.t(),
  {number(), number(), number()},
  keyword()
) :: :not_applicable | :unavailable | {:term, float()} | {:error, term()}

Evaluate SBAS-source clock relativity for a state at its exact query.

Evaluate an SBAS-corrected broadcast satellite state.

@spec corrected_position_at_epoch_query(
  Sidereon.GNSS.Broadcast.t(),
  t(),
  String.t(),
  String.t(),
  Sidereon.GNSS.Time.ExactEpochQuery.t(),
  keyword()
) :: {:ok, map()} | {:error, term()}

Evaluate an SBAS-corrected state at exact state and broadcast-selection queries.

@spec decode(binary(), atom() | String.t()) ::
  {:ok, Sidereon.GNSS.SBAS.Message.t()} | {:error, error()}

Decode one 250-bit framed or 226-bit body SBAS message under the strict policy, which refuses a preamble other than 0x53, 0x9A and 0xC6.

@spec decode!(binary(), atom() | String.t()) :: Sidereon.GNSS.SBAS.Message.t()

Decode one 250-bit framed or 226-bit body SBAS message or raise.

@spec decode_with_policy(binary(), atom() | String.t(), policy()) ::
  {:ok, Sidereon.GNSS.SBAS.Message.t(),
   %{pad_bits: 0..63, departures: [departure()]}}
  | {:error, error()}

Decode one SBAS block under policy.

Returns {:ok, message, %{pad_bits: bits, departures: departures}}: pad_bits are the six bits completing the last byte, as read, and departures those read under :lenient (a preamble other than the three SBAS values, as {:unrecognized_preamble, preamble}). A length or CRC failure is refused under both policies.

@spec encode_unsupported(0..63, 0..255, binary(), keyword()) ::
  {:ok, binary(), [departure()]} | {:error, error()}

Encode a raw unsupported SBAS payload.

data must hold the 27-byte 212-bit payload. Options select :form (:body_226 by default), :policy (:strict by default), and :pad_bits (zero by default). Strict mode returns typed :sbas_encode_error fields for encoder refusals; lenient mode reports an unrecognized preamble as a departure.

@spec ephemeris_variance_at_epoch_queries(
  Sidereon.GNSS.Broadcast.t(),
  t(),
  String.t(),
  String.t(),
  Sidereon.GNSS.Time.ExactEpochQuery.t(),
  Sidereon.GNSS.Time.ExactEpochQuery.t(),
  keyword()
) :: float() | nil | {:error, term()}

Read SBAS-source position variance at independent exact state and selection queries.

@spec new(keyword()) :: t()

Create an empty correction store.

@spec parse_ems(String.t()) ::
  {:ok, [Sidereon.GNSS.SBAS.LogBlock.t()]} | {:error, term()}

Parse ESA EMS-style SBAS log lines under the strict policy.

Returns {:error, reason} for a record line the log reader would refuse or leave unread; parse_ems_log/2 reads the rest of such a log and reports it.

@spec parse_ems!(String.t()) :: [Sidereon.GNSS.SBAS.LogBlock.t()]

Parse ESA EMS-style SBAS log lines or raise.

@spec parse_ems_log(
  String.t(),
  keyword()
) :: {:ok, Sidereon.GNSS.SBAS.Log.t()} | {:error, term()}

Read an EMS log, keeping every line's disposition; see Sidereon.GNSS.SBAS.Log.

Options: :policy (:strict by default; :lenient reads a record whose declared message type differs from the type its message carries and reports it) and :reference_week (a full GPS week near the log's time, which resolves a NovAtel OEM3 10-bit week).

@spec parse_rtklib(String.t()) ::
  {:ok, [Sidereon.GNSS.SBAS.LogBlock.t()]} | {:error, term()}

Parse RTKLIB SBAS log lines under the strict policy; errors as parse_ems/1.

@spec parse_rtklib!(String.t()) :: [Sidereon.GNSS.SBAS.LogBlock.t()]

Parse RTKLIB SBAS log lines or raise.

@spec parse_rtklib_log(
  String.t(),
  keyword()
) :: {:ok, Sidereon.GNSS.SBAS.Log.t()} | {:error, term()}

Read an RTKLIB SBAS log, keeping every line's disposition; options as parse_ems_log/2.

Return ready SBAS GEO ids for an epoch.

Sample an SBAS-corrected broadcast source over a grid.

@spec sbas_protection_levels(
  Sidereon.GNSS.SBAS.ProtectionGeometry.t(),
  Sidereon.GNSS.SBAS.SbasErrorModel.t(),
  Sidereon.GNSS.SBAS.SbasKMultipliers.t()
) ::
  {:ok, Sidereon.GNSS.SBAS.SbasProtection.t()}
  | {:error, Sidereon.GNSS.SBAS.SbasPlError.t() | Sidereon.argument_error()}

Compute SBAS horizontal and vertical protection levels.

The error model supplies one range-error budget per geometry row. Returned values are meters except :d_en_m2, which is square meters.

@spec selected_state_at_epoch_queries(
  Sidereon.GNSS.Broadcast.t(),
  t(),
  String.t(),
  String.t(),
  Sidereon.GNSS.Time.ExactEpochQuery.t(),
  Sidereon.GNSS.Time.ExactEpochQuery.t(),
  keyword()
) :: {:ok, map() | nil} | {:error, term()}

Read an SBAS-selected state using exact state and broadcast-selection queries.

Run SPP against an SBAS-corrected broadcast source.

The :qzss_clock (:gps or :separate) and :troposphere_model (:rtklib or :saastamoinen_niell) options select the core solve models.

@spec solve_broadcast_at_exact_epoch(
  Sidereon.GNSS.Broadcast.t(),
  t(),
  String.t(),
  [{String.t(), number()}],
  epoch(),
  Sidereon.GNSS.Time.ExactEpoch.t(),
  keyword()
) :: {:ok, map()} | {:error, term()}

Run SPP at an exact receive epoch against an SBAS-corrected broadcast source.

Build a correction store from EMS log text.

Build a correction store from decoded message tuples.

Build a correction store from RTKLIB SBAS log text.

@spec transmit_clock_at_epoch_queries(
  Sidereon.GNSS.Broadcast.t(),
  t(),
  String.t(),
  String.t(),
  Sidereon.GNSS.Time.ExactEpochQuery.t(),
  Sidereon.GNSS.Time.ExactEpochQuery.t(),
  keyword()
) :: {:ok, %{clock_s: float(), degraded: atom() | nil} | nil} | {:error, term()}

Read the SBAS transmission-placement clock at exact state and selection queries.

@spec unassigned_mask_corrections(t(), String.t()) ::
  {:ok, %{required(pos_integer()) => non_neg_integer()}} | {:error, term()}

Count the corrections a source GEO addressed to active PRN-mask bits that name no satellite, per 1-based PRN mask number.

The RTCA DO-229 mask numbers 1..37 are GPS, 38..61 GLONASS slots 1..24 and 120..158 SBAS; any other active bit keeps its place among the active bits, so the corrections after it still reach their own satellites, and the corrections addressed to it are applied to no satellite and counted here. geo_id is the GEO's broadcast PRN token, such as "S120", as ready_geos/2 returns it. Returns {:ok, %{mask_number => count}}, {:error, :not_found} when the GEO has no partition in the store, or {:error, reason} for a GEO id that names no SBAS satellite.