When Stockfish gives an evaluation of, say #15, I have seen cases where this is pessimistic, and it subsequently revises its evaluation to say #9.
Are there cases where it thinks it can mate in 15, but on further analysis it realises that it missed some ways where black can escape? Or it needs to revise its mate length wards?