Supplies overload identity, formal-parameter binding, and explicit
parameter/return flows while the routine AST or catalog signature is
still available. Legacy argument names are display evidence only and
are never matched to variable names by this adapter.