Struct ProtocolMachineConfig 

pub struct ProtocolMachineConfig {

    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 observability_retention: ObservabilityRetentionConfig,
    pub payload_validation_mode: PayloadValidationMode,
    pub communication_replay_mode: CommunicationReplayMode,
    pub max_payload_bytes: usize,
    pub host_contract_assertions: HostContractMode,
}

ProtocolMachine 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 ProtocolMachine.

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.

observability_retention: ObservabilityRetentionConfig

Retention policy for observable and diagnostic artifacts.

payload_validation_mode: PayloadValidationMode

Runtime payload hardening mode for inbound/outbound messages.

communication_replay_mode: CommunicationReplayMode

Communication replay-consumption mode.

max_payload_bytes: usize

Upper bound for ProtocolMachine payload values in estimated wire bytes.

host_contract_assertions: HostContractMode

Runtime host-contract assertion mode with deterministic diagnostics.

Implementations

impl ProtocolMachineConfig

pub fn validate_invariants(&self) -> Result<(), String>

Validate ProtocolMachine configuration invariants required for safe state initialization.

Errors

Returns a reason string if a required invariant is violated.

pub fn assert_invariants(&self)

Assert ProtocolMachine configuration invariants required for safe state initialization.

Panics

Panics when a required invariant is violated.

pub fn strict_minimal() -> Self

Deterministic baseline profile with minimal retained instrumentation.

pub fn strict_observable() -> Self

Deterministic profile with full observable/effect tracing enabled.

pub fn strict_verified() -> Self

Deterministic profile with strict validation and replay tracking enabled.

pub fn strict_churn() -> Self

Deterministic churn profile for repeated short-lived sessions.

pub fn strict_buffer_pressure() -> Self

Deterministic buffer-pressure profile for allocator and queue stress.

pub fn strict_large_fanout() -> Self

Deterministic large-fanout profile for scheduler and metadata scaling tests.

Trait Implementations

impl Clone for ProtocolMachineConfig

fn clone(&self) -> ProtocolMachineConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProtocolMachineConfig

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

Formats the value using the given formatter.

impl Default for ProtocolMachineConfig

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ProtocolMachineConfig

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProtocolMachineConfig

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

where __S: Serializer,

Serialize this value into the given Serde serializer.