Abstract We consider the design and enactment of multiagent protocols that describe collaboration using “normative” or “social” abstractions, specififically, commitments. A (multiagent) protocol defifines the relevant social states and how they progress; each participant maintains a local projection of these states and acts accordingly. Protocols expose two important challenges: (1) how to compose them in a way that respects commitments and (2) how to verify the compliance of the parties with the social states. Individually, these challenges are inadequately studied and together not at all. We motivate the notion of a social context to capture how a protocol may be enacted. A protocol can be verififiably enacted when its participants can determine each other’s compliance. We fifirst show the negative result that even when protocols can be verififiably enacted in respective social contexts, their composition cannot be verififiably enacted in the composition of those social contexts. We next show how to expand such a protocol so that it can be verififiably enacted. Our approach involves design rules to specify composite protocols so they would be verififiably enactable. Our approach demonstrates a use of dialectical commitments, which have previously been overlooked in the protocols literature