Discovery

The two sliders every process-mining explorer opens with.

Edits the reference model token replay checks a log against.

The 'what number is this graph drawing' control.

Filter chain breadcrumbs (§4 R13): one removable chip per active useProcessExplorer intent, each carrying how many cases that intent ALONE excludes (excludedByIntent, the hook's own additive field), plus a summary line stating what filtering and abstraction currently hide.

Directly-follows process map: activities as nodes, transitions as edges, both painted from one metric choice, with an accessible table twin.

Cases replayed as tokens moving along the process map’s own transitions, with a time slider, play/pause, a speed select and a live in-flight case count.

The ranked list of activity sequences in an event log.