Then there's the issue of any project that uses CoPilot. For example, if a developer of proprietary software uses this and it is later found that the code match

Then there's the issue of any project that uses CoPilot. For example, if a developer of proprietary software uses this and it is later found that the code matches GPL code, they would be liable. Likewise if an open source uses code from a different license or proprietary code via this. Looking at the source code or the function and variable names in binaries, you cannot tell if CoPilot is used or not, so there isn't a functional difference between someone copying that code or CoPilot copying it.