Hi..
HP Trunk = Cisco Ether Channel
HP Tagged Link = Cisco Trunk
The spanning-tree priority of 4 is the default path cost for Gigabit links in the HP world.. (10 Mbit = 100, 100Mbit= 19, Gbit= 4)
The spanning-tree <TrkX> priority is listed in the config regardless of spanning-tree has been enabled globally or not..... "show spanning-tree" will reveal this.
So it seems there are static HP trunks configured (No LACP involved here.. The config would then have showed "trunk 5-6 Trk3 LACP". This equals the Cisco "channel-group <number> mode on" command )
My point is that it looks normal... (I would question why trunks have been configured, though)
Hope it helps..
/Rubeck