N1Nrk2r/n1ppp1p1/1pQ5/1P6/5R1P/3P3B/3PPBPp/R3K3 w - - 1 13
Checkmate in two moves. AP (Type Keym + Type 3)
The AP Convention (A Posteriori) states: "If the player needs castling rights in order to solve a problem (not castling itself directly, but the right to it), then castling in the solution must be present directly, regardless of whether it is needed for the solution or not." That is, the player declares for some purpose that he has castling rights, promising to confirm this later by castling.
Two types of AP are known:
1) Petrovich type: the promised right to castling proves the legality of the en-passant on the first move;
2) Keym type: by the promised castling right, the move in the position is transferred to the other side.
And just because of AP (type 2), the obvious checkmate in 1 move does not pass, which can be put in two ways. Because black will declare that they have the right to castle and prove that in this case they do not have the last move and black must make a move in the position.
It should be noted here that the game will continue with slightly changed goals for the players: white must either complete the previous task (checkmate in 2 moves) or prevent black from castling (in any legal way); black must not get checkmate in 2 moves and make the promised castling. Time is not limited here the game theoretically can continue indefinitely. As long as black does not castle or white does not deprive them of the right to castle completely.
About AP (type 3). There is no formulation for this type yet - it has yet to be formulated. And therefore, it is logical for now to simply solve the problem in order to understand, first of all, the logic of the events taking place here.