I agree, very nice logic. I have seen such puzzles before, where you have to prove whether Black can castle in the given position or not, but not in the form of a checkmating puzzle.
If Black was able to castle, then there would be one solution: Swapping the positions of king and queen!
