Struct ComposedRuntime 

pub struct ComposedRuntime { /* private fields */ }

Runtime wrapper for composed protocol execution.

Implementations

impl ComposedRuntime

pub fn new(config: VMConfig, 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 VM 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 VM-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 vm(&self) -> &VM

Access underlying VM.

Trait Implementations

impl Debug for ComposedRuntime

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

Formats the value using the given formatter.