Recent advances in large language models have led to the rise of software systems (i.e. agents) that execute with increasing autonomy on behalf of users in open, multi-party settings, interacting with untrusted counterparts and managing private information. Choreographic programming offers correct-by-construction protocol-design for such settings, but assumes cooperative participants -- it has no notion of agent self-interest, that is, why an agent will follow a protocol. In this talk we introduce Pact, a choreographic language extended with operations to describe agent choices and preferences, drawing from the rich literature of game theory. Every Pact protocol maps to a formal game, allowing protocol designers to reason about game-theoretic properties of their protocols, such as solving for decision policies. We present Pact's design and a preliminary implementation -- a bounded-rational solver that computes decision policies over Pact protocols -- and findings from applying this language to multi-party coordination with self-interested agentic participants.
@article{arxiv.2605.03143,
title = {Pact: A Choreographic Language for Agentic Ecosystems},
author = {Kiran Gopinathan and Jack Feser and Michelangelo Naim and Zenna Tavares and Eli Bingham},
journal= {arXiv preprint arXiv:2605.03143},
year = {2026}
}
Comments
To be presented at the 2nd International Workshop on Choreographic Programming (CP 2026)