- It's not easy to determine what imports will happen

  fair enough, but adding option to auto import from the main file would solve 97% of use cases

- uv won't necessarily know which modules aren't already present

  easy to check

- The names of python modules are not always the same

  great opportunity to add convenient simple mapping / name resolution

- Zen

Should DRY don't repeat yourself be higher up?