yep, you are correct, it is allowed in the ipc
but, that is not what the goober did.
ipc definition of a fixture drain
the drain from the trap of a fixture to a junction with any other drain pipe
I am going to call that trap arm
fixture branch definition
a drain serving 2 or more fixtures that discharge to another drain or stack
I
I submit, he has overstep the code by connecting a fixture branch to a fixture drain /trap arm
when he added a vent, it is no longer a trap arm, it is a branch up to the vent and a trap arm after the vent
you agree ?