枚举256个等可能状态解释取模偏差与拒绝尾部，核对abs最小值和nextInt边界，区分均匀、可复现及不可预测要求。