Struct OperationConfig 

pub struct OperationConfig {

    pub execution_policy: Option<ExecutionPolicy>,
    pub governance_policy: Option<GovernancePolicy>,
    pub scheduler_policy: Option<SchedulerPolicy>,
    pub resource_quota: Option<ResourceQuota>,
    pub budget_grant: Option<BudgetGrant>,
    pub signal_policy: Option<SignalPolicy>,
    pub context_policy: Option<ContextPolicy>,
    pub recovery_policy: Option<RecoveryPolicy>,
    pub payload_policy: Option<PayloadPolicy>,
    pub kernel_limits: Option<KernelLimits>,
    pub memory_access: Option<MemoryAccessBinding>,
    pub memory_policy: Option<MemoryPolicy>,
    pub tool_catalog: Vec<ToolSchema>,
    pub skill_catalog: Vec<SkillMetadata>,
    pub verification_contracts: Vec<VerificationContract>,
    pub feature_policy: Option<FeaturePolicy>,
    pub host_effect_support: HostEffectSupport,
}

Boot configuration for one operation (§7.3).

Sparse on purpose: a host states what it wants to differ from the kernel’s compile-time defaults. host_effect_support is the one mandatory field — DEC-8 makes it an explicit declaration, and a default would be exactly the implicit assumption it exists to remove.

Fields

execution_policy: Option<ExecutionPolicy>

Turn/token/wall budgets plus the loop guards (criteria gate, repeat fuse, entropy watch).

governance_policy: Option<GovernancePolicy>

Initial syscall-gate posture. Live changes go through LivePolicyPatch::ReplaceGovernancePolicy.

scheduler_policy: Option<SchedulerPolicy>

resource_quota: Option<ResourceQuota>

budget_grant: Option<BudgetGrant>

RunGroup admission result. Absent ⇒ the operation is not reservation-backed.

signal_policy: Option<SignalPolicy>

Initial signal routing. Live changes go through LivePolicyPatch::ReplaceSignalPolicy.

context_policy: Option<ContextPolicy>

recovery_policy: Option<RecoveryPolicy>

Semantic recovery ladders the kernel owns. Host transport retry/backoff is not here.

payload_policy: Option<PayloadPolicy>

kernel_limits: Option<KernelLimits>

May only tighten KernelBootstrapLimits.

memory_access: Option<MemoryAccessBinding>

Opaque memory access binding. Absent ⇒ the operation has no memory plane at all.

memory_policy: Option<MemoryPolicy>

Validation / recall / promotion thresholds for the memory plane. Never a path.

tool_catalog: Vec<ToolSchema>

Initial tool catalog (§13.3 · SetTools). Live narrowing/widening is a capability patch, not a second catalog install.

skill_catalog: Vec<SkillMetadata>

Initial skill catalog (§13.3 · SetAvailableSkills).

verification_contracts: Vec<VerificationContract>

The verification contracts this operation may evaluate.

A skeleton, not a specification: an ordered phase list and, per phase, the capabilities passing it unlocks. See VerificationContract for why that is the exact line.

feature_policy: Option<FeaturePolicy>

host_effect_support: HostEffectSupport

DEC-8. Mandatory: the kernel emits an effect only for a kind the host declared it can execute, and fail-closes on the rest.

Implementations

impl OperationConfig

pub fn resolve( &self, defaults: &ConfigDefaults, ) -> Result<ResolvedOperationConfig, WireRejection>

Normalise and validate. See resolve_operation_config.

Trait Implementations

impl Clone for OperationConfig

fn clone(&self) -> OperationConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OperationConfig

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

Formats the value using the given formatter.

impl Default for OperationConfig

fn default() -> OperationConfig

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for OperationConfig

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for OperationConfig

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for OperationConfig

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 OperationConfig