#2 wouldn't work internationally. Of course the US can internally have whatever kind of legislation they want, including whatever requirements for having one's

#2 wouldn't work internationally. Of course the US can internally have whatever kind of legislation they want, including whatever requirements for having one's works covered by copyright. But non-US authors or companies (or government organizations) obviously can't be obliged to supply materials to the US Library of Congress. You could deny them copyright protection for their software within the US if they don't but that wouldn't be exactly popular. Of course you could still do it purely internally within the US for software whose copyright belongs to US organizations or individuals, and it might achieve some of what you want.