If you mix proprietary human-written code with uncopyrightable public domain code, the result is still proprietary. There's no reverse virality. There's no problem to fix here.

For example, every proprietary OS includes public domain SQLite and it's fine.

Are you sure uncopyeightable and public domain is the same?