Files
papers/lux-credit-protocol-spec/sections/08-state-transition-reference.tex
zeekay abf99d05fc papers: reorganize into per-paper dirs, add Antje Worring as co-author
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.
2026-04-18 21:50:07 -07:00

45 lines
1.5 KiB
TeX

\section{State Transition Reference}
\label{sec:transitions}
\begin{table*}[t]
\centering
\caption{Allowed operations per solvency state.}
\label{tab:state-ops}
\small
\begin{tabular}{@{}lcccc@{}}
\toprule
\textbf{Operation} & \textbf{Healthy} & \textbf{Restricted} & \textbf{Emergency} & \textbf{Recovery} \\
\midrule
Mint credit & Yes & No & No & No \\
Burn credit & Yes & Yes & Yes & Yes \\
Release backing & Yes & Yes & Policy & Yes \\
Strategy deposit & Yes & No & No & No \\
Strategy withdrawal & Optional & Initiated & Forced & No \\
ATS security wrapping & Yes & Yes & No & No \\
Backing report required & Yes & Yes & Yes & Yes \\
\bottomrule
\end{tabular}
\end{table*}
\begin{table*}[t]
\centering
\caption{State transition conditions and authorized actors.}
\label{tab:transitions}
\small
\begin{tabular}{@{}llll@{}}
\toprule
\textbf{From} & \textbf{To} & \textbf{Condition} & \textbf{Actor} \\
\midrule
Healthy & Restricted & $B < L / \lambda$ & Automatic \\
Restricted & Healthy & $B \geq L / \lambda$ & Automatic \\
Restricted & Emergency & $B < L$ & Automatic \\
Any & Emergency & $B < 0.985 \cdot L$ & Automatic (auto-pause) \\
Emergency & Recovery & Recapitalization & Governance / MPC \\
Recovery & Healthy & $E/B \geq 1 - \lambda$ & Governance / MPC \\
\bottomrule
\end{tabular}
\end{table*}