Function python_unambiguous_module_binding_node_bounded 

pub fn python_unambiguous_module_binding_node_bounded<'tree>(
    root: Node<'tree>,
    source: &str,
    target_name: &str,
    scope_step: impl FnMut() -> bool,
) -> Option<Option<PythonDirectScopeBinding<'tree>>>

The module scope’s unique binding event, after the bounded proof completes.

A returned node identifies the actual binder, not a proven runtime value. Other still needs the caller’s syntax and visibility checks. Competing events or a later wildcard return Some(None); an interrupted proof returns None and must never expose a binder found before the interruption.