Enum EventKind 

pub enum EventKind {
    Observation,
    Intervention,
    Verdict {
        verdict: ReplyVerdict,
    },
    Retrieval,
    Elision {
        unit: UnitId,
    },
}

The event’s operation; operation-specific references cannot be omitted.

Variants

Observation

External material recorded by the host, with no derivation sources.

Intervention

A generated harness instruction, rooted in the event’s explicit root.

Verdict

A classification of exactly one recorded model observation.

Fields

verdict: ReplyVerdict

The classifier’s proposed class.

Retrieval

A read of one existing artifact, retaining its depth and origin.

Elision

A pointer backed by the kernel’s existing addressed elision proof.

Fields

unit: UnitId

The admitted unit that addresses the removed source span.

Trait Implementations

impl Clone for EventKind

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EventKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EventKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for EventKind

impl PartialEq for EventKind

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for EventKind

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 EventKind