This document has moved to [docs/SPECIFICATION.md](docs/SPECIFICATION.md).