> it matters whether or not the users actually keep the supposedly infringing code

That's not how this works.

If I give you a blob of uniformly random bits and then give you a passphrase you can use with a tool to turn that into a Hollywood movie, and you do so, and then you delete it, that isn't not copyright infringement.