Да, сукун на первой букве в ташдиде коренной. Коренной сукун - это сукун, который есть в основе этого слова изначально. Например, в некоторых случаях у нас буква ن идет без сукуна (пустая), но это не значит, что она не имеет сукун в основе, буква ن в основе имеет коренной сукун, просто его убрали в качестве подсказки. То есть, я хочу сказать, что коренной сукун может быть и не обозначен в Коране. Сукун, который мы ставим сами убрав огласовку - это временный/выставленный сукун.