The Bugs Between Calls

Anthropic's recent work shows how far property-based testing can go when you can express properties at a function boundary. This follow-up argues that consensus clients need model-based, stateful testing to catch failures that only appear across sequences of events.