Diagnostic Contract

This section will describe how compiler diagnostics, book_ref, and generated docs pages stay connected.