Keep listed names that exist at runtime without a visible binding

[hakancelikdev]

From the second review of the integration branch. These names were removed from __all__ (on main as well), so from m import * silently lost them. That contradicts the rule added in #47: names already listed that still exist are kept.

Cases

Case	Why the name exists	Stdlib examples
Submodule listed in a package's __init__.py	from pkg import * imports listed submodules (importlib._handle_fromlist)	xml/__init__.py
Module __getattr__ (PEP 562)	served lazily	concurrent.futures, typing, zoneinfo
globals().update(...), vars(), @enum.global_enum	added to the namespace dynamically	re, calendar, inspect
match captures (case (Cap,):, **rest)	real module bindings, held as str not ast.Name	–

Fix

• Analyzer / Session.get_expected_all take an optional path, and main passes it. For a package's __init__.py, sibling *.py modules and subdirectories are collected as submodules.
• _ModuleBindings.has_dynamic_namespace is set by a module-level def __getattr__, or by any globals/vars/global_enum reference. In that case every listed name is kept, the same as with a star import.
• Match captures and mapping rests are bound in collect.
• These only affect names that are already listed. Nothing new is added.
• The docs are updated.

Tests

test_names_provided_at_runtime_are_kept (4 sub-cases) and test_listed_submodules_of_a_package_are_kept both fail before this change. I also checked end to end with the review's package repro: pkg/__init__.py is no longer changed. 3.10 / 3.12 / 3.14, pre-commit, mypy and the self-check all pass.

🤖 Generated with Claude Code

https://claude.ai/code/session_019P9bvuGwAyVCNUdsAYPB1V

---

Generated by Claude Code