Skip to main content

audit_loss_marker_admission

krabka_verified::audit

Function audit_loss_marker_admission 

Source 
pub fn audit_loss_marker_admission(
    header_matches: bool,
    field_count: u64,
    count: u64,
    generation: Option<u64>,
    previous_generation: u64,
) -> AuditLossMarkerAdmission
Expand description

Admit exactly a marker whose body is the two-field {records_lost, loss_generation} shape with a positive count and a generation strictly newer than the last accepted one.