Measured stream examples
01 / Sequence
Trace timeline
A dip marks a divergent step. Scrub to inspect.
02 / Selected action
Observed state
Before this action
Previous expected
Previous observed
Finite model · Enumerated transitions
Two-track player
Follow the choices permitted by the model. Use Inspect trace to compare expected states with runtime observations.