The Contract Discovery Bottleneck
A developer argues that as AI coding agents make implementation cheaper, verification becomes the bottleneck, because agents and their tests can share the same incomplete assumptions about what "correct" behavior means. …