Enum AgreementWalEntry 

pub enum AgreementWalEntry {
    Escalation {
        operation_id: String,
        previous_level: AgreementLevel,
        new_level: AgreementLevel,
        evidence_id: Option<String>,
        tick: u64,
    },
    EvidenceProduced {
        evidence: AgreementEvidence,
        tick: u64,
    },
    Finalization {
        operation_id: String,
        outcome: FinalizationOutcome,
        materialization_proof_id: Option<String>,
        canonical_handle_id: Option<String>,
        tick: u64,
    },
    VisibilityGateCrossing {
        operation_id: String,
        downstream_coroutine_id: String,
        gate_level: AgreementLevel,
        tick: u64,
    },
}

One append-only agreement WAL entry.

Variants

Escalation

Agreement level advanced for one operation.

Fields

operation_id: String

Operation whose agreement level changed.

previous_level: AgreementLevel

Previous agreement level before the transition.

new_level: AgreementLevel

New agreement level after the transition.

evidence_id: Option<String>

Evidence attached to the transition when one exists.

tick: u64

Tick at which the transition was observed.

EvidenceProduced

Agreement evidence became durable.

Fields

evidence: AgreementEvidence

Full typed evidence object.

tick: u64

Tick at which the evidence was observed.

Finalization

Finalization outcome became durable.

Fields

operation_id: String

Operation that finalized or reached a terminal resolution.

outcome: FinalizationOutcome

Finalization or terminal outcome.

materialization_proof_id: Option<String>

Materialization proof id when one exists.

canonical_handle_id: Option<String>

Canonical handle id when one exists.

tick: u64

Tick at which the outcome was observed.

VisibilityGateCrossing

One visibility gate was crossed after durable confirmation.

Fields

operation_id: String

Operation whose visibility gate was crossed.

downstream_coroutine_id: String

Downstream coroutine released by the gate.

gate_level: AgreementLevel

Required agreement level for the gate.

tick: u64

Tick at which the gate crossing was observed.

Implementations

impl AgreementWalEntry

pub const fn tick(&self) -> u64

Tick at which this WAL entry was observed.

pub fn operation_id(&self) -> &str

Stable operation id associated with this WAL entry.

pub fn stable_identity(&self) -> String

Deterministic identity string for testing and replay-oriented analysis.

Trait Implementations

impl Clone for AgreementWalEntry

fn clone(&self) -> AgreementWalEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AgreementWalEntry

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AgreementWalEntry

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for AgreementWalEntry

fn eq(&self, other: &AgreementWalEntry) -> 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 Serialize for AgreementWalEntry

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for AgreementWalEntry

impl StructuralPartialEq for AgreementWalEntry