Add appendix describing the Bootstrap phase

src/Ledger/PDF.lagda

@@ -91,5 +91,6 @@ open import Ledger.PDF.ConwayBootstrapEnact
 
 \input{Ledger/EssentialAgda}
 \input{Ledger/PDF/ConwayBootstrapEnact}
+\input{Ledger/PDF/ConwayBootstrap}
 
 \end{document}

src/Ledger/PDF/ConwayBootstrap.lagda

@@ -0,0 +1,25 @@
+\section{Bootstrapping the Governance System}
+
+\begin{code}[hide]
+{-# OPTIONS --safe #-}
+module Ledger.PDF.ConwayBootstrap where
+\end{code}
+
+As described in \cite{cip1694}, the governance system needs to be
+bootstrapped. During the bootstrap period, the following changes will
+be made to the ledger described in this document:
+
+\begin{itemize}
+\item Transactions containing any proposal except \TriggerHF,
+      \ChangePParams and \Info will be rejected.
+\item Transactions containing a vote other than a \CC vote,
+      a \SPO vote on a \TriggerHF action or any vote on an \Info
+      action will be rejected.
+\item \Qfour, \Pfive and \Qfivee are set to $0$.
+\end{itemize}
+
+This allows for a governance mechanism similar to the old Shelley-era
+governance during the bootstrap phase, where the constitutional
+committee is mostly in charge. These restrictions will be removed
+during a subsequent hard fork, once enough DRep stake is present in
+the system to properly govern and secure itself.

src/latex/agda-latex-macros.sty

@@ -384,6 +384,7 @@
 \newcommand{\Pthree}{\AgdaField{P3}\xspace}
 \newcommand{\Ptwoa}{\AgdaField{P2a}\xspace}
 \newcommand{\Ptwob}{\AgdaField{P2b}\xspace}
+\newcommand{\Pfive}{\AgdaField{P2b}\xspace}
 \newcommand{\pv}{\AgdaField{pv}\xspace}
 
 \newcommand{\Qone}{\AgdaField{Q1}\xspace}

src/latex/conway-ledger.tex

@@ -40,5 +40,6 @@ \section{Properties}
 
 \input{Ledger/EssentialAgda}
 \input{Ledger/PDF/ConwayBootstrapEnact}
+\input{Ledger/PDF/ConwayBootstrap}
 
 \end{document}