But work profile can require the installation of a device policy, right? I know I have a device policy installed, and I can't think why I would have done that i

But work profile can require the installation of a device policy, right? I know I have a device policy installed, and I can't think why I would have done that if setting up the work profile didn't require it. Although as it happens the policy I have on my device only allows wiping the work profile, as you say.