short selling VCX shares after IPO

I got shares as an original investor in fundrise in the VCX IPO.

Terms are here: https://www.sec.gov/Archives/edgar/data/1867090/000207184426000102/fundrisepre14a012026.htm

Would short selling VCX shares in my personal brokerage account and not with restricted shares violate the terms of the lockup you think?