A software-update framework that provides decentralized enforcement of development
and release processes, independent verification of source-to-binary correspondence,
transparency via a collectively-signed update timeline, and efficient release validation
by arbitrarily out-of-date clients.