Struct LabSession 

pub struct LabSession<M: Model> { /* private fields */ }

Active FrankenLab session wrapping a ProgramSimulator.

Provides deterministic time injection, structured event logging, and frame-checksum recording. All operations are logged to JSONL via the underlying TestJsonlLogger.

Implementations

impl<M: Model> LabSession<M>

pub fn init(&mut self)

Initialize the model (calls Model::init()).

Should be called once before injecting events or capturing frames.

pub fn send(&mut self, msg: M::Message)

Send a message directly to the model.

pub fn inject_event(&mut self, event: Event)

Inject a terminal event into the model.

pub fn inject_events(&mut self, events: &[Event])

Inject multiple terminal events in order.

pub fn tick(&mut self)

Simulate a tick event (deterministic time advance).

Injects Event::Tick into the model. The deterministic clock advances by time_step_ms for each call to now_ms().

pub fn capture_frame(&mut self) -> &Buffer

Capture the current frame at the configured viewport dimensions.

Records a checksum for replay verification and optionally logs it to JSONL.

pub fn capture_frame_at(&mut self, width: u16, height: u16) -> &Buffer

Capture a frame at custom dimensions (overriding the configured viewport).

pub fn model(&self) -> &M

Access the underlying model.

pub fn model_mut(&mut self) -> &mut M

Access the underlying model mutably.

pub fn is_running(&self) -> bool

Check if the simulated program is still running.

pub fn frame_records(&self) -> &[FrameRecord]

Get all frame checksum records.

pub fn event_log(&self) -> &[EventRecord]

Get all event records (for ordering verification).

pub fn tick_count(&self) -> u64

Number of ticks injected.

pub fn anomaly_count(&self) -> u64

Number of scheduling anomalies detected.

pub fn frames(&self) -> &[Buffer]

All captured frame buffers.

pub fn last_frame(&self) -> Option<&Buffer>

Most recently captured frame.

pub fn logs(&self) -> &[String]

Logs emitted via Cmd::Log.

pub fn command_log(&self) -> &[CmdRecord]

Underlying simulator command log.

pub fn pool(&self) -> &GraphemePool

Access the grapheme pool for text extraction.

pub fn now_ms(&self) -> u64

Deterministic monotonic time from the fixture.

pub fn log_info(&self, event: &str, fields: &[(&str, JsonValue)])

Log a custom info event via the JSONL logger.

pub fn log_warn(&self, anomaly: &str, detail: &str)

Log a warning (scheduling anomaly or custom) event.