OpenAPI gibt dir das Alphabet. Session Types brauchen die Grammatik.
OpenAPI-Spezifikationen beschreiben Request- und Response-Schemas, legen aber keine gültigen Nachrichtensequenzen fest. So extrahierst du, was geht – und wo du die Lücken noch selbst schließen musst.
