If the excluded variable X shifts who gets treated but not the
counterfactual means, then each value of X yields its own
worst-case interval for the same E[y(t)], and the parameter must
lie in all of them at once. Intersecting is what makes the assumption
bite; it is also what makes it refutable, since an empty intersection
contradicts mean independence.
Details
Formula: E[y(t)] in [max_x lower(x), min_x upper(x)], then the ATE
interval formed from the two intersected arms.
