fig-receipt-rope.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[title] at (6,3.2) {Before taking the tail};
\node[warmbox,minimum width=2.6cm] (h) at (0,1.9) {header\\$\lambda(A)$};
\node[box,minimum width=2.6cm] (c1) at (3.8,1.9) {first cell\\$(c_1,\lambda(A_1))$};
\node[box,minimum width=2.6cm] (c2) at (7.6,1.9) {second cell\\$(c_2,\lambda(A_2))$};
\node[box,minimum width=2.6cm] (ck) at (11.4,1.9) {last cell\\$(c_k,\lambda(A_k))$};
\draw[arr] (h)--(c1);\draw[arr] (c1)--(c2);\draw[arr,dashed] (c2)--(ck);
\node[warmbox,minimum width=2.6cm] (h1) at (3.8,-.6) {new header\\$\lambda(A_1)$};
\draw[arr] (c1)--node[lab,right]{promote receipt}(h1);
\draw[arr] (h1.east)-|node[lab,pos=.25,below]{shared body}(c2.south);
\node[align=left,text width=3cm] at (0,-.6) {The first letter wraps $A$ to form $A_1$.};

\end{tikzpicture}\end{document}