minerva 0.2.0

Causal ordering for distributed systems
1
2
3
4
5
6
7
8
9
10
11
12
13

/// The rejected outcome of [`Stability::report`](super::Stability::report): the
/// reporting `station` is not on the tracker's roster, so the report was refused
/// and the tracker is unchanged.
///
/// Stability is only meaningful over the declared family; silently admitting an
/// unknown reporter would change the meaning of every subsequent
/// [`watermark`](super::Stability::watermark). Membership change belongs to the
/// caller (build a new tracker over the new roster).
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct UnknownStation {
    /// The station that reported without being on the roster.
    pub station: u32,
}