This is correct, at least from a seat map perspective.
They do occasionally from PHX.
The OP is going through DFW, not PHX, and never seen AA sending 788s from DFW to any Hawaiian market. Regardless, my previous comment was specific to DFW HNL/OGG which are markets sold as Flagship Business; PHX gets no love and thus treated as standard domestic F