The formal economics of machine coordination.

A discipline-based framework for mechanism design, consensus, cryptography, and economic coordination in autonomous agent systems. Nine disciplines. Three severity tiers. One coherent framework.