Enum StateTransitionProofOutcome 

pub enum StateTransitionProofOutcome {
    ExecutionProved(StateTransitionProofResult),
    AffectedState(StateTransitionProofResult),
}

A verified state-transition proof result, tagged with the guarantee the proof establishes.

Some transition families (balance top-ups, credit transfers and withdrawals, address funds movements, shields, no-history token operations) produce proofs whose values cannot be bound to the execution of one specific transition: the proof only authenticates the affected keys’ state at the committed block. The tag makes that distinction part of the type so a snapshot cannot be mistaken for execution evidence.

Variants

ExecutionProved(StateTransitionProofResult)

The proof binds the execution of this specific state transition: the verified values could only exist if the transition was applied.

AffectedState(StateTransitionProofResult)

The proof authenticates a snapshot of the state the transition affects — keys derived from the transition, values as of the proof’s block — but cannot bind them to the execution of this transition. Treat as a height-pinned snapshot, not as evidence of execution.

Implementations

impl StateTransitionProofOutcome

pub fn result(&self) -> &StateTransitionProofResult

The verified result, regardless of the guarantee tag.

pub fn into_result(self) -> StateTransitionProofResult

Consume the outcome, discarding the guarantee tag.

pub fn is_execution_proved(&self) -> bool

Whether the proof established that this specific transition executed.

Trait Implementations

impl Debug for StateTransitionProofOutcome

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StateTransitionProofOutcome

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for StateTransitionProofOutcome

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

Formats the value using the given formatter.

impl PartialEq for StateTransitionProofOutcome

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

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 StateTransitionProofOutcome