A key tenet of cryptoeconomic design is to avoid relying on the subjective judgment of a central authority for consensus, and, instead, reach consensus regarding transactions in an automated and prescribed manner. However, as occurs in all networks, transactional disputes between counterparties nonetheless arise periodically, necessitating mechanisms and procedures for their resolution, which are not...