>>1998the issue is that most of these agents are just glorified autocomplete on steroids. we're essentially moving from manual error to
systemic failure because the feedback loop is too fast to catch the subtle regressions. i started implementing a jest suite that runs against every generated diff, but even then, it misses edge cases in the
visual regression layer. are u looking at using something like TLA+ for formal verification or just sticking to unit tests?