I completely agree with your list of definitions.
You can certainly *PUSH* expired domains (I've "pushed" domains only to "renew" from another user account), I'm not clear about initiating a *TRANSFER* for them after they've past their expiry date. What's more, when you said that something would be "pushed" provided the gaining registrar "renewed", I was interested in knowing how a gaining registrar would know or be told to renew on-transfer of a name. It sounded like an infrequent special case, the handling of which would be the bane of any business predicated on volume transactions unless there is a standard automate practice for it.
~ Nexus