Противоречия нет, просто в «Учебник Грамоты», как и другие учебники, включены не все правила. Вот, что сообщает нам Полный академический справочник под ред. В. В. Лопатина: «Рядом стоящие имена собственные и нарицательные могут выполнять разные функции в зависимости от выражаемого значения. Например, в предложении Вошла его сестра Маша приложением является сестра; будучи логически выделенным, слово сестра может стать определяемым, и тогда собственное имя Маша приобретает функцию уточняющего приложения и обособляется: Вошла его сестра, Маша».

Во втором предложении из правила приложением оказывается собственное имя, как и в предложении из вопроса № 309745. Приложение обособляется. 

Слова верный и правильный синонимичны в значении 'соответствующий истине, действительности, обстановке': верный ответ и правильный ответ, верное решение и правильное решение. Это значение у слова верный последовательно фиксируется словарями русского языка, и не только современными. Например, в словаре Ушакова дано одно из значений слова верный 'правильный, истинный, согласный с действительностью'. Словарь этот был издан в 1935–1940, т. е. задолго до 1970-х.

Во всех приведенных примерах конструкции, присоединяемые союзом КАК, не требуют пунктуационного выделения.

Склоняется.

Словарь имён собственных

Формы т. н. нового звательного, или усеченного вокатива, то есть формы типа мам, Вань, фиксируются в Национальном корпусе русского языка со второй половины XIX века и до середины XX века в основном встречаются в текстах, ориентированных на передачу простонародной речи. С течением времени они получают всё большее распространение и за последние полстолетия стали обычным явлением в непринужденной устной речи всех социальных слоев. Эти формы присущи узкому кругу слов на безударное -а, -я — уменьшительным личным именам, некоторым терминам родства и примыкающим к ним словам типа няня, а также словам ребята и девчата. Условием образования соответствующих форм является ударение на предшествующем окончанию слоге, ср. ма́ма — мам, бабу́ля — бабуль, но ма́мочка, ба́бушка — ? Формы нового звательного, помимо прочего, необычны тем, что допускают сочетания согласных с суффиксом -к- в исходе основы в обращениях типа Сашк, Машк (ср. знаменитое «Людк, а Людк!» в фильме «Любовь и голуби»). Этим они отличаются от форм родительного множественного, где по правилам русской морфонологии возникает беглый гласный: много Сашек и Машек. Говорить о формированиии полноценной звательной формы, подобной той, что существовала в древнерусском языке, имея в виду формы нового звательного, пока не приходится. Формы нового звательного очень ограничены лексически и маркированы стилистически — недопустимы в строго нормированной письменной речи. Они во всех случаях могут быть заменены формами именительного падежа и не могут сочетаться с определением (*мой дорогой пап). В каком направлении пойдет дальнейшее развитие этой части морфологической системы русского языка, пока не ясно.