Enum EventLogRefusal 

#[non_exhaustive]
pub enum EventLogRefusal {
    MissingCaseId,
    MissingActivity,
    MissingTimestamp,
    EmptyTrace,
    NonMonotonicTrace,
    DuplicateEvent,
    InvalidLifecycle,
}

The specific, named laws under which case-centric event-log structure is refused.

Each variant is a distinct law with a meaning auditors can cite — never a catch-all “invalid input”. These describe structural defects only; they say nothing about model quality (that is a wasm4pm concern).

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

MissingCaseId

A trace carries an empty case identifier.

MissingActivity

An event carries an empty activity name.

MissingTimestamp

A timestamp was required by policy but absent.

EmptyTrace

A trace contains no events.

NonMonotonicTrace

Consecutive timestamps decrease — the trace is not time-monotonic.

DuplicateEvent

The same event occurs twice where uniqueness was required.

InvalidLifecycle

A lifecycle transition is malformed or out of its declared alphabet.

Trait Implementations

impl Clone for EventLogRefusal

fn clone(&self) -> EventLogRefusal

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for EventLogRefusal

impl Debug for EventLogRefusal

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for EventLogRefusal

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for EventLogRefusal

impl Hash for EventLogRefusal

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for EventLogRefusal

fn eq(&self, other: &EventLogRefusal) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for EventLogRefusal