macroonz-harness 0.1.0

Safe-Rust property, fuzz, fault, schedule, mutation, network, and benchmark testing with typed evidence, reduction, and replay.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

//! Admission of a delivery roster against its owner-built topology and temporal order.

use super::{TranscriptEntry, TranscriptRefusal};
use crate::network::simulation::{Tick, Topology};

/// Whether every row belongs to the topology, no delivery precedes its own send, and the stamps never step backward.
pub(super) fn lawful_entries(
    topology: &Topology,
    entries: &[TranscriptEntry],
) -> Result<(), TranscriptRefusal> {
    if entries.is_empty() {
        return Err(TranscriptRefusal::NoDelivery);
    }
    let mut latest = Tick::at(0u64);
    for (at, entry) in entries.iter().enumerate() {
        if !topology.links().contains(&entry.link()) {
            return Err(TranscriptRefusal::ForeignLink { at });
        }
        if entry.delivered_at() < entry.sent_at() {
            return Err(TranscriptRefusal::DeliveryBeforeSend { at });
        }
        if entry.delivered_at() < latest {
            return Err(TranscriptRefusal::DeliveryOrderBroken { at });
        }
        latest = entry.delivered_at();
    }
    Ok(())
}