The context's access walks: each type's history stamped with its aggregates' current access attributes.