ML_DSA_GAMMA2_Q_MINUS1_DIV88
ML_DSA_GAMMA2_Q_MINUS1_DIV88,
w1_encoded_len = k * (gamma2 == ML_DSA_GAMMA2_Q_MINUS1_DIV88 ? 192 : 128);