The name gate's walk over name_roots (lintNameRoots in internal/core/lint/lint.go) skips a file silently when the post-resolve os.Stat fails (for example a file under a directory that can be listed but not searched), so a leak gate passes a file it never read and says nothing. The adjacent guarded read fails loud; the Stat failure should too (loud staging).

The name gate's walk over name_roots (lintNameRoots in internal/core/lint/lint.go) skips a file silently when the post-resolve os.Stat fails (for example a file under a directory that can be listed but not searched), so a leak gate passes a file it never read and says nothing. The adjacent guarded read fails loud; the Stat failure should too (loud staging).

Grounds

• pursued: the name gate never passes a text file it could not examine; a listed-but-unsearchable file under name_roots letting lint return findings without an error (TestNameRootsRefuseAFileTheyCannotExamine) would show it wrong