You know, I have thought about this some more this afternoon.
According to IPC, which is the model code for Florida, this is technically against code. A wet vent for a bathroom can only receive waste from fixtures within that or another bathroom on the same floor, and IIRC, has a specific prohibition against fixtures with a pumped discharge.
But then again, a waste stack vent system with 3" pipe can serve 3 floors of laundries, something I have installed many hundreds of times without issue. So I don't think that this piping arrangement will cause problems, but it is against the code that I work under.