What is this if not HE?
She is getting IR with her humerus (upper arm).
I do not see her pushing the ball down the backside of the circle,
she is pulling.
What she is not doing is decelerating her humerus into release,
and whipping her hand past a stabilized elbow.
This has been called "long lever" pitching.
Everything is generated from the shoulder joint.
In a way it's surprising to me that she can generate so much velocity and spin pitching this way.
It does give credence to all the illegality of her lower half, and how much that really does contribute to her success.