В z-test вы считаете статистику для разницы p_treat - p_control. Если z получилось отрицательным, что это обычно означает?

Если вы определили разницу как p_treat - p_control, то отрицательное z возникает, когда оценка этой разницы отрицательная. Это не доказывает причинность, а лишь показывает направление эффекта в данных. Частая ловушка — перепутать порядок вычитания и сделать обратный вывод. Всегда фиксируйте, какая группа стоит первой в разнице.