Did you go back and talk to them? What is the brand of the fork? Have them explain it, install it correctly, or replace it if it can't be corrected without damaging the new fork.

My assumption is that it is in error - but that would be very surprising since it's such a common understanding, I can't imagine any shop actually making that blunder. I believe there are carbon steertubes that do use a star nut, but have no idea if that's the case here.