Enum KernelInput 

pub enum KernelInput {
    ConfigureOperation(ConfigureOperation),
    StartOperation(StartOperation),
    ResolveEffect(ResolveEffect),
    DeliverExternalEvent(DeliverExternalEvent),
    HostControl(HostControl),
}

The closed five-class input taxonomy (§7.2).

The classes exist for authority and lifecycle, not to shrink an enum: each one enters a different validation path (KernelInput::authority) and is admissible in a different set of lifecycle states (KernelInput::admissible_lifecycles). Both tables are exhaustive matches — the historical _ => catch-all that let any unlisted variant through while Running has no equivalent here.

P1 syscalls are deliberately not a sixth class: a caller is always derived from a kernel-owned pending effect or a task attempt, never declared by the host (§7.6).

Variants

ConfigureOperation(ConfigureOperation)

Genesis input. Decoded inside the absolute bootstrap boundary and normalised into a resolved configuration before it becomes the first journal record.

StartOperation(StartOperation)

The single atomic root start: one entry, one initial context.

ResolveEffect(ResolveEffect)

The one entry point for the outcome of a kernel-owned pending effect.

DeliverExternalEvent(DeliverExternalEvent)

A fact the host observed (a signal, a child completion) — not an effect result.

HostControl(HostControl)

The live control plane: cancel, compaction, task/capability/knowledge/policy updates.

Implementations

impl KernelInput

pub fn authority(&self) -> InputAuthority

Which validation path this class enters. Distinct per class by construction.

pub fn admissible_lifecycles(&self) -> &'static [OperationLifecycle]

Lifecycle states in which this class is admissible (§6.1). Terminal states appear in no list: after a terminal every state-changing input is refused, DeliverSignal included (DEC-4).

Trait Implementations

impl Clone for KernelInput

fn clone(&self) -> KernelInput

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KernelInput

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for KernelInput

fn deserialize<__D>( __deserializer: __D, ) -> Result<KernelInput, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for KernelInput

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for KernelInput

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for KernelInput