" will get a 1099 from the brokerage holding the 401(k) account (I checked)"
your 401k broker misinformed you . there is no 1099-R since you took no distribution.
@DennisHank
