LLMs benefit from knowing the why, the intent, and the reason/justification for code to exist, too.

Catching code desyncing from it is a valuable place to reconsider assumptions and maybe even invariants.