Struct VMConfig 

pub struct VMConfig {

    pub config_schema_version: u32,
    pub sched_policy: SchedPolicy,
    pub buffer_config: BufferConfig,
    pub max_sessions: usize,
    pub max_coroutines: usize,
    pub num_registers: u16,
    pub tick_duration: Duration,
    pub guard_layers: Vec<GuardLayerConfig>,
    pub speculation_enabled: bool,
    pub determinism_mode: DeterminismMode,
    pub effect_determinism_tier: EffectDeterminismTier,
    pub output_condition_policy: OutputConditionPolicy,
    pub monitor_mode: MonitorMode,
    pub flow_policy: FlowPolicy,
    pub instruction_cost: usize,
    pub initial_cost_budget: usize,
    pub footprint_guided_wave_widening: bool,
    pub runtime_tuning_profile: RuntimeTuningProfile,
    pub threaded_round_semantics: ThreadedRoundSemantics,
    pub effect_trace_capture_mode: EffectTraceCaptureMode,
    pub payload_validation_mode: PayloadValidationMode,
    pub max_payload_bytes: usize,
    pub host_contract_assertions: bool,
}

VM configuration.

Fields

config_schema_version: u32

Migration-safe config schema version.

sched_policy: SchedPolicy

Scheduling policy.

buffer_config: BufferConfig

Default buffer configuration for new sessions.

max_sessions: usize

Maximum number of concurrent sessions.

max_coroutines: usize

Maximum number of concurrent coroutines.

num_registers: u16

Number of registers per coroutine.

tick_duration: Duration

Simulated time per scheduler round.

guard_layers: Vec<GuardLayerConfig>

Guard layers configured for the VM.

speculation_enabled: bool

Whether speculative execution is enabled.

determinism_mode: DeterminismMode

Determinism profile for replay/equivalence behavior.

effect_determinism_tier: EffectDeterminismTier

Effect determinism tier used by admission and envelope artifacts.

output_condition_policy: OutputConditionPolicy

Output-condition policy for commit eligibility of observable outputs.

monitor_mode: MonitorMode

Monitor mode for pre-dispatch type checks.

flow_policy: FlowPolicy

Flow policy for epistemic knowledge checks.

instruction_cost: usize

Deterministic cost charged for each instruction dispatch.

initial_cost_budget: usize

Initial cost budget assigned to each coroutine.

footprint_guided_wave_widening: bool

Whether threaded scheduler may admit same-session picks when footprint-disjoint.

runtime_tuning_profile: RuntimeTuningProfile

Runtime tuning profile used by instrumentation/benchmark harnesses.

threaded_round_semantics: ThreadedRoundSemantics

Round semantics mode used by threaded scheduler.

effect_trace_capture_mode: EffectTraceCaptureMode

Effect-trace capture mode for integration/perf tuning.

payload_validation_mode: PayloadValidationMode

Runtime payload hardening mode for inbound/outbound messages.

max_payload_bytes: usize

Upper bound for VM payload values in estimated wire bytes.

host_contract_assertions: bool

Enable runtime host-contract assertions with deterministic diagnostics.

Implementations

impl VMConfig

pub fn assert_invariants(&self)

Assert VM configuration invariants required for safe state initialization.

Panics

Panics when a required invariant is violated.

Trait Implementations

impl Clone for VMConfig

fn clone(&self) -> VMConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VMConfig

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

Formats the value using the given formatter.

impl Default for VMConfig

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for VMConfig

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for VMConfig

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.