The reach facts a trail or a checkpoint stores of a tab switch — its source,
the ordinals consumed before it and the chain restart its edge declared, and
never the transition's relogs. One function for both stored forms, so the rule
(what a stored reach replays is what the transition did) is written once and
a change to it reaches the trail and the checkpoint together.
The reach facts a trail or a checkpoint stores of a tab switch — its source, the ordinals consumed before it and the chain restart its edge declared, and never the transition's relogs. One function for both stored forms, so the rule (what a stored reach replays is what the transition did) is written once and a change to it reaches the trail and the checkpoint together.