\begin{figure}[ht]
\centering
\begin{tikzpicture}[>=Latex,node distance=8mm and 8mm,
 box/.style={draw,rounded corners,align=center,text width=3.3cm,minimum height=10mm,font=\small}]
\node[box,draw=BMblue] (orth) {Arithmetic word averages\\and conductor normalization};
\node[box,draw=BMblue,right=of orth] (cf) {Finite Taylor\\expansion of\\characteristic functions};
\node[box,draw=BMgreen,right=of cf] (gauss) {Gaussian crossings\\and mesh excess};
\node[box,draw=BMorange,below=of orth] (zeros) {GRH, or verified\\density and\\moment inputs};
\node[box,draw=BMorange,below=of cf] (jensen) {Selberg\\approximation\\and central Jensen};
\node[box,draw=BMgray,below=of gauss] (full) {Full interval:\\distinct roots,\\multiplicity, strict signs};
\draw[->] (orth)--(cf);\draw[->] (cf)--(gauss);
\draw[->] (zeros)--(jensen);\draw[->] (jensen)--(full);
\draw[->] (gauss)--(full);\draw[->] (cf)--(jensen);
\end{tikzpicture}
\caption{The logical inputs to the full-count results. This schematic
separates the arithmetic transfer from the analytic control of central
zeros. The unconditional families supply their own density and mollified
moment estimates; finite-word averages alone do not replace those inputs.}
\label{intro:proof-map}
\end{figure}