α = 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.