Comment by pdimitar

Did you skip the "rigorously verify the LLM code" part of my comment on purpose, just to show contempt?