fig-dependency-ladder.tex

\documentclass[tikz,border=7pt]{standalone}
\usepackage[T1]{fontenc}
\usepackage{lmodern,amsmath,amssymb}
\hyphenpenalty=10000
\exhyphenpenalty=10000
\usetikzlibrary{arrows.meta,positioning,calc,fit,backgrounds}
\definecolor{ink}{HTML}{243B4A}
\definecolor{pale}{HTML}{EFF5F7}
\definecolor{warm}{HTML}{FAF5E8}
\tikzset{every node/.style={font=\sffamily\small,text=ink},
 box/.style={draw=ink!65,rounded corners=2pt,fill=pale,align=center,inner sep=7pt},
 warmbox/.style={box,fill=warm},
 arr/.style={-{Latex[length=2mm]},draw=ink!80,line width=.65pt},
 lab/.style={font=\sffamily\footnotesize,fill=white,inner sep=2pt},
 dot/.style={circle,draw=ink!75,fill=white,minimum size=8mm,inner sep=1pt},
 title/.style={font=\sffamily\bfseries\small,align=center}}
\begin{document}\begin{tikzpicture}

\node[box,text width=5.3cm] (word) at (0,6.6) {\textbf{Word and mirror recurrences}\\Sections 5--6\\Select the suffix and locate its old record};
\node[box,text width=5.3cm] (rope) at (0,4.3) {\textbf{Shadow and mirror-prefix lemmas}\\Section 8\\Preserve shared receipts, including the last cell};
\node[box,text width=5.3cm] (close) at (0,2) {\textbf{Receipt closure: Theorem 8.9}\\A fixed recipe for the whole next state};
\node[warmbox,text width=5.3cm] (contract) at (7.1,6.6) {\textbf{Sequence contract: Section 11.1}\\List laws, opacity, finite structure,\\bounded primitive evaluation};
\node[box,text width=5.3cm] (norm) at (7.1,4.3) {\textbf{Staging and normalization}\\Theorems 11.2--11.3; Lemma 11.4\\One bounded old-dependent record plan};
\node[box,text width=5.3cm] (comp) at (7.1,2) {\textbf{Simultaneous compiler}\\Theorem 10.2\\One node encodes the complete batch};
\node[warmbox,text width=8.5cm] (inv) at (3.55,-.3) {\textbf{Run invariant: Section 12}\\Word state = decoded receipt state = decoded scaffold state\\Empty context is exactly the acceptance condition};
\draw[arr] (word)--(rope);\draw[arr] (rope)--(close);\draw[arr] (contract)--(norm);
\draw[arr] (close.north east)--(norm.south west);\draw[arr] (norm)--(comp);
\draw[arr] (close.south)--(inv.north west);\draw[arr] (comp.south)--(inv.north east);

\end{tikzpicture}\end{document}