specification-writing for a probabilistic component that still looks like chat

Why natural language pushes formalism upstairs into templates and contracts