Smirnov's arithmetic defect conjecture for maps on the compactified spectrum of the integers

Let $q=a/b$ be a nonzero rational number, let $\varphi_q:\overline{\operatorname{Spec} \mathbb Z}^{\mathrm{Smi}}\to\overline{\operatorname{Spec} \mathbb Z}^{\mathrm{Smi}}$ be the associated map, and let $\delta_{[x]}$ denote the arithmetic defect of a point $[x]$. Define

$$X(q)=\{[x]\in\overline{\operatorname{Spec} \mathbb Z}\mid \varphi_q([x])\text{ has degree }1\}.$$

For each $\epsilon>0$, Smirnov's arithmetic defect conjecture. there exists a constant $C$ satisfying

$$\sum_{[x]\in X(q)}\delta_{[x]}\leq 2+\epsilon+\frac{C}{\operatorname{deg}(\varphi_q)}.$$

This is an analogue of the function-field abc framework, expressing a uniform bound on the total arithmetic defect of degree-one points. The supplied source does not establish the assertion or provide evidence of its resolution.