In its standard “public choice” form, the mechanism-design framework abstracts from institutional and technological constraints beyond those that the modeler can represent in the definition of states, outcomes, and preferences. This abstraction can create a useful simplification. However,...