#00: Introduction
#01: Core Design Components
#02: Contract Specification
#03: Client Specification
#04: Operator Specification
#05: Client Architecture
#06: Operator Architecture
#07: Predicate Specifications
Todo
Explain how to handle checkpoint events.
Explain how to handle exit game events.