nope, everything that happened there was by the rules...
Trader docked on harris, switched to his battleship that was docked on harris and after undocking attacked pirates. Both his chars were under same (faction) tag. Other trader remained in his trade ship. No rules were broken here.
In hypothetical situation. Untagged trader cant switch to taged fighting capable ship to do revenge upon pirates. Also if taged trader is attacked, untaged char from same person cant go on revenge.
So rules are quite clear here: Only trader with faction tag can get help from another fight capable ship from same faction. (by get help i mean it can switch to another of his ships that are docked on same base and attack pirates. Naturally trader needs to dock before does this...F1 in space is very big NO NO). All traders can get help from other players if they ask for it. But in situations mentioned above they cant switch to another char for revenge.
