Per our HR folks and Negotiators Newsletter #41, the Ratification Bonus is not qualified as income so not eligible for the 401(k). But you can up your participation for several paychecks instead (up to 90%) instead, and use the bonus for regulars bills.
FYI......