Enum Compensation 

pub enum Compensation {
    Undeclared,
    Compensatable,
    Pivot,
    Unnecessary,
}

A step’s place in the saga, and what undoing it means.

A plan that touches real systems cannot be a transaction — there is nothing to roll back across a payment provider and a warehouse. The saga answer is to undo forward: when a later step fails, earlier steps are compensated in reverse order. Compensation is a recovery design, not a time machine, and what a step declares here is what the runtime is allowed to assume about it.

Variants

Undeclared

Nothing declared.

Resolved from evidence rather than assumed. A step that performed no mutating effect has nothing to undo, and the journal proves it — that step passes. A step that did mutate and declared nothing is escalated, because silently leaving a charge in place while unwinding everything around it is the failure this whole mechanism exists to prevent.

The default, so forgetting to declare is loud rather than convenient.

Compensatable

Skill::compensate undoes this step.

Pivot

The saga’s point of no return.

Once a pivot commits, the business is committed: nothing before it is undone, because undoing it would reverse a decision the outside world has already acted on. A failure after the pivot escalates rather than unwinding.

Unnecessary

Nothing to undo, and the author says so.

Distinct from Undeclared: this is a claim someone made, and it appears in the journal as one.

Trait Implementations

impl Clone for Compensation

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 Compensation

impl Debug for Compensation

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

Formats the value using the given formatter.

impl Default for Compensation

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Compensation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Compensation

impl PartialEq for Compensation

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Compensation

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 Compensation