The explanation is that Alpha is not giving their info to the tsx to report and that is the platform you use for depth. The reporting of trades needs to be independant of the individual exchanges. TSX rules at present and they are the ones that allow naked shorting.