Read-only release history for Tie-Quicksort-Lazy