Floating Square

According to Mark Dvoretsky, A. Studenecki suggested the floating-square rule in 1939.

If a square whose two corners are occupied by pawns (on the same rank) reaches the edge of the board, then one of those pawns must queen.
Mark Dvoretsky, Dvoretsky's Endgame Manual (2003)

Playing around with the diagrams given in Dvoretsky's text, I created this little problem.

White to move


If it is Black's move, the evaluation may differ.