Struct ExecutorExecutionMaintenanceProgress 

pub struct ExecutorExecutionMaintenanceProgress { /* private fields */ }

Typed proof that a bounded executor call committed relevant backing growth before yielding the same logical frontier back to the scheduler.

This is deliberately stronger than observing a global capacity epoch. Every mutation is reconstructed from a real growth receipt and bound back to the pool’s exact capacity domain. The scheduler may grant one fairness-bounded retry only when this proof is present.

Implementations

impl ExecutorExecutionMaintenanceProgress

pub fn from_growth_receipts( attempts: u32, observed: ExecutorAdmissionEpochs, receipts: &[DynamicPoolGrowthBatchReceipt], pools: &[DynamicPoolStatus], ) -> Result<Self>

pub const fn attempts(&self) -> u32

pub const fn coordinator_id(&self) -> NonZeroU64

pub fn mutations(&self) -> &[ExecutorExecutionMaintenanceMutation]

pub const fn latest_capacity_epoch(&self) -> u64

Trait Implementations

impl Clone for ExecutorExecutionMaintenanceProgress

fn clone(&self) -> ExecutorExecutionMaintenanceProgress

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutorExecutionMaintenanceProgress

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

Formats the value using the given formatter.

impl Eq for ExecutorExecutionMaintenanceProgress

impl PartialEq for ExecutorExecutionMaintenanceProgress

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExecutorExecutionMaintenanceProgress

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 ExecutorExecutionMaintenanceProgress