Иван, процитирую зенкера (см. в начале этой темы):

» "7/".$m["янв"]."/2009," 20:20, zenker Цитировать
Словарь шахматной композиции:
"В задачах и этюдах рокировку можно делать всегда, если ретроанализом нельзя доказать, что король или ладья обязательно двигались ранее."
Специально указывать не надо, и очень часто это является частью задачи или этюда, в том числе и само доказательство.


--------------------