Struct ProgressContract 

pub struct ProgressContract {
    pub operation_id: String,
    pub session: Option<SessionId>,
    pub state: ProgressState,
    pub last_ordering_key: Option<u64>,
    pub bounded: bool,
    pub budget_ticks: Option<u64>,
    pub last_progress_tick: Option<u64>,
    pub escalated_at_tick: Option<u64>,
    pub reason: Option<String>,
}

Explicit progress contract attached to one operation instance.

Fields

operation_id: String

session: Option<SessionId>

state: ProgressState

last_ordering_key: Option<u64>

bounded: bool

budget_ticks: Option<u64>

last_progress_tick: Option<u64>

escalated_at_tick: Option<u64>

reason: Option<String>

Implementations

impl ProgressContract

pub fn is_terminal(&self) -> bool

Whether the contract is terminal.

pub fn has_budget_discipline(&self) -> bool

Whether the contract carries bounded-wait discipline.

pub fn tracks_operation(&self, operation: &OperationInstance) -> bool

Whether the contract tracks the given operation.

pub fn progress_measure(&self) -> u64

Weighted progress measure aligned with the Lean synthetic-step model.

pub fn synthetic_step(&self) -> Option<Self>

Synthetic progress escalation step used by the proof-aligned runtime model.

Trait Implementations

impl Clone for ProgressContract

fn clone(&self) -> ProgressContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProgressContract

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProgressContract

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ProgressContract

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

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 ProgressContract

impl StructuralPartialEq for ProgressContract