Yes it was done by clearance by Beyet ( leader office ) and order,
to make official Iran has used Army send message to ( Iraqi Kurdistan, ) that Iranian Army conduct operation & Iran has invaded Iraqi Kurdistan land whenever crime was committed a clear message to Barzani that he live in glasshouse, and unlike Turkey we dont do airstrike, we come and delt with you when ever you curry out crime , ( even Qassem soleimani retaliation Iraqi Kurdistan was targeted )
( to make sure it's official and there will be no media propaganda that IRGC acted alone or some sector IRGC did that not the country and is lone actor)
Second message that no where in region is safe for Israel, not even in Azerbizan and Iran can curry out ground operation never mind intelligence operation
what Barzani like his father don't understand that IRIran is very patient but there is limit, and proportionality