I dont see how that proves what i said wrong.
Developers are the ones who claim that the dev kits are out. It has nothing to do with "selling a dev kit online".
A dev will say we're working on a ps4 game it looks fantastic. Other devs will instead announce that theyve received a dev kit.
If dev kits are out, there must be a very strict NDA otherwise we would have heard something. And a very strict nda means theyre up to something, theoretically.