Struct EventLog 

pub struct EventLog { /* private fields */ }

The seven-column SoA log. Fixed-width rows — a consequence of I-1 (events carry no payload), and the load-bearing fact behind lock-free tail reads in stores (doc 15 §2). The regions column packs the contract touch bitmask; 0 doubles as “none” because an empty mask carries no information (unlike variant, where index 0 is real).

Implementations

impl EventLog

pub fn push(&mut self, event: &Event, tables: &mut InternTables)

Append one event, interning through tables.

pub fn len(&self) -> usize

Number of rows.

pub fn is_empty(&self) -> bool

True when empty.

pub fn stage_counts( &self, token: TokenId, tables: &InternTables, ) -> Vec<(Stage, u64)>

Stage counts for one token — the hot funnel fold: one sequential pass over two narrow columns, counts into a dense array.

Trait Implementations

impl Debug for EventLog

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

Formats the value using the given formatter.

impl Default for EventLog

fn default() -> EventLog

Returns the “default value” for a type.