Suppose I have three variables. $A$ and $U$ are continuous variables but $U$ is unobserved. $Y$ is the binary outcome. $A$ and $U$ are independent.
Let the true model be from the typical probit or logit setup, $$Y = \mathbf{1}\{\beta_0 + \beta_1A + \beta_2U + \epsilon = Y^* > 0 \},$$ where $\epsilon$ is normal or logistic noise.
I want to say the DAG simply features two edges, $A \rightarrow Y$ and $U \rightarrow Y$. Then, there is no backdoor path featuring $A$ so it would seem that $\beta_1$ is identified without controlling for $U$.
However, I know this is true of OLS (supposing we observed the latent $Y^*$), and not true of logistic or probit models. (previously covered here)
Does this mean the DAG should be written differently for binary $Y$? We could say $A\rightarrow Y^*$, $U \rightarrow Y^*$, and $Y^* \rightarrow Y$? But I don't see how that shows there is an identification problem, and is it even necessary?
Is there a way to write the DAG that highlights why there is OVB in the binary $Y$ case but not for continuous $Y^*$?