AI review of program defects
A rule base (uninitialized variables, double-coil writes, missing interlocks, timer reuse, E-stop logic depending on software, etc.) does a first pass, then a model does semantic re-checking on suspicious sections, producing a defect list ranked by severity, each with location, cause, and suggested fix. The program isn't touched until a person confirms.