单位根检验DF检验备择假设为什么是小于0

单位根检验中，DF检验的原假设g0=0，备择假设是g1＜0。
为什么备择假设是小于0呢，g1＜0，意味着原时间序列b1＜1，不是b1的绝对值小于1才能保证均值回归吗？
备择假设是g1＜0只能保证b1＜1，是如何保证b1也大于-1的呢？
在线求解，期待大佬解答。