Hello,

As a follow up from the work on P2409R0, I have just posted a new paper:
https://isocpp.org/files/papers/P2473R0.pdf .

Here's a snippet of the abstract:

This paper proposes a format for interoperability between build tools,
compilers, and static analysis tools that facilitates the adoption of C++
Modules where libraries are distributed as pre-built artifacts as opposed
to the build system having access to the entirety of the source code. This
proposal aims to address requirements R1 to R5 of the paper P2409R0.

--
At the end of the paper there's also a link to
https://github.com/bloomberg/p2473 with a mock implementation of a build
system and a mock compiler, exercising the proposed convention to
demonstrate its viability and the reduced complexity achieved by the
proposed convention.
All feedback is welcome,
daniel