Also, a ban without control isn’t a ban. And making sure that not a single line of code was writen with the help of some AI seems more than complicated… is it just possible?

And how much working time would it take to audit all packages to make sure it is 100% wrote by some human?

It seems more realistic (and more honnest) to allow the part that would not be found by a reasonable audit of the code.