1. Purposely stole 4 laptops to sift through them, looking for anything he could use.
2. Never gained any access to the spying data... Only classified documents.
A motivated person like that, not being able to gain (and provide examples to us) of that spying data, goes right against your second statement.
2. He stated he had full access to the system as a contractor and could lookup details on anyone he wanted. I fully believe him. In his documents he has examples of the systems being used.
Bonus point. He has yet to release all the documents and has timed his releases very well. Expect more documents showing better examples to be released in the future when the US government has stated more lies that he can disprove.
I've been trying to find the source, but I can't, so scratch off my #1.
My understanding of it was the "theft of government property" charge was based on physical laptops, or their drives, being taken home... But I can no longer find that source. And all the media reports are alleging/assuming (though without any references or proof) that that charge is in relation to copying the data.
And the indictment is sealed.