It's because you're looking at the wrong place.
The TRFs are where ATSes (informally called "dark pools") report their trades. The short trades you see in those files are going to be ones on venues like UBS, Instinet, LeveL ATS, Blue Ocean, JPM-X, Sigma X2, etc. Not short trades on exchanges...