α = 0: correct token
diff > 0 for both groups. The model outputs the correct digit in both cases i.e., the tool is telling the truth.
α = 1: wrong token
Parrot: diff flipped negative.
Recover: diff stayed positive.
This is ground truth.