Function history 

pub fn history(rows: &[Verified]) -> History

The history rows make: the trail replayed through its own policy, the tags projected, and the rows themselves in rev order.

One derivation, whether the rows were written this session or read off a disk — which is what keeps a reopened document standing where it was closed.