Pool-adjacent-violators over (score, label) pairs; a step function in micro-units.
Probability of the last step whose first score is at most score.