A departure from the RINEX NAV format that a lenient reader read through.
The record or header value it concerns is kept; the strict reader refuses it
with message. line is the 1-based line of the record or header line, and
satellite the record's satellite token, empty for a header line.
Summary
Types
@type t() :: %Sidereon.GNSS.Broadcast.NavDiagnostic{ line: pos_integer(), message: String.t(), satellite: String.t() }