Struct ComposedRuntime 

pub struct ComposedRuntime { /* private fields */ }

Runtime wrapper for composed protocol execution.

Implementations

impl ComposedRuntime

pub fn new(config: ProtocolMachineConfig, budget: MemoryBudget) -> Self

Create an empty composed runtime.

pub fn admit_bundle( &mut self, bundle: ProtocolBundle, ) -> Result<(), CompositionError>

Admit a protocol bundle after certificate + budget checks.

Errors

Returns a CompositionError when proof or budget checks fail.

pub fn load_bundle_session( &mut self, bundle_idx: usize, ) -> Result<usize, CompositionError>

Load one session instance from an admitted bundle index.

Errors

Returns a CompositionError when index is invalid or ProtocolMachine loading fails.

pub fn load_bundle_sessions( &mut self, bundle_idx: usize, sessions: usize, ) -> Result<Vec<usize>, CompositionError>

Load sessions instances from a bundle index.

Errors

Returns a CompositionError when any session load fails.

pub fn run( &mut self, handler: &dyn EffectHandler, max_steps: usize, ) -> Result<(), CompositionError>

Run the composed runtime.

Errors

Returns ProtocolMachine-layer errors as composition errors.

pub fn memory_usage(&self) -> &MemoryUsage

Access current memory usage snapshot.

pub fn bundles(&self) -> &[ProtocolBundle]

Access admitted bundles.

pub fn seed_bundle_membership<I, S>( &mut self, bundle_idx: usize, members: I, ) -> Result<(), CompositionError>

where I: IntoIterator<Item = S>, S: Into<String>,

Seed the active membership set for one admitted reconfiguration-enabled bundle.

Errors

Returns a CompositionError when the bundle index is invalid, reconfiguration is disabled, or the membership set is empty.

pub fn reconfigure_bundle<I, S>( &mut self, bundle_idx: usize, next_members: I, ) -> Result<ReconfigurationEvent, CompositionError>

where I: IntoIterator<Item = S>, S: Into<String>,

Apply one deterministic reconfiguration transition to an admitted bundle.

Errors

Returns a CompositionError when the bundle index is invalid, the bundle does not admit reconfiguration, the transition violates required overlap, or the new membership set is empty.

pub fn bundle_members(&self, bundle_idx: usize) -> Option<&BTreeSet<String>>

The canonical sorted active member set for one bundle, if configured.

pub fn bundle_reconfiguration_history( &self, bundle_idx: usize, ) -> Option<&[ReconfigurationEvent]>

The deterministic reconfiguration history for one bundle, if configured.

pub fn execute_reconfiguration_plan( &mut self, bundle_idx: usize, plan: &ReconfigurationPlan, ) -> Result<ReconfigurationPlanExecution, CompositionError>

Execute one deterministic multi-step reconfiguration plan atomically.

Errors

Returns a CompositionError when any plan step is invalid or violates the admitted policy.

pub fn bundle_reconfiguration_plan_executions( &self, bundle_idx: usize, ) -> Option<&[ReconfigurationPlanExecution]>

The deterministic reconfiguration plan executions for one bundle, if configured.

pub fn execute_runtime_upgrade( &mut self, bundle_idx: usize, request: &RuntimeUpgradeRequest, ) -> Result<RuntimeUpgradeExecution, CompositionError>

Execute one deterministic runtime-upgrade request as a specialized reconfiguration.

Errors

Returns a CompositionError when compatibility checks or any plan step fails.

pub fn bundle_runtime_upgrade_executions( &self, bundle_idx: usize, ) -> Option<&[RuntimeUpgradeExecution]>

Deterministic runtime-upgrade executions for one bundle, if configured.

pub fn bundle_reconfiguration_snapshot( &self, bundle_idx: usize, ) -> Option<ReconfigurationRuntimeSnapshot>

Export a deterministic snapshot of the reconfiguration state for one bundle.

pub fn restore_bundle_reconfiguration_snapshot( &mut self, bundle_idx: usize, snapshot: ReconfigurationRuntimeSnapshot, ) -> Result<(), CompositionError>

Restore a previously exported reconfiguration snapshot for one admitted bundle.

Errors

Returns a CompositionError when the snapshot is inconsistent with the admitted policy.

pub fn machine(&self) -> &ProtocolMachine

Access underlying ProtocolMachine.

Trait Implementations

impl Debug for ComposedRuntime

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

Formats the value using the given formatter.