Enum Disposition 

pub enum Disposition {
    DidNotHappen,
    InDoubt,
    Landed,
}

What a failure says about whether the call reached the outside world.

This is the distinction retry safety rests on, and it is not the same question as “was the error transient”. A refused connection and a timed-out request are both transient; only one of them is safe to repeat against a ledger.

The vocabulary is borrowed from distributed transactions, where a participant whose outcome is unknown after a failure has been called in-doubt since the XA specification. The situation is identical: the journal cannot distinguish “never applied” from “applied, and the acknowledgement was lost”, and no amount of retrying makes it decidable.

Variants

DidNotHappen

The call provably never took effect — refused before dispatch, or rejected by the peer with the request intact. Safe to repeat, even for something that mutates.

InDoubt

The outcome is unknown. The request may or may not have been applied, and nothing observable distinguishes the two.

Identical in kind to the orphan a crash leaves behind, so it is resolved the same way: by the effect’s declared Recovery, never by guessing.

Landed

It definitely took effect, and something went wrong afterwards — most often a response that would not decode.

Never retried. A repeat would be a second real performance, and the second one would fail to decode exactly like the first.

Implementations

impl Disposition

pub const fn as_str(self) -> &'static str

The variant name, for a metric label.

Deliberately not Display: a metric dimension must be bounded, and a rendered message carries values. One label per distinct limit or detail string is a cardinality explosion that takes a metrics backend down — which is why every dimension in runtime::metrics comes from an accessor like this one rather than from a formatted error.

pub fn is_definitely_safe_to_repeat(self) -> bool

Whether repeating the call is safe on its own terms, before the effect’s Recovery gets a say.

Trait Implementations

impl Clone for Disposition

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Disposition

impl Debug for Disposition

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Disposition

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Disposition

impl PartialEq for Disposition

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Disposition

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Disposition