In the discussions in Varna, it became clear that build systems would need to communicate the "baseline compile command" to the tool that does the dependency scanning in order to correctly emulate the import.

At the same time, Static Analysis Tools that need to produce their own BMI for the code will also need to be able to assemble their own command for different modules.

So here's a paper describing the "baseline compile command" and also providing recommendations on how to communicate that across tooling in an interoperable way: https://wg21.link/P2962R0

Daniel