Because we are issuing a psak which will lead to a person who is factually a chalal doing avodah on Shabbos.
You could make a similar argument for eishes ish; if beis din would be mattir her, there would be no actual issur, yet we do, when issuing the psak, take into account that there’s an issur s’kilah.