Coming soon

This note is part of the notebook and is planned, but has not been written yet.

Planned coverage: Encoding overhead, code distance, and the meaning of operating below the fault-tolerance threshold.