Struct ActionProposal 

pub struct ActionProposal {
    pub id: String,
    pub source: String,
    pub actions: Vec<Action>,
    pub timestamp: DateTime<Utc>,
    pub context: HashMap<String, Value>,
}

A batch of actions proposed by a model for runtime validation and execution.

Fields

id: String

source: String

actions: Vec<Action>

timestamp: DateTime<Utc>

context: HashMap<String, Value>

Implementations

impl ActionProposal

pub fn rollback_contract(&self) -> Reversibility

The rollback contract of the batch as a whole: the least reversible contract any of its actions carries, via the severity ordering on Reversibility. A plan is only as recoverable as its least recoverable step — one irreversible action in an otherwise reversible batch makes the batch irreversible, because partial execution is a real outcome (it is exactly the failure mode StaticVerificationGate exists to prevent on multi-action proposals).

An empty proposal is Reversibility::Reversible, not the Irreversible default: the default answers “the author did not say”, which warrants assuming the worst, whereas an empty batch has no effects at all and there is nothing to be pessimistic about.

Trait Implementations

impl Clone for ActionProposal

fn clone(&self) -> ActionProposal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ActionProposal

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ActionProposal

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ActionProposal

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ActionProposal

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.

impl StructuralPartialEq for ActionProposal