Я думаю, там просто никто сильно не вникал – и просто указали правила скидки в соответствии с самой последней поправкой к закону, т.к. она наиболее актуальна (как им показалось) для потенциальных соискателей Blue Card. Думаю, это как раз тот случай, когда не надо overthink. В налоговой декларации нет ничего про тип ВНЖ, это разные министерства – у налоговой свои критерии.