Struct EventStore 

pub struct EventStore<Id, NameKey> { /* private fields */ }

事件存储（稠密：槽位 = arena 下标）+ B3 惰性重建的清洁标记。

「空序列 = 未索引」是三重哨兵：未构建、被 invalidate 失效、或 子树含不透明节点（不建索引——键排序分区看不见 Opaque 键，查询侧 走引擎的 scan_region 递归路径，其 Opaque 分支保守拒绝）。

Implementations

impl<Id: Clone, NameKey: Clone> EventStore<Id, NameKey>

pub fn new() -> Self

pub fn resize(&mut self, count: usize)

槽位扩到 count（不缩；新槽为空 = 未索引）。

pub fn slot(&self, idx: usize) -> Option<&[RegionEvent<Id, NameKey>]>

None = 未索引（调用方回落引擎递归路径）；Some([]) = 已索引 且零事件（调用方直接返回，不再递归）。

pub fn put(&mut self, idx: usize, events: Vec<RegionEvent<Id, NameKey>>)

pub fn is_clean(&self) -> bool

pub fn mark_clean(&mut self)

pub fn invalidate(&mut self, idx: usize)

失效一个语句条目（编辑沿祖先链调用）：清空该槽 + 整表脏标记 （B3：下次 prepare 只重建空条目——未失效条目的事件是子树 局部的，与位置无关）。

Trait Implementations

impl<Id: Debug, NameKey: Debug> Debug for EventStore<Id, NameKey>

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

Formats the value using the given formatter.

impl<Id, NameKey> Default for EventStore<Id, NameKey>

fn default() -> Self

Returns the “default value” for a type.