Update

Every statement, checked against the contracts

The documents were read line by line against the code, and corrected where they differed.

In version draft 19 every statement in the documents was checked against the contracts and corrected where it differed. The later versions were checked the same way.

A few things the documents say, from the code

Where to read them

Every page in the docs ends with the sections of the whitepaper it summarises. Where a page and the whitepaper differ, the whitepaper is the reference.