text: В задачах и этюдах шахматной композиции рокировка по умолчанию считается возможной, кроме тех случаев, когда путём ретроанализа можно совершенно точно установить, что король или ладья уже ходили (то есть, когда нет ни одной доказательной партии, в которой король и ладья не сделали бы ни одного хода).