An excluded file still appears to influence a suggestion through a type definition exposed by the IDE. Which explanation best matches the documented limitation?

1. Semantic information such as type metadata can reach Copilot indirectly even when the original file is excluded.
2. This proves that the rule has changed the file's Git tracking status.
3. It means every file in the repository is automatically public.
4. Exclusions guarantee removal of every semantic trace, so the behavior cannot occur.