> Models struggle with maintaining invariants across a codebase, understanding the ripple effects of changes, and reasoning about state over time.

I do, too!