Именно так и есть. Если спокойно подумать - факт загрузки DSM-11 через DUP доказывает это совершенно однозначно. DUP передаёт 177400 абсолютно всем загружаемым операционкам DEC и абсолютно все операционки DEC при этом загружаются.
Если же передавать в R1 произвольное значение ( хоть 177404, хоть любой другой мусор ) - загружаются все операционки DEC, кроме DSM-11.