The obvious problem with this argument is that in just the medium term, world-model style AI will get good at this task, but having big brother pre-approve every print will still be bad.
GCODE is mostly about pure maths and geometry (well, there's other stuff but in principle). They would forbid math? "Euclid is illegal."