> I can't think of a functional reason for a no-AI policy: if it runs, it runs, regardless of who or what made it.

AI-written code is far less likely to run than human-written code. Even worse, it often gives the appearance that it will be fine, only blowing up down the line. That is an extremely strong functional reason to reject AI code.