Read-only release history for Time-TCB