Unless the NSA, FBI, or whoever comes out and says oh we broke Tor, I don't see how you could ever get a definite answer to that question. And I don't really see that happening.
Or it could leaked, on accident or by a whistleblower. But that's pretty uncommon.
Or it could leaked, on accident or by a whistleblower. But that's pretty uncommon.