> Is there any way to enforce that in a way that can't be worked around with a shim?

You can’t definitively prove something was written in Objective-C or Swift, but you can often definitively prove something was not written in either pretty easily just by looking at the assembly.