lex_trace/lib.rs
1//! M7: trace tree and replay. Spec ยง10.
2//!
3//! At runtime the VM emits Call/Effect enter/exit events through the
4//! `Tracer` trait. The `Recorder` here builds a tree of `TraceNode`s
5//! keyed by AST `NodeId` (from the original canonical AST).
6//!
7//! Persistence: a trace is one JSON file per run. Replay re-executes the
8//! program with overrides keyed by `NodeId`.
9
10mod recorder;
11mod replay;
12mod diff;
13
14pub use diff::{diff_runs, Divergence};
15pub use recorder::{Recorder, RunId, TraceNode, TraceNodeKind, TraceTree};
16pub use replay::{replay_with_overrides, Override};