The session chains as they stood before an entry was taken back inside the same change (a restart emptied it, a pop shortened it): the entries they held above the ordinal handed out before the change and no longer in the chain that remains were pushed — and logged by the app — before they went, each one a step of its own, ahead of the steps of the chain that remains.
The extra moves the change declared for the entries it pushed (its journal, never the state).
The navigation steps the app logs for one committed change of the screen in front, inside a session's chain:
back, and a tab brought back carries the source the switch wrote into the surface trail (main_home,main_profile);The own profile visited twice from the feed is five events: the tab's root and its child tab, the two returns to the feed and the second visit (the facts are in “The device telemetry queue: …”).