sim-lib-music-serial 0.1.0

Immutable serial plans with stable row and event identity, explicit provenance, and validated partial temporal order.
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

//! Practice reports over named serial readings.

use crate::{InvariantLedger, PracticeId, PracticeRuleId, SerialReading};

/// Reproducible serial-practice report for one named reading.
#[derive(Clone, Debug, PartialEq, Eq)]
pub struct SerialPracticeReport {
    /// Practice identity.
    pub practice_id: PracticeId,
    /// Reading that produced this report.
    pub reading: SerialReading,
    /// Invariant ledger for the reading.
    pub ledger: InvariantLedger<PracticeRuleId>,
}

impl SerialPracticeReport {
    /// Returns whether any invariant remains violated after considering waivers.
    pub fn has_unwaived_violations(&self) -> bool {
        self.ledger
            .entries()
            .iter()
            .any(|entry| matches!(entry.status, crate::InvariantStatus::Violated))
    }
}