Yes the mavs can trade Hardy since he was a second round pick the recently signed rule does not apply to him and the 2030 pick was not traded, only the rights to swap so the 2031 first can be traded.