VerifiedMarkers for one process: each launch verifies each pack once.
Forgets every verified version of packId; called when the pack is removed.