OpenAPI Gives You the Alphabet. Session Types Need the Grammar.
OpenAPI specs describe request and response schemas, but they don't specify valid message sequences.
OpenAPI specs tell you what a valid request looks like and what a valid response looks like. They do not tell you whether you are allowed to call before , or…