mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
abf99d05fc
Restructured from flat .tex/.pdf files into per-paper subdirectories. Added Antje Worring as co-author on all papers. Synced PDFs to pdfs/ for download site.
16 lines
424 B
TeX
16 lines
424 B
TeX
\section{Implementation Sequencing}
|
|
|
|
\label{sec:sequencing}
|
|
|
|
\begin{enumerate}[nosep]
|
|
\item Freeze this specification.
|
|
\item Freeze the message schema.
|
|
\item Freeze the solvency state machine.
|
|
\item Map invariants to contract-level revert conditions.
|
|
\item Deployment review and audit.
|
|
\end{enumerate}
|
|
|
|
Specification before implementation review: line-by-line analysis is more valuable when semantics are fixed.
|
|
|
|
|