I'm inclined to agree that there's no expectation of having your IP be secret even when using Tor, but there's an expectation of not having other people run cod

I'm inclined to agree that there's no expectation of having your IP be secret even when using Tor, but there's an expectation of not having other people run code on your computer. The judge considered this distinction and rejected it. The IP not being secret is supported by precedent from other cases, it seems reasonable that if the government can trace it back without hacking the computer it should be fine.