Concordat: How Session Types Enforce Agent Conversation Rules Without Prompt Engineering

Session types compile agent conversation protocols into runtime checks, blocking unsafe tool calls before they execute instead of hoping the LLM follows...