Struct KernelEffect 

pub struct KernelEffect {
    pub effect_id: EffectId,
    pub causation_input_id: InputId,
    pub effect: EffectKind,
}

One action the kernel published and is now waiting on.

effect_id is minted by the kernel, never by the host; causation_input_id names the accepted input that produced it, so every effect is traceable to one committed transition.

Fields

effect_id: EffectId

causation_input_id: InputId

effect: EffectKind

Implementations

impl KernelEffect

pub fn tag(&self) -> EffectKindTag

pub fn accept_outcome( &self, outcome: &EffectOutcome, ) -> Result<(), EffectResolutionMismatch>

The contract between a pending effect and the resolution a host offers for it.

A Failed outcome is always admissible — the failure path is uniform across every effect kind (§7.9). A Succeeded outcome is admissible only if its payload is the success shape of this effect kind. Anything else is a host protocol error, not a kernel state change; the caller turns it into a KernelFaultCode::UnexpectedEffectOutcome rejection with zero mutation.

Trait Implementations

impl Clone for KernelEffect

fn clone(&self) -> KernelEffect

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KernelEffect

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for KernelEffect

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for KernelEffect

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for KernelEffect

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 KernelEffect