An agent can tell your code is consistent. It can't tell you it's correct.

LLM coding agents verify internal consistency, not business correctness. Here is where that gap shows up in real code, and the cheap structural checks that close most of it.