Good question.
A BPM will never over/under correct due to how it intrinsically works.
Bad Pixels behave differently than the linear pixels. The BPM correction does not do a subtract/divide on the pixel, so it can’t overcorrect the value of the pixel.
The BPM correction simply will perform a data interpolation of the Bad pixel using the surrounding good pixels ;-)