> could it even extend to software containing any code (or even library) that was written using DeepSeek?

Clearly yes.

And more. "Developed using" is not just included code.

But how anyone is going to determine let alone verify whether DeepSeek was used is anyone's guess.