Crate lex_trace 

M7: trace tree and replay. Spec §10.

At runtime the VM emits Call/Effect enter/exit events through the Tracer trait. The Recorder here builds a tree of TraceNodes keyed by AST NodeId (from the original canonical AST).

Persistence: a trace is one JSON file per run. Replay re-executes the program with overrides keyed by NodeId.

Structs

Divergence

Override

Recorder

Tracer that builds a TraceTree. The tree is shared via Arc<Mutex> so callers can read it after the VM finishes.

RunId

TraceNode

TraceTree

Enums

TraceNodeKind

Functions

diff_runs

replay_with_overrides

Convert a list of overrides into the IndexMap shape the recorder uses.