Linus Torvalds used AI to fix a Linux bug, and now LLM critics on Linux face an uncomfortable choice
(www.xda-developers.com)
Harness + got hooks + formal verification trivially prevents everything like that. You're just holding it wrong.