fig-owner-cycle.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[warmbox,text width=2.7cm,minimum height=1.5cm] (p) at (0,1) {fresh owner $P$\\stores bridge-rope root};
\node[box,text width=3.9cm,minimum height=1.5cm] (s) at (5,1) {sequence structural records\\opaque token at a payload leaf};
\node[warmbox,text width=2.8cm,minimum height=1.5cm] (c) at (10.2,1) {fresh cell $(a,P)$\\receipt field names owner};
\draw[arr] (p)--(s);\draw[arr] (s)--(c);
\draw[arr] (c.south)--(10.2,-1.1)--node[lab,below]{installed when the simultaneous batch is tied}(0,-1.1)--(p.south);
\node[align=center,text width=12cm] at (5,3.2) {Structural evaluation can move the opaque token without inspecting its receipt.\\The back edge is specified after that evaluation.};

\end{tikzpicture}\end{document}