Да, тут меня правильно поправили. Реально R_TRIG не "включение" а "1-е выполнение" отрабатывает так, как будто до этого сигнал был FALSE (и код и текст на это указывают).
Если устройство выключается при CLK=TRUE, то, конечно, оно никак в выключенном состоянии не поймёт были ли изменения CLK. И, если после включения CLK будет равно TRUE, то R_TRIG ничего не сгенерирует.
Честно говоря, не возьмусь рассуждать нужен ли эффект "RETAIN по умолчанию", но оно хотя бы описано, и можно рассуждать "подходит ли для конкретной задачи или нет".