In your paper https://arxiv.org/pdf/1710.03870.pdf, at definition 4.0.3 page 12, I think there a little error.
$$Z_t(\hat{Y}_0) = \begin{cases} 1, & A:=\bigcup_{k=1}^n\{R_t^{k,a}\ge 1\} \cap \bigcup_{k=1}^n\{R_t^{k,b}\ge 1\} \not= \emptyset,\\ -1, & B:=\bigcup_{k=1}^n\{R_t^{k,a} < 1\} \cap \bigcup_{k=1}^n\{R_t^{k,b} < 1\} \not= \emptyset,\\ 0, & (A \bigcup B)^c \not= \emptyset,\\ \end{cases}$$
$Z_t$ is not well define because it is not a function. It can take more than 2 values for a unique $Ŷ_0$. $A$ and $B$ might be non-empty at the same time. Am I wrong? If not, how to fix that error?