They were. My Master collected my Kukkiwon test application. Then, as a 6th degree black belt and certified Master through Kukkiwon, he tested me on his curriculum material. He sent my application and his recommendation to Kukkiwon, and they registered me as a black belt (and then later on 2nd and 3rd degree).
Some Kukkiwon folks who've known me for a while will point out that I did not test on the Taegeuks to get my black belt, but I did eventually test on the Taegeuks underneath him, so I had tested on the Kukkiwon material up to the requirements to receive 5th degree black belt (forms Taegeuk 1-8, Koryo, Keumgang, Taebaek, and Pyongwon). I was learning Sipjin prior to my leaving his school, which is the requirement to go from 5th to 6th.