The proof is in the proofs: US Spy Sats See Everything, Except when the Government Says They Didn’t