Module resolve 

Turning what an agent typed into exactly one graph node.

Resolution is deliberately narrow. An exact id wins; a label wins only when it is unique. An ambiguous label resolves to nothing rather than to the first match, because picking one silently is how a refactor edits the wrong symbol — the same trap the benchmark caught, where two files declared the same name and only one of them was the target.

Functions

candidate_ids

Every id the query could have meant, for the refusal that asks for an exact one.

resolve_symbol

Resolves query to one node, or None when it matches nothing or more than one thing.