Enum SimulationEvent 

pub enum SimulationEvent {
    BudgetCharged {
        time: TimeStamp,
        authority: AuthorityId,
        amount: u32,
        remaining: u32,
    },
    JournalAppended {
        time: TimeStamp,
        entry: JournalEntry,
    },
    LeakageRecorded {
        time: TimeStamp,
        bits: u32,
    },
    MetadataStored {
        time: TimeStamp,
        key: String,
        value: String,
    },
    EnvelopeQueued {
        time: TimeStamp,
        from: NetworkAddress,
        to: NetworkAddress,
        envelope: Vec<u8>,
    },
    NonceGenerated {
        time: TimeStamp,
        nonce: Vec<u8>,
    },
}

Simulation events for deterministic replay

These events capture all observable side effects from effect execution, enabling replay, analysis, and property checking in simulation.

Variants

BudgetCharged

Flow budget was charged

Fields

time: TimeStamp

Event timestamp

authority: AuthorityId

Authority that was charged

amount: u32

Amount charged

remaining: u32

Remaining budget after charge

JournalAppended

Journal entry was appended

Fields

time: TimeStamp

Event timestamp

entry: JournalEntry

Entry that was appended

LeakageRecorded

Metadata leakage was recorded

Fields

time: TimeStamp

Event timestamp

bits: u32

Bits of metadata leaked

MetadataStored

Metadata was stored

Fields

time: TimeStamp

Event timestamp

key: String

Storage key

value: String

Storage value

EnvelopeQueued

Network envelope was queued

Fields

time: TimeStamp

Event timestamp

from: NetworkAddress

Source address

to: NetworkAddress

Target address

envelope: Vec<u8>

Envelope content

NonceGenerated

Nonce was generated

Fields

time: TimeStamp

Event timestamp

nonce: Vec<u8>

Generated bytes

Trait Implementations

impl Clone for SimulationEvent

fn clone(&self) -> SimulationEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimulationEvent

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SimulationEvent

fn deserialize<__D>( __deserializer: __D, ) -> Result<SimulationEvent, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SimulationEvent

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.