Most importantly it does not specify what the method getTransaction will return.

Just to be clear - the spec may or may not say specifically either way... however, I am pretty certain that the TCK itself expects the EntityTransaction to be available after the EM is closed. It uses that reference to see if a transaction is (not) active as part of its assertions. It was behavior we needed to change for the 2.2 TCK after the merge.