Truncated tropical Cartan second main theorem for hypersurfaces

Let $q$ and $n$ be positive integers with $q\geq n$. Let $f:\mathbb{R}\rightarrow\mathbb{TP}^{n}$ be a tropical algebraically nondegerated tropical holomorphic curve. Assume that $V_{P_j}$ are defined by homogeneous tropical polynomials $P_j$ $(j=1,\ldots,q)$ of degree $1$, respectively. If $\lambda=\operatorname{ddg}(\{P_{n+2}\circ f,\ldots,P_q\circ f\})$ and

$$\limsup_{r\rightarrow\infty}\frac{\log T_f(r)}{r}=0,$$

then, outside an exceptional set of zero upper density measure,

$$(q-n-1-\lambda)T_f(r)\leq\sum_{j=n+2}^{q}N^{n)}\left(r,\frac{1_o}{P_j\circ f}\oslash\right)+o(T_f(r)).$$

In the special case $\lambda=0$, one should have, outside an exceptional set of zero upper density measure,

$$(q-n-1)T_f(r)=\sum_{j=n+2}^{q}N^{n)}\left(r,\frac{1_o}{P_j\circ f}\oslash\right)+o(T_f(r)).$$

Truncated tropical Cartan conjecture. The displayed truncated second main theorem is proposed as the tropical counterpart of the truncated Cartan second main theorem. The source gives no proof or resolution of this formulation.