Enum ObservedKind 

pub enum ObservedKind {
    Int,
    Bool,
    Float,
    IntList,
    IntListI32,
    FloatList,
    BoolList,
    Map,
    TextBytes,
    Other,
}

What the VM OBSERVED in each register at the hot back-edge that triggered region compilation — the kinds the adapter SPECULATES on (sound because every later entry re-checks them via the guard set).

Variants

Int

Bool

Float

IntList

A List whose payload is the unboxed all-Int repr.

IntListI32

A List whose payload is the half-width (Vec<i32>) narrowed Int repr (ListRepr::IntsI32). Pinned as a 4-byte-element buffer (sign-extending loads, truncating stores) under LOGOS_NARROW_VM.

FloatList

A List whose payload is the unboxed all-Float repr.

BoolList

A List whose payload is the unboxed all-Bool repr.

Map

A Map (the boxed kernel storage rides a pinned pointer; the int fast lane verifies keys/values per helper call).

TextBytes

An ASCII Text carried AS BYTES: char index == byte index and char count == byte length, so item i of text is a pinned 1-byte load and char compares are integer byte compares. Observed ONLY when the Text is ASCII; a non-ASCII Text stays ObservedKind::Other (keeps bailing) so the per-char decode path runs and the JIT can never diverge.

Other

Anything the native frame cannot carry (non-ASCII Text, boxed lists, Nothing…).

Trait Implementations

impl Clone for ObservedKind

fn clone(&self) -> ObservedKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ObservedKind

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

Formats the value using the given formatter.

impl PartialEq for ObservedKind

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ObservedKind

impl Eq for ObservedKind

impl StructuralPartialEq for ObservedKind