Syntropy Framework Synthesizes Deadlock-Free Communication Protocols via MPST

Syntropy uses multiparty session types (MPST) to guide LLM-based synthesis of communication protocol refinements. The framework embeds refinement constraints directly into the generation process to ensure the resulting protocol variants maintain behavioral correctness and deadlock freedom.