I don't have any links for it, but at some point I believe the SEC did establish that PIPE holders can't short against their restricted shares.
But what the judge is saying in that case is that it was determined that the shares shorted came out of the public float, not from the PIPE holders restricted stock, so there was no problem.