That can't be right. In the diagram, white can checkmate black in 3 moves. Which means that white can do the same if you only take back Pa2-a3 (or many other moves)
The common assumption is that "mate in 4" also includes "mate in 3", "mate in 2" and "mate in 1" so a short mate wouldn't count as a failure.
Usually in this type of retractor you would need to start in a position which requires more than 4 moves for checkmate. The retracted move improves the position for white such that the 4-move mate comes within his reach.
You retro solvers amaze me, but I would probably not be able to prove I was sober,if asked to recite the alphabet in reverse. I was just curious if simply reversing one move from a puzzle would make a decent retro worth solving. White has just moved, his opponent then tells him I was hoping you did not see the four move forced check mate you had on me,obviously you have lost, take back that move and I will show you what you missed.
White takes back this move then checkmates Black in four forced moves.